a Division of Basic Medical Sciences, Mercer University School of Medicine, Macon, GA 31207, USA b Department of Anthropology, Kent State University, Kent, OH 44242, USA c Department of Anatomy, Northeastern Ohio Universities College of Medicine, Rootstown, OH 44272, USA d Division of Biomedical Sciences, Kent State University, Kent, OH 44242, USA e Department of Cell Biology, Division of Physi...

DEPENDENT TYPES IN HASKELL: THEORY AND PRACTICE Richard A. Eisenberg

OPINION Correction for “Opinion: Mathematical models: A key tool for outbreak response,” by Eric Lofgren, M. Elizabeth Halloran, C.M. Rivers, J. M. Drake, Travis C. Porco, Bryan Lewis,WanYang, Alessandro Vespignani, Jeffrey Shaman, Joseph N. S. Eisenberg, M.C. Eisenberg,MadhavMarathe, SamuelV. Scarpino, KathleenA. Alexander, Rafael Meza, Matthew J. Ferrari, James M. Hyman, Lauren A. Meyers, and...

A substantial recent literature has documented the inability of jurors to make sound decisions with respect to punitive damages, particularly for health, safety, and environmental torts. Included in this literature are experimental studies documenting the better performance of judges than jurors for the same case scenarios. Recent research by Eisenberg et al. (2002) has suggested, however, that...

This talk sets out the problem domain for model transformation and introduces a set of use cases for transformation including model differencing, pattern expansion, model merging and weaving, alternate views and generation of platform specific artifacts from a platform independent model. The talk also discusses where model transformation fits into the development process and who we can expect t...

Meyer originally raised the question of whether non-contextual hidden variable models can, despite the Kochen-Specker theorem, simulate the predictions of quantum mechanics to within any fixed finite experimental precision (Meyer, D. 1999. Phys. Rev. Lett., 83, 3751-3754). Meyer’s result was extended by Kent (Kent, A. 1999. Phys. Rev. Lett., 83, 37553757). Clifton and Kent later presented const...

land-use planning is a science that determines the type optimum of land-use through studying the ecological characteristics of the land as well as its socio-economic structure. the primary objective of this study is to evaluate the land-use and natural resources for future sustainable land planning using gis. in this study, the makhdoom’s systematic method was used to analyze the ecological and...

AHRQ involvement in exploring issues that impact clinical decision making The AHRQ Effective Health Care (EHC) Program was created in 2003 under the legislative provisions of the Medicare Prescription Drug, Improvement, and Modernization Act (MMA). The EHC Program supports individual researchers, research centers, and academic organizations working together with AHRQ to produce effectiveness an...

We study the role of commitment in a version of the Diamond and Dybvig (JPE, 1983) model with no aggregate uncertainty. As is well known, the banking authority can eliminate the possibility of a bank run by committing to suspend payments to depositors if a run were to start. We show, however, that in an environment without commitment, the banking authority will choose to only partially suspend ...