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 1834 for “"Refinement"”.
-
A Web Service for Protein Refinement and Refinement of Membrane Proteins
… in vacuo. A web based utility for protein refinement has been developed and deployed based on the KB_0.1 potential to refine proteins.</p>
-
Focusing on Modular Refinement Typing
Refinement typing algorithms are hard to design and understand. Liquid Haskell (LH) has powerful features like modular, recursive refinement of inductive data. But Liquid Haskell is relatively hard to understand as it lacks an explicit phase distinction between indices and programs. Index based …
-
Perceptual refinement for hierarchical radiosity
… visual system to produce a perceptually based refinement oracle for the hierarchical radiosity algorithm. Tests of the perceptual oracle shows that it allows the hierarchical radiosity algorithm to produce the same visual quality output in half the time and using half the memory compared to the …
-
Grain refinement in steel castings
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Metallurgy, 1960.
-
Data Refinement in Object-Oriented Verification
Data refinement is a special instance of refinement where a specification is refined by replacing the data type used in the specification. The theory of data refinement guarantees that this replacement does not adversely affect the functional behaviour of the programs that use these specifications. …
-
Adaptive mesh refinement for computational aeroacoustics
… SCIENCES Doctor of Philosophy ADAPTIVE MESH REFINEMENT FOR COMPUTATIONAL AEROACOUSTICS by Xun Huang<br/>This thesis describes a parallel block-structured adaptive mesh refinement (AMR) method that is employed to solve some computational aeroacoustic problems with the aim of improving the …
-
Knowledge refinement for a formulation system.
… describes the application of the knowledge refinement tool KRUST to the design system TFS, whose task is tablet formulation for a major pharmaceutical company. KRUST has already been successfully applied to a variety of classificatory problems, and a generic refinement framework is being …
-
Refinement and Architecture in Early Ypsilanti
<p>The objective of this work is to examine refinement and architecture in nineteenth-century America with a focus on rural areas and Ypsilanti, Michigan in particular. The research utilized consists of an analysis of primary and secondary sources. Included among the primary sources are …
-
Adaptive mesh refinement in topology optimization
… topology optimization with Adaptive Mesh Refinement (AMR). Regions with stress concentrations dominate the optimized design. As such, we first present an approach to obtain designs with accurately computed stress fields within the context of topology optimization. To achieve this goal, we …
-
Refinement of a Fertiliser-producing Urinal
Wastewater recovery plays a crucial role in meeting sustainable and environmental challenges. Eco-friendly, nutrient recycling is a more sustainable and environmentally friendly method of waste recovery because it reclaims vital components from waste streams and utilises their potential as valuable …
-
Aerosol synthesis and Rietveld refinement of Pd2Zn
PdZn catalysts have been proven to be a viable option to replace current Cu catalysts for methanol steam reforming. The change in selectivity to CO2 that makes this a possibility has been attributed to the formation of tetragonal β1-PdZn at treatment temperatures of 500oC. Through the course of …
-
Cascaded Digital Refinement for Intrinsic Evolvable Hardware
… digital resources' enhanced accuracy and signal refinement capability to improve circuit performance of the analog resources' which are providing low power processing and high computation rates. In particular, Differential Digital Correction (DDC) is developed utilizing an error metric computed …
-
Desiree - a Refinement Calculus for Requirements Engineering
… stakeholder needs. We propose Desiree, a refinement calculus for systematically transforming stakeholder requirements into an eligible specification. The core of the calculus is a rich set of requirements operators that iteratively transform stakeholder requirements by strengthening or …
-
Specification Reuse using Data Refinement in Dafny
Data refinement is a technique for transforming system specifications into system implementation that differs in data types. It gives us the freedom to write specifications in a way that is independent of its implementation; moreover we can generate multiple implementations without changing the …
-
Hardware/Software Co-Design via Specification Refinement
… low level implementation details. The Rosetta refinement capability extends this by allowing a system's functional behavior and its implementation details to be described separately. The Rosetta Refinement Tool combines the functional behavior and the implementation details to form a system …
-
Automatic refinement of constructive solid geometry models
Geometric information relating to most engineering products is available in the form of orthographic drawings or 2D data files. For many recent computer based applications, such as Computer Integrated Manufacturing (CIM), these data are required in the form of a sophisticated model based on …
-
STRUCTURE REFINEMENT OF CYTOCHROME C555 (CHLOROBIUM, THIOSULFATOPHILUM).
The structure of cytochrome c₅₅₅ from the green sulfur bacterium Chlorobium thiosulfatophilum was determined by using a single isomorphous derivative, K₂HgI₄, in combination with its anomalous signal. The initial 2.25 angstrom map was modified by the technique of Fourier inversion. The smoothing …
-
Parallel Delaunay Refinement and Space -Time Meshing
A tetrahedron is acute if all its dihedral angles are less than 90°. Triangulations of three-dimensional domains with acute tetrahedra are useful in mesh generation. We give several constructions for tiling space with acute tetrahedra.
Page 1 of 92