1,138 research outputs found
The Lascar groups and the 1st homology groups in model theory
Let be a strong type of an algebraically closed tuple over
B=\acl^{\eq}(B) in any theory . Depending on a ternary relation \indo^*
satisfying some basic axioms (there is at least one such, namely the trivial
independence in ), the first homology group can be introduced,
similarly to \cite{GKK1}. We show that there is a canonical surjective
homomorphism from the Lascar group over to . We also notice that
the map factors naturally via a surjection from the `relativised' Lascar group
of the type (which we define in analogy with the Lascar group of the theory)
onto the homology group, and we give an explicit description of its kernel. Due
to this characterization, it follows that the first homology group of is
independent from the choice of \indo^*, and can be written simply as
. As consequences, in any , we show that
unless is trivial, and we give a criterion for the equality of stp and
Lstp of algebraically closed tuples using the notions of the first homology
group and a relativised Lascar group. We also argue how any abelian connected
compact group can appear as the first homology group of the type of a model.Comment: 30 pages, no figures, this merged with the article arXiv:1504.0772
The relativized Lascar groups, type-amalgamation, and algebraicity
We apply compact group theory to obtain some model-theoretic results about
the relativized Lascar Galois group of a strong type
The Lascar groups and the first homology groups in model theory
Let be a strong type of an algebraically closed tuple over
B=\acl^{\eq}(B) in any theory . Depending on a ternary relation \indo^*
satisfying some basic axioms (there is at least one such, namely the trivial
independence in ), the first homology group can be introduced,
similarly to \cite{GKK1}. We show that there is a canonical surjective
homomorphism from the Lascar group over to . We also notice that
the map factors naturally via a surjection from the `relativised' Lascar group
of the type (which we define in analogy with the Lascar group of the theory)
onto the homology group, and we give an explicit description of its kernel. Due
to this characterization, it follows that the first homology group of is
independent from the choice of \indo^*, and can be written simply as
. As consequences, in any , we show that
unless is trivial, and we give a criterion for the equality of stp and
Lstp of algebraically closed tuples using the notions of the first homology
group and a relativised Lascar group. We also argue how any abelian connected
compact group can appear as the first homology group of the type of a model.Comment: 30 pages, no figures, this merged with the article arXiv:1504.0772
The Molecular Phylogeny and Biogeography of the Trochomorphidae in Belau (Republic of Palau, Oceania)
The Trochomorphidae is an understudied family of terrestrial pulmonate gastropods. The genera of this family are found throughout Southeast Asia and in western Pacific islands. Belau (Republic of Palau, Oceania) is home to five species of trochomorphids: Videna electra, Videna oleacina, Videna pagodula, Videna pumila, and Liravidena lacerata. While these species were previously described nearly 100 years ago, detailed research on the relationships between these species has yet to be studied. At the same time, these species are facing an extinction crisis due to humans, in the form of habitat loss and the introduction of invasive predators. This research presents the first phylogenetic analyses of the Belau trochomorphids, the first photographs of each of the five species, updated species descriptions, and current geographic range maps. Conservation suggestions for Belau trochomorphids were made based on the results of this research, including the continuation of rat eradication efforts across the archipelago
A revision of Strombus urceus Linné, 1758
This dissertation presents a classical revision of Strombus urceus Linne, 1758 post Abbott 1960 (Mollusca, Neostromboidae, Strombidae) and has resolved this monospecific group into twelve species. This involved a review and the presentation of novel theories in the areas of speciation, hybridisation and clade recognition
No Delicate Flower: Victorian Floral Symbolism’s Mediation of Social Issues in Selected Works of Elizabeth Barrett Browning, Alfred Tennyson, John Ruskin, and Isabella Bird Bishop
No Delicate Flower: Victorian Floral Symbolism’s Mediation of Social Issues in Selected Works of Elizabeth Barrett Browning, Alfred Tennyson, John Ruskin, and Isabella Bird Bishop examines floral symbols in the writings of four Victorian authors. Although a large body of work exists on the Romantic literary symbol, its Victorian counterpart is often ignored: Barrett Browning, Tennyson, Ruskin, and Bird Bishop use floral symbols in their work as outward-looking instruments, in contrast to the more inward-looking Romantic symbol, to help understand changing social conditions and address real-world concerns.
Chapter one offers an overview of the Victorian symbol and the language of flowers. Chapter two examines Barrett Browning’s floral symbolism in “Lady Geraldine’s Courtship” (1844) and Aurora Leigh (1857), focusing on the way the poet adds to the transcendent Romantic symbol by looking beyond the symbol to real-world issues. Chapter three examines how, in Tennyson’s minor poems, floral symbols model the social unification he advocates. Chapter four analyzes Maud (1855), in which Tennyson alters his use of the floral symbol to stress the impossibility of unification in a world gone mad. Chapter five moves away from poetry to prose to explore Ruskin’s The Queen of the Air (1869); Ruskin wields the floral symbol to try to unite God and humankind in a time rife with religious doubt. Lastly, chapter six provides a postcolonial reading of Bird Bishop’s The Hawaiian Archipelago (1875). When Bird Bishop visits Hawaii, she uses Victorian floral symbolism to critique the inhabitants’ morality and to reinforce existing power hierarchies
Uses and applications of artificial intelligence in manufacturing
The purpose of the THESIS is to provide engineers and personnels with a overview of the concepts that underline Artificial Intelligence and Expert Systems. Artificial Intelligence is concerned with the developments of theories and techniques required to provide a computational engine with the abilities to perceive, think and act, in an intelligent manner in a complex environment.
Expert system is branch of Artificial Intelligence where the methods of reasoning emulate those of human experts. Artificial Intelligence derives it\u27s power from its ability to represent complex forms of knowledge, some of it common sense, heuristic and symbolic, and the ability to apply the knowledge in searching for solutions.
The Thesis will review : The components of an intelligent system, The basics of knowledge representation, Search based problem solving methods, Expert system technologies, Uses and applications of AI in various manufacturing areas like Design, Process Planning, Production Management, Energy Management, Quality Assurance, Manufacturing Simulation, Robotics, Machine Vision etc.
Prime objectives of the Thesis are to understand the basic concepts underlying Artificial Intelligence and be able to identify where the technology may be applied in the field of Manufacturing Engineering
Visualising 'The Waste Land': Discovering a Praxis of Adaptation
This research examines the issues and visual processes that arise in the production of self-representations derived from literary texts. The construction of a series of photographic and video installations drawing upon T. S Eliot’s poem 'The Waste Land' (1922) allowed for the exploration and analysis of how literature functions as a device to represent autobiographical experience within my media arts practice. The study considered the relevance and usage of the literary source in relation to specific adaptation procedures, in terms of what complexities were encountered and how these were understood.
Whilst orthodox film adaptation provided a theoretical framework for initial experimentation, it is argued that my practice is positioned outside this domain, employing alternative methods of visual translation within a fine art context. Having investigated the purpose of my literary interpretations, I conclude that I respond subjectively to the source materials, forming autobiographical associations with particular lines, images, characters, themes or concepts within the text. It was discovered that this fragmentary method of extraction into isolated elements, corresponded with ambiguous visual representation of the self. Placed within the critical context of relevant female practitioners, I was able to detect a number of recurrent, elusive strategies within my own practice that signified a shifting subjectivity.
However, it was the identification with Eliot’s subversion of his impersonality theory in later life, which enabled the realisation that literature is used in my work as a means of projection for visualising past trauma and operates as a form of displacement for a confessional practice. The thesis that emerges from my research is that by allowing oneself to respond emotionally and selectively to an existing text through transformative processes of re-enactment, literary adaptation can act as catharsis for the recollection and re-imagining of previously repressed memories
- …