Bibliografie tematiche / Formal chains

Indice

Articoli di riviste
Tesi
Libri
Capitoli di libri
Atti di convegni
Rapporti di organizzazioni

Letteratura scientifica selezionata sul tema "Formal chains"

Autore: Grafiati

Pubblicato: 4 giugno 2021

Ultima modifica: 11 febbraio 2022

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Formal chains".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Formal chains"

Twine, Edgar E., Amos Omore, and Julius Githinji. "Uncertainty in milk production by smallholders in Tanzania and its implications for investment." International Food and Agribusiness Management Review 21, no. 1 (January 9, 2018): 53–72. http://dx.doi.org/10.22434/ifamr2017.0028.

Testo completo

Abstract (sommario):

The study evaluates the impact of risk on enterprises of male, female and young farmers operating in the formal and informal smallholder dairy value chains in Tanzania. It also examines the effect of uncertainty on the decision to invest in milk production in the two value chains. Results indicate that youths in the informal dairy value chain face the greatest level of risk followed by men in the formal value chain, and then men in the informal value chain. Women in both value chains and youths in the formal value chain face relatively low risk. Overall, milk production in the informal value c

Gli stili APA, Harvard, Vancouver, ISO e altri

Abate, Alessandro, Roman Andriushchenko, Milan Češka, and Marta Kwiatkowska. "Adaptive formal approximations of Markov chains." Performance Evaluation 148 (July 2021): 102207. http://dx.doi.org/10.1016/j.peva.2021.102207.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Гуменюк, А. С., and A. S. Gumenuk. "Formal Analysis of Structures of Nucleotide Chains." Mathematical Biology and Bioinformatics 8, no. 1 (June 30, 2013): 373–97. http://dx.doi.org/10.17537/2013.8.373.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Chen, Kai, S. Loepp, and John Provine. "Chains of Rings with Local Formal Fibers." Communications in Algebra 34, no. 11 (November 2006): 3891–902. http://dx.doi.org/10.1080/00927870600862722.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Paul, Sarah K. "Deviant Formal Causation." Journal of Ethics and Social Philosophy 5, no. 3 (June 5, 2017): 1–24. http://dx.doi.org/10.26556/jesp.v5i3.55.

Testo completo

Abstract (sommario):

What is the role of practical thought in determining the intentional action that is performed? Donald Davidson’s influential answer to this question is that thought plays an efficient-causal role: intentional actions are those events that have the correct causal pedigree in the agent's beliefs and desires. But the Causal Theory of Action has always been plagued with the problem of “deviant causal chains,” in which the right action is caused by the right mental state but in the wrong way. This paper addresses an alternative approach to understanding intentional action inspired by G.E.M. Anscomb

Gli stili APA, Harvard, Vancouver, ISO e altri

Louw, A., and D. Jordaan. "Supply chain risks and smallholder fresh produce farmers in the Gauteng province of South Africa." Southern African Business Review 20, no. 1 (March 27, 2019): 286–312. http://dx.doi.org/10.25159/1998-8125/6051.

Testo completo

Abstract (sommario):

A survey of 52 smallholder fresh produce farmers was conducted in the Gauteng province of South Africa to grasp how risk and its management affect the mainstreaming of smallholder farmers into formal, high-value markets. The study employed a supply chain analysis approach, which focused on the functions and risks that occur along the fresh produce chain. The results highlight the risks that impede the participation of smallholder farmers in formal, high-value chains. At the production level, risk is prominent from input procurement through to the post-harvest stage of the chains. At the retail

Gli stili APA, Harvard, Vancouver, ISO e altri

Florenz, Mark, Davina Kunvipusilkul, and Junghee Yang. "CONSTRUCTING CHAINS OF EXCELLENT RINGS WITH LOCAL GENERIC FORMAL FIBERS." Communications in Algebra 30, no. 8 (August 28, 2002): 3569–87. http://dx.doi.org/10.1081/agb-120005807.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Schoenherr, Tobias, Ram Narasimhan, and Piyas (P) Bandyopadhyay. "The assurance of food safety in supply chains via relational networking." International Journal of Operations & Production Management 35, no. 12 (December 7, 2015): 1662–87. http://dx.doi.org/10.1108/ijopm-02-2014-0051.

