6,337 research outputs found

    Palaeogenomics: Mitogenomes and Migrations in Europe’s Past

    Get PDF
    The latest in a series of transformative studies of DNA from prehistoric Europeans focuses on mitochondrial DNA, bringing fresh surprises and filling in important details of the early stages of a European ancestry stretching back more than 40,000 years

    Bounded Expectations: Resource Analysis for Probabilistic Programs

    Full text link
    This paper presents a new static analysis for deriving upper bounds on the expected resource consumption of probabilistic programs. The analysis is fully automatic and derives symbolic bounds that are multivariate polynomials of the inputs. The new technique combines manual state-of-the-art reasoning techniques for probabilistic programs with an effective method for automatic resource-bound analysis of deterministic programs. It can be seen as both, an extension of automatic amortized resource analysis (AARA) to probabilistic programs and an automation of manual reasoning for probabilistic programs that is based on weakest preconditions. As a result, bound inference can be reduced to off-the-shelf LP solving in many cases and automatically-derived bounds can be interactively extended with standard program logics if the automation fails. Building on existing work, the soundness of the analysis is proved with respect to an operational semantics that is based on Markov decision processes. The effectiveness of the technique is demonstrated with a prototype implementation that is used to automatically analyze 39 challenging probabilistic programs and randomized algorithms. Experimental results indicate that the derived constant factors in the bounds are very precise and even optimal for many programs

    An Examination of Wearable Sensors and Video Data Capture for Human Exercise Classification

    Full text link
    Wearable sensors such as Inertial Measurement Units (IMUs) are often used to assess the performance of human exercise. Common approaches use handcrafted features based on domain expertise or automatically extracted features using time series analysis. Multiple sensors are required to achieve high classification accuracy, which is not very practical. These sensors require calibration and synchronization and may lead to discomfort over longer time periods. Recent work utilizing computer vision techniques has shown similar performance using video, without the need for manual feature engineering, and avoiding some pitfalls such as sensor calibration and placement on the body. In this paper, we compare the performance of IMUs to a video-based approach for human exercise classification on two real-world datasets consisting of Military Press and Rowing exercises. We compare the performance using a single camera that captures video in the frontal view versus using 5 IMUs placed on different parts of the body. We observe that an approach based on a single camera can outperform a single IMU by 10 percentage points on average. Additionally, a minimum of 3 IMUs are required to outperform a single camera. We observe that working with the raw data using multivariate time series classifiers outperforms traditional approaches based on handcrafted or automatically extracted features. Finally, we show that an ensemble model combining the data from a single camera with a single IMU outperforms either data modality. Our work opens up new and more realistic avenues for this application, where a video captured using a readily available smartphone camera, combined with a single sensor, can be used for effective human exercise classification

    High-vacuum-compatible high-power Faraday isolators for gravitational-wave interferometers

    Get PDF
    Faraday isolators play a key role in the operation of large-scale gravitational-wave detectors. Second-generation gravitational-wave interferometers such as the Advanced Laser Interferometer Gravitational-Wave Observatory (LIGO) and Advanced Virgo will use high-average-power cw lasers (up to 200 W) requiring specially designed Faraday isolators that are immune to the effects resulting from the laser beam absorption–degraded isolation ratio, thermal lensing, and thermally induced beam steering. In this paper, we present a comprehensive study of Faraday isolators designed specifically for high-performance operation in high-power gravitational-wave interferometers

    The ISLAndS project II: The Lifetime Star Formation Histories of Six Andromeda dSphs

    Get PDF
    The Initial Star formation and Lifetimes of Andromeda Satellites (ISLAndS) project uses Hubble Space Telescope imaging to study a representative sample of six Andromeda dSph satellite companion galaxies. The main goal of the program is to determine whether the star formation histories (SFHs) of the Andromeda dSph satellites demonstrate significant statistical differences from those of the Milky Way, which may be attributable to the different properties of their local environments. Our observations reach the oldest main sequence turn-offs, allowing a time resolution at the oldest ages of ~ 1 Gyr, which is comparable to the best achievable resolution in the MW satellites. We find that the six dSphs present a variety of SFHs that are not strictly correlated with luminosity or present distance from M31. Specifically, we find a significant range in quenching times (lookback times from 9 to 6 Gyr), but with all quenching times more than ~ 6 Gyr ago. In agreement with observations of Milky Way companions of similar mass, there is no evidence of complete quenching of star formation by the cosmic UV background responsible for reionization, but the possibility of a degree of quenching at reionization cannot be ruled out. We do not find significant differences between the SFHs of the three members of the vast, thin plane of satellites and the three off-plane dSphs. The primary difference between the SFHs of the ISLAndS dSphs and Milky Way dSph companions of similar luminosities and host distances is the absence of very late quenching (< 5 Gyr ago) dSphs in the ISLAndS sample. Thus, models that can reproduce satellite populations with and without late quenching satellites will be of extreme interest.Comment: 24 pages, 11 figures, 3 tables, submitted to the Ap

    Reassessment and update of long-term trends in downward surface shortwave radiation over Europe (1939–2012)

    Get PDF
    This paper presents trends in downward surface shortwave radiation (SSR) over Europe, which are based on the 56 longest series available from the Global Energy Balance Archive that are mainly concentrated in central Europe. Special emphasis has been placed on both ensuring the temporal homogeneity and including the most recent years in the data set. We have generated, for the first time, composite time series for Europe covering the period 1939–2012, which have been studied by means of running trend analysis. The mean annual SSR series shows an increase from the late 1930s to the early 1950s (i.e., early brightening), followed by a reduction until mid-1980s (i.e., global dimming) and a subsequent increase up to the early 2000s (i.e., global brightening).This research was supported by the Swiss National Science Foundation grant 200021 135395 (“Towards an improved understanding of the Global Energy Balance: Absorption of solar radiation”) and the Spanish Ministry of Science and Innovation projects CGL2010-18546 and CGL2011-27574- CO2-02. The first author was supported by a postdoctoral fellowship from the “Secretaria per a Universitats i Recerca del Departament d’Economia i Coneixement, de la Generalitat de Catalunya i del programa Cofund de les Accions Marie Curie del 7è Programa marc d’R+D de la Unió Europea” (2011 BP-B 00078) and the postdoctoral fellowship JCI-2012-12508

    Does desmopressin acetate reduce blood loss after surgery in patients on cardiopulmonary bypass?

    Get PDF
    It has been suggested that desmopressin acetate (DDAVP) administration reduces blood loss after cardiac surgery. We have investigated the effect of DDAVP administration in a double-blind, randomized, prospective trial including 100 patients placed on cardiopulmonary bypass during surgery. Fifty patients received 0.3 micrograms/kg DDAVP and 50 patients received a placebo administered in a 50 ml saline solution over 15 min when cardiopulmonary bypass had been concluded. Results showed no significant differences either in total blood loss per square meter (458 +/- 206 ml in the DDAVP group vs 536 +/- 304 ml in the placebo group) or in necessity for red cell transfusions (1642 +/- 705 ml in the DDAVP group vs 1574 +/- 645 ml in the placebo group) in the first 72 hr after surgery. Only intraoperative blood loss per square meter was significantly lower (p less than .02) in the DDAVP group (131 +/- 106 ml) as compared with the placebo group (193 +/- 137 ml). The prolongation of bleeding time and the decrease of factor VIII:C and factor VIII:von Willebrand factor 90 min after treatment were significantly lower (p less than .001) in the DDAVP group as compared with the placebo group. We conclude that the administration of DDAVP in patients placed on cardiopulmonary bypass during surgery does not reduce total blood loss and is only effective in reducing intraoperative bleeding

    The ISLANDS project I: Andromeda XVI, An Extremely Low Mass Galaxy not Quenched by Reionization

    Get PDF
    Based on data aquired in 13 orbits of HST time, we present a detailed evolutionary history of the M31 dSph satellite Andromeda XVI, including its life-time star formation history, the spatial distribution of its stellar populations, and the properties of its variable stars. And XVI is characterized by prolonged star formation activity from the oldest epochs until star formation was quenched ~6 Gyr ago, and, notably, only half of the mass in stars of And XVI was in place 10 Gyr ago. And XVI appears to be a low mass galaxy for which the early quenching by either reionization or starburst feedback seems highly unlikely, and thus, is most likely due to an environmental effect (e.g., an interaction), possibly connected to a late infall in the densest regions of the Local Group. Studying the star formation history as a function of galactocentric radius, we detect a mild gradient in the star formation history: the star formation activity between 6 and 8 Gyr ago is significantly stronger in the central regions than in the external regions, although the quenching age appears to be the same, within 1 Gyr. We also report the discovery of 9 RR Lyrae stars, 8 of which belong to And XVI. The RR Lyrae stars allow a new estimate of the distance, (m-M)0= 23.72+/-0.09 mag, which is marginally larger than previous estimates based on the tip of the red giant branch.Comment: Accepted for publication on Ap
    • …
    corecore