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 7840 for “"Domains"”.
-
Logical presentations of domains
… theory and logic. To start with, the theory of domains is developed with such issues as the semantics of recursion and iteration; the solution of recursive domain equations; and non-determinism in mind. In this way, a reasonably comprehensive account of domains, as ordered sets, is given. The …
-
Imprecision in normative domains
Being rational and being moral can be difficult. However, some theories of rationality and morality make living up to these ideals too difficult by imposing requirements which are excessively rigid. In this dissertation, I defend and explore the implications of relaxing some of these requirements. …
-
Grid Domains for Analysing Software
… program analysis method that uses abstract domains to provide a convenient but approximate representation of the accumulated in- formation during the evaluation of a program. The focus of this thesis is to investigate numerical abstract domains that capture the distribution or patterns of …
-
Universal domains for sequential computation
… T and a universal language KL. A rich class of domains called observably sequential domains can be specified in T with functions definable in KL. Such an embedding of a data domain enables the operations on the domain to be defined in the universal language. Unlike embeddings in classical domain …
-
Laplace's equation on perturbed domains
… two methods for solving Laplace's equation on domains that are perturbations of a circle. These methods are derived from governing equations and applied to several test cases. Both Dirichlet and Neumann boundary conditions are considered. We verify our methods by constructing exact solutions …
-
Learning to map between domains
… Our work includes mapping between two image domains and mapping from an image domain to a language domain, which in computer vision are called, respectively, image-to-image translation and image captioning. The presented methods not only help users to easily and accurately synthesize useful …
-
Intent Recognition in Multi-Agent Domains
… interaction, but is also useful in adversarial domains, as discussed in this thesis. It is especially important to be capable of performing intent recognition in multi-agent settings, both in terms of recognizing low-level intentions for individual agents, and of recognizing coordinated agents …
-
β-Uniform Convexity and Divisible Domains
… space. In general, strictly convex divisible domains exhibit negative curvature properties, but only the ellipsoid is a CAT(-1) space. The notion of p-uniform convexity from the theory of Banach spaces has been proposed as a generalization of the Alexandrov-Toponogov comparison property to …
-
Autonomous Space Surveillance for Arbitrary Domains
<p>Space is becoming increasingly congested every day and the task of accurately tracking satellites is paramount for the continued safe operation of both manned and unmanned space missions. In addition to new spacecraft launches, satellite break-up events and collisions generate large amounts of …
-
Interactive logical analysis of planning domains
… about previously unencountered planning domains, and leverage this ability to construct “general-purpose'' solution plans for the domain.</p> <p>The long term vision of this research is to automate this ability, constructing a system that utilizes reasoning to automatically verify claims …
-
Robust Entity Linking in Heterogeneous Domains
… Linking systems were optimized for specific domains (e.g., general domain, biomedical domain), knowledge base types (e.g., DBpedia, Wikipedia), or document structures (e.g., tables) and types (e.g., news articles, tweets). This led to very specialized systems that lack robustness and are only …
-
A statistical study of ship domains
The thesis is an attempt to establish the water area required by any one ship for safe and efficient navigation. The concept of a ship domain has been considered, which may be defined as the effective area around a ship which a navigator would like to keep free with respect to other ships and …
-
Probing Interactions Between Canonical NOX Domains
… regions at the interface of the TM and DH domains: the TM B-loop, the TM D-loop, the NADPH-FAD linker, the TM-DH linker, and the C-terminus. Using the SpNox model system, the role of the conserved, putative interacting regions at the TM:DH interface on enzyme activity was investigated. To …
-
Mapping Domains for ZIC3 Molecular Function
… work presented in this thesis maps structural domains required for ZIC3 molecular function. Characterisation of a novel allele of murine Zic3 revealed that removal of the ZFD and C-terminus renders the mutant protein functionally null and incapable of dominantly interfering with the function of …
-
Mapping Domains for ZIC3 Molecular Function
… work presented in this thesis maps structural domains required for ZIC3 molecular function. Characterisation of a novel allele of murine Zic3 revealed that removal of the ZFD and C-terminus renders the mutant protein functionally null and incapable of dominantly interfering with the function of …
Page 1 of 392