986 resultados para Mercer, Jesse, 1769-1841.
Resumo:
Wydział Historyczny: Instytut Prahistorii
Resumo:
http://www.archive.org/details/wardshidoos00sethuoft
Resumo:
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [LL73] for periodic tasks with highly variable execution times and statistical QoS requirements. The main tenet of SRMS is that the variability in task resource requirements could be smoothed through aggregation to yield guaranteed QoS. This aggregation is done over time for a given task and across multiple tasks for a given period of time. Similar to RMS, SRMS has two components: a feasibility test and a scheduling algorithm. SRMS feasibility test ensures that it is possible for a given periodic task set to share a given resource without violating any of the statistical QoS constraints imposed on each task in the set. The SRMS scheduling algorithm consists of two parts: a job admission controller and a scheduler. The SRMS scheduler is a simple, preemptive, fixed-priority scheduler. The SRMS job admission controller manages the QoS delivered to the various tasks through admit/reject and priority assignment decisions. In particular, it ensures the important property of task isolation, whereby tasks do not infringe on each other. In this paper we present the design and implementation of SRMS within the KURT Linux Operating System [HSPN98, SPH 98, Sri98]. KURT Linux supports conventional tasks as well as real-time tasks. It provides a mechanism for transitioning from normal Linux scheduling to a mixed scheduling of conventional and real-time tasks, and to a focused mode where only real-time tasks are scheduled. We overview the technical issues that we had to overcome in order to integrate SRMS into KURT Linux and present the API we have developed for scheduling periodic real-time tasks using SRMS.
Resumo:
This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.
Resumo:
The townland of Dunisky (Dún Uisce, 'water fort', see Ó Murchadha 2001, 98) is situated about 2.5 miles to the SE of Macroom, Co. Cork (Ill. 1). It is also the Civil Parish of Dunisky, and is located in the Barony of West Muskerry. In extent, it contains over one thousand acres. It was first surveyed by the Ordnance Survey of Ireland in 1841-42. An earlier survey of the townland survives, drawn by the Cork cartographer, Patrick Aher. It is dated 1791, and shows sub-denominations.
Resumo:
As a by-product of the ‘information revolution’ which is currently unfolding, lifetimes of man (and indeed computer) hours are being allocated for the automated and intelligent interpretation of data. This is particularly true in medical and clinical settings, where research into machine-assisted diagnosis of physiological conditions gains momentum daily. Of the conditions which have been addressed, however, automated classification of allergy has not been investigated, even though the numbers of allergic persons are rising, and undiagnosed allergies are most likely to elicit fatal consequences. On the basis of the observations of allergists who conduct oral food challenges (OFCs), activity-based analyses of allergy tests were performed. Algorithms were investigated and validated by a pilot study which verified that accelerometer-based inquiry of human movements is particularly well-suited for objective appraisal of activity. However, when these analyses were applied to OFCs, accelerometer-based investigations were found to provide very poor separation between allergic and non-allergic persons, and it was concluded that the avenues explored in this thesis are inadequate for the classification of allergy. Heart rate variability (HRV) analysis is known to provide very significant diagnostic information for many conditions. Owing to this, electrocardiograms (ECGs) were recorded during OFCs for the purpose of assessing the effect that allergy induces on HRV features. It was found that with appropriate analysis, excellent separation between allergic and nonallergic subjects can be obtained. These results were, however, obtained with manual QRS annotations, and these are not a viable methodology for real-time diagnostic applications. Even so, this was the first work which has categorically correlated changes in HRV features to the onset of allergic events, and manual annotations yield undeniable affirmation of this. Fostered by the successful results which were obtained with manual classifications, automatic QRS detection algorithms were investigated to facilitate the fully automated classification of allergy. The results which were obtained by this process are very promising. Most importantly, the work that is presented in this thesis did not obtain any false positive classifications. This is a most desirable result for OFC classification, as it allows complete confidence to be attributed to classifications of allergy. Furthermore, these results could be particularly advantageous in clinical settings, as machine-based classification can detect the onset of allergy which can allow for early termination of OFCs. Consequently, machine-based monitoring of OFCs has in this work been shown to possess the capacity to significantly and safely advance the current state of clinical art of allergy diagnosis
Resumo:
This thesis explores the evolution of the concept of traditional Chinese femininity in relation to women’s lives in ancient China (221 BCE – A.D.1840). It proposes that the traditional Chinese femininity had been trying to seek a balance between the permanent principles and contingency plans for the stability and development of the society, which caused women’s humiliation and freedom. In reality, politicians and thinkers in ancient China had been transforming the concept of femininity itself to make it more adaptable to the social conditions of that time. This may be discussed in terms of three aspects. Firstly, the traditional concept of Chinese human relationships, including the ethical order, always emphasised the influence of individual behaviour on others and the overall stability and linked development of family, society and nation. Thus, both men and women, must be placed within this interrelated, interacting and cooperating relationship. Secondly, the association of family and country created an overlap of family and public affairs, which, objectively, facilitated the movement of women from the inner to the public arena. Thirdly, the notions of political and ethical morality and of men’s virtues and women’s virtues were integrated because of the union of family and nation. Therefore, typically virtuous women could be a source of encouragement for men and, furthermore, men formulated their virtues in the public space by formulating women’s virtues in the private space. The shaping of the gender image and concept of women in ancient China reflected the country’s changing cultural and gender norms. Chinese femininity and lifestyles, like Chinese history, were a continuous presence in the society but were also constantly changing. Through this study, it could be noted that Chinese women were not hidden and that their subjectivity and the concepts motivating them were not merely devised by a male-dominated society and culture.
Resumo:
BACKGROUND: The specific health benefits of meeting physical activity guidelines are unclear in older adults. We examined the association between meeting, not meeting, or change in status of meeting physical activity guidelines through walking and the 5-year incidence of metabolic syndrome in older adults. METHODS: A total of 1,863 Health, Aging, and Body Composition (Health ABC) Study participants aged 70-79 were followed for 5 years (1997-1998 to 2002-2003). Four walking groups were created based on self-report during years 1 and 6: Sustained low (Year 1, <150 min/week, and year 6, <150 min/week), decreased (year 1, >150 min/week, and year 6, <150 min/week), increased (year 1, <150 min/week, and year 6, >150 min/week), and sustained high (year 1, >150 min/week, and year 6, >150 min/week). Based on the Adult Treatment Panel III (ATP III) panel guidelines, the metabolic syndrome criterion was having three of five factors: Large waist circumference, elevated blood pressure, triglycerides, blood glucose, and low high-density lipoprotein (HDL) levels. RESULTS: Compared to the sustained low group, the sustained high group had a 39% reduction in odds of incident metabolic syndrome [adjusted odds ratio (OR) = 0.61; 95% confidence interval (CI), 0.40-0.93], and a significantly lower likelihood of developing the number of metabolic syndrome risk factors that the sustained low group developed over 5 years (beta = -0.16, P = 0.04). CONCLUSIONS: Meeting or exceeding the physical activity guidelines via walking significantly reduced the odds of incident metabolic syndrome and onset of new metabolic syndrome components in older adults. This protective association was found only in individuals who sustained high levels of walking for physical activity.
Resumo:
Population introduction is an important tool for ecosystem restoration. However, before introductions should be conducted, it is important to evaluate the genetic, phenotypic and ecological suitability of possible replacement populations. Careful genetic analysis is particularly important if it is suspected that the extirpated population was unique or genetically divergent. On the island of Martha's Vineyard, Massachusetts, the introduction of greater prairie chickens (Tympanuchus cupido pinnatus) to replace the extinct heath hen (T. cupido cupido) is being considered as part of an ecosystem restoration project. Martha's Vineyard was home to the last remaining heath hen population until its extinction in 1932. We conducted this study to aid in determining the suitability of greater prairie chickens as a possible replacement for the heath hen. We examined mitochondrial control region sequences from extant populations of all prairie grouse species (Tympanuchus) and from museum skin heath hen specimens. Our data suggest that the Martha's Vineyard heath hen population represents a divergent mitochondrial lineage. This result is attributable either to a long period of geographical isolation from other prairie grouse populations or to a population bottleneck resulting from human disturbance. The mtDNA diagnosability of the heath hen contrasts with the network of mtDNA haplotypes of other prairie grouse (T. cupido attwateri, T. pallidicinctus and T. phasianellus), which do not form distinguishable mtDNA groupings. Our findings suggest that the Martha's Vineyard heath hen was more genetically isolated than are current populations of prairie grouse and place the emphasis for future research on examining prairie grouse adaptations to different habitat types to assess ecological exchangeability between heath hens and greater prairie chickens.
Resumo:
French music flourished from the last quarter of the nineteenth century into the early twentieth century, especially in the genres of opera and orchestral music. Although French keyboard music enjoyed less popularity, being overshadowed by these predominant genres, prominent impressionist figures Claude Debussy (1862-1918) and Maurice Ravel (1875-1937) . . brought its revival to the French music. Scholars consider Debussy to be a frontrunner of Impressionism, and his influence had a major impact on subsequent composers. As a result of his popularity, other significant works by French composers seem to be overlooked by pianists and audiences and are not as often performed. Because keyboard works by Debussy and Ravel are a popular performance choice among pianists, I was eager to examine music by other French composers. Through my resea,rch, I found many great works that warranted further study and deserve a place in the keyboard repertoire. This recording project contains works by lesser-known French composers written between the years of 1880 and 1950, namely Emmanuel Chabrier (1841-1894), Gabriel-Urbain Faure (1845-1924), Charles Koechlin (1867-1950), Albert Roussel (1869-1937), Erik Satie (1866-1925), Francis Poulenc (1899-1963), Darius Milhaud (1892-1974), Robert Casadesus (1899-1972) and Henri Dutilleux (b.1916). Since piano repertoire is abundant, it is sometimes difficult to create a performance program. Therefore, it frequently becomes the default to choosing familiar repertoire rather than using the opportunity to expand the repertoire. As a pianist, I feel responsible to search for hidden musical treasures with which pianists and audiences alike are not so well acquainted. This recording project explores nine lesser-known French compositions written between 1880 and 1950. I expect this to be an opportunity to introduce both pianists and audiences to outstanding but unfamiliar works by French composers. This dissertation was recorded on two compact discs in Dekelboum Concert Hall at Clarice Smith Performing Arts Center of the University of Maryland. The recordings are archived in the University of Maryland Library.
Resumo:
Analizamos el sentido estructural que estudiantes de entre 16 y18 años de edad ponen de manifiesto al trabajar con expresiones algebraicas, en el contexto de la simplificación de fracciones algebraicas que involucran las igualdades notables cuadrado de la suma, cuadrado de la diferencia, diferencia de cuadrados y propiedad distributiva/factor común. La identificación y clasificación de las estrategias empleadas por los estudiantes nos permite diferenciar tres modos de actuación que evidencian diferentes niveles de sentido estructural. Este análisis nos permite distinguir un amplio espectro de niveles de sentido estructural y avanzar en la comprensión del constructo sentido estructural que informa sobre las habilidades necesarias para hacer un uso eficiente de las técnicas algebraicas en tareas escolares.