Relevant bibliographies by topics / Formal dependences

Contents

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

Academic literature on the topic 'Formal dependences'

Author: Grafiati
Published: 28 May 2022
Last updated: 31 July 2025

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 dependences.'

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 dependences"

1

Vehlies, Uwe. "Stepwise Transformation of Algorithms into Array Processor Architectures by the DECOMP." VLSI Design 3, no. 1 (1995): 67–80. http://dx.doi.org/10.1155/1995/76861.

Full text
Abstract:
A formal approach for the transformation of computation intensive digital signal processing algorithms into suitable array processor architectures is presented. It covers the complete design flow from algorithmic specifications in a high-level programming language to architecture descriptions in a hardware description language. The transformation itself is divided into manageable design steps and implemented in the CAD-tool DECOMP which allows the exploration of different architectures in a short time. With the presented approach data independent algorithms can be mapped onto array processor a
APA, Harvard, Vancouver, ISO, and other styles
2

Borgo, Stefano, and Giandomenico Pozza. "Knowledge objects: a formal construct for material, information and role dependences." Knowledge Management Research & Practice 10, no. 3 (2012): 227–36. http://dx.doi.org/10.1057/kmrp.2012.17.

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

Maślak, Mariusz, and Małgorzata Snela. "Moment – rotation dependence under fire conditions for steel beam-to-column joint with known flexibility." Budownictwo i Architektura 12, no. 2 (2013): 237–44. http://dx.doi.org/10.35784/bud-arch.2140.

Full text
Abstract:
Simplified methodology helpful in a reliable specification of moment - rotation dependences characterizing the steel beam-to-column joint flexibility under fully developed fire conditions is presented and discussed in detail. The shape of identified dependences changes with the temperature increase of the members connected in the considered joint. The analogous relation, known a priori and determined for examined joint being under persistent design situation, is adopted as the reference dependence specified on the basis of the classical component approach. In the presented paper the alternativ
APA, Harvard, Vancouver, ISO, and other styles
4

Kazakov, A. I., D. B. Lempert, A. V. Nabatova, et al. "Kinetics of Thermal Decomposition of N-Propargil Derivatives of 7<i>H</i>-Difurazanofuxanoazepine and 7<i>H</i>-Trifurasanoazepine." Химическая физика 43, no. 3 (2024): 47–54. http://dx.doi.org/10.31857/s0207401x24030053.

Full text
Abstract:
The thermal stability of the propargyl derivatives of 7H-difurazanofuroxanoazepine and 7H-trifurazanoazepine in isothermal and non-isothermal modes has been studied. Formal kinetic regularities of decomposition and temperature dependences of reaction rate constants are determined. The thermal stability of propargyl, cyanomethyl, allyl and amine derivatives of azepines is compared.
APA, Harvard, Vancouver, ISO, and other styles
5

Kazakov, A. I., D. B. Lempert, A. V. Nabatova, et al. "Kinetics of thermal decomposition of methyl derivatives of 7<i>H</i>-difurazanofuxanoazepine and 7<i>H</i>-tryfurasanoazepine." Himičeskaâ fizika 43, no. 4 (2024): 29–36. http://dx.doi.org/10.31857/s0207401x24040043.

Full text
Abstract:
The thermal stability of N-methyl derivatives of 7H-difurasanofuroxanoazepine and 7H-trifurazanoazepine in non-isothermal and isothermal modes has been studied. Formal-kinetic regularities of decomposition and temperature dependences of reaction rate constants have been determined. The thermal stability methyl, propargyl, cyanomethyl, allyl and amine derivatives of azepines is compared.
APA, Harvard, Vancouver, ISO, and other styles
6

Akimova, A. A., V. A. Lomovskoy, and I. D. Simonov-Emel'Yanov. "Organization of structure of porous polyvinyl formal filters for selective water sorption." Materials Science, no. 7 (2023): 3–7. https://doi.org/10.31044/1684-579x-2023-0-7-3-7.

Full text
Abstract:
The data on generating porous structure from PVF during PVA acetalization is presented. The main parameters comprising the average pore diameter, the ratio of open to closed pores, the apparent density, porosity, and water absorption are estimated. It is shown that the density of PVF samples is about 0.54‒0.58 kg/cm3, and the total porosity is 55–57%. The number of open pores decreases from 38% to 23% when the mixing speed grows from 800 to 1200 rpm. The time dependences of PVF water absorption are obtained and it is established that water is mainly sorbed by open pores, reaching the value of
APA, Harvard, Vancouver, ISO, and other styles
7

