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

Current treatment practice of Guillain-Barré syndrome

Objective: To define the current treatment practice of Guillain-Barré syndrome (GBS). Methods: The study was based on prospective observational data from the first 1,300 patients included in the International GBS Outcome Study. We described the treatment practice of GBS in general, and for (1) severe forms (unable to walk independently), (2) no recovery after initial treatment, (3) treatment-related fluctuations, (4) mild forms (able to walk independently), and (5) variant forms including Miller Fisher syndrome, taking patient characteristics and hospital type into account. Results: We excluded 88 (7%) patients because of missing data, protocol violation, or alternative diagnosis. Patients from Bangladesh (n = 189, 15%) were described separately because 83% were not treated. IV immunoglobulin (IVIg), plasma exchange (PE), or other immunotherapy was provided in 941 (92%) of the remaining 1,023 patients, including patients with severe GBS (724/743, 97%), mild GBS (126/168, 75%), Miller Fisher syndrome (53/70, 76%), and other variants (33/40, 83%). Of 235 (32%) patients who did not improve after their initial treatment, 82 (35%) received a second immune modulatory treatment. A treatment-related fluctuation was observed in 53 (5%) of 1,023 patients, of whom 36 (68%) were re-treated with IVIg or PE. Conclusions: In current practice, patients with mild and variant forms of GBS, or with treatment-related fluctuations and treatment failures, are frequently treated, even in absence of trial data to support this choice. The variability in treatment practice can be explained in part by the lack of evidence and guidelines for effective treatment in these situations

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

Guillain-Barre syndrome after SARS-CoV-2 infection in an international prospective cohort study

In the wake of the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) pandemic, an increasing number of patients with neurological disorders, including Guillain-Barre syndrome (GBS), have been reported following this infection. It remains unclear, however, if these cases are coincidental or not, as most publications were case reports or small regional retrospective cohort studies. The International GBS Outcome Study is an ongoing prospective observational cohort study enrolling patients with GBS within 2 weeks from onset of weakness. Data from patients included in this study, between 30 January 2020 and 30 May 2020, were used to investigate clinical and laboratory signs of a preceding or concurrent SARS-CoV-2 infection and to describe the associated clinical phenotype and disease course. Patients were classified according to the SARS-CoV-2 case definitions of the European Centre for Disease Prevention and Control and laboratory recommendations of the World Health Organization. Forty-nine patients with GBS were included, of whom eight (16%) had a confirmed and three (6%) a probable SARS-CoV-2 infection. Nine of these 11 patients had no serological evidence of other recent preceding infections associated with GBS, whereas two had serological evidence of a recent Campylobacter jejuni infection. Patients with a confirmed or probable SARS-CoV-2 infection frequently had a sensorimotor variant 8/11 (73%) and facial palsy 7/11 (64%). The eight patients who underwent electrophysiological examination all had a demyelinating subtype, which was more prevalent than the other patients included in the same time window [14/30 (47%), P = 0.012] as well as historical region and age-matched control subjects included in the International GBS Outcome Study before the pandemic [23/44 (52%), P = 0.016]. The median time from the onset of infection to neurological symptoms was 16 days (interquartile range 12-22). Patients with SARS-CoV-2 infection shared uniform neurological features, similar to those previously described in other post-viral GBS patients. The frequency (22%) of a preceding SARS-CoV-2 infection in our study population was higher than estimates of the contemporaneous background prevalence of SARS-CoV-2, which may be a result of recruitment bias during the pandemic, but could also indicate that GBS may rarely follow a recent SARS-CoV-2 infection. Consistent with previous studies, we found no increase in patient recruitment during the pandemic for our ongoing International GBS Outcome Study compared to previous years, making a strong relationship of GBS with SARS-CoV-2 unlikely. A case-control study is required to determine if there is a causative link or not

Mass-spectrometry-based metabolomics: limitations and recommendations for future progress with particular focus on nutrition research

Mass spectrometry (MS) techniques, because of their sensitivity and selectivity, have become methods of choice to characterize the human metabolome and MS-based metabolomics is increasingly used to characterize the complex metabolic effects of nutrients or foods. However progress is still hampered by many unsolved problems and most notably the lack of well established and standardized methods or procedures, and the difficulties still met in the identification of the metabolites influenced by a given nutritional intervention. The purpose of this paper is to review the main obstacles limiting progress and to make recommendations to overcome them. Propositions are made to improve the mode of collection and preparation of biological samples, the coverage and quality of mass spectrometry analyses, the extraction and exploitation of the raw data, the identification of the metabolites and the biological interpretation of the results

The HERMES Spectrometer

The HERMES experiment is collecting data on inclusive and semi-inclusive deep inelastic scattering of polarised positrons from polarised targets of Il, D, and He-3. These data give information on the spin structure of the nucleon. This paper describes the forward angle spectrometer built for this purpose. The spectrometer includes numerous tracking chambers (micro-strip gas chambers, drift and proportional chambers) in front of and behind a 1.3 T.m magnetic field, as well as an extensive set of detectors for particle identification (a lead-glass calorimeter, a pre-shower detector, a transition radiation detector, and a threshold Cherenkov detector). Two of the main features of the spectrometer are its good acceptance and identification of both positrons and hadrons, in particular pions. These characteristics, together with the purity of the targets, are allowing HERMES to make unique contributions to the understanding of how the spins of the quarks contribute to the spin of the nucleon. (C) 1998 Elsevier Science B.V. All rights reserved