Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 11648 for “"Theories"”.
-
Deformations of homotopy theories via algebraic theories
… as a tool for producing deformations of homotopy theories. From this, we extract a framework for constructing and reasoning with obstruction theories and spectral sequences that compute homotopical data starting with purely algebraic data. We investigate the algebra necessary to apply this to …
-
Quasicategorical Galois theories
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-15 without embargo terms
-
The implications of theories of knowledge and meaning for theories of architecture.
Thesis. 1978. M.Arch.A.S.--Massachusetts Institute of Technology. Dept. of Architecture.
-
Caustics in gravitational theories
The gravitational collapse of a spherically symmetric, pressure-free dust is an interesting problem in General Relativity for it can lead, under certain initial conditions, to the situation where infinitesimally neighbouring shells approach and cross each other. The curve generated by these points …
-
Stability in Geometric Theories
The second question is answered for o-minimal structures that eliminate imaginaries. It is proved that for any structure D whose theory is o-minimal and eliminates imaginaries, any stable group interpretable in D is totally transcendental with finite Morley rank. A strengthening of Buechler's …
-
On Weak Number Theories
Decidability and definability are two separate but quite related topics in logic. Many undecidability results are proved by positive definability results. In Chapter 1 we reformulate Schinzel's theorem about diophantine equations with parameters to get some number theoretic results. In later …
-
Decomposition Theories for Modules
Made available in DSpace on 2014-12-09T22:17:49Z (GMT). No. of bitstreams: 1 6910700.pdf: 2277407 bytes, checksum: 21a82937a8c721d2b2d32d90b701e643 (MD5) Previous issue date: 1968
-
Second-Order Algebraic Theories
… presentations and second-order algebraic theories. This equivalence, referred to as the Second-Order Syntactic Categorical Type Theory Correspondence, involves distilling a notion of syntactic translation between second-order equational presentations that corresponds to the canonical …
-
Gauge theories of gravity
A novel alternative to Einstein's general theory of relativity is presented, based on the gauge principle. The gravitational Lagrangian has no Einstein--Hilbert term, but is constructed from quadratic invariants of the Riemann--Cartan curvature and torsion, constituting a geometric gauge theory of …
-
The Fertility of Theories
… adequacy and compatibility with other current theories, scientific theories are commonly judged on three criteria ' simplicity, elegance, and fertility. Fertility has received comparatively little attention in the philosophical literature. A definition of a certain sort of fertility, called …
-
Framework theories in science
… of three papers on the nature of scientific theories and inference. In many cases, scientific theories can be regarded as organized into hierarchies, with higher levels sometimes called 'paradigms', and lower levels encoding more specific or concrete hypotheses. The first chapter uses …
-
Optimization Modulo Theories with OptiMathSAT
… Automated Reasoning (AR), Satisfiability Modulo Theories (SMT) is an important discipline that allows for dealing with industrial-level decision problems. Optimization Modulo Theories (OMT) extends Satisfiability Modulo Theories with the ability to express, and optimize, objective functions. …
-
Effective Field Theories in Cosmology
… have been extensively used to study alternative theories of gravity which mimic a non-vanishing cosmological constant and to build models of the early universe which generate the observed anisotropies and inhomogeneities through a period of accelerated cosmic expansion. In this thesis, we study …
-
Conspiracy theories and political culture
This research is into the role of conspiracy theories in political culture. It is an investigation into the various aspects of political belief reflected in conspiracy theories. To research the topic a broadly Foucauldian approach is taken. The 'paranoid style' developed by American political …
-
Discrete Quantum Theories and Computing
Most quantum computing models are based on the continuum of real numbers, while classical digital computers faithfully realize only discrete computational models. Analog computers appear to be an option, but in reality are far weaker than would be needed for computational models requiring real …
-
Bobcat traps and other theories
… sociological framings, Bobcat Traps and Other Theories represents a multiscalar auto-theoretical account of my upbringing in a small, working-class community in rural Missouri. Through personal essays, cultural criticism, and archival research, I make excursions into my past, and the historical …
-
Coherence for categorified operadic theories
… up to coherent isomorphism. This generalizes the theories of monoidal categories and symmetric monoidal categories, and several related notions defined in the literature. Using this definition, we generalize the result that every monoidal category is monoidally equivalent to a strict monoidal …
Page 1 of 583