Testo completo

Abstract (sommario):

Purpose – Taking a social network perspective, the purpose of this paper is to develop a framework for the assurance of food safety via relational networking. Design/methodology/approach – The authors consider both informal and formal relational networking, and explore a firm’s learning orientation, risk aversion and consumer pressure as potential precursors to such relational networking. It is further hypothesized that relational networking generates both industry and supply chain knowledge, which is suggested to be beneficial for contamination detection. The model is tested with survey data

Gli stili APA, Harvard, Vancouver, ISO e altri

PN, Sindhuja. "Impact of information security initiatives on supply chain performance." Information Management & Computer Security 22, no. 5 (November 10, 2014): 450–73. http://dx.doi.org/10.1108/imcs-05-2013-0035.

Testo completo

Abstract (sommario):

Purpose – The purpose of this empirical research is to attempt to explore the effect of information security initiatives (ISI) on supply chain performance, considering various intra- and inter-organization information security aspects that are deemed to have an influence on supply chain operations and performance. Design/methodology/approach – Based on extant information security management and supply chain security management literature, a conceptual model was developed and validated. A questionnaire survey instrument was developed and administered among supply chain managers to collect data.

Gli stili APA, Harvard, Vancouver, ISO e altri

Liu, Liya, Osman Hasan, and Sofiène Tahar. "Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL." Journal of Computer Science and Technology 28, no. 2 (March 2013): 217–31. http://dx.doi.org/10.1007/s11390-013-1324-6.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Tesi sul tema "Formal chains"

Kemahlioglu, Ziya Eda. "Formal Methods of Value Sharing in Supply Chains." Diss., Georgia Institute of Technology, 2004. http://hdl.handle.net/1853/4965.

Testo completo

Abstract (sommario):

We consider a decentralized, two-echelon supply chain where the upper echelon --the supplier-- bears the inventory risk. To service the retailers, the supplier either keeps inventory reserved for each of her customers or else pools inventory to share among her customers. The common insight regarding inventory pooling is that it reduces costs and so increases profits for the supply chain party carrying inventory. However, it has recently been shown that inventory pooling may indeed reduce the total supply chain profits. We further show that inventory pooling may reduce supply chain profits even

Gli stili APA, Harvard, Vancouver, ISO e altri

Worinu, Mark. "The operation and effectiveness of formal and informal supply chains for fresh produce in the Papua New Guinea highlands." Master's thesis, Lincoln University. Agriculture and Life Sciences Division, 2007. http://theses.lincoln.ac.nz/public/adt-NZLIU20080318.100431/.

Testo completo

Abstract (sommario):

The research aim was to gain a more detailed understanding of the operation of different key segments for fresh produce supply chains originating in the Highlands Provinces in Papua New Guinea (PNG). The research investigates a number of supply chain dimensions of effectiveness which include, value creation and integration of processes, logistics, quality, information, relationship/vertical integration and overall effectiveness. These were linked together in SC framework. Two potato chains were investigated, one formal, the other informal. The informal potato chain involves small holder farmer

Gli stili APA, Harvard, Vancouver, ISO e altri

Lefophane, Mapula Hildah. "Comparative analysis of technical efficiency levels of emerging maize and green beans farmers with and without acess to formal agricultural credit along food value chains in Maruleng Municipality , Limpopo Province of South Africa." Thesis, University of Limpopo (Turfloop Campus), 2012. http://hdl.handle.net/10386/798.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Szlifierski, Nicolas. "Contrôle sûr de chaînes d'obfuscation logicielle." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2020. http://www.theses.fr/2020IMTA0223.

Testo completo

Abstract (sommario):

