1,339 research outputs found
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
Integrating ASCAT surface soil moisture and GEOV1 leaf area index into the SURFEX modelling platform: a land data assimilation application over France
The land monitoring service of the European Copernicus programme has
developed a set of satellite-based biogeophysical products, including
surface soil moisture (SSM) and leaf area index (LAI). This study
investigates the impact of joint assimilation of remotely sensed SSM
derived from Advanced Scatterometer (ASCAT) backscatter data and the
Copernicus Global Land GEOV1 satellite-based LAI product
into the the vegetation growth version of the Interactions
between Soil Biosphere Atmosphere (ISBA-A-gs) land surface model
within the the externalised surface model (SURFEX) modelling
platform of Météo-France. The ASCAT data were bias corrected with
respect to the model climatology by using a seasonal-based CDF
(Cumulative Distribution Function) matching technique. A multivariate
multi-scale land data assimilation system (LDAS) based on the extended
Kalman Filter (EKF) is used for monitoring the soil moisture,
terrestrial vegetation, surface carbon and energy fluxes across the
domain of France at a spatial resolution of 8 km. Each model grid
box is divided into a number of land covers, each having its own set of
prognostic variables. The filter algorithm is designed to provide
a distinct analysis for each land cover while using one observation
per grid box. The updated values are aggregated by computing
a weighted average.
<br><br>
In this study, it is demonstrated that the assimilation scheme works
effectively within the ISBA-A-gs model over a four-year period
(2008–2011). The EKF is able to extract useful information from the
data signal at the grid scale and distribute the root-zone soil
moisture and LAI increments throughout the mosaic structure of the
model. The impact of the assimilation on the vegetation phenology and
on the water and carbon fluxes varies from one season to another. The
spring drought of 2011 is an interesting case study of the
potential of the assimilation to improve drought
monitoring. A comparison between simulated and in situ soil moisture
gathered at the twelve SMOSMANIA (Soil Moisture Observing
System–Meteorological Automatic Network Integrated Application) stations shows improved anomaly
correlations for eight stations
- …