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 13 of 13 for “"Refinement techniques"”.
-
Increasing Selection Accuracy and Speed through Progressive Refinement
Although many selection techniques have been proposed and developed over the years, selection by pointing is perhaps the most popular approach for selection. In 3D interfaces, the laser-pointer metaphor is commonly used, since users only have to point to their target from a distance. However, the …
-
The crystal structures of sodium bicarbonate, propionic acid and valeric acid
… modern Weissenberg photography and least squares refinement techniques with particular emphasis placed on the determination of the carbonate group configuration. Zachariasen's parameters and bond distances will appear in conjunction with the results reported here to facilitate ease of comparison.
-
Assessment of Varying Model Representations in CFD Simulations
… thesis investigates the effects of varying model refinement and representation of computational fluid dynamics (CFD) simulations in two case studies. Product and process realization in engineering design requires substantial resources (time and money) in order to test novel designs for …
-
Exploring Protein-Ligand Interaction with Rotamer-Library Based Refinement Tools
Rotamer-library based techniques employing all-atom force fields have been extensively used for the predicting and refining protein sidechains, loops and tertiary structures. These refinement techniques have been expanded to allow the inclusion of protein-ligand interactions by developing and …
-
The Refinement of Formal Specifications Using Reusable Software Components in Ada95
… into high level code in fewer steps than other refinement techniques and without the need for formal proof. This method helps to overcome one of the mam stumbling blocks for formal methods, which is the difficulty of creating software from the formal specification. In the main, previous methods …
-
Operator-adapted finite element wavelets : theory and applications to a posteriori error estimation and adaptive computational modeling
… a posteriori error estimation and adaptive mesh refinement in finite element analysis using multiresolution signal processing principles. Given a sequence of nested discretizations of a domain we begin by constructing approximation spaces at each level of discretization spanned by conforming …
-
Adaptive load balancing for HPC applications
… and are using irregular structures and adaptive refinement techniques, resulting in load imbalance. Moreover, systems are becoming more complex. The number of cores per node is increasing substantially and nodes are becoming heterogeneous. High variability in the performance of the hardware …
-
Methodology of refinement and decomposition in UML-B
… supported in plain Event-B. In Event-B, refinement is used to relate system models at different abstraction levels. The same abstraction-refinement concepts can also be applied in UML-B. This work introduces the notions of refined classes, refined state machines and extended classtypes to …
-
High fidelity imaging in electrical impedance tomography
… can be obtained using numerical reconstruction techniques. This non-linear reconstruction is mathematically difficult and computationally intensive. Most applications in medicine and industry rely upon a fast and accurate image acquisition. The aim of this investigation is to find methods which …
-
Remedies for building reliable cyber-physical systems
… thesis is a counter-example guided abstraction refinement algorithm for unbounded time model checking of non- linear hybrid automata. Clearly, this is an undecidable problem and that is the main reason for using abstraction refinement techniques. Our CEGAR framework for this class is sound but …
-
Mathematical and Computational Models for Transient Magnetohydrodynamic Flows of Magnetically Confined Plasmas
… taking advantage of hierarchical adaptive mesh refinement techniques both in space and time. A key element of this methodology is the discretisation of topologically complex rigid boundaries as well as material and state of matter interfaces, which represents a significant departure from …
-
Synthesis of coordination complexes and the use of X-ray diffraction data towards the development of refinement of occupancy of spherical atoms (ROSA), a new approach for the determination of atomic partial charges
… analysis. A simple modification to standard refinement techniques of X-ray crystal structures that would allow for the determination of partial atomic charges in single crystal X-ray structures was developed. Existing experimental methods like IR and Raman spectroscopy lack the precision to …