L’obfuscation de code est une technique de protection de programme qui consiste à rendre la rétro-ingénierie d’un programme plus difficile, afin de protéger des secrets, de la propriété intellectuelle, ou de compliquer la détection (malware). L’obfuscation est généralement effectuée à l’aide d’un ensemble de transformations sur le programme cible. L’obfuscation est également souvent utilisée en conjonction avec d’autres techniques de protection de programmes telles que le watermarking ou le tamperproofing. Ces transformations sont généralement intégrées dans les transformations de code appliqu

Gli stili APA, Harvard, Vancouver, ISO e altri

Ivanov, Dinko. "Integrating formal analysis techniques into the Progress-IDE." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-13884.

Testo completo

Abstract (sommario):

In this thesis we contribute to the Progress IDE, an integrated development enviroment for real-time embedded systems and more precisely to the REMES toolchain, a set of tools to enabling construction and analysis of embedded system behavior models. The contribution aims to facilitate the formal analysis of behavioral models, so that certain extra-functional properties might be verified during early stages of development. Previous work in the field proposes use of the Priced Timed Automata framework for verification of such properties. The thesis outlines the main points where the current tool

Gli stili APA, Harvard, Vancouver, ISO e altri

Herms, Paolo. "Certification of a Tool Chain for Deductive Program Verification." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00789543.

Testo completo

Abstract (sommario):

This thesis belongs to the domain of software verification. The goalof verifying software is to ensure that an implementation, a program,satisfies the requirements, the specification. This is especiallyimportant for critical computer programs, such as control systems forair planes, trains and power plants. Here a malfunctioning occurringduring operation would have catastrophic consequences. Software requirements can concern safety or functioning. Safetyrequirements, such as not accessing memory locations outside validbounds, are often implicit, in the sense that any implementation isexpected t

Gli stili APA, Harvard, Vancouver, ISO e altri

Hennion, Benjamin. "Formal loops spaces and tangent Lie algebras." Thesis, Montpellier, 2015. http://www.theses.fr/2015MONTS160/document.

Testo completo

Abstract (sommario):

L'espace des lacets lisses C(S^1,M) associé à une variété symplectique M se voit doté d'une structure (quasi-)symplectique induite par celle de M.Nous traiterons dans cette thèse d'un analogue algébrique de cet énoncé.Dans leur article, Kapranov et Vasserot ont introduit l'espace des lacets formels associé à un schéma. Il s'agit d'un analogue algébrique à l'espace des lacets lisses.Nous generalisons ici leur construction à des lacets de dimension supérieure. Nous associons à tout schéma X -- pas forcément lisse -- l'espace L^d(X) de ses lacets formels de dimension d.Nous démontrerons que ce de

Gli stili APA, Harvard, Vancouver, ISO e altri

Canuto, Jáder Almeida. "Efeitos da Violaceína sobre as formas evolutivas de Trypanosoma cruzi." reponame:Repositório Institucional da UFC, 2016. http://www.repositorio.ufc.br/handle/riufc/17623.

Testo completo

Abstract (sommario):

CANUTO, J. A. Efeitos da Violaceína sobre as formas evolutivas de Trypanosoma cruzi. 2016. 78 f. Dissertação (Mestrado em Ciências Farmacêuticas) - Faculdade de Farmácia, Odontologia e Enfermagem, Universidade Federal do Ceará, Fortaleza, 2016.<br>Submitted by Erika Fernandes (erikaleitefernandes@gmail.com) on 2016-06-13T12:12:37Z No. of bitstreams: 1 2016_dis_jacanuto.pdf: 1383413 bytes, checksum: 294fb79f391911aa314db8d5184e0e10 (MD5)<br>Approved for entry into archive by Erika Fernandes (erikaleitefernandes@gmail.com) on 2016-06-13T12:12:48Z (GMT) No. of bitstreams: 1 2016_dis_jacanuto.pdf:

Gli stili APA, Harvard, Vancouver, ISO e altri

Santos, Junior Agenor de Castro Moreira. "Análise proteômica da fração nuclear de formas epimastigotas de Trypanosoma cruzi." reponame:Repositório Institucional da UnB, 2014. http://repositorio.unb.br/handle/10482/15632.

Testo completo