Podgurski, A., and L. A. Clarke. "A formal model of program dependences and its implications for software testing, debugging, and maintenance." IEEE Transactions on Software Engineering 16, no. 9 (1990): 965–79. http://dx.doi.org/10.1109/32.58784.

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

Milkov, Nikolay. "Mesocosmological Descriptions." Essays in Philosophy 7, no. 2 (2006): 170–86. http://dx.doi.org/10.5840/eip2006723.

Full text
Abstract:
The following paper advances a new argument for the thesis that scientific and historical knowledge are not different in type. This argument makes use of a formal ontology of history which dispenses with generality, laws and causality. It views the past social world as composed of Wittgenstein’s Tractarian objects: of events, ordered in ontological dependencies. Theories in history advance models of past reality which connect—in experiment—faces of past events in complexes. The events themselves are multi-grained so that we can connect together different faces of theirs without counterfeiting
APA, Harvard, Vancouver, ISO, and other styles
9

Yoon, Peter H., and Ronald C. Davidson. "Alternative representation of the dielectric tensor for a relativistic magnetized plasma in thermal equilibrium." Journal of Plasma Physics 43, no. 2 (1990): 269–81. http://dx.doi.org/10.1017/s0022377800014781.

Full text
Abstract:
An alternative representation of the dielectric tensor εij(k, ω) for a relativistic magnetized plasma in thermal equilibrium is presented. This representation involves an infinite series expansion in powers of , as well as an asymptotic expansion for large Here ωc = eB0/mc is the nonrelativistic cyclotron frequency, k⊥ is the wavenumber perpendicular to the magnetic field B0êz, and α is the dimensionless parameter defined by α = mc2/KBT. The present work generalizes Shkarofsky's (1966) representation. Moreover, unlike Trubnikov's (1958) formal result, in which the k⊥ and kz dependences of εij(
APA, Harvard, Vancouver, ISO, and other styles
10

Novoselova, Olga, Anton Ruzheynikov, and Andrey Gavrilov. "Analytical Processing of Applied Tasks Conceptual Models at Design of Information-Active Systems." EPJ Web of Conferences 224 (2019): 06008. http://dx.doi.org/10.1051/epjconf/201922406008.

Full text
Abstract:
The article describes the concept of the methodology of intellectual labor automation, a formal description of the conceptual model (CM) at the object level, and also a description of the analytical processing of CM. The conceptual model is the basis for the design of the system. The conceptual model of an applied task reflects the semantics (the system of knowledge) of the subject field in the form of static and dynamic structures and their linkage. The elements of the static structure are subject categories defined by classes: cycle, process, task, component, object, feature, value. The dyna
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Formal dependences"

1

Qian, Lei. "Message dependence and formal verification of authentication protocols." [Bloomington, Ind.] : Indiana University, 2004. http://wwwlib.umi.com/dissertations/fullcit/3162268.

Full text
Abstract:
Thesis (Ph.D.)--Indiana University, Dept. of Mathematics, 2004.<br>Title from PDF t.p. (viewed Dec. 2, 2008). Source: Dissertation Abstracts International, Volume: 66-01, Section: B, page: 0373. Chair: Lawrence S. Moss.
APA, Harvard, Vancouver, ISO, and other styles
2

Heberle, Jeanette Day 1946. "The role of formal operations and field dependence in identity formation." Thesis, The University of Arizona, 1988. http://hdl.handle.net/10150/276902.

Full text
Abstract:
Ego-identity is influenced by many factors. Formal operations and field-dependence have often been cited as important factors in the level of ego-identity achieved. One hundred fifty-three introductory Psychology students were given the Personal Orientation Inventory as a measure of ego-identity and actualization, a test of Formal Operations developed by Karen Hardy-Brown and the Embedded Figures test as a measure of Field-dependence. No correlation was found between any of the measures indicating that a persons ego-identity was not related to the use of Formal Operations or field-dependence.
APA, Harvard, Vancouver, ISO, and other styles
3

Bende-Farkas, Ágnes. "Verb object dependencies in Hungarian and English a DRT-based account /." [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB11144184.

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

Fearon, Kyle. "Formal Institutions in Irish Planning: Europeanization Before and after the Celtic Tiger." Thesis, Blekinge Tekniska Högskola, Institutionen för fysisk planering, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-13024.

Full text
Abstract:
Many economies throughout the world were devastated by the global financial crisis of 2007-2008. Ireland in particular experienced a severe collapse in its housing market. Despite the progression of European-influenced planning policy that was meant to promote balanced regional development in Ireland, the country's housing market vastly overbuilt, exacerbating a housing market crash that ended the Celtic Tiger era. Drawing on Europeanization and historical institutionalism as theoretical frameworks, this thesis argues that the link between these EU-influenced policy principles and local Irish
APA, Harvard, Vancouver, ISO, and other styles
5

Hansson, Patrik. "Overconfidence and Format Dependence in Subjective Probability Intervals: Naive Estimation and Constrained Sampling." Licentiate thesis, Umeå University, Department of Psychology, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-14737.

Full text
Abstract:
<p>A particular field in research on judgment and decision making (JDM) is concerned with realism of confidence in one’s knowledge. An interesting finding is the so-called format dependence effect which implies that assessment of the same probability distribution generates different conclusions about over- or underconfidence bias depending on the assessment format. In particular,expressing a belief about some unknown quantity in the form of a confidence interval is severely prone to overconfidence as compared to expressing the belief as an assessment of a probability. This thesis gives a tenta
APA, Harvard, Vancouver, ISO, and other styles
6

Lööf, Michaela. "Path dependence and gradual change : Exploring the relationship between formal and informal institutional change in the European Parliament." Thesis, Södertörns högskola, Institutionen för samhällsvetenskaper, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-25006.

Full text
Abstract:
This thesis addresses the relationship between formal and informal institutions in the European Parliament from a new institutionalist perspective. This is done in order to fulfill the aims of the thesis, which are: (1) to broaden our understanding of informal institutions and institutional change in the EP as well as (2) develop our understanding of the new institutionalist approaches: rational choice institutionalism, sociological institutionalism and historical institutionalism. The method of analysis is qualitative and the main material consists of 14 interviews with Swedish members and fo
APA, Harvard, Vancouver, ISO, and other styles
7

Plass, Angela Mynarski. "Algumas formas de relacionamento em familias com adolescentes dependentes ou com uso abusivo de substancias psicoativas." [s.n.], 1996. http://repositorio.unicamp.br/jspui/handle/REPOSIP/311312.

Full text
Abstract:
Orientador: Mauricio Knobel<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Ciencias Medicas<br>Made available in DSpace on 2018-07-22T02:04:08Z (GMT). No. of bitstreams: 1 Plass_AngelaMynarski_D.pdf: 6712709 bytes, checksum: 3711e9f8e6457ebd2d17c712f81a55ac (MD5) Previous issue date: 1996<br>Resumo: A presente .pesquisa visa descrever e tentar compreender algumas formas de relacionamento que famílias com adolescentes dependentes ou com uso abusivo de substâncias psicoativas estabelecem entre seus membros. O método utilizado foi o método clínico. A técnica foi a entrevi
APA, Harvard, Vancouver, ISO, and other styles
8

Xosanavongsa, Charles. "Heterogeneous Event Causal Dependency Definition for the Detection and Explanation of Multi-Step Attacks." Thesis, CentraleSupélec, 2020. http://www.theses.fr/2020CSUP0003.

Full text
Abstract:
Partant du constat qu'un attaquant motivé finit par réussir à s'infiltrer dans un réseau malgré les moyens de prévention déployés, la mise en place d'une supervision de sécurité est indispensable. L'objectif de cette thèse est de permettre la découverte de scénarios d'attaque multi-étapes à travers l'analyse d'événements de sécurité. Pour atteindre cet objectif, les approches précédentes visent à construire des liens entre les événements et entre les étapes d'une attaque.En pratique, ces liens sont difficiles à définir et découvrir, notamment lorsque l'on considère l'analyse d'événements hétér
APA, Harvard, Vancouver, ISO, and other styles
9

Corrêa, José Raimundo. "Trypanosoma cruzicontribuição ao estudo da endocitose dependente e independente de clatrina em formas epimastigotas." reponame:Repositório Institucional da FIOCRUZ, 2007. https://www.arca.fiocruz.br/handle/icict/13075.

Full text
Abstract:
Made available in DSpace on 2016-03-10T13:16:18Z (GMT). No. of bitstreams: 2 jose_correa_ioc_dout_2007.pdf: 7604915 bytes, checksum: 254c899732de570995b8f8b6f7061ca5 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2016-01-13<br>Fundação Oswaldo Cruz. Instituto Oswaldo Cruz. Rio de Janeiro, RJ, Brasil<br>Endocitose em células eucarióticas é o processo de internalização de macromoléculas por diferentes vias, com diversas proteínas associadas, através do brotamento de vesículas na membrana plasmática e endereçamento destas vesículas a comp
APA, Harvard, Vancouver, ISO, and other styles
10

Stanberry-Beall, Jenny Kay. "Building a case for lifespan respite the effects of formal respite care on caregivers of family members with chronic dependencies /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 242 p, 2007. http://proquest.umi.com/pqdweb?did=1251902551&sid=1&Fmt=2&clientId=8331&RQT=309&VName=PQD.

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

Books on the topic "Formal dependences"

1

Prats, Inés Sastre. Formas de dependencia social en el noroeste peninsular: (transición del mundo prerromano al romano y época altoimperial). Instituto de Estudios Bercianos, 1998.

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

Mihaylov, Anton. Legal Awareness as a Source of law: from the History of the Philosophy of law and the general theory of law. INFRA-M Academic Publishing LLC., 2025. https://doi.org/10.12737/2168621.

Full text
Abstract:
The monograph is the first study of legal awareness in Russian jurisprudence as an ideological, factual and formal source of law. The subject area of the study is located at the junction of the general theory of law and the history of the philosophy of law. The genesis of legal awareness as an ideological source of law in the Western legal tradition is traced, its importance in overcoming gaps in law through the analogy of law. The reasons for lawyers' non-recognition of legal awareness as a source of law are revealed. Significant attention is paid to the revolutionary legal consciousness as a
APA, Harvard, Vancouver, ISO, and other styles
3

Mingatin, Marat. Discussions around the percentage. Is there an alternative? INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1893196.

Full text
Abstract:
A series of crises of the international financial system over the past two decades has led to the search for its new architecture. The main feature of the former financial system, which is still receiving a lot of attention at international forums, is the improvement of corporate governance, enhanced legal regulation and supervision. Although all of the above certainly helps in improving the reliability and stability of the financial system, but this is no longer enough. Strict discipline must be introduced into the financial system to ensure that the expansion of credit is not disproportionat
APA, Harvard, Vancouver, ISO, and other styles
4

Sexo Oculto Del Dinero: Formas de la Dependencia Femenina. Independently Published, 2021.

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

El sexo oculto del dinero: Formas de la dependencia femenina. Linkgua Ediciones, 2015.

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

El sexo oculto del dinero: Formas de la dependencia femenina. Linkgua Ediciones, 2015.

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

El sexo oculto del dinero: Formas de la dependencia femenina. Linkgua Ediciones, 2015.

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

El sexo oculto del dinero: Formas de la dependencia femenina. Grupo Editor Latinoamericano, 1986.

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

El sexo oculto del dinero: Formas de la dependencia femenina. Linkgua Ediciones, 2015.

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

Chaves, Rui P., and Michael T. Putnam. Unbounded Dependency Constructions. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198784999.001.0001.

Full text
Abstract:
This book is about one of the most intriguing features of human communication systems: the fact that words which go together in meaning can occur arbitrarily far away from each other. The kind of long-distance dependency that this volume is concerned with has been the subject of intense linguistic and psycholinguistic research for the last half century, and offers a unique insight into the nature of grammatical structures and their interaction with cognition. The constructions in which these unbounded dependencies arise are difficult to model and come with a rather puzzling array of constraint
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Formal dependences"

1

Dekhtyar, Michael, Alexander Dikovsky, and Boris Karlov. "Iterated Dependencies and Kleene Iteration." In Formal Grammar. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32024-8_5.

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

Béchet, Denis, Alexander Dikovsky, and Annie Foret. "Two Models of Learning Iterated Dependencies." In Formal Grammar. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32024-8_2.

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

Medina, Raoul, and Lhouari Nourine. "A Unified Hierarchy for Functional Dependencies, Conditional Functional Dependencies and Association Rules." In Formal Concept Analysis. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01815-2_9.

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

Ganter, Bernhard, Rudolf Wille, Daniel Borchmann, and Juliane Prochaska. "Implications and Dependencies Between Attributes." In Formal Concept Analysis. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-59271-8_2.

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

Wright, Daniel, Mark Batty, and Brijesh Dongol. "Owicki-Gries Reasoning for C11 Programs with Relaxed Dependencies." In Formal Methods. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-90870-6_13.

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

Cardó, Carles. "Algebraic Governance and Symmetry in Dependency Grammars." In Formal Grammar. Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53042-9_4.

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

Mu, Chunyan. "Quantitative Program Dependence Graphs." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34281-3_10.

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

Medina, Raoul, and Lhouari Nourine. "Conditional Functional Dependencies: An FCA Point of View." In Formal Concept Analysis. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11928-6_12.

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

Pfaltz, John L. "Using Concept Lattices to Uncover Causal Dependencies in Software." In Formal Concept Analysis. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11671404_16.

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

Bělohlávek, Radim, and Vladimír Sklenář. "Formal Concept Analysis Constrained by Attribute-Dependency Formulas." In Formal Concept Analysis. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-32262-7_12.

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

Conference papers on the topic "Formal dependences"

1

Zhuravlev, Alexander A., and Konstantin A. Aksyonov. "Dependence Comparison of the Effectivness of Software Tools for Splitting Video into Frames on Format and Resolution Using a Road Survey as an Example." In 2024 International Russian Automation Conference (RusAutoCon). IEEE, 2024. http://dx.doi.org/10.1109/rusautocon61949.2024.10693956.

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

Lopez, Blake R., and Victor M. Zavala. "Analysis of Chemical Engineering Curricula Using Graph Theory." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.190804.

Full text
Abstract:
Chemical engineering is a highly complex interconnected major. Just as chemical engineers have broken complex processes into unit operations, the chemical engineering curriculum has been broken up into courses. The organization of these courses vary among institutions and are based on years of prior teachings and research. Despite this, there have been calls to revaluate the curriculum from both industry and academia. We propose a graph-based representation of curricula in which topics are represented by nodes and topic dependencies are represented by directed edges forming a directed acyclic
APA, Harvard, Vancouver, ISO, and other styles
3

Моисеев, Игорь Викторович, Денис Александрович Карманов, and Валерий Владимирович Лёзный. "INVESTIGATION OF NICOTINE OXIDATION REACTION IN THE FRAMEWORK OF FORMAL KINETICS ON THE EXAMPLE OF PIPE TOBACCO." In Перспективные исследования в технических и естественных науках: сборник статей международной научной конференции (Великий Новгород, Декабрь 2022). Crossref, 2023. http://dx.doi.org/10.58351/221222.2022.48.75.003.

Full text
Abstract:
В работе представлены результаты исследований по изучению кинетики реакции окисления никотина, протекающего в процессе ферментации трубочного табака. Для получения кинетических зависимостей был проведен количественный анализ образцов табака на содержание никотина методом ВЭЖХ. Полученные данные позволили в рамках формальной кинетики описать реакцию его окисления, как реакцию второго порядка и определить вклад реагентов в скорость реакции. The paper presents the results of studies on the kinetics of the nicotine oxidation reaction occurring during the fermentation of pipe tobacco. To obtain kin
APA, Harvard, Vancouver, ISO, and other styles
4

Wróblewska, Alina. "Extended and Enhanced Polish Dependency Bank in Universal Dependencies Format." In Proceedings of the Second Workshop on Universal Dependencies (UDW 2018). Association for Computational Linguistics, 2018. http://dx.doi.org/10.18653/v1/w18-6020.

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

Wang, Kai-Lu, and Yan Jin. "Managing Dependencies for Collaborative Design." In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/dtm-14552.

Full text
Abstract:
Abstract In collaborative engineering, the dependencies of engineering problems determine with whom and how designers should coordinate. Based on the directed dependency framework introduced in this research, we argue that the reciprocal and cyclic dependencies cause design iterations and inefficiencies, and should be avoided if possible. By studying the patterns of engineering dependencies and design decomposition, this paper provides an approach to manage the dependencies in order to avoid reciprocal and cyclic dependencies both in the early conceptual design stage and in design task arrange
APA, Harvard, Vancouver, ISO, and other styles
6

Wang, Kai-Lu, and Yan Jin. "Modeling Dependencies in Engineering Design." In ASME 1999 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/detc99/dtm-8778.

Full text
Abstract:
Abstract Collaborative engineering design involves coordination among designers. While coordination in most cases entails explicit communication between designers, the real reason for designers to coordinate with each other is not for communication but for resolving engineering dependencies. In the field of collaborative engineering research, various computer models and tools have been developed to facilitate communication among designers aiming to improve their communication efficiency for coordination. We argue that in order to provide effective and purposeful coordination support, one must
APA, Harvard, Vancouver, ISO, and other styles
7

Yadav, Himanshu, Samar Husain, and Richard Futrell. "Are formal restrictions on crossing dependencies epiphenominal?" In Proceedings of the 18th International Workshop on Treebanks and Linguistic Theories (TLT, SyntaxFest 2019). Association for Computational Linguistics, 2019. http://dx.doi.org/10.18653/v1/w19-7802.

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

Ivkovic, I., and K. Kontogiannis. "Using formal concept analysis to establish model dependencies." In International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II. IEEE, 2005. http://dx.doi.org/10.1109/itcc.2005.286.

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

Mahalunkar, Abhijit, and John Kelleher. "Multi-Element Long Distance Dependencies: Using SPk Languages to Explore the Characteristics of Long-Distance Dependencies." In Proceedings of the Workshop on Deep Learning and Formal Languages: Building Bridges. Association for Computational Linguistics, 2019. http://dx.doi.org/10.18653/v1/w19-3904.

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

Tabar, Asmae Heydari, Richard Bubel, and Reiner Hähnle. "Automatic loop invariant generation for data dependence analysis." In FormaliSE '22: International Conference on Formal Methods in Software Engineering. ACM, 2022. http://dx.doi.org/10.1145/3524482.3527649.

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

Reports on the topic "Formal dependences"

1

Morón, Eduardo, Edgar Salgado, and Cristhian Seminario. Financial Dependence, Formal Credit and Firm Informality: Evidence from Peruvian Household Data. Inter-American Development Bank, 2012. http://dx.doi.org/10.18235/0011384.

Full text
Abstract:
This paper examines the link between financial deepening and formalization in Peru. Using data from the National Household Survey, Bloomberg and the Central Bank of Peru Central Bank, the Catão, Pagés, and Rosales (2009) model is implemented at activity level (2-digits ISIC), and the Rajan and Zingales (1998) approach of sectors' dependence on external funds is followed. The sample is divided into three firm size categories, and two formality measures are assessed. Using the accounting books specification, robust results are obtained, supporting a significant and positive effect of credit grow
APA, Harvard, Vancouver, ISO, and other styles
2

Monje Silva, Andrea, Felipe Vera, Carolina Sepúlveda, Vanesa D'Alessandre, Josefina Buschmann, and Marina Mattioli. Dinámicas familiares de cuidado en los barrios populares de Argentina: reproducción de desigualdades sociales, intergeneracionales y entre géneros. Edited by Andrea Monje Silva, Felipe Vera, Carolina Sepúlveda, and Milagros Barchi. Inter-American Development Bank, 2022. http://dx.doi.org/10.18235/0003981.

Full text
Abstract:
En este estudio se caracterizan las diversas formas en que las familias con responsabilidades de cuidado aquellas en las que habita al menos un niño o niña de hasta 4 años, una persona con discapacidad y/o una persona mayor con dependencia que residen en barrios populares se organizan y distribuyen responsabilidades entre sus integrantes para acceder a los recursos que necesitan para cuidar en un contexto de carencias materiales persistentes. Los resultados ponen en evidencia que las estrategias de desarrollo urbano con perspectiva de cuidado tienen un enorme potencial para mitigar la reproduc
APA, Harvard, Vancouver, ISO, and other styles
3

Catão, Luis, María Fernanda Rosales, and Carmen Pagés. Financial Dependence, Formal Credit and Informal Jobs: New Evidence from Brazilian Household Data. Inter-American Development Bank, 2009. http://dx.doi.org/10.18235/0010726.

Full text
Abstract:
This paper examines a much overlooked link between credit markets and formalization: since access to bank credit typically requires compliance with tax and employment legislation, firms are more likely to incur such formalization costs once bank credit is more widely available at lower cost. The relevance of this credit channel is gauged using the Rajan-Zingales measure of financial dependence and a difference-in-differences approach applied to household survey data from Brazil. It is found that formalization rates increase with financial deepening, especially in sectors where firms are typica
APA, Harvard, Vancouver, ISO, and other styles
4

Lutz, Carsten, and Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.

Full text
Abstract:
Description Logics (DLs) with concrete domains are a useful tool in many applications. To further enhance the expressive power of such DLs, it has been proposed to add database-style key constraints. Up to now, however, only uniqueness constraints have been considered in this context, thus neglecting the second fundamental family of key constraints: functional dependencies. In this paper, we consider the basic DL with concrete domains ALC(D), extend it with functional dependencies, and analyze the impact of this extension on the decidability and complexity of reasoning. Though intuitively the
APA, Harvard, Vancouver, ISO, and other styles
5

Ñopo, Hugo R., and Sofía Hidalgo. Envejecimiento y atención a la dependencia en el Perú. Banco Interamericano de Desarrollo, 2022. http://dx.doi.org/10.18235/0004440.

Full text
Abstract:
Perú, como la mayoría de los países de la región, enfrenta cambios demográficos importantes: la población adulta mayor aumenta a un ritmo acelerado mientras que los adultos y jóvenes disminuyen proporcionalmente. El instrumento por excelencia para el análisis demográfico, la pirámide poblacional, necesitará ser rebautizado pues para el año 2100 la distribución de la población no tendrá tal forma: será más abultado alrededor de las edades mayores. El “bono demográfico” que se gozaba en el país se está acabando aceleradamente. Se proyecta para el 2050 que la tasa de dependencia de los adultos ma
APA, Harvard, Vancouver, ISO, and other styles
6

Dusseau, Catherine, and Natalia Arango. Envejecimiento y atención a la dependencia en Bolivia. Inter-American Development Bank, 2024. http://dx.doi.org/10.18235/0013172.

Full text
Abstract:
El proceso de envejecimiento de la población que está teniendo lugar en Bolivia generará presiones para el desarrollo de servicios de cuidados de largo plazo. Este documento muestra que la oferta de estos servicios por parte del sector público se compone principalmente de servicios residenciales, donde el ingreso se determina según el nivel de vulnerabilidad socioeconómica de la persona mayor. Aunque existen centros de día, sus objetivos son fundamentalmente recreacionales y no se dispone de servicios públicos de cuidados en el hogar. No obstante, cabe destacar el rol potencial de otros progra
APA, Harvard, Vancouver, ISO, and other styles
7

Maidanik, G. Dependence of the Induced Loss Factor on the Coupling Forms and Coupling Strengths: Energy Analysis. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada389582.

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

Maidanik, G., and K. J. Becker. Dependence of the Induced Loss Factor on the Coupling Forms and Coupling Strengths: Linear Analysis. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada389640.

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

da Mota Peroni, Fabiana, Larissa C. Gruchovski Veríssimo, and Leonardo Goes Shibat. Envejecimiento y atención a la dependencia en Brasil. Inter-American Development Bank, 2020. http://dx.doi.org/10.18235/0002951.

Full text
Abstract:
Brasil experimentó y aún experimenta un rápido proceso de envejecimiento poblacional, de modo más o menos acentuado, como en otros países en desarrollo en América Latina y el Caribe. La transición demográfica y epidemiológica, sumada a las mejores condiciones de vida de la población en las últimas décadas, ha garantizado un aumento en la expectativa de vida de los brasileños sin precedentes (IBGE 2015). Al mismo tiempo, el país ha experimentado un cambio social relacionado con las personas mayores. Si bien el número de adulto mayores económica y físicamente activos ha aumentado, también lo ha
APA, Harvard, Vancouver, ISO, and other styles
10

Arias Quiroz, Kevin Josué, and ARIEL ENRIQUE PASTRANA (docente). Efectos en el sistema nervioso de recién nacidos por consumo de cocaína en la vida intrauterina. Universidad de Cartagena, 2021. https://doi.org/10.32997/11227/18447.

Full text
Abstract:
Las benzodiacepinas son medicamentos ampliamente utilizados para el tratamiento de la ansiedad, trastornos sueño, terapia coadyuvante en pacientes con depresión y relajantes musculares. Estos fármacos son considerados eficaces y seguros en su utilización, tanto que tienen una elevada pre-valencia en la sociedad contemporánea, con cifras en ocasiones alarmante: por ejemplo, un 15% de la población de Estados Unidos utilizó una benzodiacepina durante un periodo de un año o más. Así actualmente las BZD conforman el grupo de fármacos más utilizado para el tratamiento de la ansiedad, ya que generan
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Formal dependences' 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