Applying quantitative semantics to higher-order quantum computing

Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotational semantics for a quantum lambda calculus with recursion and an infinite data type, using constructions from quantitative semantics of linear logic

De l'efficacité de la pasteurisation du lait

Lafont J., Névot Armand, Lafont Philippe. De l'efficacité de la pasteurisation du lait. In: Bulletin de l'Académie Vétérinaire de France tome 112 n°4, 1959. pp. 251-260

Lower algebraic K-theory of certain reflection groups

For a finite volume geodesic polyhedron P in hyperbolic 3-space, with the property that all interior angles between incident faces are integral submultiples of Pi, there is a naturally associated Coxeter group generated by reflections in the faces. Furthermore, this Coxeter group is a lattice inside the isometry group of hyperbolic 3-space, with fundamental domain the original polyhedron P. In this paper, we provide a procedure for computing the lower algebraic K-theory of the integral group ring of such Coxeter lattices in terms of the geometry of the polyhedron P. As an ingredient in the computation, we explicitly calculate some of the lower K-groups of the dihedral groups and the product of dihedral groups with the cyclic group of order two.Comment: 35 pages, 2 figure

Religious Involvement and the Attitudes Toward Birth Control

Religious Involvement and the Attitudes Toward Birth Control Carly Jacobs, Rachel LaFont, Whitney Wright Faculty Advisor: Erin M. Pryor, Ph.D. Key words: religion, birth control, contraceptive, sexual education, pregnancy prevention Historically, religious communities with conservative beliefs about sex and procreation offer limited access to and deter the use of birth control for pregnancy prevention (Cole & Geist, 2021; Piper et al., 2022; Wilde & Danielsen, 2014). Studies show that the higher religiosity involvement someone has, the less likely they are to use any artificial birth control to prevent pregnancy, and the more likely for them to remain abstinent (Piper et al., 2022). Recognizing the disparity in education of and access to birth control is important in continuing the fight for reproductive justice (Price, 2020; Roberts, 2015; Ross & Solinger, 2017). Therefore, our research explores religious involvement, attitudes toward birth control, and how different religions affect access to birth control in different ways. Through Dr. Pryor’s Social Research Methods class, we have synthesized previous research literature and explored different methodologies including: surveying Belmont students in an Introduction to Sociology course, analyzing a secondary data source of a CBS News survey about the Catholic church, analyzing content of sexual education initiatives, and interviewing a Belmont student about their experience. All of these methods were used to further our understanding of the influence of religion on access to and the use of birth control

Effects of combined sewer overflows on a periurban stream ecosystem: Methodological approach

International audienceHere we develop from a long term field experiment an assessment method of interstitial fauna resilience to combined sewer overflows (CSOs) effect. We address the case of small water courses for which the ratio of CSOs to natural flow can be 1 to much more. Biotic material was collected in the benthic and hyporheic layers. Biotic material focussed mainly on oligocheates species whose diversity, species category and abundance are resumed into metrics, called functional traits (FTrs), giving indications on flux dynamics and nutrient bio-assimilation capacity. The biotic resilience is assessed through the analysis of the response time of the biota to CSOs and natural flow characteristics, here called hydrological indices (HIs). In this aim, a series of hydrological indices are defined to reveal varying aspects of the dynamics of CSOs and natural flows. A main result is that CSOs can have both degrading and boosting effects on the biota of a stony stream. Some CSOs characteristics can explain the physical processes supporting these contrasting effects. In particular the geomorphic characteristics of the water course. Management perspectives emerge from the CSOs hydrological indices and resilience of the biota

Anomalous dissipation mechanism and Hall quantization limit in polycrystalline graphene grown by chemical vapor deposition

Under the terms of the Creative Commons Attribution License 3.0 (CC-BY).-- et al.We report on the observation of strong backscattering of charge carriers in the quantum Hall regime of polycrystalline graphene, grown by chemical vapor deposition, which alters the accuracy of the Hall resistance quantization. The temperature and magnetic field dependence of the longitudinal conductance exhibits unexpectedly smooth power-law behaviors, which are incompatible with a description in terms of variable range hopping or thermal activation but rather suggest the existence of extended or poorly localized states at energies between Landau levels. Such states could be caused by the high density of line defects (grain boundaries and wrinkles) that cross the Hall bars, as revealed by structural characterizations. Numerical calculations confirm that quasi-one-dimensional extended nonchiral states can form along such line defects and short circuit the Hall bar chiral edge states.This research has received funding from the Agence Nationale de la Recherche (ANR), Metrograph project (Grant No. ANR-2011-NANO-004. It has been performed within the EMRP (European Metrology Research Program), project SIB51, Graphohm. The EMRP is jointly funded by the EMRP participating countries within EURAMET (European association of national metrology institutes) and the European Union.Peer Reviewe