Abstract (sommario):

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Medicina, Programa de Pós-graduação em Patologia Molecular, 2014.<br>Submitted by Ruthléa Nascimento (ruthleanascimento@bce.unb.br) on 2014-05-20T12:37:28Z No. of bitstreams: 1 2014_AgenordeCastroMoreiradosSantosJunior.pdf: 2582950 bytes, checksum: b1ada59cf3e421cbc9fe13c04ade54a9 (MD5)<br>Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-05-21T11:48:14Z (GMT) No. of bitstreams: 1 2014_AgenordeCastroMoreiradosSantosJunior.pdf: 2582950 bytes, checksum: b1ada59cf3e421cbc9fe13c04ade54a

Gli stili APA, Harvard, Vancouver, ISO e altri

Robin, Ludovic. "Vérification formelle de protocoles basés sur de courtes chaines authentifiées." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0019/document.

Testo completo

Abstract (sommario):

Les protocoles de sécurité modernes peuvent impliquer un participant humain de façon à ce qu'il compare ou copie de courtes chaines de caractères faisant le pont entre différents appareils. C'est par exemple le cas des protocoles basés sur une authentification à facteur multiples comme les protocoles Google 2 factor ou 3D-Secure.Cependant, de telles chaines de caractères peuvent être sujettes à des attaques par force brute. Dans cette thèse nous proposons un modèle symbolique qui inclut les capacités de l'attaquant à deviner des secrets faibles et à produire des collisions avec des fonctions d

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Libri sul tema "Formal chains"

El canto gregoriano: Historia, liturgia, formas ... Madrid: Alianza Editorial, 2008.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Cheglov, Vyacheslav. Trade business. Economics and management of retail chains. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1056723.

Testo completo

Abstract (sommario):

The textbook summarizes the author's twenty-year experience in such large network trading companies as Klass, PFC BIN, and X5 Retail Group. It is written in accordance with the curriculum and educational and methodological complex for the discipline "Economic activity of retail chains", which is part of the cycle of academic disciplines of the master's program "Organization and technology of trade business", direction "trade business". Covers a wide range of issues related to the theory and practice of network retail enterprises. Introduces readers to the forms of network business organi

Gli stili APA, Harvard, Vancouver, ISO e altri

Dalché, Patrick Gautier. Carte marine et portulan au XIIe siècle: Le Liber de existencia riveriarum et forma maris nostri Mediterranei (Pise, circa 1200). Roma: Ecole française de Rome, 1995.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Nesi, Paolo, Kia Ng, and Jaime Delgado, eds. Axmedis 2005. Florence: Firenze University Press, 2005. http://dx.doi.org/10.36253/978-88-6453-146-5.

Testo completo

Abstract (sommario):

The AXMEDIS conference aims to promote discussions and interactions among researchers, practitioners, developers and users of tools, technology transfer experts, and project managers, to bring together a variety of participants. The conference focuses on the challenges in the cross-media domain (which include production, protection, management, representation, formats, aggregation, workflow, distribution, business and transaction models), and the integration of content management systems and distribution chains, with particular emphasis on cost reduction and effective solutions for complex cro

Gli stili APA, Harvard, Vancouver, ISO e altri

Ghine, Igor. Hechizos, conjuros y otras fórmulas mágicas: Cómo hacerlos de forma sencilla y práctica para obtener así el mejor resulrado : un libro pequeño que te enseña a realizar una Magia muy grande. [Barcelona]: Ediciones Karma 7, 2002.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Tucci, Mario, and Marco Garetti, eds. Proceedings of the third International Workshop of the IFIP WG5.7. Florence: Firenze University Press, 2002. http://dx.doi.org/10.36253/88-8453-042-3.

Testo completo

Abstract (sommario):

Contents of the papers presented at the international workshop deal with the wide variety of new and computer-based techniques for production planning and control that has become available to the scientific and industrial world in the past few years: formal modeling techniques, artificial neural networks, autonomous agent theory, genetic algorithms, chaos theory, fuzzy logic, simulated annealing, tabu search, simulation and so on. The approach, while being scientifically rigorous, is focused on the applicability to industrial environment.

