12,768 research outputs found
Preparing an Odor Management Plan
No full text8 p. Illustrations.This archival publication may not reflect current scientific knowledge or recommendations. Current information available from the University of Minnesota Extension: https://www.extension.umn.edu.Schmidt, David; Jacobson, Larry; Janni, Kevin. (2001). Preparing an Odor Management Plan. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/94145
David Stern's Ph.D. Recital
Get PDFOriginal Format: CassetteComposers in the first Ph.D. recital: Michael Daugherty; Claude Arrieu; Igor Stravinsky; Martin Mailman; George GershwinComposers in the second Ph.D. recital: Frank Ticheli; Ron Nelson; Timothy Broege; Jan Van er Roost; James BarnesFirst Recital: ConductorSecond Recital: Conducto
Panel C: Author-Meets-Readers Session
No full textAuthor David Webber discusses his book The Rise of the Working Class Shareholder: Labor\u27s Last Best Weapon published on Harvard University Press
Cult: A Composite Novel
Get PDFCult (redacted)
The first component of the thesis is a composite novel called Cult which falls into two parts with seven narratives in each. Part 1 tracks the protagonist, Ellen, from her first involvement with the cult through to her eventually leaving it. Although fiction, the first half of the book answers the kinds of questions the author is asked when people discover that she was once a sannyasin (a follower of the guru Bhagwan Shree Rajneesh). While the experiences of meditation, group therapy and communal living are all faithfully rendered within the stories, the need for strong characters, narrative drive and a lightness of touch takes precedence.
Part 2 picks up Ellen’s story some twenty or so years later and explores what becomes of her in middle age. It also looks at other groups in society, such as academia, the law and the internet dating community which each have their own jargon, hierarchies, rituals and rules but are not considered to be cults.
The book examines the question raised in the Epigraph, ‘how do we be together when we feel so alone’ with a focus on relationships other than the familial and the romantic.
Collisions, Chasms and Connections: a Performative Exploration of the Composite Novel Form
The second part of the thesis is both a critical and creative response to three contemporary American books: Olive Kitteridge by Elizabeth Strout; A Visit from the Goon Squad by Jennifer Egan; and Legend of a Suicide by David Vann. The critical element comprises a close reading of the three books; a chronological reconstruction of their overarching storylines; and a consideration of what their authors have said about writing the books. It concludes that, in the composite novel, the simultaneous presentation of multiple views and storylines operate much like a 3D image to give the impression of depth to the characters and situations rendered. The creative element of the essay is a playful and personal response to the texts
Analysis of a File System Using the Verifying C Compiler
No full textTitle: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is a way to improve reliability of software systems. One approach of formal verification is focused on proving correctness of annotat- ed source code of an established programming language. Verifying C Compiler (VCC) is a verifier for concurrent C that accepts an annotated code in C language and automatically verifies its correctness with respect to the given annotation. There have been successful attempts to verify some critical systems, including the operating system kernel. Another critical part of operating system is its file system. In the thesis, we choose FatFs file system, a simple device-independent implementation of the FAT file system. We specify a part of it using the VCC annotation and successfully verify its correctness. Keywords: Formal Verification, File System, VC
Analýza souborového systému pomocí Verifying C Compiler
Get PDFNázev práce: Analýza souborového systému pomocí Verifying C Compiler Autor: Bc. David Škorvaga Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Jan Kofroň, Ph.D. Abstrakt: Formální verifikace je jeden ze způsobů, jak zlepšit spolehlivost soft- warových systémů. Jeden z přístupů formální verifikace se zaměřuje na dokazo- vaní správnosti anotovaného zdrojového kódu v široce používaném programovacím jazyce. Verifier C Compiler (VCC) je verifikátor pro concurrent C, který přijímá anotovaný kód v jazyce C a automaticky ověřuje jeho správnost s ohledem na tuto anotaci. Už se objevily úspěšné pokusy o ověření některých kritických systémů, včetně jádra operačního systému. Další důležitou součástí operačního systému je jeho systém souborů. V diplomové práci jsme si vybrali souborový systém FatFs, odlehčenou implementaci souborového systému FAT, nezávislou na zařízení. V této práci vytvoříme specifikaci jeho části pomocí anotace VCC a úspěšně ověříme jeho korektnost. Klíčová slova: Formal Verification, File System, VCCTitle: Analysis of a File System Using the Verifying C Compiler Author: Bc. David Škorvaga Department: Department of Distributed and Dependable Systems Supervisor: RNDr. Jan Kofroň, Ph.D. Abstract: Formal verification is a way to improve reliability of software systems. One approach of formal verification is focused on proving correctness of annotat- ed source code of an established programming language. Verifying C Compiler (VCC) is a verifier for concurrent C that accepts an annotated code in C language and automatically verifies its correctness with respect to the given annotation. There have been successful attempts to verify some critical systems, including the operating system kernel. Another critical part of operating system is its file system. In the thesis, we choose FatFs file system, a simple device-independent implementation of the FAT file system. We specify a part of it using the VCC annotation and successfully verify its correctness. Keywords: Formal Verification, File System, VCCDepartment of Distributed and Dependable SystemsKatedra distribuovaných a spolehlivých systémůMatematicko-fyzikální fakultaFaculty of Mathematics and Physic
Aspects of the furniture industry in Ireland
Get PDFThis dissertation examines aspects of networking, industrial organisation, innovation, and industrial agglomeration in the Irish furniture manufacturing industry. With its focus on firm behaviour, industrial organisation and industrial structure the research is located within the tradition of industrial economics.
Based on heterodox economic perspectives and utilising a variety of methods (albeit principally case study based), the dissertation provides new theoretical and empirical knowledge on this under-researched, resilient, predominantly Irish-owned and geographically dispersed low and medium technology industry. The dissertation consists of four thematically homogenous papers, the theme being the industrial economics of the furniture industry in Ireland.
The first paper, based on a case study of a network of three furniture firms, differentiates between two main situations in terms of the evolution of trust: where firms are geographically clustered and where they are spatially dispersed.
The second paper examines the development of the Irish furniture industry in the context of policy changes, and compares two different forms of industrial organisation in the furniture industry, the wooden furniture industrial district in County Monaghan and the TORC network in Dublin, Wicklow and Cork.
The third paper, drawing on case studies of four firms, examines the changing nature of embeddedness and innovation for Irish low-tech firms, focusing primarily on the furniture industry but also including data on another low-tech sector – fabricated metal products – as a comparison.
The final paper, using the methodology of standardised location quotients, addresses whether or not there is evidence of industrial agglomeration in the Irish furniture industry.
Findings and implications of the research are drawn together in the conclusion
Protein Free Energy Landscapes Remodeled by Ligand Binding
No full textAbstractGlucose/galactose binding protein (GGBP) functions in two different larger systems of proteins used by enteric bacteria for molecular recognition and signaling. Here we report on the thermodynamics of conformational equilibrium distributions of GGBP. Three fluorescence components appear at zero glucose concentration and systematically transition to three components at high glucose concentration. Fluorescence anisotropy correlations, fluorescent lifetimes, thermodynamics, computational structure minimization, and literature work were used to assign the three components as open, closed, and twisted conformations of the protein. The existence of three states at all glucose concentrations indicates that the protein continuously fluctuates about its conformational state space via thermally driven state transitions; glucose biases the populations by reorganizing the free energy profile. These results and their implications are discussed in terms of the two types of specific and nonspecific interactions GGBP has with cytoplasmic membrane proteins
El Tlacuache Núm. 498 (2011). 498 Año 11 (2011) diciembre. El Tlacuache
No full textChalcatzingo: Breve introducción por David C. Grov
Industrial policy and development in late industrializing countries: a case study of the motor industry
Get PDFIn recent times, literature - favouring a neo-classical
perspective - on industrialization in developing nations
has been the subnect of increasing criticism. The opponents of the neo-classical approach argue that outward-looking free market policies do not offer the best prospects for self-sustaining growth. In a straight forward manner, Chapter 1 airs the views of economists of both perspectives. Subsequently, a framework for a general discussion is provided.
Outward-looking industrial policies m Ireland, have
led to the emergence of a vibrant foreign-owned manufacturing sector. As Chapter 2 points out, there is
considerable evidence that outward-looking industrialization
has thus far been unsuccessful in developing strong native companies capable of entering export markets. Chapter 3 suggests that this may be a common experience among late industrializing countries (LICs). In fact, the creation of a competitive indigenous manufacturing base may be contingent upon a departure from strict neo-classical guidelines.
Chapter 4 shows that the development of the motor industry
in LICs has usually taken place under the auspices
of large transnational corporations (TNCs) from developed
countries. Only with active state intervention have
domestic firms - with the assistance of foreign capital
and technology - shown an ability to compete on the
world market. As Chapter 5 indicates, assembly of
motor vehicles in Ireland was dominated by the subsidiaries
of foreign companies. This is also true of the Irish automotive components sector, which has evolved in recent years. The analysis of this sector, contained m Chapter 5, is based largely on unpublished material. It is clear that this industry suffers from many of the short-comings often associated with foreign dominated sectors of Irish manufacturing.
By way of a conclusion, Chapter 6 argues that a role
exists for more state intervention. However, it warns
that government intervention in the system is not without
risk. The task facing policy makers is to design a constructive role for the state. With respect to the Irish manufacturing industry, m the absence of more state intervention, the development of export markets will remain beyond the reach of most indigenous producers
- …
