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 10 of 10 for “"Model-complete"”.
-
The field of reals with Gevrey functions is model complete and o-minimal
… the family of so-called Gevrey functions) is model complete and o-minimal as well as polynomially bounded. The function $\phi$ given on (1, $\infty$) by$$\log\Gamma(x)=\left(x-{1\over2}\right)\log x-x+{1\over2}\log(2\pi)+\phi(x)$$is definable in $\IR\sb{\cal G},$ as are all functions whose …
-
Model theory of algebraically closed fields and the Ax-Grothendieck Theorem
… closed field with emphasis of the basic model-theoretic results concerning the theory of algebraically closed fields. One of these nice results about algebraically closed fields is the quantifier elimination property. We also show that the theory of algebraically closed field with a given …
-
On asymptotic valued differential fields with small derivation
This thesis is a contribution to the algebra and model theory of certain valued differential fields and ordered valued differential fields. We focus on those with small derivation, which is a strong form of continuity of the derivation with respect to the valuation topology, and especially on those …
-
Ecology and adaptation of denitrifiers across genomes and environments
… oxide. While canonical studies typically use model complete denitrifiers capable of fully reducing nitrate to N2 gas, sequencing efforts have revealed a diversity of partial denitrifiers capable of only one or a subset of denitrification steps in natural systems. Much remains to be known about …
-
Multi-Criteria Decision Modeling for Best Value Selections in Target Value Design Integrated Project Delivery
… The goal of this paper is to show that by modeling the life span of a project through a multi-criteria decision making model, built on a hierarchical framework will allow you to find a non-inferior solution to your TVD. I’m proposing to use Hierarchical Holographic Modeling (HHM) as the …
-
Biomechanics of North Atlantic right whale bone : mandibular fracture as a fatal endpoint for blunt vessel-whale collision modeling
… mortality using a multi-scale finite element model. Complete, transverse fracture of the right whale mandible, an injury seen only in right whales killed by vessels, is used as a proxy for mortality in the model. Vital for that model are the material properties and biomechanical behavior of …
-
An end-to-end model of the Earth Radiation Budget Experiment (ERBE) Earth-viewing nonscanning radiometric channels
… to be predicted using a low-order physical model. A high-level, dynamic electrothermal end-to-end model which accurately predicts the radiometers dynamic output has also been completed. This latter model is used to numerically simulate the calibration procedures of the actual instruments. …
-
Biomechanics of North Atlantic right whale bone : mandibular fracture as a fatal endpoint for blunt vessel-whale collision modeling
… mortality using a multi-scale finite element model. Complete, transverse fracture of the right whale mandible, an injury seen only in right whales killed by vessels, is used as a proxy for mortality in the model. Vital for that model are the material properties and biomechanical behavior of …
-
Information extraction from text for deep domain knowledge graph population. Extracting pre-clinical outcomes in the domain of spinal cord injury
… in the paradigm of structure prediction and model-complete text comprehension. We further identify domain specific challenges, and provide adapted solutions. We show how to efficiently evaluate complex nested structures predicted by our system and present a comprehensive evaluation to …
-
Multi-physics modeling of plasma discharge and material removal in micro electro-discharge machining process
… a strong need for development of a physics-based model to gain fundamental knowledge of the micro-EDM process. In this research work, a multi-physics model of the micro-EDM process has been developed to understand formation and expansion of micro-EDM plasma, and the process of formation of …