Gli stili APA, Harvard, Vancouver, ISO e altri

Navy, Hap. Tuanādī rapás iaṇdān knuṅ niṅ krauprabăndh nau knuṅ khaes saṇvâk dī phsār trī nai prades Kambujā: The role of formal and informal credit in the fish marketing chain, Cambodia. Bhnaṃ Beñ: Krasūaṅ Kasikamm Rukkhā Pramâṅ niṅ Nesād, Nayakathān Jalphal, 2006.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

World Health Organization (WHO). Global status report on alcohol and health. Geneva: World Health Organization, 2011.

Cerca il testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Chao, Shi-Yan. Queer Representations in Chinese-language Film and the Cultural Landscape. NL Amsterdam: Amsterdam University Press, 2020. http://dx.doi.org/10.5117/9789462988033.

Testo completo

Abstract (sommario):

Queer Representations in Chinese-language Film and the Cultural Landscape provides a cultural history of queer representations in Chinese-language film and media, negotiated by locally produced knowledge, local cultural agency, and lived histories. Incorporating a wide range of materials in both English and Chinese, this interdisciplinary project investigates the processes through which Chinese tongzhi/queer imaginaries are articulated, focusing on four main themes: the Chinese familial system, Chinese opera, camp aesthetic, and documentary impulse. Chao’s discursive analysis is rooted in and

Gli stili APA, Harvard, Vancouver, ISO e altri

Kuznecov, Sergey, and Konstantin Rogozin. All of physics on your palm. Interactive reference. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/501810.

Testo completo

Abstract (sommario):

This is a unique visual book created by the best techniques of modern education. It presents the basic laws and formulas for all sections of physics with a huge number of interactive additions, explanations, illustrations, charts, graphs, tables, and drawings, allowing you to learn the material more efficiently. A clear and concise style of writing focuses the reader's attention in the target material, and numerous exercises, control questions and tasks allow you to securely fix in the memory the knowledge. Additional materials for all sections of General physics course available to You

Gli stili APA, Harvard, Vancouver, ISO e altri

Più fonti

Capitoli di libri sul tema "Formal chains"

Jansen, Nils, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, and Bernd Becker. "Symbolic Counterexample Generation for Discrete-Time Markov Chains." In Formal Aspects of Component Software, 134–51. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35861-6_9.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Zhou, Hongbin, and Simon N. Foley. "A Logic for Analysing Subterfuge in Delegation Chains." In Formal Aspects in Security and Trust, 127–41. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11679219_10.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Hermanns, Holger, and Joost-Pieter Katoen. "The How and Why of Interactive Markov Chains." In Formal Methods for Components and Objects, 311–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17071-3_16.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Mühle, Henri. "Proper Mergings of Stars and Chains Are Counted by Sums of Antidiagonals in Certain Convolution Arrays." In Formal Concept Analysis, 172–87. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38317-5_11.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Liu, Liya, Osman Hasan, Vincent Aravantinos, and Sofiène Tahar. "Formal Reasoning about Classified Markov Chains in HOL." In Interactive Theorem Proving, 295–310. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39634-2_22.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Braitling, Bettina, Ralf Wimmer, Bernd Becker, Nils Jansen, and Erika Ábrahám. "Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking." In Formal Techniques for Distributed Systems, 75–89. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-21461-5_5.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Kwon, YoungMin, and Gul Agha. "Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains." In Formal Methods and Software Engineering, 194–208. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30482-1_21.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Markovski, J., A. Sokolova, N. Trčka, and E. P. de Vink. "Compositionality for Markov Reward Chains with Fast Transitions." In Formal Methods and Stochastic Models for Performance Evaluation, 18–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-75211-0_3.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Petrucci, Laure, and Jaco van de Pol. "Parameter Synthesis Algorithms for Parametric Interval Markov Chains." In Formal Techniques for Distributed Objects, Components, and Systems, 121–40. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-92612-4_7.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Faragó, András. "On the Convergence Rate of Quasi Lumpable Markov Chains." In Formal Methods and Stochastic Models for Performance Evaluation, 138–47. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11777830_10.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Formal chains"

