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 14 of 14 for “"Dynamic evaluation"”.
-
Dynamic evaluation of female pelvic floor muscle function using 2D ultrasound and image processing methods
… was to define new quantitative parameters of dynamic Pelvic Floor Muscle (PFM) function using 2D transperineal (TP) ultrasound imaging combined with image processing methods (IPM).<br/><br/>Ultrasound and digital vaginal data were obtained from a volunteer convenience sample of 23 continent …
-
Evaluation of Programs and Parallelizing Compilers Using Dynamic Analysis Techniques
The dynamic evaluation of parallelizing compilers and the programs to which they are applied is a field of abundant opportunity. Observing the dynamic behavior of a program provides insights into the structure of a computation that may be unavailable by static analysis methods.
-
CLOSED-LOOP SCALING: AUTONOMOUS IMPROVEMENT OF LLM AND LVLM REASONING
… treats reasoning as search guided by self-evaluation. Training-time scaling internalizes search-discovered knowledge into parameters through iterative preference alignment. Architectural grounding provides structural foundations for sustainable scaling. Through critical analysis, we …
-
Labyrinth Seal Preprocessor and Post-Processor Design and Parametric Study
Vibrations caused due to aerodynamic excitation may cause severe limitation to the performance of turbomachines. The force resulting from the non-uniform pressure distribution within the labyrinth cavity is identified as a major source of this excitation. In order to perform rotor dynamic …
-
Automating abstraction functions
… program we develop four techniques for the dynamic evaluation of abstraction functions written in a declarative first-order logic with relations and transitive closure. We observe that the abstraction functions programmers write in practice may often be viewed as navigation queries on the …
-
Artificial Liver Support and Related Systems
… with the design and development of an in-vitro dynamic evaluation technique to enable the adsorption of a selection of nitrogen-based hepatic toxins on the novel hydrogel polymers and other potential adsorbents to be studied. Initial work was carried out on three types of commercially available …
-
Methodik zur integrierten Grobplanung von Abläufen und Strukturen mit digitalen Fabrikmodellen
… and their interdependencies. In an increasingly dynamic and competitive environment, factory planning is becoming a more and more crucial core process for production industries. In the context of increasing planning frequency and tighter time limits, available planning procedures and systems do …
-
Noninvasive Assessment of Tumor Hypoxia Using MRI in Clinical and Preclinical Tumor Models
… methods are available to quantitatively map pO2 dynamics in preclinical studies, new techniques are needed to noninvasively characterize tumor hypoxia and response to interventions in patients. Blood Oxygen Level Dependent (BOLD) MRI based on T2* contrast induced by deoxyhemoglobin concentration …
-
Desarrollo de una metodología de simulación de secuencias en accidente en centrales nucleares de agua ligera considerando actuaciones del operador
… don’t include, except for seldom cases, the dynamic evaluation of the operator actions impact in the analysis of the accidental sequences.
-
Development of a multi-physics tire model for wear and thermal estimation in the finite element environment
… tool for improving the understanding of vehicle dynamics, tire wear and tire modeling is finite element techniques. For accurate static, steady-state, and dynamic tire mechanics in simulation, a highly accurate tire model needs to be modeled and validated in multiple domains. This research …
-
Riemannian geometry of matrix manifolds for Lagrangian uncertainty quantification of stochastic fluid flows
… transport partial differential equation. The Dynamically Orthogonal (DO) approximation is applied as an efficient model order reduction technique to solve this stochastic advection equation. With the goal of developing new rigorous reduced-order advection schemes, the second part of this work …
-
Sheaf Semantics in Constructive Algebra and Type Theory
In this thesis we present two applications of sheaf semantics. The first is to give constructive proof of Newton-Puiseux theorem. The second is to show the independence of Markov's principle from type theory. In the first part we study Newton-Puiseux algorithm from a constructive point of view. …
-
Simulation of Turbulent Flames at Conditions Related to IC Engines
… in recent times make computational uid dynamics (CFD) an important and cost-effective tool for gathering required insights on the in-cylinder ow, combustion and their interactions. Traditional Reynolds-Averaged Navier-Stokes (RANS) methods and emerging Large Eddy Simulation (LES) …