181 research outputs found
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
We study logics defined in terms of second-order monadic monoidal and
groupoidal quantifiers. These are generalized quantifiers defined by monoid and
groupoid word-problems, equivalently, by regular and context-free languages. We
give a computational classification of the expressive power of these logics
over strings with varying built-in predicates. In particular, we show that
ATIME(n) can be logically characterized in terms of second-order monadic
monoidal quantifiers
On completeness of logic programs
Program correctness (in imperative and functional programming) splits in
logic programming into correctness and completeness. Completeness means that a
program produces all the answers required by its specification. Little work has
been devoted to reasoning about completeness. This paper presents a few
sufficient conditions for completeness of definite programs. We also study
preserving completeness under some cases of pruning of SLD-trees (e.g. due to
using the cut).
We treat logic programming as a declarative paradigm, abstracting from any
operational semantics as far as possible. We argue that the proposed methods
are simple enough to be applied, possibly at an informal level, in practical
Prolog programming. We point out importance of approximate specifications.Comment: 20 page
Sensitivity Studies for Third-Generation Gravitational Wave Observatories
Advanced gravitational wave detectors, currently under construction, are
expected to directly observe gravitational wave signals of astrophysical
origin. The Einstein Telescope, a third-generation gravitational wave detector,
has been proposed in order to fully open up the emerging field of gravitational
wave astronomy. In this article we describe sensitivity models for the Einstein
Telescope and investigate potential limits imposed by fundamental noise
sources. A special focus is set on evaluating the frequency band below 10Hz
where a complex mixture of seismic, gravity gradient, suspension thermal and
radiation pressure noise dominates. We develop the most accurate sensitivity
model, referred to as ET-D, for a third-generation detector so far, including
the most relevant fundamental noise contributions.Comment: 13 pages, 7 picture
Scientific Potential of Einstein Telescope
Einstein gravitational-wave Telescope (ET) is a design study funded by the
European Commission to explore the technological challenges of and scientific
benefits from building a third generation gravitational wave detector. The
three-year study, which concluded earlier this year, has formulated the
conceptual design of an observatory that can support the implementation of new
technology for the next two to three decades. The goal of this talk is to
introduce the audience to the overall aims and objectives of the project and to
enumerate ET's potential to influence our understanding of fundamental physics,
astrophysics and cosmology.Comment: Conforms to conference proceedings, several author names correcte
Is the metabolic cost of walking higher in people with diabetes?
People with diabetes walk slower and display biomechanical gait alterations compared with controls, but it remains unknown whether the metabolic cost of walking (CoW) is elevated. The aim of this study was to investigate the CoW and the lower limb concentric joint work as a major determinant of the CoW, in patients with diabetes and diabetic peripheral neuropathy (DPN). Thirty-one nondiabetic controls (Ctrl), 22 diabetic patients without peripheral neuropathy (DM), and 14 patients with moderate/severe DPN underwent gait analysis using a motion analysis system and force plates and treadmill walking using a gas analyzer to measure oxygen uptake. The CoW was significantly higher particularly in the DPN group compared with controls and also in the DM group (at selected speeds only) compared with controls, across a range of matched walking speeds. Despite the higher CoW in patients with diabetes, concentric lower limb joint work was significantly lower in DM and DPN groups compared with controls. The higher CoW is likely due to energetic inefficiencies associated with diabetes and DPN reflecting physiological and biomechanical characteristics. The lower concentric joint work in patients with diabetes might be a consequence of kinematic gait alterations and may represent a natural strategy aimed at minimizing the CoW
Performance of the LHCb vertex locator
The Vertex Locator (VELO) is a silicon microstrip detector that surrounds the proton-proton interaction region in the LHCb experiment. The performance of the detector during the first years of its physics operation is reviewed. The system is operated in vacuum, uses a bi-phase CO2 cooling system, and the sensors are moved to 7 mm from the LHC beam for physics data taking. The performance and stability of these characteristic features of the detector are described, and details of the material budget are given. The calibration of the timing and the data processing algorithms that are implemented in FPGAs are described. The system performance is fully characterised. The sensors have a signal to noise ratio of approximately 20 and a best hit resolution of 4 ÎŒm is achieved at the optimal track angle. The typical detector occupancy for minimum bias events in standard operating conditions in 2011 is around 0.5%, and the detector has less than 1% of faulty strips. The proximity of the detector to the beam means that the inner regions of the n+-on-n sensors have undergone space-charge sign inversion due to radiation damage. The VELO performance parameters that drive the experiment's physics sensitivity are also given. The track finding efficiency of the VELO is typically above 98% and the modules have been aligned to a precision of 1 ÎŒm for translations in the plane transverse to the beam. A primary vertex resolution of 13 ÎŒm in the transverse plane and 71 ÎŒm along the beam axis is achieved for vertices with 25 tracks. An impact parameter resolution of less than 35 ÎŒm is achieved for particles with transverse momentum greater than 1 GeV/c
Precision luminosity measurements at LHCb
Measuring cross-sections at the LHC requires the luminosity to be determined accurately at each centre-of-mass energy âs. In this paper results are reported from the luminosity calibrations carried out at the LHC interaction point 8 with the LHCb detector for âs = 2.76, 7 and 8 TeV (proton-proton collisions) and for âsNN = 5 TeV (proton-lead collisions). Both the "van der Meer scan" and "beam-gas imaging" luminosity calibration methods were employed. It is observed that the beam density profile cannot always be described by a function that is factorizable in the two transverse coordinates. The introduction of a two-dimensional description of the beams improves significantly the consistency of the results. For proton-proton interactions at âs = 8 TeV a relative precision of the luminosity calibration of 1.47% is obtained using van der Meer scans and 1.43% using beam-gas imaging, resulting in a combined precision of 1.12%. Applying the calibration to the full data set determines the luminosity with a precision of 1.16%. This represents the most precise luminosity measurement achieved so far at a bunched-beam hadron collider
Scientific Objectives of Einstein Telescope
The advanced interferometer network will herald a new era in observational
astronomy. There is a very strong science case to go beyond the advanced
detector network and build detectors that operate in a frequency range from 1
Hz-10 kHz, with sensitivity a factor ten better in amplitude. Such detectors
will be able to probe a range of topics in nuclear physics, astronomy,
cosmology and fundamental physics, providing insights into many unsolved
problems in these areas.Comment: 18 pages, 4 figures, Plenary talk given at Amaldi Meeting, July 201
Projected Prevalence of Inadequate Nutrient Intakes in Europe
Background: The purpose of this study was to analyze the prevalence of nutrient intake inadequacy in Europe, applying the Nordic Nutritional Recommendations in the context of the EURRECA Network of Excellence. Methods: Nutrient data was obtained from the European Nutrition and Health Report II. Those nutritional surveys using a validated food frequency questionnaire or diet history and a food diary/register with at least 7 days of registers or with an adjustment for intraindividual variability were included. The nutrients analyzed were: vitamin C, vitamin D, vitamin B-12, folic acid, calcium, iron, zinc, selenium, copper, and iodine. The estimated average requirement cut point was applied to estimate inadequacy. The Nordic and Institute of Medicine nutrient recommendations were used as references. Results: The mean prevalence of inadequacy was below 11% for zinc, iron, and vitamin B-12 (only in the elderly), and it was 11-20% for copper in adults and the elderly and for vitamin B-12 in adults and vitamin C in the elderly. The prevalence was above 20% for vitamin D, folic acid, calcium, selenium, and iodine in adults and the elderly and for vitamin C in adults. Conclusions: Vitamin C, vitamin D, folic acid, calcium, selenium, and iodine were the nutrients showing a higher prevalence of inadequate intakes in Europe. Copyright (C) 2011 S. Karger AG, Base
- âŠ