Alroobaea, Roobaea. "A Formal Approach To Validate Block-Chains." In 2019 International Conference on Advances in the Emerging Computing Technologies (AECT). IEEE, 2020. http://dx.doi.org/10.1109/aect47998.2020.9194183.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Sakli, Leila, Jean Marc Mercantini, and Jean Claude Hennet. ""Study of supply chain vulnerabilities based on cognitive engineering and ARIMA formal models"." In The 11th International Conference on Integrated Modeling and Analysis in Applied Control and Automation. CAL-TEK srl, 2018. http://dx.doi.org/10.46354/i3m.2018.imaaca.009.

Testo completo

Abstract (sommario):

"This research concerns the formulation of models and methods for supply chains risk analysis. An ontological approach using the KOD method (Knowledge Oriented Design) has been implemented to clearly identify relationships between the concepts of supply chain, risk, vulnerability and disturbances (critical scenarios). As a result, conceptual models of supply chains facing risk situations and critical scenarios are proposed. From the resulting conceptual models and mathematical models proposed in the literature, a multi-stage supply chain model using ARIMA models incorporating the randomness of

Gli stili APA, Harvard, Vancouver, ISO e altri

Schapranow, M.-P., A. Zeier, and H. Plattner. "A Formal Model for Enabling RFID in Pharmaceutical Supply Chains." In 2011 44th Hawaii International Conference on System Sciences (HICSS 2011). IEEE, 2011. http://dx.doi.org/10.1109/hicss.2011.10.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Tan, Li, Shenghan Xu, Benjamin Meyer, and Brock Erwin. "An agent-based formal framework for modeling and simulating supply chains." In Integration (IRI). IEEE, 2009. http://dx.doi.org/10.1109/iri.2009.5211555.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Fitzgerald, John, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, and Jim Woodcock. "Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains." In 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE, 2015. http://dx.doi.org/10.1109/formalise.2015.14.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Xu, Qianli, Jianxin Roger Jiao, and Petri Helo. "Virtual Supply Chain Configuration for Product Families: Conceptualization and Formalism." In ASME 2009 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2009. http://dx.doi.org/10.1115/detc2009-86672.

Testo completo

Abstract (sommario):

The rationale of product families for mass customization has attracted much attention from both academia and industry alike. While the product family strategy facilitates product differentiation and customization, it inevitably leads to a high variety issue in the downstream fulfillment process. In particular, when assembly-to-order and outsourcing become common practices, the supply chain decisions are deemed to be very complicated in order to accommodate the diverse product and process variants associated with product families. With focus on variety management, this paper proposes a virtual

Gli stili APA, Harvard, Vancouver, ISO e altri

Ameri, Farhad, and Christian McArthur. "An Ontological Approach to Manufacturing Supplier Discovery in Virtual Markets." In ASME 2010 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/detc2010-28179.

Testo completo

Abstract (sommario):

Manufacturing supply chains are increasingly becoming global, virtual and short-lived in order to improve their agility and dynamic adaptability to rapid changes in today’s volatile market. In this context, online marketplaces for manufacturing services have become attractive venues for rapid development of supply chain relationships. Despite their numerous benefits, the existing online markets have failed in adequately automating the supply chain deployment process. Heavy reliance of the existing online markets on human agents for formulating supplier queries and evaluating the obtained resul

Gli stili APA, Harvard, Vancouver, ISO e altri

Ameri, Farhad, Evan Wallace, and Reid Yoder. "Enabling Traceability in Agri-Food Supply Chains Using an Ontological Approach." In ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/detc2020-22672.

Testo completo

Abstract (sommario):

Abstract Traceability of food products to their sources is critical for quick responses to a food emergency. US law now requires stakeholders in the agri-food supply chain to support traceability by tracking food materials they acquire and sell. However, having complete and consistent information needed to quickly investigate sources and identify affected material has proven difficult. There are multiple reasons that makes food traceability a challenging task including diversity of stakeholders and their lexicons, standards, tools and methods; unwillingness to expose information of internal op

