Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

Measurement of the b-Hadron Production Cross Section Using Decays to mu^- D^0 X Final States in ppbar Collisions at sqrt s = 1.96 TeV

We report a measurement of the production cross section for b hadrons in p-pbar collisions at sqrt{s}=1.96 TeV. Using a data sample derived from an integrated luminosity of 83 pb^-1 collected with the upgraded Collider Detector (CDF II) at the Fermilab Tevatron, we analyze b hadrons, H_b, partially reconstructed in the semileptonic decay mode H_b -> mu^- D^0 X. Our measurement of the inclusive production cross section for b hadrons with transverse momentum p_T > 9 GeV/c and rapidity |y|We report a measurement of the production cross section for b hadrons in pp̅ collisions at √s=1.96  TeV. Using a data sample derived from an integrated luminosity of 83  pb-1 collected with the upgraded Collider Detector (CDF II) at the Fermilab Tevatron, we analyze b hadrons, Hb, partially reconstructed in the semileptonic decay mode Hb→μ-D0X. Our measurement of the inclusive production cross section for b hadrons with transverse momentum pT>9  GeV/c and rapidity |y|<0.6 is σ=1.30  μb±0.05  μb(stat)±0.14  μb(syst)±0.07  μb(B), where the uncertainties are statistical, systematic, and from branching fractions, respectively. The differential cross sections dσ/dpT are found to be in good agreement with recent measurements of the Hb cross section and well described by fixed-order next-to-leading logarithm predictions.Peer reviewe

Quantifying the contributing factors towards signal fatigue in nanocomposite strain sensors

With unparalleled sensitivities, nanocomposites are believed to be key components in future bodily sensor and healthcare devices. However, there is a lack in understanding of how repeated strain cycles effect their electromechanical performance and what measures can be taken to accommodate changes in measurement using modelling and signal processing. Here, the author examines published cyclic data from a wide range of nanocomposite strain sensors. From the datasets, the author reports a near universal scaling in electromechanical signal with cycle number (C) as a result of the Mullin’s effect. Using a modified model based on Basquin’s law of fatigue, for all nanocomposites, signal was found to following a nearly identical C-0.1 power law scaling with cycle number. Using the presented model, the author demonstrated that a critical conditioning cycle number for a nanocomposite at which a steady state signal occurs, known as the endurance limit, can be predicted. Endurance limit was reported to be highly dependent on the scaling exponent noted in the cyclic data

Low Multiplicity Burst Search at the Sudbury Neutrino Observatory

Results are reported from a search for low-multiplicity neutrino bursts in the Sudbury Neutrino Observatory (SNO). Such bursts could indicate detection of a nearby core-collapse supernova explosion. The data were taken from Phase I (November 1999 - May 2001), when the detector was filled with heavy water, and Phase II (July 2001 - August 2003), when NaCl was added to the target. The search was a blind analysis in which the potential backgrounds were estimated and analysis cuts were developed to eliminate such backgrounds with 90% confidence before the data were examined. The search maintained a greater than 50% detection probability for standard supernovae occurring at a distance of up to 60 kpc for Phase I and up to 70 kpc for Phase II. No low-multiplicity bursts were observed during the data-taking period.Comment: 11 pages, 4 figures, submitted to Ap

Assessment of management to mitigate anthropogenic effects on large whales

Author Posting. © Society for Conservation Biology, 2012. This article is posted here by permission of John Wiley & Sons for personal use, not for redistribution. The definitive version was published in Conservation Biology 27 (2013): 121-133, doi:10.1111/j.1523-1739.2012.01934.x.United States and Canadian governments have responded to legal requirements to reduce human-induced whale mortality via vessel strikes and entanglement in fishing gear by implementing a suite of regulatory actions. We analyzed the spatial and temporal patterns of mortality of large whales in the Northwest Atlantic (23.5°N to 48.0°N), 1970 through 2009, in the context of management changes. We used a multinomial logistic model fitted by maximum likelihood to detect trends in cause-specific mortalities with time. We compared the number of human-caused mortalities with U.S. federally established levels of potential biological removal (i.e., species-specific sustainable human-caused mortality). From 1970 through 2009, 1762 mortalities (all known) and serious injuries (likely fatal) involved 8 species of large whales. We determined cause of death for 43% of all mortalities; of those, 67% (502) resulted from human interactions. Entanglement in fishing gear was the primary cause of death across all species (n= 323), followed by natural causes (n= 248) and vessel strikes (n= 171). Established sustainable levels of mortality were consistently exceeded in 2 species by up to 650%. Probabilities of entanglement and vessel-strike mortality increased significantly from 1990 through 2009. There was no significant change in the local intensity of all or vessel-strike mortalities before and after 2003, the year after which numerous mitigation efforts were enacted. So far, regulatory efforts have not reduced the lethal effects of human activities to large whales on a population-range basis, although we do not exclude the possibility of success of targeted measures for specific local habitats that were not within the resolution of our analyses. It is unclear how shortfalls in management design or compliance relate to our findings. Analyses such as the one we conducted are crucial in critically evaluating wildlife-management decisions. The results of these analyses can provide managers with direction for modifying regulated measures and can be applied globally to mortality-driven conservation issues.We thank S. and H. Simmons for funding for this project

Cosmological and black hole brane-world Universes in higher derivative gravity

