Relevant bibliographies by topics / Formale Theorie

Contents

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

Academic literature on the topic 'Formale Theorie'

Author: Grafiati
Published: 4 June 2021
Last updated: 16 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 'Formale Theorie.'

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 "Formale Theorie"

1

Herzog, Lisa. "Die Unerzwingbarkeit des Wesentlichen." Zeitschrift für Politische Theorie 9, no. 1-2018 (2018): 3–27. http://dx.doi.org/10.3224/zpth.v9i1.01.

Full text
Abstract:
Der Aufsatz untersucht, wie neuere Ansätze der Kritischen Theorie von Axel Honneth (2011, 2015) und Hartmut Rosa (2016a) sich zur Strömung der nicht-idealen Theorie in der angelsächsischen politischen Theorie verhalten. Honneth und Rosa legen mit „sozialer Freiheit“ und „Resonanz“ zwei Schlüsselbegriffe vor, die sich zwar in vielen Hinsichten unterscheiden, jedoch die Strukturmerkmale dessen teilen, was hier als ‚Wesentlichkeitsbegriffe‘ charakterisiert wird. Sie beschreiben Zielpunkte gelingenden Lebens innerhalb von Institutionen, die typischerweise im persönlichen Nahbereich stattfinden, oh
APA, Harvard, Vancouver, ISO, and other styles
2

Jahn, Dirk, Bernhard Trager, and Karl Wilbers. "Einsatz von E-Portfolios bei der Qualifizierung pädagogischer Professionals in restriktiven Settings." MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 18, Indiv. Leistungsdarstellung (2010): 1–20. http://dx.doi.org/10.21240/mpaed/18/2010.05.19.x.

Full text
Abstract:
Der Beitrag zeigt den Einsatz von E-Portfolios bei der Qualifizierung pädagogischer Professionals in der beruflichen Bildung auf. Dabei werden als Referenz die Theorie der Selbstreflexion, des kritischen Denkens sowie des Konzeptwandels zugrunde gelegt. Es werden Möglichkeiten aufgezeigt, wie E-Portfolios auch in restriktiven Settings eingesetzt werden können. Bislang dominiert in der Literatur der Einsatz von E-Portfolios in der Schule bzw. in der Bildung von Lehrkräften. Restriktive Settings sind Settings, die für das formale Lernen nur kurze Zeiträume eröffnen, mit heterogenen Zielgruppen v
APA, Harvard, Vancouver, ISO, and other styles
3

Heller, Jürgen. "Mittenbildung bei achromatischen Farben:." Experimental Psychology 48, no. 4 (2001): 259–71. http://dx.doi.org/10.1026//0949-3946.48.4.259.

Full text
Abstract:
Zusammenfassung. Experimentelle Befunde zur Wahrnehmung achromatischer Farben basieren nahezu ausschließlich auf ordinaler Information aus Farbabgleichen. Zur Untersuchung von Invarianzeigenschaften unter Beleuchtungsänderung jedoch führte J. Plateau bereits 1872 die Operation der Mittenbildung in die Wissenschaft ein. Eine formale Charakterisierung der Befunde dieses klassischen Experiments durch J.-C. Falmagne zeigt sogar, daß diese die mögliche Form der psychophysischen Funktion weitgehend einschränken. Dieser Ansatz wird zunächst verallgemeinert, um die Wahrnehmung achromatischer Farben un
APA, Harvard, Vancouver, ISO, and other styles
4

Kristensen, Susanne Annikki. "Formal linguistic theories." NyS, Nydanske Sprogstudier 1, no. 52-53 (2017): 311. http://dx.doi.org/10.7146/nys.v1i52-53.102680.

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

Soler Toscano, Fernando. "El giro dinámico en la epistemología formal: el caso del razonamiento explicativo." THEORIA. An International Journal for Theory, History and Foundations of Science 29, no. 2 (2014): 181. http://dx.doi.org/10.1387/theoria.6347.

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