Gli stili APA, Harvard, Vancouver, ISO e altri

Atia, George, Andre Beckus, Ismail Alkhouri, and Alvaro Velasquez. "Steady-State Policy Synthesis in Multichain Markov Decision Processes." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/563.

Testo completo

Abstract (sommario):

The formal synthesis of automated or autonomous agents has elicited strong interest from the artificial intelligence community in recent years. This problem space broadly entails the derivation of decision-making policies for agents acting in an environment such that a formal specification of behavior is satisfied. Popular formalisms for such specifications include the quintessential Linear Temporal Logic (LTL) and Computation Tree Logic (CTL) which reason over infinite sequences and trees, respectively, of states. However, the related and relevant problem of reasoning over the frequency with

Gli stili APA, Harvard, Vancouver, ISO e altri

Su, Hai-Jun, Hongliang Shi, and JingJun Yu. "Analytical Compliance Analysis and Synthesis of Flexure Mechanisms." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-48013.

Testo completo

Abstract (sommario):

This paper presents a symbolic formulation for analytical compliance analysis and synthesis of flexure mechanisms with arbitrary topologies. Compliance analysis or mapping is to determine the relationship between the deformation of a mechanism and the external loading applied. It is a crucial step for the control and design of flexure mechanisms. Most of the current work relies on physical experiments or numerical simulations for studying the compliance or stiffness of flexure mechanisms. There is a lack of formal tools for the compliance synthesis whose goal is to determine the geometry of fl

Gli stili APA, Harvard, Vancouver, ISO e altri

Rapporti di organizzazioni sul tema "Formal chains"

Aked, Jody. Supply Chains, the Informal Economy, and the Worst Forms of Child Labour. Institute of Development Studies (IDS), July 2021. http://dx.doi.org/10.19088/clarissa.2021.006.

Testo completo

Abstract (sommario):

As a cohort of people, ‘children in work’ have become critical to the everyday functioning of diverse supply chain systems. This Working Paper considers diverse commodity chains (leather, waste, recycling and sex) to explore the business realities that generate child labour in its worst forms. A review of the literature finds that occurrence of the worst forms of child labour (WFCL) in supply chain systems is contingent on the organising logics and strategies adopted by actors in both the formal and informal economies. Piecing together the available evidence, the paper hypothesises that a supp

Gli stili APA, Harvard, Vancouver, ISO e altri

Gaddi, Matteo, and Nadia Garbellini. Automotive Global Value Chains in Europe. Institute for New Economic Thinking Working Paper Series, July 2021. http://dx.doi.org/10.36687/inetwp160.

Testo completo

Abstract (sommario):

In this paper we examine the main transformations that are affecting European automotive industry and which challenges, in particular due to the transition to new forms of propulsion, the industry is going to face. The automotive industry is central to the European economy and the nature of the Global Value Chains are rapidly shifting. While individual countries have developed economic plans to address this, a broader EU wide plan is critically important to addressing the employment and environmental effects of these shifts.

Gli stili APA, Harvard, Vancouver, ISO e altri

Arezzi, Mark. Hastily Formed Networks-Chaos to Recovery. Fort Belvoir, VA: Defense Technical Information Center, September 2015. http://dx.doi.org/10.21236/ad1008965.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Chinsinga, Blessings, and Mirriam Matita. The Political Economy of the Groundnut Value Chain in Malawi: Its Re-Emergence Amidst Policy Chaos, Strategic Neglect, and Opportunism. Institute of Development Studies (IDS), March 2021. http://dx.doi.org/10.19088/apra.2021.010.

Testo completo

Abstract (sommario):

This paper explores the political economy of the groundnut value chain in Malawi. The paper uses a combination of insights from the theoretical perspectives of political settlement, rents and policymaking to examine this value chain. Fused together, these theoretical perspectives underpin a political economy analysis framework, which entails systematically mapping all key actors in an issue area; identifying their interests and recognising their forms of power (political, economic, social, and ideological); understanding their relationships with each other; and appreciating the issues, narrati

