Relevant bibliographies by topics / Formal chains

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Formal chains'

Author: Grafiati
Published: 4 June 2021
Last updated: 11 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formal chains.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formal chains"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Гуменюк, А. С., 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formal chains"

1

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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/.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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:
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Formal chains"

1

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
The textbook summarizes the author's twenty-year experience in such large network trading companies as Klass, PFC BIN, and X5 Retail Group.&#x0D; 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
APA, Harvard, Vancouver, ISO, and other styles
3

Dalché, Patrick Gautier. Carte marine et portulan au XIIe siècle: Le Liber de existencia riveriarum et forma maris nostri Mediterranei (Pise, circa 1200). Roma: Ecole française de Rome, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
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.&#x0D; Additional materials for all sections of General physics course available to You
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formal chains"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formal chains"

1

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
"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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formal chains"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
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’
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal chains' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography