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 331 for “"unification"”.
-
Semantic unification for convergent systems
… terms equal in a given theory, while semantic unification is the process that generates a basis set of such unifying substitutions. A simpler variant of the problem is semantic matching, where the substitution is made in only one of the terms. Semantic unification and matching constitute an …
-
File system unification using LatticeFS
LatticeFS is a namespace unification system designed to merge multiple source file systems into a single working file system. atticeFS can be used to merge multiple software package directories, work with multiple file systems as if they are one, and share a single storage medium among multiple …
-
American Reaction to European Economic Unification
… and the Soviet Union. The alternative to such unification would have been step by step but eventual control of Western Europe by Communism. As a prelude to economic and possible political unification, the United States projected several programs of moral and financial assistance toward Europe. …
-
Parsing and generation of unification grammars
… it is shown that declarative, feature-based, unification grammars can be used for efficiently both parsing and generation. It is also shown that radically different algorithms are not needed for these two modes of processing. Given this similarity between parsing and generation, it will be …
-
Cumbia Tejana: Synthesis Towards Unification in the Tejano Continuum
Cumbia Tejana emerges as the Texas-Mexican (Tejano) adoption of the Mexican (Cumbia Nortena) and Afro-Colombian Cumbia into the repertoire of the ensembles, music-cultures, and dance traditions of South Texas. Musically, Cumbia Tejana is not one interpretation of the Cumbia, but many. The Cumbia's …
-
Unification and equation solving in nilpotent groups and monoids
Unification and equation solving have been considered for groups [44], semigroups [43], abelian groups [39] and abelian semigroups [25], [33], [68], [69]. In this thesis we consider partially commutative groups and monoids. Nilpotency provides us with a partial commutativity condition in the case …
-
Unification of QSOs via black hole and accretion properties
Although the orientation-based AGN unification scheme can successfully explain many QSO observational phenomena, orientation does not address all the object-to-object differences in QSOs. Physical differences of the underlying engine, such as luminosity, black hole mass (MBH) and Eddington ratio …
-
A unification-based natural language interface to a database.
An implementation of a Lexical Functional Grammar (LFG) natural language front-end to a database is presented, and its capabilities demonstrated by reference to a set of queries used in the Chat-80 system. The potential of LFG for such applications is explored. Other grammars previously used for …
-
Competition and unification of Kondo coherence and magnetic ordering
The heavy fermion quantum critical point is one of the most puzzling problems in the field of highly correlated electrons. This is a quantum critical point separating a non-magnetic heavy fermi liquid metal from an antiferromagnetically ordered metal. The major problem facing us is the fact that, …
-
Constraint satisfaction - an alternate approach to unification in Prolog
… The uniform parameter passing mechanism, viz unification, is syntactic and too restrictive in nature. Moreover, Prolog uses a depth first search strategy combined with chronological backtracking which renders the SLD-Resolution incomplete. In this thesis, we study the incorporation of a …
-
Incorporating equation solving into unification through stratified term rewriting
… studies equational theories incorporated into unification and describes STAR, a stratified term rewriting system that achieves a full integration. STAR is an advance over existing systems because it integrates an equational theory with unification at a lower, more fundamental level. Certain …
-
Dark Matter Models in Non-Supersymmetric SO(10) Unification Models
… restricted by the requirement of gauge coupling unification. These models are then checked against several phenomenological constraints, such as the light neutrino masses, direct detection bounds on dark matter candidates and the proton decay lifetime. Finally, we demonstrate that the vacuum …
-
Bram Stoker and cultural unification: colonialism, hybridity and the gothic
This thesis develops the links between Ireland, Colonialism and Nationality that occur within Bram Stoker's narratives through the representation of an ancient version of the past that actively engages with the Victorian present. This construction of the past demonstrates Stoker's political views …
-
More than words: Neural and genetic dynamics of syntactic unification
Contains fulltext : 77569.pdf (author's version ) (Open Access)
-
PathMeld: A Methodology for The Unification of Metabolic Pathway Databases
… and substrate matching between databases in the unification of pathway databases. Here, we present the PathMeld methodology to unify KEGG and MetaCyc databases starting from their flat files. Individual PGDBs are transformed into a unified schema that we design. With individual PGDBs in the …
-
The impact of unification on the German model of industrial relations
… of this thesis is to assess the impact of German Unification on the German Model of industrial relations. Other external pressures are also placing pressure on the model such as increased integration of the world economy, trends towards financial de-regulation and the onset of new production …
-
Unemployment, Job Insecurity and Health: A Survey of Post-Unification Germany
… mortality. The present study of Germany after unification highlights the importance of placing these risk factors in a broad social context by showing that national economic and structural changes and the resulting growth in unemployment permeate the health of the population.
-
Unification -Based Paradigmatic Morphology: A Theoretically -Motivated Approach to Computational Morphology
… particularly suited for applications based on unification. The contribution of this thesis to the field of computational morphology is discussed and contrasted with other approaches such as the finite-state and the inheritance network approaches.
Page 1 of 17