KHALED, MOHAMED, GERGELY SZÉKELY, KOEN LEFEVER, and MICHÈLE FRIEND. "DISTANCES BETWEEN FORMAL THEORIES." Review of Symbolic Logic 13, no. 3 (2019): 633–54. http://dx.doi.org/10.1017/s1755020319000558.

Full text
Abstract:
AbstractIn the literature, there have been several methods and definitions for working out whether two theories are “equivalent” (essentially the same) or not. In this article, we do something subtler. We provide a means to measure distances (and explore connections) between formal theories. We introduce two natural notions for such distances. The first one is that of axiomatic distance, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of conceptual distance which measures the minimum number of concepts that distinguish two theories.
APA, Harvard, Vancouver, ISO, and other styles
7

Sarkaria, K. S. "Formal Theories are Acyclic." Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 31, no. 21-23 (1985): 363–68. http://dx.doi.org/10.1002/malq.19850312107.

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

Chrastina, Jan. "On formal theory of differential equations. III." Mathematica Bohemica 116, no. 1 (1991): 60–90. http://dx.doi.org/10.21136/mb.1991.126196.

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

Chrastina, Jan. "On formal theory of differential equations. I." Časopis pro pěstování matematiky 111, no. 4 (1986): 353–83. http://dx.doi.org/10.21136/cpm.1986.118285.

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

Chrastina, Jan. "On formal theory of differential equations. II." Časopis pro pěstování matematiky 114, no. 1 (1989): 60–105. http://dx.doi.org/10.21136/cpm.1989.118369.

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

Dissertations / Theses on the topic "Formale Theorie"

1

Staab, Joachim Friedrich. "Nachrichtenwert-Theorie : formale Struktur und empirischer Gehalt /." Freiburg : K. Alber, 1990. http://catalogue.bnf.fr/ark:/12148/cb35558119k.

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

Hegselmann, Rainer. "Formale Dialektik : ein Beitrag zu einer Theorie des rationalen Argumentierens /." Hamburg : F. Meiner, 1985. http://catalogue.bnf.fr/ark:/12148/cb349248393.

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

Petschulat, Cap. "Transparency in formal proof." [Boise, Idaho] : Boise State University, 2009. http://scholarworks.boisestate.edu/td/54/.

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

Kerkhoff, Sebastian. "A Connection Between Clone Theory and FCA Provided by Duality Theory." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-73938.

Full text
Abstract:
The aim of this paper is to show how Formal Concept Analysis can be used for the bene t of clone theory. More precisely, we show how a recently developed duality theory for clones can be used to dualize clones over bounded lattices into the framework of Formal Concept Analysis, where they can be investigated with techniques very di erent from those that universal algebraists are usually armed with. We also illustrate this approach with some small examples.
APA, Harvard, Vancouver, ISO, and other styles
5

Jego, Charles. "Theories des champs conformes non rationnelles et applications a la theorie des cordes." Phd thesis, Ecole Polytechnique X, 2007. http://pastel.archives-ouvertes.fr/pastel-00002591.

Full text
Abstract:
Cette these est dediee a l'etude de quelques theories conformes non rationnelles, qui apparaissent dans le cadre de la theorie des cordes. Contrairement aux theories conformes rationnelles, qui ont beneficie de tres nombreuses etudes dans les toutes dernieres decennies, les theories non rationnelles ne sont pas encore bien comprises. Une meilleure comprehension est pourtant necessaire pour mieux apprehender la theorie des cordes dans des fonds courbes non compacts, et pour pouvoir a terme s'attaquer a des problemes cosmologiques. Dans la mesure ou la these a frequemment recours a des notions e
APA, Harvard, Vancouver, ISO, and other styles
6

Reichel, Horst. "Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100611.

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

Revenko, Artem. "Automatic Construction of Implicative Theories for Mathematical Domains." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2016. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-197794.

Full text
Abstract:
Implication is a logical connective corresponding to the rule of causality "if ... then ...". Implications allow one to organize knowledge of some field of application in an intuitive and convenient manner. This thesis explores possibilities of automatic construction of all valid implications (implicative theory) in a given field. As the main method for constructing implicative theories a robust active learning technique called Attribute Exploration was used. Attribute Exploration extracts knowledge from existing data and offers a possibility of refining this knowledge via providing counter-ex
APA, Harvard, Vancouver, ISO, and other styles
8

