On the length of chains of proper subgroups covering a topological group

We prove that if an ultrafilter L is not coherent to a Q-point, then each analytic non-sigma-bounded topological group G admits an increasing chain <G_a : a of its proper subgroups such that: (i) U_{a in b(L)} G_a=G; and $(ii)$ For every sigma-bounded subgroup H of G there exists a such that H is a subset of G_a. In case of the group Sym(w) of all permutations of w with the topology inherited from w^w this improves upon earlier results of S. Thomas

Randomized Clinical Stroke Trials in 2007

This article reviews the randomized control trials (RCT’s) that were published in 2007 of emerging pharmacotherapies in patients with acute (≤ 2 weeks), sub-acute (2 to 12 weeks) and chronic (≥ 12 weeks) stroke. A Medline search generated 22 RCT’s in stroke in the year 2007 in the English language. These trials were primarily efficacy studies. These included the role of statins (an anti-lipid agent) in reducing post-stroke morbidity and mortality, and decreasing the carotid atherosclerotic plaque in middle aged patients at increased risk of cardiovascular disease; glucose-potassium-insulin infusion in hyperglyceamic acute stroke patients; pioglitazone (an anti-diabetic medication) to reduce recurrence of stroke in Type 2 diabetic patients; administration of intra-arterial urokinase (a thrombolytic agent) and the role of laser therapy in clot dissolution given that at present there is only one FDA approved thrombolytic agent (r TPA); benefit of warfarin (an anticoagulant) in elderly patients with atrial fibrillation in the community; NXY (a free radical trapping agent) and minocycline both tested as neuroprotectants; and zoledronate (an intravenous bisphosphonate) to prevent loss of bone mineral density of the affected extremity, and finally the role of nicardipine (a Calcium channel blocker) in the prevention of vasospasm, and hydrocortisone to prevent hyponatraemia after sub-arachnoid hemorrhage. Finally the role of non-pharmacotherapy like stents for patient’s with internal carotid artery dissection with tandem internal carotid and middle cerebral artery occlusion and in vertebral artery stenosis

A General Framework for Sound and Complete Floyd-Hoare Logics

This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the category of pre-orders and monotone relations. We give several examples of how our theory generalises usual Hoare logics (partial correctness of while programs, partial correctness of pointer programs), and provide some case studies on how it can be used to develop new Hoare logics (run-time analysis of while programs and stream circuits).Comment: 27 page

A Vernacular for Coherent Logic

We propose a simple, yet expressive proof representation from which proofs for different proof assistants can easily be generated. The representation uses only a few inference rules and is based on a frag- ment of first-order logic called coherent logic. Coherent logic has been recognized by a number of researchers as a suitable logic for many ev- eryday mathematical developments. The proposed proof representation is accompanied by a corresponding XML format and by a suite of XSL transformations for generating formal proofs for Isabelle/Isar and Coq, as well as proofs expressed in a natural language form (formatted in LATEX or in HTML). Also, our automated theorem prover for coherent logic exports proofs in the proposed XML format. All tools are publicly available, along with a set of sample theorems.Comment: CICM 2014 - Conferences on Intelligent Computer Mathematics (2014

On entanglement evolution across defects in critical chains

We consider a local quench where two free-fermion half-chains are coupled via a defect. We show that the logarithmic increase of the entanglement entropy is governed by the same effective central charge which appears in the ground-state properties and which is known exactly. For unequal initial filling of the half-chains, we determine the linear increase of the entanglement entropy.Comment: 11 pages, 5 figures, minor changes, reference adde

Evaluating a Strategy to Deliver Vaccine to White-tailed Deer at a Landscape Level

Effective delivery of vaccines and other pharmaceuticals to wildlife populations is needed when zoonotic diseases pose a risk to public health and natural resources or have considerable economic consequences. The objective of our study was to develop a bait-distribution strategy for potential delivery of oral bovine tuberculosis (bTB) vaccine to white-tailed deer (Odocoileus virginianus) where deer are reservoirs for the disease. During 17 February and 2 March 2011, we created a grid of experimental bait stations (n=64) on Sandhill Wildlife Management Area, Wisconsin, USA, to assess station densities needed to attract and deliver placebo baits to free-ranging white-tailed deer and look for associations among deer density, number of bait stations per deer, and bait consumption. We placed 1 L of commercially available alfalfa cubes at bait stations 652m apart, and monitored stations with motion-activated cameras for 5 days to document visitation and consumption by deer and nontarget species. Deer discovered 38% of all bait stations within 37 hr, on average (SE=3.91 hr), and consumed variable amounts of bait at each station. Deer were documented in 94% of all photographs of wildlife at bait stations. We found no correlation between bait consumption and deer density or the number of bait stations per deer. We provide the first information on use of baits by free-ranging deer and nontarget wildlife to eventually vaccinate deer against bTB at a landscape level. The results of this study can further the development of strategies in delivery of pharmaceuticals to free-ranging white-tailed deer

Evaluating a Strategy to Deliver Vaccine to White-tailed Deer at a Landscape Level

Effective delivery of vaccines and other pharmaceuticals to wildlife populations is needed when zoonotic diseases pose a risk to public health and natural resources or have considerable economic consequences. The objective of our study was to develop a bait-distribution strategy for potential delivery of oral bovine tuberculosis (bTB) vaccine to white-tailed deer (Odocoileus virginianus) where deer are reservoirs for the disease. During 17 February and 2 March 2011, we created a grid of experimental bait stations (n=64) on Sandhill Wildlife Management Area, Wisconsin, USA, to assess station densities needed to attract and deliver placebo baits to free-ranging white-tailed deer and look for associations among deer density, number of bait stations per deer, and bait consumption. We placed 1 L of commercially available alfalfa cubes at bait stations 652m apart, and monitored stations with motion-activated cameras for 5 days to document visitation and consumption by deer and nontarget species. Deer discovered 38% of all bait stations within 37 hr, on average (SE=3.91 hr), and consumed variable amounts of bait at each station. Deer were documented in 94% of all photographs of wildlife at bait stations. We found no correlation between bait consumption and deer density or the number of bait stations per deer. We provide the first information on use of baits by free-ranging deer and nontarget wildlife to eventually vaccinate deer against bTB at a landscape level. The results of this study can further the development of strategies in delivery of pharmaceuticals to free-ranging white-tailed deer

365 nm photon-induced dynamics of CINO adsorbed on MgO(100)

Temperature programmed desorption (TPD) and 365 nm photolysis of ClNO adsorbed on MgO(100) at 90 K were investigated under ultrahigh vacuum conditions. The crystal was treated in a way that largely eliminated oxygen vacancies and yielded a relatively smooth surface. Angularly resolved time-of-flight (TOF) mass spectra and state-selective resonance-enhanced multiphoton ionization (REMPI) spectra of NO photoproducts were obtained. The TPD data indicate that ClNO desorbs at surface temperatures above 160 K for exposures (0) below 0.2 Langmuirs (L), while for higher values of 0 the main desorption peak is near 120 K. The higher temperature feature, which saturates at 0~0.3 L, is probably associated with binding to defect sites. Thermal desorption is believed to be molecular at all coverages. Irradiation at 365 nm for 0.1~0~5.0 L yields products having low average translational energies and broad translational energy distributions. NO fragment REMPI spectra were recorded at 0;;&apos;0.7 L. The rotational distributions could be fit with a temperature of 110::1: 10 K, i.e., comparable to that of the substrate. These results differ from those obtained in the photodissociation of gas-phase CINO, where the NO fragment has high translational and rotational energies. However, the present results are similar to those obtained on rougher Mg0(100) surfaces. Possible mechanisms are discussed