Готові списки джерел за темами / Theorieën / Дисертації
Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Theorieën.

Дисертації з теми "Theorieën"

Автор: Grafiati
Опубліковано: 4 червня 2021
Оновлено: 30 липня 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 дисертацій для дослідження на тему "Theorieën".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Krohs, Ulrich. "Eine Theorie biologischer Theorien : Status und Gehalt von Funktionsaussagen und informationstheoretischen Modellen ; mit 5 Tabellen /." Berlin [u.a.] : Springer, 2004. http://www.loc.gov/catdir/toc/fy0606/2004471478.html.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

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.

Повний текст джерела
Анотація:
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 та ін.
3

Kirchhoff, Thomas. "Systemauffassungen und biologische Theorien zur Herkunft von Individualitätskonzeptionen und ihrer Bedeutung für die Theorie ökologischer Einheiten." Freising Techn. Univ. München, Lehrstuhl für Landschaftsökologie, 2006. http://www.wzw.tum.de/loek/publikationen/abstracts/435-de.pdf.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Robin, Michael. "A propos des theories en therapie familiale : interet de la theorie de l'auto-organisation." Aix-Marseille 2, 1993. http://www.theses.fr/1993AIX20951.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Kirchhoff, Thomas [Verfasser]. "Systemauffassungen und biologische Theorien : zur Herkunft von Individualitätskonzeptionen und ihrer Bedeutung für die Theorie ökologischer Einheiten / Thomas Kirchhoff." Freising : Lehrstuhl für Landschaftsökologie, Techn. Univ. München, 2009. http://d-nb.info/993602533/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Hilpert, Martin. "Theorien schulischer Gewalt." [S.l. : s.n.], 2003. http://www.diss.fu-berlin.de/2003/135/index.html.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Rogg-Pietz, Arne. "Softpower und Turbulenzen : das Internet im IB-Diskurs." Universität Potsdam, 2005. http://opus.kobv.de/ubp/texte_eingeschraenkt_welttrends/2010/4801/.

Повний текст джерела
Анотація:
This article compares two theoretical concepts of international relations: the Soft-Powermodel by Joseph S. Nye and the Turbulence-model by James N. Rosenau. They are both trying to study the impact of the revolution in information- and communication-techniques. Although both concepts are far-reaching in their explanations there are questions in both concepts that remain unanswered. The author tries to cover these gaps by turning to the other model, respectively.
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Albert, Ulrich. "Interpretierte Theorien und Reduktionen." Diss., lmu, 2005. http://nbn-resolving.de/urn:nbn:de:bvb:19-80396.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Jakobi, Tobias. "Ansätze der Theorie deliberativer Theorie." [S.l. : s.n.], 2002. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB9718821.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Israel, Dan. "Supercordes en espace-temps courbe et theories conformes." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2004. http://tel.archives-ouvertes.fr/tel-00007152.

Повний текст джерела
Анотація:
Cette these est consacree a l'etude des theories de supercordes dans les espaces-temps courbes. Nous etudions en particulier l'espace des modules des solutions de NS5-branes et de cordes fondamentales, a l'aide des techniques de deformations marginales de theories conformes. Parmi les exemples etudies se trouvent les espaces-temps anti-de Sitter a trois ou deux dimensions, differentes limites de decouplage de la theorie des petites cordes et l'univers de Goedel. Nous etudions egalement les fonctions de partitions de ces theories conformes, ainsi que les D-branes de certaines d'entre elles. Les
Стилі APA, Harvard, Vancouver, ISO та ін.
11

Isler, Damian. "Theorien der Verteilungsgerechtigkeit - eine Kontroverse." St. Gallen, 2005. http://www.biblio.unisg.ch/org/biblio/edoc.nsf/wwwDisplayIdentifier/02600930001/$FILE/02600930001.pdf.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
12