Meschke, Christian. "Concept Approximations." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-86642.

Full text
Abstract:
In this thesis, we present a lattice theoretical approach to the field of approximations. Given a pair consisting of a kernel system and a closure system on an underlying lattice, one receives a lattice of approximations. We describe the theory of these lattices of approximations. Furthermore, we put a special focus on the case of concept lattices. As it turns out, approximation of formal concepts can be interpreted as traces, which are preconcepts in a subcontext<br>In der vorliegenden Arbeit beschreiben wir einen verbandstheoretischen Zugang zum Thema Approximieren. Ausgehend von einem Kern-
APA, Harvard, Vancouver, ISO, and other styles
9

Reichel, Horst. "Die Kategorie der gleichungs-partiellen Theorien als semantischer Bereich." Technische Universität Dresden, 1995. https://tud.qucosa.de/id/qucosa%3A26309.

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

Diener, Glendon. "Formal languages in music theory." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=59610.

Full text
Abstract:
In this paper, the mathematical theory of languages is used to investigate and develop computer systems for music analysis, composition, and performance. Four prominent research projects in the field are critically reviewed. An original grammar-type for the computer representation of music is introduced, and a computer system for music composition and performance based on that grammar is described. A user's manual for the system is provided as an appendix.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Formale Theorie"

1

Staab, Joachim Friedrich. Nachrichtenwert-Theorie: Formale Struktur und empirischer Gehalt. K. Alber, 1990.

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

Formale Dialektik: Ein Beitrag zu einer Theorie des rationalen Argumentierens. F. Meiner, 1985.

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

Fehling, Rainer. Hierarchische Petrinetze: Beiträge zur Theorie und formale Basis für zugehörige Werkzeuge. Kovač, 1992.

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

Kubeš, Vladimír. Theorie der Gesetzgebung: Materiale und formale Bestimmungsgründe der Gesetzgebung in Geschichte und Gegenwart. Springer-Verlag, 1987.

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

Strategische Spiele fu r Einsteiger: Eine verspielt-formale Einfu hrung in Methoden, Modelle und Anwendungen der Spieltheorie. Vieweg, 2007.

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

Sommaruga, Giovanni, ed. Formal Theories of Information. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00659-3.

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

Modgil, Sanjay, Nir Oren, and Francesca Toni, eds. Theorie and Applications of Formal Argumentation. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29184-5.

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

Michael, Nicholson. Formal theories in international relations. Cambridge University Press, 1989.

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

Liu, Zhiming, Jim Woodcock, and Huibiao Zhu, eds. Theories of Programming and Formal Methods. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39698-4.

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

Christophe, Reutenauer, ed. Rational series and their languages. Springer-Verlag, 1988.

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

Book chapters on the topic "Formale Theorie"

1

Plaschko, Peter, and Klaus Brod. "Formale Theorie asymptotischer Entwicklungen." In Höhere mathematische Methoden für Ingenieure und Physiker. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-83621-3_2.

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

Seiler, Werner M. "Formale Theorie partieller Differentialgleichungen." In Physik und Informatik — Informatik und Physik. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-642-77382-2_40.

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

Herweg, Michael. "Eine formale Theorie von Zeiten, Zuständen und Ereignissen." In Zeitaspekte. Deutscher Universitätsverlag, 1990. http://dx.doi.org/10.1007/978-3-663-01647-2_3.

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

Thaler, Julia. "Formale Theorie mittlerer Reichweite der Wirksamkeit von Sozialmarketing." In Verhaltensbeeinflussung durch Sozialmarketing. Gabler Verlag, 2012. http://dx.doi.org/10.1007/978-3-8349-4271-5_4.

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

Schröder, Stephan. "ίή — Ruf und Paianepiklese als formale Paianmerkmale und die Frage der funktionalen oder formalen Prägung der Gattung." In Geschichte und Theorie der Gattung Paian. Vieweg+Teubner Verlag, 1999. http://dx.doi.org/10.1007/978-3-663-12141-1_5.

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

