Strong (X)HTML Compliance with Haskell\u27s Flexible Type System

We report on the embedding of a domain specific language, (X)HTML, into Haskell and demonstrate how this superficial non-context-free language can be represented and rendered to guarantee World Wide Web Consortium (W3C) compliance. Compliance of web content is important for the health of the Internet, accessibility, visibility, and reliable search. While tools exist to verify web content is compliant according to the W3C, few systems guarantee that all produced content is compliant. We present CH-(X)HTML, a library for generating compliant (X)HTML content by using Haskell to encode the nontrivial syntax of (X)HTML set forth by the W3C. Any compliant document can be represented with this library, while a compilation error will occur if non-compliant markup is attempted. To demonstrate our library we present examples and performance measurements

Exploring non-typical memcache architectures for decreased latency and distributed network usage.

Memcache is a distributed in-memory data store designed to reduce database load for web applications by caching frequently used data across multiple machines. While memcache already offers excellent performance, we explore how data-locality can increase performance under certain environments and workloads

Who Pays for Long-Term Services and Supports? A Fact Sheet

This report provides information on who the primary long-term services and supports (LTSS) payers are and how much they spend

Experimental constraints on a dark matter origin for the DAMA annual modulation effect

A claim for evidence of dark matter interactions in the DAMA experiment has been recently reinforced. We employ a new type of germanium detector to conclusively rule out a standard isothermal galactic halo of Weakly Interacting Massive Particles (WIMPs) as the explanation for the annual modulation effect leading to the claim. Bounds are similarly imposed on a suggestion that dark pseudoscalars mightlead to the effect. We describe the sensitivity to light dark matter particles achievable with our device, in particular to Next-to-Minimal Supersymmetric Model candidates.Comment: v4: introduces recent results from arXiv:0807.3279 and arXiv:0807.2926. Sensitivity to pseudoscalars is revised in light of the first. Discussion on the subject adde

Beam-Based Alignment of the NuMI Target Station Components at FNAL

The Neutrinos at the Main Injector (NuMI) facility is a conventional horn-focused neutrino beam which produces muon neutrinos from a beam of mesons directed into a long evacuated decay volume. The relative alignment of the primary proton beam, target, and focusing horns affects the neutrino energy spectrum delivered to experiments. This paper describes a check of the alignment of these components using the proton beam.Comment: higher resolution figures available on Fermilab Preprint Server (see SPIRES entry), accepted for publication in Nucl. Instr. and Meth.

Results from a Search for Light-Mass Dark Matter with a P-type Point Contact Germanium Detector

We report on several features present in the energy spectrum from an ultra low-noise germanium detector operated at 2,100 m.w.e. By implementing a new technique able to reject surface events, a number of cosmogenic peaks can be observed for the first time. We discuss several possible causes for an irreducible excess of bulk-like events below 3 keVee, including a dark matter candidate common to the DAMA/LIBRA annual modulation effect, the hint of a signal in CDMS, and phenomenological predictions. Improved constraints are placed on a cosmological origin for the DAMA/LIBRA effect.Comment: 4 pages, 4 figures. v2: submitted version. Minimal changes in wording, one reference adde

Development of a custom monolithic device for data acquisition from a scintillating calorimeter at the superconducting super collider

A clock-driven continuous sequential write/random read data acquisition architecture for a scintillating calorimeter at the SSC is presented. Simplicity of design and operation as well as potentially dead time-less operation are the motivations of this effort. The architecture minimizes the number of fast control signals, thereby reducing pickup from digital control lines by sensitive analog circuits in the front-end device. This architecture also reduces the logic necessary on the front-end device improving reliability and easing design and operation. Operation and design of the front-end device are discussed. 3 refs., 7 figs

Systemic insecticide treatment of the canine reservoir of Trypanosoma cruzi induces high levels of lethality in Triatoma infestans, a principal vector of Chagas disease

BACKGROUND: Despite large-scale reductions in Chagas disease prevalence across Central and South America, Trypanosoma cruzi infection remains a considerable public health problem in the Gran Chaco region where vector-borne transmission persists. In these communities, peridomestic animals are major blood-meal sources for triatomines, and household presence of infected dogs increases T. cruzi transmission risk for humans. To address the pressing need for field-friendly, complementary methods to reduce triatomine infestation and interrupt T. cruzi transmission, this study evaluated the systemic activity of three commercial, oral, single dose insecticides Fluralaner (Bravecto(R)), Afoxolaner (NexGard(R)) and Spinosad (Comfortis(R)) in canine feed-through assays against Triatoma infestans, the principal domestic vector species in the Southern Cone of South America. METHODS: Twelve healthy, outbred dogs were recruited from the Zoonosis Surveillance and Control Program in Santa Cruz, Bolivia, and randomized to three treatment groups, each containing one control and three treated dogs. Following oral drug administration, colony-reared second and third stage T. infestans instars were offered to feed on dogs for 30 min at 2, 7, 21, 34 and 51 days post-treatment. RESULTS: Eighty-five per cent (768/907) of T. infestans successfully blood-fed during bioassays, with significantly higher proportions of bugs becoming fully-engorged when exposed to Bravecto(R) treated dogs (P < 0.001) for reasons unknown. Exposure to Bravecto(R) or NexGard(R) induced 100% triatomine mortality in fully- or semi-engorged bugs within 5 days of feeding for the entire follow-up period. The lethality effect for Comfortis(R) was much lower (50-70%) and declined almost entirely after 51 days. Instead Comfortis(R) treatment resulted in substantial morbidity; of these, 30% fully recovered whereas 53% remained morbid after 120 h, the latter subsequently unable to feed 30 days later. CONCLUSIONS: A single oral dose of Fluralaner or Afoxolaner was safe and well tolerated, producing complete triatomine mortality on treated dogs over 7.3 weeks. While both drugs were highly efficacious, more bugs exposed to Fluralaner took complete blood-meals, and experienced rapid knock-down. Coupled with its longer residual activity, Fluralaner represents an ideal insecticide for development into a complementary, operationally-feasible, community-level method of reducing triatomine infestation and potentially controlling T. cruzi transmission, in the Gran Chaco region

An improved measurement of muon antineutrino disappearance in MINOS

We report an improved measurement of muon anti-neutrino disappearance over a distance of 735km using the MINOS detectors and the Fermilab Main Injector neutrino beam in a muon anti-neutrino enhanced configuration. From a total exposure of 2.95e20 protons on target, of which 42% have not been previously analyzed, we make the most precise measurement of the anti-neutrino "atmospheric" delta-m squared = 2.62 +0.31/-0.28 (stat.) +/- 0.09 (syst.) and constrain the anti-neutrino atmospheric mixing angle >0.75 (90%CL). These values are in agreement with those measured for muon neutrinos, removing the tension reported previously.Comment: 5 pages, 4 figures. In submission to Phys.Rev.Let