Gli stili APA, Harvard, Vancouver, ISO e altri

Garfinkel, Simson L. Providing Cryptographic Security and Evidentiary Chain-of-Custody with the Advanced Forensic Format, Library, and Tools. Fort Belvoir, VA: Defense Technical Information Center, August 2008. http://dx.doi.org/10.21236/ada485606.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Bosch, Mariano, Stephanie González, and María Teresa Silva Porto. Chasing Informality: Evidence from Increasing Enforcement in Large Firms in Peru. Inter-American Development Bank, March 2021. http://dx.doi.org/10.18235/0003128.

Testo completo

Abstract (sommario):

Evasion of labor market regulations in middle income countries is systemic. This is generally known as informality. In Latin America, where less than 50% of workers are registered with social security, this is a permanent phenomenon and encompasses a variety of economic realities ranging from subsistence self-employment to evasion of certain regulations including social security contributions. In this study we analyze the role of enforcement in curbing informality in large formal firms in Peru, where informality levels are around 70%. Through the Peruvian National Labor Control Superintendence

Gli stili APA, Harvard, Vancouver, ISO e altri

Johnson, G. W., and G. Kallianpur. Homogeneous Chaos, p-Forms, Scaling and the Feynman Integral. Fort Belvoir, VA: Defense Technical Information Center, September 1989. http://dx.doi.org/10.21236/ada218339.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Mosha, Devotha B., John Jeckoniah, Aida Isinika, and Gideon Boniface. The Influence of Sunflower Commercialisation and Diversity on Women's Empowerment: The Case of Iramba and Mkalama Districts, Singida Region. Institute of Development Studies (IDS), June 2021. http://dx.doi.org/10.19088/apra.2021.014.

Testo completo

Abstract (sommario):

There is a growing body of literature that argues that normally women derive little benefit from cash crops. Some of the barriers leading to women having less benefit from cash crop value chains include cultural norms and power differences in access to, and control over, resources among actors in value chains. It is also argued that women’s participation in different forms of collective action help women to increase benefits to them through their increased agency, hence enabling them to utilise existing and diverse options for their empowerment. This paper explores how women have benefited fro

Gli stili APA, Harvard, Vancouver, ISO e altri

Gorman, Clare. Exposing the Worst Forms of Child Labour in Bangladesh’s Leather Sector. Institute of Development Studies (IDS), February 2021. http://dx.doi.org/10.19088/clarissa.2021.001.

Testo completo

Abstract (sommario):

As one of the country’s biggest employers and its second largest exporter, the leather sector is big business in Bangladesh. But it is also in crisis. A dramatic decrease in the global demand for leather since COVID-19 has led to the collapse of the supply chain with workers, especially children, bearing the worst of the brunt. As cracks in the industry’s surface widen, new research from the Child Labour: Action-Research-Innovation in South and South-Eastern Asia (CLARISSA) programme shines a light into its hidden corners, revealing examples of the worst forms of child labour (WFCL) at almost

Gli stili APA, Harvard, Vancouver, ISO e altri

Maksud, A. K. M., Khandaker Reaz Hossain, Sayma Sayed, and Amit Arulanantham. Mapping of Children Engaged in the Worst Forms of Child Labour in the Supply Chain of the Leather Industry in Bangladesh. Institute of Development Studies (IDS), July 2021. http://dx.doi.org/10.19088/clarissa.2021.005.

Testo completo

Abstract (sommario):

This mapping of children in the worst forms of child labour (WFCL) in the leather sector of Bangladesh was conducted in May–August 2020. WFCL are not always obvious and, without better understanding of where, why and how it is happening, the exploitation and abuse of children in the workforce in Bangladesh will continue. This mapping provides a detailed assessment of where children are working in the leather supply chain in Bangladesh, what they are doing, how they came to be doing it and what their conditions of work and experiences are. Furthermore, and critically, it evidences the children’

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!