Nolda, Andreas. "Wortbildung und Flexion in Morphologie und Syntax." In „vnd der gieng treulich, weislich vnd mëndlich mit den sachen vmb“. Institut für Germanistik der Universität Szeged, 2019. http://dx.doi.org/10.14232/fest.bassola.21.

Full text
Abstract:
Der vorliegende Beitrag untersucht, wie im Deutschen Präfixverben und Partikelverben gebildet werden, und zwar sowohl im Hinblick auf die Wortbildung als auch auf die Flexion. Unter Verwendung des Begriffsinventars der Integrativen Linguistik und der Muster-und-Beschränkungs-Theorie wird in zwei Fallstudien eine Analyse formuliert, die im Prinzip für beliebige Präfix- und Partikelverben im Deutschen verallgemeinerbar ist und ohne fragwürdige Konzepte wie ›trennbare Präfixe‹ auskommt. Grundgedanke der Analyse ist, dass Partikelverben nicht wie Präfixverben durch morphologische Derivation gebildet werden, sondern durch syntaktische Derivation, im Zuge derer die nicht-analytischen Wortformen des Produkts direkt aus den entsprechenden Wortformen des Basisverbs gebildet werden. Eine morphologische Flexion findet bei Partikelverben nicht statt; vielmehr ergeben sich formale Besonderheiten direkt aus der syntaktischen Bildung.
APA, Harvard, Vancouver, ISO, and other styles
7

Herzig, Andreas, Emiliano Lorini, and Nicolas Troquard. "Action Theories." In Introduction to Formal Philosophy. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-77434-3_33.

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

Hofmann, Martin, and Martin Lange. "Grundlagen der Theorie formaler Sprachen." In Automatentheorie und Logik. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18090-3_1.

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

Li, Wei. "Sequences of Formal Theories." In Mathematical Logic. Birkhäuser Basel, 2010. http://dx.doi.org/10.1007/978-3-7643-9977-1_6.

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

Li, Wei. "Sequences of Formal Theories." In Mathematical Logic. Springer Basel, 2014. http://dx.doi.org/10.1007/978-3-0348-0862-0_6.

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

Conference papers on the topic "Formale Theorie"

1

Grappone, Arturo G. "Decidability of formal theories and hyperincursivity theory." In Third international conference on computing anticipatory systems (CASYS'99). AIP, 2000. http://dx.doi.org/10.1063/1.1291253.

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

Ahmad, Waqar, Shahid Ali Murtza, Osman Hasan, and Sofiene Tahar. "On the Formalization of Importance Measures Using HOL Theorem Proving." In 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE, 2019. http://dx.doi.org/10.1109/formalise.2019.00021.

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

Moore, Nicholas, and Mark Lawford. "Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving." In 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE). IEEE, 2017. http://dx.doi.org/10.1109/formalise.2017.11.

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

Lambert, Dale. "Formal Theories for Semantic Fusion." In 2006 9th International Conference on Information Fusion. IEEE, 2006. http://dx.doi.org/10.1109/icif.2006.301800.

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

Salustri, F. A., and R. D. Venter. "Towards a Logical Theory of Engineering Design Information." In ASME 1991 International Computers in Engineering Conference and Exposition. American Society of Mechanical Engineers, 1991. http://dx.doi.org/10.1115/cie1991-0021.

Full text
Abstract:
Abstract Recent research in Design Theory and Methodology has sought to formalize the engineering design process without particular concern for the paradigm used to model design information. The authors propose that no correct formalization of the design process can be achieved without first formalizing the semantics of the information used in the process. To this end, the authors present a new theory meant to formalize the semantics of design information that is independent of its use in a design process. Using symbolic logic, the theory is presented as a set of axioms, and draws from the obj
APA, Harvard, Vancouver, ISO, and other styles
6

Nuzzo, Pierluigi, Antonio Iannopollo, Stavros Tripakis, and Alberto Sangiovanni-Vincentelli. "Are interface theories equivalent to contract theories?" In 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014). IEEE, 2014. http://dx.doi.org/10.1109/memcod.2014.6961848.

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

