Dear Wife : the Civil War letters of Chester K. Leach

Occasional paper (University of Vermont. Center for Research on Vermont) ; no. 20

The Grail theorem prover: Type theory for syntax and semantics

As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the desired semantics of an expression inform the syntactic type and vice versa. Prototypical examples of the successful application of type-logical grammars to the syntax-semantics interface include coordination, quantifier scope and extraction.This chapter describes the Grail theorem prover, a series of tools for designing and testing grammars in various modern type-logical grammars which functions as a tool . All tools described in this chapter are freely available

A comparison of three fingerstick, whole blood antibody tests for Helicobacter pylori infection: a United States, multicenter trial

We compared three whole blood antibody tests for Helicobacter pylori ( H. pylori ) in a United States, multicenter trial. Methods Patients referred for EGD at three medical centers were recruited. During EGD, biopsies were taken for histology and rapid urease testing (RUT). Immediately after endoscopy, patients underwent the antibody tests (FlexPack HP, Abbott Diagnostics; QuikVue, Quidel Corporation; AccuMeter, ChemTrak) using whole blood obtained by two to three fingersticks. Performance characteristics were calculated for each antibody test using the biopsy-based methods as a gold standard. Results A total of 131 patients participated; 50 (38%) patients had histological evidence of H. pylori infection. Using histology as a gold standard, the sensitivities of FlexPack HP, QuikVue, and Accumeter were 76%, 78%, and 84%, respectively. Specificity was 79% with FlexPack HP and 90% with QuikVue and Accumeter. There were no significant differences in the performance of the three antibody tests though there was a trend toward superior performance for AccuMeter compared to FlexPack HP ( p = 0.019 ). However, RUT proved superior to FlexPack HP using histology as a gold standard ( p = 0.008 ). Using either concordant histology and RUT results or a positive histology or RUT to define active H. pylori infection, there was no statistically significant difference between the antibody tests. Conclusions There were no statistically significant differences in the performance of the three antibody tests. These tests proved only marginally sensitive in detecting patients infected with H. pylori . Clinicians should be aware of the limitations of these tests, particularly when using them as a sole means of testing for H. pylori .Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72148/1/j.1572-0241.1999.1135_x.x.pd

Evidence for surprise minimization over value maximization in choice behavior

Classical economic models are predicated on the idea that the ultimate aim of choice is to maximize utility or reward. In contrast, an alternative perspective highlights the fact that adaptive behavior requires agents' to model their environment and minimize surprise about the states they frequent. We propose that choice behavior can be more accurately accounted for by surprise minimization compared to reward or utility maximization alone. Minimizing surprise makes a prediction at variance with expected utility models; namely, that in addition to attaining valuable states, agents attempt to maximize the entropy over outcomes and thus 'keep their options open'. We tested this prediction using a simple binary choice paradigm and show that human decision-making is better explained by surprise minimization compared to utility maximization. Furthermore, we replicated this entropy-seeking behavior in a control task with no explicit utilities. These findings highlight a limitation of purely economic motivations in explaining choice behavior and instead emphasize the importance of belief-based motivations

The chaperone protein clusterin may serve as a cerebrospinal fluid biomarker for chronic spinal cord disorders in the dog

Chronic spinal cord dysfunction occurs in dogs as a consequence of diverse aetiologies, including long-standing spinal cord compression and insidious neurodegenerative conditions. One such neurodegenerative condition is canine degenerative myelopathy (DM), which clinically is a challenge to differentiate from other chronic spinal cord conditions. Although the clinical diagnosis of DM can be strengthened by the identification of the Sod1 mutations that are observed in affected dogs, genetic analysis alone is insufficient to provide a definitive diagnosis. There is a requirement to identify biomarkers that can differentiate conditions with a similar clinical presentation, thus facilitating patient diagnostic and management strategies. A comparison of the cerebrospinal fluid (CSF) protein gel electrophoresis profile between idiopathic epilepsy (IE) and DM identified a protein band that was more prominent in DM. This band was subsequently found to contain a multifunctional protein clusterin (apolipoprotein J) that is protective against endoplasmic reticulum (ER) stress-mediated apoptosis, oxidative stress, and also serves as an extracellular chaperone influencing protein aggregation. Western blot analysis of CSF clusterin confirmed elevated levels in DM compared to IE (p < 0.05). Analysis of spinal cord tissue from DM and control material found that clusterin expression was evident in neurons and that the clusterin mRNA levels from tissue extracts were elevated in DM compared to the control. The plasma clusterin levels was comparable between these groups. However, a comparison of clusterin CSF levels in a number of neurological conditions found that clusterin was elevated in both DM and chronic intervertebral disc disease (cIVDD) but not in meningoencephalitis and IE. These findings indicate that clusterin may potentially serve as a marker for chronic spinal cord disease in the dog; however, additional markers are required to differentiate DM from a concurrent condition such as cIVDD

Access to Archived Astronaut Data for Human Research Program Researchers: Update on Progress and Process Improvements

No abstract availabl

Implications of Synchronous IVR Radio on Syrian Refugee Health and Community Dynamics

With 1,033,513 Syrian refugees adding a strain on the Lebanese healthcare system, innovation is key to improving access to healthcare. Our previous work identified the potential for technology to improve access to antenatal care services and increase refugee agency. Using (1) paper mock ups and a mobile based prototype, (2) process mapping, (3) focus groups and interviews and (4) key informant meetings, we explored the concept of refugee led community radio shows to deliver peer-led healthcare. We observed the influence of community radio shows on Syrian refugee health education, community dynamics and community agency in relationships between healthcare providers and refugees. Refugees were positively impacted through situating the technology within the community. We highlight issues around trust, agency, understanding, sel-forganization and privacy that resulted from running the shows through mock ups and a mobile based prototype. Our findings inform future work in community run radio shows

Access to Archived Astronaut Data for Human Research Program Researchers: Update on Progress and Process Improvements

Since the 2010 NASA directive to make the Life Sciences Data Archive (LSDA) and Lifetime Surveillance of Astronaut Health (LSAH) data archives more accessible by the research and operational communities, demand for astronaut medical data has increased greatly. LSAH and LSDA personnel are working with Human Research Program on many fronts to improve data access and decrease lead time for release of data. Some examples include the following: Feasibility reviews for NASA Research Announcement (NRA) data mining proposals; Improved communication, support for researchers, and process improvements for retrospective Institutional Review Board (IRB) protocols; Supplemental data sharing for flight investigators versus purely retrospective studies; Work with the Multilateral Human Research Panel for Exploration (MHRPE) to develop acceptable data sharing and crew consent processes and to organize inter-agency data coordinators to facilitate requests for international crewmember data. Current metrics on data requests crew consenting will be presented, along with limitations on contacting crew to obtain consent. Categories of medical monitoring data available for request will be presented as well as flow diagrams detailing data request processing and approval steps