987 resultados para Felch, Alpheus, 1804-1896
Resumo:
http://books.google.com/books?vid=OCLC00289131
Resumo:
http://www.archive.org/details/behindthegreatw00barnuoft/
Resumo:
http://name.umdl.umich.edu/ABB4262
Resumo:
http://anglicanhistory.org/bios/pollock/ View document online
Resumo:
http://www.archive.org/details/twentyfiveyears00wattuoft
Resumo:
The isomorphisms holding in all models of the simply typed lambda calculus with surjective and terminal objects are well studied - these models are exactly the Cartesian closed categories. Isomorphism of two simple types in such a model is decidable by reduction to a normal form and comparison under a finite number of permutations (Bruce, Di Cosmo, and Longo 1992). Unfortunately, these normal forms may be exponentially larger than the original types so this construction decides isomorphism in exponential time. We show how using space-sharing/hash-consing techniques and memoization can be used to decide isomorphism in practical polynomial time (low degree, small hidden constant). Other researchers have investigated simple type isomorphism in relation to, among other potential applications, type-based retrieval of software modules from libraries and automatic generation of bridge code for multi-language systems. Our result makes such potential applications practically feasible.
Resumo:
My original contribution to knowledge is the creation of a WSN system that further improves the functionality of existing technology, whilst achieving improved power consumption and reliability. This thesis concerns the development of industrially applicable wireless sensor networks that are low-power, reliable and latency aware. This work aims to improve upon the state of the art in networking protocols for low-rate multi-hop wireless sensor networks. Presented is an application-driven co-design approach to the development of such a system. Starting with the physical layer, hardware was designed to meet industry specified requirements. The end system required further investigation of communications protocols that could achieve the derived application-level system performance specifications. A CSMA/TDMA hybrid MAC protocol was developed, leveraging numerous techniques from the literature and novel optimisations. It extends the current art with respect to power consumption for radio duty-cycled applications, and reliability, in dense wireless sensor networks, whilst respecting latency bounds. Specifically, it provides 100% packet delivery for 11 concurrent senders transmitting towards a single radio duty cycled sink-node. This is representative of an order of magnitude improvement over the comparable art, considering MAC-only mechanisms. A novel latency-aware routing protocol was developed to exploit the developed hardware and MAC protocol. It is based on a new weighted objective function with multiple fail safe mechanisms to ensure extremely high reliability and robustness. The system was empirically evaluated on two hardware platforms. These are the application-specific custom 868 MHz node and the de facto community-standard TelosB. Extensive empirical comparative performance analyses were conducted against the relevant art to demonstrate the advances made. The resultant system is capable of exceeding 10-year battery life, and exhibits reliability performance in excess of 99.9%.
Resumo:
The insider threat is a security problem that is well-known and has a long history, yet it still remains an invisible enemy. Insiders know the security processes and have accesses that allow them to easily cover their tracks. In recent years the idea of monitoring separately for these threats has come into its own. However, the tools currently in use have disadvantages and one of the most effective techniques of human review is costly. This paper explores the development of an intelligent agent that uses already in-place computing material for inference as an inexpensive monitoring tool for insider threats. Design Science Research (DSR) is a methodology used to explore and develop an IT artifact, such as for this intelligent agent research. This methodology allows for a structure that can guide a deep search method for problems that may not be possible to solve or could add to a phenomenological instantiation.
Resumo:
Science Foundation Ireland (05/PICA/B802/EC07, 07/SRC/B1158 and 12/RC/227505); Irish Research Council (Enterprise Partnership Scheme (IRSCET-Clarochem-2010-02)); University College Cork (UCC 2013 Strategic Research Fund); Clarochem (Ireland) Ltd
Resumo:
Accepted Version
Resumo:
Smoking is an expensive habit. Smoking households spend, on average, more than $US1000 annually on cigarettes. When a family member quits, in addition to the former smoker's improved long-term health, families benefit because savings from reduced cigarette expenditures can be allocated to other goods. For households in which some members continue to smoke, smoking expenditures crowd-out other purchases, which may affect other household members, as well as the smoker. We empirically analyse how expenditures on tobacco crowd-out consumption of other goods, estimating the patterns of substitution and complementarity between tobacco products and other categories of household expenditure. We use the Consumer Expenditure Survey data for the years 1995-2001, which we complement with regional price data and state cigarette prices. We estimate a consumer demand system that includes several main expenditure categories (cigarettes, food, alcohol, housing, apparel, transportation, medical care) and controls for socioeconomic variables and other sources of observable heterogeneity. Descriptive data indicate that, comparing smokers to nonsmokers, smokers spend less on housing. Results from the demand system indicate that as the price of cigarettes rises, households increase the quantity of food purchased, and, in some samples, reduce the quantity of apparel and housing purchased.
Resumo:
The topic of this dissertation is the concours pieces for flute at the Paris Conservatory covering two decades. The works are used for exit examination pieces for graduating students at the conservatory. The music is chosen by the director, the professors in the performance area, and a committee of other professors. These pieces still seem to be among the more important pieces known by flutists in the twenty-first century, and they are also frequently used as required audition pieces by conservatories, orchestras, and competitions. I have performed the works used for examination in two decades separated by almost half a century: The pieces from 1900 to 1909 and from 1940-1949, This performance dissertation contains three recital programs, and the recordings of the recitals are filed electronicaIly. I have grouped them according to contrasting styles in three recitals. Works performed are Agrestide (1942) by Eugene Bozza, Andante et Scherzo (1945) by Francois J. Brun, Preude et Scherzo (1908) by Henri Busser, Concertino (1902) by Cecile Chaminade, sixth Solo (1855) by Jules Demersseman (it was on the concours of 1896, dates which are outside the scope of this dissertation), Sonatine (1943) by Henri Dutilleux, Cantabile et Presto (1904) by Georges Enesco, Andante et Scheno (1901) by Louis Ganne, Fantaisie (1920) by Philippe Gaubert, Nocturne et Allegro Scherzando (1906) by Philippe Gaubert, Chant de Linos (1944) by Andre Jolivet, Fantasiestuck (1947) by Henri Martelli, Eglogue (1909) by Jules Mouquet, Concerto in A (1945-1949) by mile Passani, Ballade (1903) by Albert Perhilou, Sonatine (1946) by Pierre Sancan, Andante Pastorale et Scherzettim (1907) by Paul Taffanel, and Concertino in E Major (1945) by Henri Tornasi. Cantabile et Presto was required in both 1904 and 1940, and Andante et Scherzo was required in both 1901 and 1905.
Resumo:
During the summer of 1994, Archaeology in Annapolis conducted archaeological investigations of the city block bounded by Franklin, South and Cathedral Streets in the city of Annapolis. This Phase III excavation was conducted as a means to identify subsurface cultural resources in the impact area associated with the proposed construction of the Anne Arundel County Courthouse addition. This impact area included both the upper and lower parking lots used by Courthouse employees. Investigations were conducted in the form of mechanical trenching and hand excavated units. Excavations in the upper lot area yielded significant information concerning the interior area of the block. Known as Bellis Court, this series of rowhouses was constructed in the late nineteenth century and was used as rental properties by African-Americans. The dwellings remained until the middle of the twentieth century when they were demolished in preparation for the construction of a Courthouse addition. Portions of the foundation of a house owned by William H. Bellis in the 1870s were also exposed in this area. Construction of this house was begun by William Nicholson around 1730 and completed by Daniel Dulany in 1732/33. It was demolished in 1896 by James Munroe, a Trustee for Bellis. Excavations in the upper lot also revealed the remains of a late seventeenth/early eighteenth century wood-lined cellar, believed to be part of the earliest known structure on Lot 58. After an initially rapid deposition of fill around 1828, this cellar was gradually covered with soil throughout the remainder of the nineteenth century. The fill deposit in the cellar feature yielded a mixed assemblage of artifacts that included sherds of early materials such as North Devon gravel-tempered earthenware, North Devon sgraffito and Northem Italian slipware, along with creamware, pearlware and whiteware. In the lower parking lot, numerous artifacts were recovered from yard scatter associated with the houses that at one time fronted along Cathedral Street and were occupied by African- Americans. An assemblage of late seventeenth century/early eighteenth century materials and several slag deposits from an early forge were recovered from this second area of study. The materials associated with the forge, including portions of a crucible, provided evidence of some of the earliest industry in Annapolis. Investigations in both the upper and lower parking lots added to the knowledge of the changing landscape within the project area, including a prevalence of open space in early periods, a surprising survival of impermanent structures, and a gradual regrading and filling of the block with houses and interior courts. Excavations at the Anne Arundel County Courthouse proved this to be a multi-component site, rich in cultural resources from Annapolis' Early Settlement Period through its Modern Period (as specified by Maryland's Comprehensive Historic Preservation Plan (Weissman 1986)). This report provides detailed interpretations of the archaeological findings of these Phase III investigations.
Resumo:
Implications of CA decision on whether it was abuse of process for bank to pursue remedy against mortgagor by suing on personal covenant which could result in bankruptcy following successful defence of possession proceedings by wife. [From Legal Journals Index]