Index Catalog // ScholarsArchive@OSU

Creator:: Xie, Yang
Abstract:: Emerging infectious diseases impact both human and wildlife populations. Infectious agents, in particular the aquatic fungus Batrachochytrium dendrobatidis (chytrid), have an influential role in driving global amphibian population declines. The emergence of the chytrid fungus has aspects of both geographic spread as well as climate shifts altering environmental conditions and...
Resource Type:: Dissertation
Full Text:: Abstract approved: _____________________________________________________________________ Andrew R

Creator:: Matthews, Christopher
Abstract:: Detection systems used to monitor reactor operations are of significant interest as tools for verification of operator declarations. Current reactor site safeguards are limited to visual inspections and intrusive monitoring systems. The recent development of antineutrino detectors may soon allow real-time monitoring from an unobtrusive location. Antineutrinos are produced through...
Resource Type:: Masters Thesis
Full Text:: regulation (Berstein, et al., 2002). The IAEA specifically defines the amount of diverted material that

Creator:: Lanfear, Charles C.
Abstract:: Benton County, Oregon is presently experiencing a crisis level of police contacts with mentally ill suspects. The cause of this sudden increase is currently unknown and local law enforcement is not adequately equipped or funded to respond to this development. This report summarizes the recent literature on law enforcement encounters...
Resource Type:: Capstone Project
Full Text:: intersection of mental illness, substance use, homelessness, and criminality (Berstein & Seltzer, Lanfear

Creator:: Chen, Sheng and Erwig, Martin
Abstract:: When type inference fails, it is often difficult to pinpoint the cause of the type error among many potential candidates. Generating informative messages to remove the type error is another difficult task due to the limited availability of type information. Over the last three decades many approaches have been developed...
Resource Type:: Article

Creator:: Newton, Samantha
Abstract:: Ian Angell, in the New Barbarian Manifesto, said “A ‘brave new world’ is being forced upon unsuspecting societies by advances in information technology.” It would seem then, that technological advances happen automatically and have a life of their own. There is a logic to technological advancements that is outside human...
Resource Type:: Masters Thesis
Full Text:: Environmental History,” Environmental History 11, no. 3 (2006): 567–97; J. R. Mcneill, “Observations on the

Creator:: Daye, Rebecka Rising
Abstract:: Food sovereignty is increasingly being conceptualized as a human rights issue. This is evidenced in the growth of local actors, communities, and nation-states that are working towards a food sovereignty agenda. Indicators of food sovereignty center on people having the right and ability to define their food polices. One of...
Resource Type:: Dissertation

Creator:: Chen, Sheng
Abstract:: The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
Resource Type:: Dissertation
Full Text:: verify that for the unification problems (2.1) and (2.2), UR returns θ2 23 UR : (τL,τR) → ξ UR(a

ScholarsArchive@OSU