Zhao, Chunna, Murong Jiang, and Yaqun Huang. "Formalization of Fractional Flow Component in Higher-Order Logic Theorem Proving." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-97209.

Full text
Abstract:
Abstract Fractional calculus is a powerful tool for dealing with complex systems, and fractional flow component can effectively reflect the nonlinear gradual change of rheology in vibration state. Besides, higher-order logic theorem proving is a formal method for specification and verification. This paper, accordingly, presents a higher-order logic formalization of fractional flow component based on fractional calculus Caputo definition. The relationship between fractional order differential and integer order differential is verified according to fractional calculus Caputo definition in higher
APA, Harvard, Vancouver, ISO, and other styles
8

Marynissen, Simon, Bart Bogaerts, and Marc Denecker. "On the Relation Between Approximation Fixpoint Theory and Justification Theory." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/272.

Full text
Abstract:
Approximation Fixpoint Theory (AFT) and Justification Theory (JT) are two frameworks to unify logical formalisms. AFT studies semantics in terms of fixpoints of lattice operators, and JT in terms of so-called justifications, which are explanations of why certain facts do or do not hold in a model. While the approaches differ, the frameworks were designed with similar goals in mind, namely to study the different semantics that arise in (mainly) non-monotonic logics. The First contribution of our current paper is to provide a formal link between the two frameworks. To be precise, we show that ev
APA, Harvard, Vancouver, ISO, and other styles
9

Goldson, Doug. "Multiprogram Design in the theory of Owicki and Gries." In 5th Irish Workshop on Formal Methods. BCS Learning & Development, 2001. http://dx.doi.org/10.14236/ewic/iwfm2001.2.

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

Lakmazaheri, Sivand, and William J. Rasdorf. "A Formal Approach to Structural Design Automation Using Predicate Logic." In ASME 1990 Design Technical Conferences. American Society of Mechanical Engineers, 1990. http://dx.doi.org/10.1115/detc1990-0134.

Full text
Abstract:
Abstract The common approach to engineering software development involves the identification of relevant concepts, relations between concepts, and strategies for manipulating concepts and relations in an informal manner. We believe that although the informal approach to the identification and utilization of engineering knowledge may be sufficient for a certain class of problems, it fails to systematically support the development and study of complex automated (intelligent) engineering systems. Therefore, a formal approach is needed for such developments and studies. In this paper a formal theo
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formale Theorie"

1

Hobbs, Jerry R., and Andrew S. Gordon. Toward a Large-scale Formal Theory of Commonsense Psychology for Metacognition. Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada459164.

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

Karandikar, Rajeeva L. On the Feynman-KAC's Formula and Its Applications to Filtering Theory. Defense Technical Information Center, 1986. http://dx.doi.org/10.21236/ada186014.

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

Bobashev, Georgiy, John Holloway, Eric Solano, and Boris Gutkin. A Control Theory Model of Smoking. RTI Press, 2017. http://dx.doi.org/10.3768/rtipress.2017.op.0040.1706.

Full text
Abstract:
We present a heuristic control theory model that describes smoking under restricted and unrestricted access to cigarettes. The model is based on the allostasis theory and uses a formal representation of a multiscale opponent process. The model simulates smoking behavior of an individual and produces both short-term (“loading up” after not smoking for a while) and long-term smoking patterns (e.g., gradual transition from a few cigarettes to one pack a day). By introducing a formal representation of withdrawal- and craving-like processes, the model produces gradual increases over time in withdra
APA, Harvard, Vancouver, ISO, and other styles
4

Pollack, Martha E. Development of a Formal Theory of Agent-Based Computing for System Evaluation and System-Design Guidance. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada424483.

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

Döring, Thomas. Schumpeter und die Theorie unternehmerischer Innovation Kernaussagen, kritische Abgrenzung zu anderen Ansätzen sowie Bausteine für eine Weiterentwicklung. Sonderforschungsgruppe Institutionenanalyse, 2012. http://dx.doi.org/10.46850/sofia.9783941627185.