General model of multidimensional $R^2$-gravity including Riemann tensor square term (non-zero $c$ case) is considered. The number of brane-worlds in such model is constructed (mainly in five dimensions) and their properties are discussed. Thermodynamics of S-AdS BH (with boundary) is presented when perturbation on $c$ is used. The entropy, free energy and energy are calculated. For non-zero $c$ the entropy (energy) is not proportional to the area (mass). The equation of motion of brane in BH background is presented as FRW equation. Using dual CFT description it is shown that dual field theory is not conformal one when $c$ is not zero. In this case the holographic entropy does not coincide with BH entropy (they coincide for Einstein gravity or $c=0$ HD gravity where AdS/CFT description is well applied). Asymmetrically warped background (analog of charged AdS BH) where Lorentz invariance violation occurs is found. The cosmological 4d dS brane connecting two dS bulk spaces is formulated in terms of parameters of $R^2$-gravity. Within proposed dS/CFT correspondence the holographic conformal anomaly from five-dimensional higher derivative gravity in de Sitter background is evaluated.Comment: LaTeX file 40 pages, references added, version to appear in PR

Crash characteristics and patterns of injury among hospitalized motorised two-wheeled vehicle users in urban India

<p>Abstract</p> <p>Background</p> <p>Traffic crashes and consequent injuries represent a growing public health concern in India, particularly in light of increasing motorization. Motorised two-wheeled vehicles (MTV) constitute a large portion of the vehicle fleet in India. We report the crash characteristics and injury patterns among a cohort of MTV riders and pillions presenting to hospital post-crash.</p> <p>Methods</p> <p>Consecutive MTV riders and pillions, whether alive or dead, injured in a road traffic crash presenting to the emergency departments of two government hospitals and three branches of a private hospital in urban Hyderabad, India, were recruited to this study.</p> <p>Results</p> <p>378 MTV users were enrolled to the study of whom 333 (88.1%) were male, 252 (66.7%) were riders and median age was 31.3 years. A total of 223 (59%) MTV users were injured in multi-vehicle crashes while one-third had a frontal impact. The majority (77%) were assessed as having a Glasgow coma score (GCS) of 13–15, 12% a GCS of 9–12 and 11% a GCS of 3–8. No difference was seen in the severity distribution of injuries based on GCS among riders and pillions. Open wounds and superficial injuries to the head (69.3%) and upper extremity (27%) and lower extremity (24%) were the most common injuries. 43 (11%) sustained an intracranial injury, including 12 (28%) with associated fracture of the bones of the head. There were few differences in types of injuries sustained by riders and pillions though riders had a significantly lower risk of crush injuries of the lower extremity than pillions (relative risk, RR 0.25, 95% CI 0.08–0.81) and female pillions were at a significantly lower risk of sustaining fractures of the lower extremity than male pillions (RR 0.30, 95% CI 0.09 – 0.94). Overall, 42 (11%) MTV users died, of which 42.8% died before reaching the hospital. Only 74 (19.6%) MTV users had worn a helmet correctly and failure to wear a helmet was associated with a five times greater risk of intracranial injury (RR 4.99, 95% CI 1.23–20.1). Of the 19 pre-hospital deaths, 16 (84%) had not worn a helmet.</p> <p>Conclusion</p> <p>Head injuries accounted for the major proportion of injuries sustained in MTV users. Non-helmet use was associated with increased risk of serious head injuries. The data presented on the nature and severity of injuries sustained by MTV users can assist with planning to deal with these consequences as well as prevention of these injuries given the high use of MTV in India.</p

Functional intercomparison of intraoperative radiotherapy equipment – Photon Radiosurgery System

BACKGROUND: Intraoperative Radiotherapy (IORT) is a method by which a critical radiation dose is delivered to the tumour bed immediately after surgical excision. It is being investigated whether a single high dose of radiation will impart the same clinical benefit as a standard course of external beam therapy. Our centre has four Photon Radiosurgery Systems (PRS) currently used to irradiate breast and neurological sites. MATERIALS AND METHODS: The PRS comprises an x-ray generator, control console, quality assurance tools and a mobile gantry. We investigated the dosimetric characteristics of each source and its performance stability over a period of time. We investigated half value layer, output diminution factor, internal radiation monitor (IRM) reproducibility and depth-doses in water. The half value layer was determined in air by the broad beam method, using high purity aluminium attenuators. To quantify beam hardening at clinical depths, solid water attenuators of 5 and 10 mm were placed between the x-ray probe and attenuators. The ion chamber current was monitored over 30 minutes to deduce an output diminution factor. IRM reproducibility was investigated under various exposures. Depth-dose curves in water were obtained at distances up to 35 mm from the probe. RESULTS: The mean energies for the beam attenuated by 5 and 10 mm of solid water were derived from ICRU Report 17 and found to be 18 and 24 keV. The average output level over a period of 30 minutes was found to be 99.12%. The average difference between the preset IRM limit and the total IRM count was less than 0.5%. For three x-ray sources, the average difference between the calculated and actual treatment times was found to be 0.62% (n = 30). The beam attenuation in water varied by approximately 1/r(3). CONCLUSION: The x-ray sources are stable over time. Most measurements were found to lie within the manufacturer's tolerances and an intercomparison of these checks suggests that the four x-ray sources have similar performance characteristics

Polarizations of J/psi and psi(2S) Mesons Produced in ppbar Collisions at 1.96 TeV

We have measured the polarizations of \jpsi and \psiprime mesons as functions of their transverse momentum \pt when they are produced promptly in the rapidity range $|y|<0.6$ with \pt \geq 5 \pgev. The analysis is performed using a data sample with an integrated luminosity of about 800 \ipb collected by the CDF II detector. For both vector mesons, we find that the polarizations become increasingly longitudinal as \pt increases from 5 to 30 \pgev. These results are compared to the predictions of nonrelativistic quantum chromodynamics and other contemporary models. The effective polarizations of \jpsi and \psiprime mesons from $B$-hadron decays are also reported.Comment: 8 pages, 7 figures, published in Physical Review Letter