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