Full text
Abstract:
Dieser Artikel geht im zweiten Kapitel zunächst auf Schumpeters Entwicklungstheorie mit ihrer Hervorhebung von Innovationen als der entscheidenden Triebfeder ökonomischen Wandels ein. Dabei werden sowohl deren Ursachen in Form eines dynamischen Unternehmertums und unterschiedliche Ausprägungen in Gestalt verschiedener Typen von Innovationen (Kapitel 2.1) als auch die mit innovatorischen Neuerungen verbundenen Folgewirkungen, wie sie sich in jenem bereits erwähnten „Prozess der schöpferischen Zerstörung“ sowie dem durch Innovationen hervorgerufenen Konjunkturschwankungen ausdrücken (Kapitel 2.2
APA, Harvard, Vancouver, ISO, and other styles
6

Hoinkes, Ulrich. Indexicality and Enregisterment as Theoretical Approaches to the Sociolinguistic Analysis of Romance Languages. Universitatsbibliothek Kiel, 2019. http://dx.doi.org/10.21941/hoinkesindexenregromlang.

Full text
Abstract:
Social indexicality and enregisterment are basic notions of a theoretical model elaborated in the United States, the aim of which is to describe the relationship between the use of language variation and patterns of social behavior at the level of formal classification. This analytical approach is characterized by focusing on the interrelation of social performance and language awareness. In my contribution, I want to show how this modern methodology can give new impetus to the study of today’s problem areas in Europe, such as migration and language or urban life and language use. In particula
APA, Harvard, Vancouver, ISO, and other styles
7

Mykhayliv, Natalya. THE SUBJECT OF OF “VOGUE” AND “HARPER’S BAZAAR” MAGAZINES. Ivan Franko National University of Lviv, 2021. http://dx.doi.org/10.30970/vjo.2021.49.11066.

Full text
Abstract:
In the article according to the theory of the subject, patterns of the existence and genesis of the subject of “Vogue” and “Harper’s Bazaar” (USA) magazines was analysed, perspective of the emergence of new subjects was established, classification of the current subjects into universal and synthetic was suggested and some regularities of authorial creation of new subjects was examined. The main objective of the study is to identify patterns of existence of actual and formation of new topics in the Means of Mass Communication on the example of “Vogue” and “Harper’s Bazaar” magazines. In studyin
APA, Harvard, Vancouver, ISO, and other styles
8

Kuznetsov, Victor, Vladislav Litvinenko, Egor Bykov, and Vadim Lukin. A program for determining the area of the object entering the IR sensor grid, as well as determining the dynamic characteristics. Science and Innovation Center Publishing House, 2021. http://dx.doi.org/10.12731/bykov.0415.15042021.

Full text
Abstract:
Currently, to evaluate the dynamic characteristics of objects, quite a large number of devices are used in the form of chronographs, which consist of various optical, thermal and laser sensors. Among the problems of these devices, the following can be distinguished: the lack of recording of the received data; the inaccessibility of taking into account the trajectory of the object flying in the sensor area, as well as taking into consideration the trajectory of the object during the approach to the device frame. The signal received from the infrared sensors is recorded in a separate document in
APA, Harvard, Vancouver, ISO, and other styles
9

Zilberman, Mark. Methods to Test the “Dimming Effect” Produced by a Decrease in the Number of Photons Received from Receding Light Sources. Intellectual Archive, 2020. http://dx.doi.org/10.32370/iaj.2437.

Full text
Abstract:
The hypothetical “Dimming Effect” describes the change of the number of photons arriving from a moving light source per unit of time. In non-relativistic systems, the “Dimming effect” may occur due to the growing distance of light sources moving away from the receiver. This means that due to the growing distance, the photons continuously require more time to reach the receiver, which reduces the number of received photons per time unit compared to the number of emitted photons. Understandably, the proposed “Dimming effect” must be tested (confirmed or rejected) through observations. a. This ar
APA, Harvard, Vancouver, ISO, and other styles
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