882 research outputs found

    Canonical analysis of E6(6)(R)_{6(6)}(\mathbb{R}) invariant five dimensional (super-)gravity

    Full text link
    We investigate the canonical structure of the bosonic sector of the unique maximal supergravity theory in five dimensions that is manifestly invariant under the global action of E6(6)(R)_{6(6)}(\mathbb{R}). Starting from the Lagrangian formulation of the theory we construct the Hamiltonian formulation and the full set of canonical constraints. We determine all gauge transformations and compute the algebra formed by the canonical constraints under the Poisson bracket. We re-derive the number of physical degrees of freedom and construct the extended Hamiltonian, describing the most general time evolution of the theory, where the full gauge freedom is manifest.Comment: 30 pages, appendix D added, extended introduction and conclusion, references adde

    First-Order Query Evaluation with Cardinality Conditions

    Full text link
    We study an extension of first-order logic that allows to express cardinality conditions in a similar way as SQL's COUNT operator. The corresponding logic FOC(P) was introduced by Kuske and Schweikardt (LICS'17), who showed that query evaluation for this logic is fixed-parameter tractable on classes of structures (or databases) of bounded degree. In the present paper, we first show that the fixed-parameter tractability of FOC(P) cannot even be generalised to very simple classes of structures of unbounded degree such as unranked trees or strings with a linear order relation. Then we identify a fragment FOC1(P) of FOC(P) which is still sufficiently strong to express standard applications of SQL's COUNT operator. Our main result shows that query evaluation for FOC1(P) is fixed-parameter tractable with almost linear running time on nowhere dense classes of structures. As a corollary, we also obtain a fixed-parameter tractable algorithm for counting the number of tuples satisfying a query over nowhere dense classes of structures

    Technical note:On the reliability of laboratory beta-source calibration for luminescence dating

    Get PDF
    The dose rate of the 90Sr / 90Y beta source used in most luminescence readers is a laboratory key parameter. There is a well-established body of knowledge about parameters controlling accuracy and precision of the calibration value but some hard-to-explain inconsistencies still exist. Here, we have investigated the impact of grain size, aliquot size and irradiation geometry on the resulting calibration value through experiments and simulations. The resulting data indicate that the dose rate of an individual beta source results from the interplay of a number of parameters, most of which are well established by previous studies. Our study provides evidence for the impact of aliquot size on the absorbed dose in particular for grain sizes of 50–200 µm. For this grain-size fraction, the absorbed dose is enhanced by ∼ 10 %–20 % as aliquot size decreases due to the radial increase of dose rate towards the centre of the aliquot. The enhancement is most variable for 50–100 µm grains mounted as aliquots of &lt; 8 mm size. The enhancement is reversed when large grains are mounted as small aliquots due to the edge effect by which the dose induced by backscattered electrons is reduced. While the build-up of charge dictates the increase of absorbed dose with the increase of grain size, this principle becomes more variable with changing irradiation geometry. We conclude that future calibration samples should consist of subsamples composed of small, medium, large and very large quartz grains, each obtaining several gamma doses. The calibration value measured with small, medium and large aliquots is then obtained from the inverse slope of the fitted line, not from a single data point. In this way, all possible irradiation geometries of an individual beta source are covered, and the precision of the calibration is improved.</p

    U.S.-Canadian border security: lessons learned from Denmark's experience with the Schengen Convention

    Get PDF
    This thesis examines U.S.-Canadian border threats and defenses and compares the U.S.-Canadian situation with the European Schengen Convention (SC). The Department of Homeland Security coordinates U.S. security with representatives from law enforcement, military and civilian entities. Public Safety Canada coordinates defense in Canada. Prior to the 9/11 attack, the U.S.-Canadian relationship was similar to the SC, focusing on securing external borders while opening shared borders. Some experts, especially in the U.S., argue that border security needs to be tightened further while others contend increased U.S.-Canadian border security is unnecessary and harms commerce. In 2011, Denmark decided to increase internal border security, rejecting the SC tenets requiring common security of external border of the larger Schengen area and open internal zones. The increase represented a case study of unilateral border relations. Although never completed, the lessons of this brief experiment in increased border security are that homeland security decisions are based more on arguments of sovereignty and politics, rather than on objective determinations of threats and security. More broadly, this thesis argues that the U.S. and Canada can benefit from returning to an open border and push the threat as far away as possible.http://archive.org/details/uscanadiborderse1094541407Lieutenant, United States NavyApproved for public release; distribution is unlimited

    Kinetics of ballistic annihilation and branching

    Full text link
    We consider a one-dimensional model consisting of an assembly of two-velocity particles moving freely between collisions. When two particles meet, they instantaneously annihilate each other and disappear from the system. Moreover each moving particle can spontaneously generate an offspring having the same velocity as its mother with probability 1-q. This model is solved analytically in mean-field approximation and studied by numerical simulations. It is found that for q=1/2 the system exhibits a dynamical phase transition. For q<1/2, the slow dynamics of the system is governed by the coarsening of clusters of particles having the same velocities, while for q>1/2 the system relaxes rapidly towards its stationary state characterized by a distribution of small cluster sizes.Comment: 10 pages, 11 figures, uses multicol, epic, eepic and eepicemu. Also avaiable at http://mykonos.unige.ch/~rey/pubt.htm

    A 180 ka record of environmental change at Erdut (Croatia): a new chronology for the loess–palaeosol sequence and its implications for environmental interpretation

    Get PDF
    While there are numerous thick loess–palaeosol sequences preserved across the Carpathian Basin, well dated sites that provide terrestrial palaeoenvironmental records extending beyond last glacial–interglacial cycle are scarce. Robust chronologies are essential for correlations of loess with other long‐term Quaternary records and to further understanding of the palaeoenvironment and climate of this important region beyond the last 125 ka. Here a new geochronology based on 13 post‐infrared infrared stimulated luminescence ages focused on the lower part of the loess–palaeosol sequence at Erdut is presented. The results show that the lower part of the Erdut profile spans the penultimate glacial cycle (MIS 7 to MIS 5). The considerable sediments overlaying the investigated part of the profile suggest that this section spans two glacial cycles, rather than the previously suggested one. The most likely source of the discrepancy is the use of uncorrected infrared stimulated luminescence signal, which can cause age underestimation if not accounted for. This study demonstrates the need to revisit sites such as Erdut, re‐date them using updated measurement protocols, and update existing palaeoenvironmental interpretations

    The Impact of Dieting Culture Is Different Between Sexes In Endurance Athletes: A Cross-Sectional Analysis

    Get PDF
    Background: Frequent dieting is common in athletes attempting to achieve a body composition perceived to improve performance. Excessive dieting may indicate disordered eating (DE) behaviors and can result in clinical eating disorders. However, the current nutrition patterns that underly dieting culture are underexplored in endurance athletes. Therefore, the purpose of this study was to identify the sex differences in nutrition patterns among a group of endurance athletes. Methods: Two-hundred and thirty-one endurance athletes (females = 124) completed a questionnaire regarding their dieting patterns and associated variables. Results: The majority of athletes did not follow a planned diet (70.1%). For endurance athletes on planned diets (n = 69), males were more likely follow a balanced diet (p = 0.048) and females were more likely to follow a plant-based diet (p = 0.021). Female endurance athletes not on a planned diet (n = 162) were more likely to have attempted at least one diet (p \u3c 0.001). Male athletes attempted 2.0 ± 1.3 different diets on average compared to 3.0 ± 2.0 for females (p = 0.002). Female athletes were more likely to attempt ≥ three diets (p = 0.022). The most common diet attempts included carbohydrate/energy restrictive, plant-based, and elimination diets. Females were more likely to attempt ketogenic (p = 0.047), low-carbohydrate (p = 0.002), and energy restricted diets (p = 0.010). Females made up the entirety of those who attempted gluten-/dairy-free diets (F = 22.0%, M = 0.0%). Conclusions: Being a female athlete is a major determinant of higher dieting frequency and continual implementation of popular restrictive dietary interventions. Sports dietitians and coaches should prospectively assess eating behavior and provide appropriate programming, education, and monitoring of female endurance athletes
    corecore