Abd-Algadir, Altayeb Rabea Altayeb. "Uterusmyome ätiologische Theorien und Rezeptorverhalten /." [S.l.] : [s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=969332432.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
13

Nikutowski, Oliver. "Theorien zur Dynamik der Lohnspreizung." Diss., lmu, 2007. http://nbn-resolving.de/urn:nbn:de:bvb:19-65857.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
14

Schwald, Christian Michael. "Religionsgeprägte Weltkulturen in ökonomischen Theorien." Diss., lmu, 1999. http://nbn-resolving.de/urn:nbn:de:bvb:19-90423.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
15

Günther, Anja, and Wilfried Honekamp. "Interdisziplinäre Lehre: Theorien, Erfahrungen, Meinungen." Hochschuldidaktisches Zentrum, 2013. https://ul.qucosa.de/id/qucosa%3A12374.

Повний текст джерела
Анотація:
Interdisziplinarität ist zum Schlagwort in Forschung und Praxis geworden. Forschungsprojekte thematisieren bewusste Fachbe-­ reichsüberschreitungen, und die meisten Mittelausschreibungen fordern diese ebenso ausdrücklich ein. Auch in Unter-­ nehmen und Verwaltungen ist die Zusammenarbeit unterschied-­ licher Fachkräfte an übergreifenden Aufgaben regelmäßig und zunehmend erforderlich. Die Komplexität realer Probleme bricht die Systematik wissenschaftlicher Disziplinen auf und verlangt nach übergreifenden Kooperationen.
Стилі APA, Harvard, Vancouver, ISO та ін.
16

Schwald, Christian Michael. "Religionsgeprägte Weltkulturen in ökonomischen Theorien." München VVF, 1999. http://edoc.ub.uni-muenchen.de/9042/.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
17

Dimitriadis, Dimitri. "Angst, Theorien, Erscheinungsformen und Entstehungsbedingungen /." Zürich : Zentrastelle der Studentenschaft, 1986. http://bibpurl.oclc.org/web/25999.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
18

Schnakenburg, Igor. "Symmetries of supergravity theories and quantum field theories." Thesis, King's College London (University of London), 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.397449.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
19

Winteroll, Marcus. "Symmetrie : Struktur und Heuristik wissenschaftlicher Theorien /." Wiesbaden : Deutscher Universitätsverlag, 1999. http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=3824421275.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
20

Kleinschrodt, Anne. "Preispsychologie im Marketing Grundlagen, Theorien, Anwendung." Saarbrücken VDM, Müller, 2003. http://deposit.d-nb.de/cgi-bin/dokserv?id=2913298&prov=M&dok_var=1&dok_ext=htm.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
21

Gührs, Anne. "Konfliktklärung mit Kindern Theorien und Fallbeispiele." Saarbrücken VDM, Müller, 2005. http://deposit.d-nb.de/cgi-bin/dokserv?id=2927991&prov=M&dok_var=1&dok_ext=htm.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
22

Gührs, Anne. "Konfliktklärung mit Kindern : Theorien und Fallbeispiele /." Saarbrücken : VDM, Verl. Dr. Müller, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2927991&prov=M&dok_var=1&dok_ext=htm.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
23

Michele, Oliosi. "New viable theories of modified gravity : Minimal Theories and Quasidilaton." Kyoto University, 2019. http://hdl.handle.net/2433/244509.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
24

Christ, Jürgen [Verfasser], and Andreas [Akademischer Betreuer] Podelski. "Interpolation modulo theories." Freiburg : Universität, 2015. http://d-nb.info/1119805767/34.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
25

Liakata, Maria. "Inducing domain theories." Thesis, University of Oxford, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.413107.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
26

Carlisle, James. "Minimal superstring theories." Thesis, Durham University, 2006. http://etheses.dur.ac.uk/2591/.

Повний текст джерела
Анотація:
In this thesis we study the (2, 4m) series of Type OA minimal superstring theories, which are intimately related to the KdV integrable hierarchy. Chapters 1 to 3 constitute a comprehensive review of the relevant background material, including noncritical string theory, matrix models and integrable systems. In Chapter 4 we generalise the (2， 4m) theories so as to include unoriented worldsheet contributions in the partition sum. This generalisation is tested against a known result in the literature. Chapter 5 explores the D-branes of the theories in more detail and, by studying the Bäcklund tran
Стилі APA, Harvard, Vancouver, ISO та ін.
27

Jones, Paul Glyn. "Cyclic factorizability theories." Thesis, Durham University, 1999. http://etheses.dur.ac.uk/4393/.

Повний текст джерела
Анотація:
Let r denote a finite group and R a commutative ring. Factorizability theories seek to describe similarities between the local structure of R1-modules M and N, where M and N are related by, for example, being isomorphic when tensored up with Q. In the first three chapters of this thesis, we define two families of factorizability theories, the invariance and coinvariance factorizability theories. We will consider three members of these families. We demonstrate that monomial invariance factorizability is equivalent to monomial factorizability as defined in [19]. We go on to consider the two cycl
Стилі APA, Harvard, Vancouver, ISO та ін.
28

Moores, Elisabeth J. "Dyslexia : challenging theories." Thesis, University of Sheffield, 1999. http://etheses.whiterose.ac.uk/15162/.

Повний текст джерела
Анотація:
Experiments presented challenge theories on their ability to provide causal explanations of the pattern of performance in dyslexia. Studies la and 1 b employed a prism adaptation paradigm to investigate the Cerebellar Deficit Hypothesis (CDH). No group differences were found, although unfortunately it was concluded that the paradigm could not satisfactorily isolate cerebellar function from other compensation mechanisms. Studies 2a and 2b exploited a sequential stereopsis technique to test the visual deficit hypothesis. No group differences were found, although the dyslexic group did exhibit a
Стилі APA, Harvard, Vancouver, ISO та ін.
29

Mercer, Rebekah M. "Theories of Relativity." Thesis, University of North Texas, 1999. https://digital.library.unt.edu/ark:/67531/metadc278201/.

Повний текст джерела
Анотація:
Theories of Relativity is a post-modern novella that questions the authority of truth. Multiple perspectives are utilized in the narrative to recount how the murder of a young girl has affected the tragedy's survivors. The focus of the narrative is not to determine the innocence or guilt of the accused, but to show how perspective influences our perception of truth. Eighteen pages of prefatory remarks comprise the body of an essay that explores the parameters of truth.
Стилі APA, Harvard, Vancouver, ISO та ін.
30

Heinze, Franziska. "Postkoloniale Theorie." Universität Leipzig, 2015. https://ul.qucosa.de/id/qucosa%3A15382.

Повний текст джерела
Анотація:
Postkoloniale Theorie bezeichnet ein breites Spektrum theoretischer Zugänge zu und kritischer Auseinandersetzungen mit historischen und gegenwärtigen Machtverhältnissen, die im Zusammenhang mit dem europäischen Kolonialismus und seinen bis heute währenden Fortschreibungen stehen. Als Gründungsdokument postkolonialer Theorie gilt Edward Saids Studie „Orientalism“ (1978). Postkoloniale feministische Theorie fokussiert auf die Situation von Frauen bzw. auf vergeschlechtlichte Identitäten in (neo-)kolonialen Settings. Neben der Konstruktion von Gender und Geschlechterrollen sind Sexualität und Beg
Стилі APA, Harvard, Vancouver, ISO та ін.
31

Heinze, Franziska. "Postkoloniale Theorie." Universitätsbibliothek Leipzig, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-220194.

Повний текст джерела
Анотація:
Postkoloniale Theorie bezeichnet ein breites Spektrum theoretischer Zugänge zu und kritischer Auseinandersetzungen mit historischen und gegenwärtigen Machtverhältnissen, die im Zusammenhang mit dem europäischen Kolonialismus und seinen bis heute währenden Fortschreibungen stehen. Als Gründungsdokument postkolonialer Theorie gilt Edward Saids Studie „Orientalism“ (1978). Postkoloniale feministische Theorie fokussiert auf die Situation von Frauen bzw. auf vergeschlechtlichte Identitäten in (neo-)kolonialen Settings. Neben der Konstruktion von Gender und Geschlechterrollen sind Sexualität und Beg
Стилі APA, Harvard, Vancouver, ISO та ін.
32

Scheufelen, Axel H. "Diagnose subjektiver Theorien als Grundlage der Strategieentwicklung /." Berlin : Pro Business, 2008. http://d-nb.info/989791629/04.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
33

Schuhr, Jan C. "Rechtsdogmatik als Wissenschaft : rechtliche Theorien und Modelle /." Berlin : Duncker & Humblot, 2006. http://www.gbv.de/dms/spk/sbb/recht/toc/519511174.pdf.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
34

Förster, Kerstin, and Roy Wendler. "Theorien und Konzepte zu Agilität in Organisationen." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-129603.

Повний текст джерела
Анотація:
Der Begriff Agilität bezeichnet innerhalb der Organisationslehre seit etwa 20 Jahren eine Form der flexiblen, schlanken, kundenorientierten Organisationsgestaltung und verbindet sich, um jeweils neu entwickelte Technologien erweitert, mit dem Charakter einer jungen, modernen Organisationsform. Verstärkt wird dieser Eindruck durch die Tatsache, dass vor dem Jahre 1991, als das Iacocca Institute entscheidend zur Verknüpfung des Begriffes Agilität mit der Organisationslehre und zur Verbreitung der mit der Agilität verbundenen Methoden beitrug, der Agilitätsbegriff innerhalb der Organisationsforsc
Стилі APA, Harvard, Vancouver, ISO та ін.
35

Förster, Kerstin, and Roy Wendler. "Theorien und Konzepte zu Agilität in Organisationen." Technische Universität Dresden, 2012. https://tud.qucosa.de/id/qucosa%3A27335.

Повний текст джерела
Анотація:
Der Begriff Agilität bezeichnet innerhalb der Organisationslehre seit etwa 20 Jahren eine Form der flexiblen, schlanken, kundenorientierten Organisationsgestaltung und verbindet sich, um jeweils neu entwickelte Technologien erweitert, mit dem Charakter einer jungen, modernen Organisationsform. Verstärkt wird dieser Eindruck durch die Tatsache, dass vor dem Jahre 1991, als das Iacocca Institute entscheidend zur Verknüpfung des Begriffes Agilität mit der Organisationslehre und zur Verbreitung der mit der Agilität verbundenen Methoden beitrug, der Agilitätsbegriff innerhalb der Organisationsforsc
Стилі APA, Harvard, Vancouver, ISO та ін.
36

Eberlein, Roland. "Theorien und Experimente zur Wahrnehmung musikalischer Klänge /." Frankfurt am Main ; Bern ; Paris : P. Lang, 1990. http://catalogue.bnf.fr/ark:/12148/cb35074827q.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
37

Schmidt, Volker H. "Bedingte Gerechtigkeit : soziologische Analysen und philosophische Theorien /." Frankfurt : Campus, 2000. http://catalogue.bnf.fr/ark:/12148/cb401791534.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
38

Fritzsch, Ursula. "Handlungsbezogene Kognitionen als subjektive Theorien im Erziehungsalltag /." Bern, 1985. http://www.ub.unibe.ch/content/bibliotheken_sammlungen/sondersammlungen/dissen_bestellformular/index_ger.html.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
39

Tan, Chong Hui. "Equivariant K-theories, equivariant cycle theories and equivariant motivic homotopy theory." Restricted to subscribing institutions, 2004. http://proquest.umi.com/pqdweb?did=795958481&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
40

Lavdas, Ioannis. "AdS₄/CFT₃ and quantum gravity." Thesis, Paris Sciences et Lettres (ComUE), 2019. http://www.theses.fr/2019PSLEE041.

Повний текст джерела
Анотація:
Dans le cadre de la dualité holographique entre une vaste famille de vides 1/2-maximalement supersymétriques Anti-de Sitter à quatre dimensions (AdS₄) et des théories des champs superconformes N=4 supersymétriques à trois dimensions (sCFT₃), nous étudions des questions théoriques majeures de gravité quantique et de théories de jauge. Ce travail a deux directions principales : La premiere partie est consacrée aux mécanismes par lesquels le graviton AdS₄ peut acquérir une petite masse, tandis que la seconde partie concerne la cartographie de la variété superconforme des sCFT₃ considérées. En ce
Стилі APA, Harvard, Vancouver, ISO та ін.
41

Schröder, Tobias. "Die Theorie der Affektsteuerung als allgemeine Theorie der sozialen Interaktion /." Berlin : Dissertation.de, 2009. http://www.dissertation.de/buch.php3?buch=5972.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
42

Schmiedl-Neuburg, Hilmar. "Normative Theorien der internationalen Beziehungen : eine vergleichende Inventur und Einordnung, Analyse und Kritik der normativen Theorien und Probleme internationaler Beziehungen /." Norderstedt : BoD, Books on Demand, 2005. http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=015002444&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
43

Martini, Riccardo. "Tensorial group field theories." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8941/.

Повний текст джерела
Анотація:
In questa tesi il Gruppo di Rinormalizzazione non-perturbativo (FRG) viene applicato ad una particolare classe di modelli rilevanti in Gravit`a quantistica, conosciuti come Tensorial Group Field Theories (TGFT). Le TGFT sono teorie di campo quantistiche definite sulla variet`a di un gruppo G. In ogni dimensione esse possono essere espanse in grafici di Feynman duali a com- plessi simpliciali casuali e sono caratterizzate da interazioni che implementano una non-localit`a combinatoriale. Le TGFT aspirano a generare uno spaziotempo in un contesto background independent e precisamente ad o
Стилі APA, Harvard, Vancouver, ISO та ін.
44

Huber, Sacha. "Economic Theories of Collapse." St. Gallen, 2008. http://www.biblio.unisg.ch/org/biblio/edoc.nsf/wwwDisplayIdentifier/06612162001/$FILE/06612162001.pdf.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
45

Yick, Ho-yin. "Theories on derivative hedging." Click to view the E-thesis via HKUTO, 2004. http://sunzi.lib.hku.hk/hkuto/record/B30703530.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
46

Yilmaz, Nejat Tevfik. "Dualisation Of Supergravity Theories." Phd thesis, METU, 2004. http://etd.lib.metu.edu.tr/upload/12604804/index.pdf.

Повний текст джерела
Анотація:
By using the Kaluza-Klein reduction, the derivation of the maximal supergravities from the D=11 supergravity theory, as well as the Abelian Yang-Mills supergravities from the D=10 type I supergravity theory are discussed. After a thorough review of the symmetric spaces the symmetric space sigma model is studied in detail. The first-order formulation of both the pure and the matter coupled symmetric space sigma model is presented in a general formalism. The dualisation of the non-gravitational Bosonic sectors of the D=11, IIB and the maximal supergravities are also reviewed in a concise but a s
Стилі APA, Harvard, Vancouver, ISO та ін.
47

Ozonder, Sener. "Viable Higher Derivative Theories." Master's thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/12608468/index.pdf.

Повний текст джерела
Анотація:
In this thesis, higher derivative theories are investigated. Ostrogradskian instability of higher derivative theories is examined both at the classical and quantum levels. It is shown that avoiding the instability in nondegenerate higher derivative theories is impossible. Moreover, the degenerate model of relativistic particle with a curvature term is studied as a viable higher derivative theory. Most of the work we present here is not original. We give a review of the literature and compile various detached works that already exist.
Стилі APA, Harvard, Vancouver, ISO та ін.
48

Mahmoud, Ola. "Second-order algebraic theories." Thesis, University of Cambridge, 2011. https://www.repository.cam.ac.uk/handle/1810/241035.

Повний текст джерела
Анотація:
Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive system for languages with variable binding and parameterised metavariables. This workcompletes the foundations of the subject from the viewpoint of categorical algebra. Specifically, this thesis introduces the notion of second-order algebraic theory and develops its basic theory. Two categorical equivalences are established: at the syntactic level, that of second-order equational presentations and second-order algebraic theories; at the semanticlevel, that of second-order
Стилі APA, Harvard, Vancouver, ISO та ін.
49

Bayless, Sam. "SAT modulo monotonic theories." Thesis, University of British Columbia, 2017. http://hdl.handle.net/2429/61062.

Повний текст джерела
Анотація:
Satisfiability Modulo Theories (SMT) solvers are a class of efficient constraint solvers which form integral parts of many algorithms. Over the years, dozens of different Satisfiability Modulo Theories solvers have been developed, supporting dozens of different logics. However, there are still many important applications for which specialized SMT solvers have not yet been developed. We develop a framework for easily building efficient SMT solvers for previously unsupported logics. Our techniques apply to a wide class of logics which we call monotonic theories, which include many importa
Стилі APA, Harvard, Vancouver, ISO та ін.
50

Tan, Joseph K. H. "Graphics : theories & experiments." Thesis, University of British Columbia, 1988. http://hdl.handle.net/2429/29304.

Повний текст джерела
Анотація:
The primary justification of this research lies in the current thinking among graphics theorists and Management Information Systems researchers that different forms of information representation facilitate different types of tasks, and that it is the task characteristics which essentially influence performance with a given information presentation. Three experiments were designed to investigate hypotheses drawn from the literature testing the relative strengths and weaknesses of various graphical representations for answering a series of questions. Three forms of graph format were studied com
Стилі APA, Harvard, Vancouver, ISO та ін.
Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!

До бібліографії