Integrating a Global Induction Mechanism into a Sequent Calculus

Most interesting proofs in mathematics contain an inductive argument which requires an extension of the LK-calculus to formalize. The most commonly used calculi for induction contain a separate rule or axiom which reduces the valid proof theoretic properties of the calculus. To the best of our knowledge, there are no such calculi which allow cut-elimination to a normal form with the subformula property, i.e. every formula occurring in the proof is a subformula of the end sequent. Proof schemata are a variant of LK-proofs able to simulate induction by linking proofs together. There exists a schematic normal form which has comparable proof theoretic behaviour to normal forms with the subformula property. However, a calculus for the construction of proof schemata does not exist. In this paper, we introduce a calculus for proof schemata and prove soundness and completeness with respect to a fragment of the inductive arguments formalizable in Peano arithmetic.Comment: 16 page

Sub MeV Particles Detection and Identification in the MUNU detector ((1)ISN, IN2P3/CNRS-UJF, Grenoble, France, (2)Institut de Physique, Neuch\^atel, Switzerland, (3) INFN, Padova Italy, (4) Physik-Institut, Z\"{u}rich, Switzerland)

We report on the performance of a 1 m$^{3}$ TPC filled with CF$_{4}$ at 3 bar, immersed in liquid scintillator and viewed by photomultipliers. Particle detection, event identification and localization achieved by measuring both the current signal and the scintillation light are presented. Particular features of $\alpha$ particle detection are also discussed. Finally, the ${54}$Mn photopeak, reconstructed from the Compton scattering and recoil angle is shown.Comment: Latex, 19 pages, 20 figure

Limits on the neutrino magnetic moment from the MUNU experiment

The MUNU experiment was carried out at the Bugey nuclear power reactor. The aim was the study of electron antineutrino-electron elastic scattering at low energy. The recoil electrons were recorded in a gas time projection chamber, immersed in a tank filled with liquid scintillator serving as veto detector, suppressing in particular Compton electrons. The measured electron recoil spectrum is presented. Upper limits on the neutrino magnetic moment were derived and are discussed.Comment: 9 pages, 7 figures Added reference: p.3, 1st col., TEXONO Added sentence: p.4, 1st col., electron attachement Modified sentence: p.5, 1st col., readout sequence Added sentence: p.5, 1st col., fast rise time cu

Compression wraps as adjuvant therapy in the management of acute systolic heart failure

BACKGROUND: Guidelines recommend targeting decongestion in management of decompensated HF, with lower extremity edema often serving as the clinical target. LECW are seldom used in the acute setting, with a paucity of data on efficacy in HF, despite serving as a cornerstone of chronic lymphedema management. PRIMARY OBJECTIVE: Study the efficacy and safety of LECW in acute decompensated HF. METHODS: Open-label, randomized, parallel-group clinical trial. PRIMARY OUTCOMES: Days on intravenous (IV) diuretic therapy, total hospital length of stay (LOS), and 30-day all-cause readmission. RESULTS: 32 patients were enrolled, with 29 patients completing the study. Enrollment was suspended due to the COVID-19 pandemic. Overall LOS was shorter in the intervention group (3.5 vs 6 days, p = 0.05), with no significant difference in total days on IV diuresis or 30-day readmission rate with use of LECW. Fewer patients required continuous diuretic infusion after treatment with LECW (0 vs 7 patients, p = 0.027). The intervention group scored significantly better on the MLWHF (55.5 vs 65, p = 0.021), including both the physical and emotional dimension scores. No adverse events were reported with use of LECW, including a significantly lower incidence of AKI (1 vs 13 patients, p = 0.005). CONCLUSION: The use of LECW resulted in reduced hospital LOS compared to standard therapy, with no difference in days of IV diuresis administration or 30-day readmission. Treatment with LECW also resulted in less continuous IV diuretic therapy, fewer incidence of AKI, and improved quality of life. Trends toward less escalation of diuresis, and greater reduction in edema were also observed

Optical manipulation of the wave function of quasiparticles in a solid

Polaritons in semiconductor microcavities are hybrid quasiparticles consisting of a superposition of photons and excitons. Due to the photon component, polaritons are characterized by a quantum coherence length in the several micron range. Owing to their exciton content, they display sizeable interactions, both mutual and with other electronic degrees of freedom. These unique features have produced striking matter wave phenomena, such as Bose-Einstein condensation, or parametric processes able to generate quantum entangled polariton states. Recently, several paradigms for spatial confinement of polaritons in semiconductor devices have been established. This opens the way to quantum devices in which polaritons can be used as a vector of quantum information. An essential element of each quantum device is the quantum state control. Here we demonstrate control of the wave function of confined polaritons, by means of tailored resonant optical excitation. By tuning the energy and momentum of the laser, we achieve precise control of the momentum pattern of the polariton wave function. A theoretical model supports unambiguously our observations

Predicting potential distribution and identifying priority areas for conservation of the Yellow-tailed Woolly Monkey (Lagothrix flavicauda) in Peru

Species distribution models (SDMs) provide conservationist with spatial distributions estimations of priority species. Lagothrix flavicauda (Humboldt, 1812), commonly known as the Yellow-tailed Woolly Monkey, is one of the largest primates in the New World. This species is endemic to the montane forests of northern Peru, in the departments of Amazonas, San Martín, Huánuco, Junín, La Libertad, and Loreto at elevation from1,000 to 2,800 m. It is classified as “Critically Endangered” (CR) by the International Union for Conservation of Nature (IUCN) as well as by Peruvian legislation. Furthermore, it is listed in Appendix I of the Convention on International Trade in Endangered Species of Wild Fauna and Flora (CITES). Research on precise estimates of its potential distribution are scare. Therefore, in this study we modeled the potential distribution area of this species in Peru, the model was generated using the MaxEnt algorithm, along with 80 georeferenced occurrence records and 28 environmental variables. The total distribution (high, moderate, and low) for L. flavicauda is 29,383.3 km2, having 3,480.7 km2 as high potential distribution. In effect, 22.64 % (6,648.49 km2) of the total distribution area of L. flavicauda is found within Natural Protected Areas (NPAs), with the following categories representing the largest areas of distribution: Protected Forests (1,620.41 km2), Regional Conservation Areas (1,976.79 km2), and Private Conservation Areas (1,166.55 km2). After comparing the predicted distribution with the current NPAs system, we identified new priority areas for the conservation of the species. We, therefore, believe that this study will contribute significantly to the conservation of L. flavicauda in Peru

Multicentric validation of proteomic biomarkers in urine specific for diabetic nephropathy

Background: Urine proteome analysis is rapidly emerging as a tool for diagnosis and prognosis in disease states. For diagnosis of diabetic nephropathy (DN), urinary proteome analysis was successfully applied in a pilot study. The validity of the previously established proteomic biomarkers with respect to the diagnostic and prognostic potential was assessed on a separate set of patients recruited at three different European centers. In this case-control study of 148 Caucasian patients with diabetes mellitus type 2 and duration >= 5 years, cases of DN were defined as albuminuria >300 mg/d and diabetic retinopathy (n = 66). Controls were matched for gender and diabetes duration (n = 82). Methodology/Principal Findings: Proteome analysis was performed blinded using high-resolution capillary electrophoresis coupled with mass spectrometry (CE-MS). Data were evaluated employing the previously developed model for DN. Upon unblinding, the model for DN showed 93.8% sensitivity and 91.4% specificity, with an AUC of 0.948 (95% CI 0.898-0.978). Of 65 previously identified peptides, 60 were significantly different between cases and controls of this study. In <10% of cases and controls classification by proteome analysis not entirely resulted in the expected clinical outcome. Analysis of patient's subsequent clinical course revealed later progression to DN in some of the false positive classified DN control patients. Conclusions: These data provide the first independent confirmation that profiling of the urinary proteome by CE-MS can adequately identify subjects with DN, supporting the generalizability of this approach. The data further establish urinary collagen fragments as biomarkers for diabetes-induced renal damage that may serve as earlier and more specific biomarkers than the currently used urinary albumin