A view of canonical extension

This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties are given. In particular, they are doubly algebraic lattices and their interval topologies agree with their double Scott topologies and make them Priestley topological algebras.Comment: 24 pages, 2 figures. Presented at the Eighth International Tbilisi Symposium on Language, Logic and Computation Bakuriani, Georgia, September 21-25 200

Modal satisfiability via SMT solving

Modal logics extend classical propositional logic, and they are robustly decidable. Whereas most existing decision procedures for modal logics are based on tableau constructions, we propose a framework for obtaining decision procedures by adding instantiation rules to standard SAT and SMT solvers. Soundness, completeness, and termination of the procedures can be proved in a uniform and elementary way for the basic modal logic and some extensions.Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Fontaine, Pascal. Université de Lorraine; Francia.Fil: Fontaine, Pascal. National Institute for Research in Digital Science and Technology; Francia.Fil: Merz, Stephan. Université de Lorraine; Francia.Fil: Merz, Stephan. National Institute for Research in Digital Science and Technology; Francia.Ciencias de la Computació

Analysis of LIGO data for gravitational waves from binary neutron stars

We report on a search for gravitational waves from coalescing compact binary systems in the Milky Way and the Magellanic Clouds. The analysis uses data taken by two of the three LIGO interferometers during the first LIGO science run and illustrates a method of setting upper limits on inspiral event rates using interferometer data. The analysis pipeline is described with particular attention to data selection and coincidence between the two interferometers. We establish an observational upper limit of $\mathcal{R}<$1.7 \times 10^{2}$per year per Milky Way Equivalent Galaxy (MWEG), with 90coalescence rate of binary systems in which each component has a mass in the range 1--3$M_\odot$.Comment: 17 pages, 9 figure

Input of sugarcane post-harvest residues into the soil

Sugarcane (Saccharum spp.) crops provide carbon (C) for soil through straw and root system decomposition. Recently, however, sugarcane producers are considering straw to be removed for electricity or second generation ethanol production. To elucidate the role of straw and root system on the carbon supply into the soil, the biomass inputs from sugarcane straw (tops and dry leaves) and from root system (rhizomes and roots) were quantified, and its contribution to provide C to the soil was estimated. Three trials were carried out in the State of Sao Paulo, Brazil, from 2006 to 2009. All sites were cultivated with the variety SP81 3250 under the green sugarcane harvest. Yearly, post-harvest sugarcane residues (tops, dry leaves, roots and rhizomes) were sampled; weighted and dried for the dry mass (DM) production to be estimated. On average, DM root system production was 4.6 Mg ha-1 year-1 (1.5 Mg C ha-1 year-1) and 11.5 Mg ha-1 year-1 (5.1 Mg C ha-1 year-1) of straw. In plant cane, 35 % of the total sugarcane DM was allocated into the root system, declining to 20 % in the third ratoon. The estimate of potential allocation of sugarcane residues to soil organic C was 1.1 t ha-1 year-1; out of which 33 % was from root system and 67 % from straw. The participation of root system should be higher if soil layer is evaluated, a deeper soil layer, if root exudates are accounted and if the period of higher production of roots is considered

Cross-ancestry genome-wide association analysis of corneal thickness strengthens link between complex and Mendelian eye diseases

Central corneal thickness (CCT) is a highly heritable trait associated with complex eye diseases such as keratoconus and glaucoma. We perform a genome-wide association meta-analysis of CCT and identify 19 novel regions. In addition to adding support for known connective tissue-related pathways, pathway analyses uncover previously unreported gene sets. Remarkably, >20% of the CCT-loci are near or within Mendelian disorder genes. These included FBN1, ADAMTS2 and TGFB2 which associate with connective tissue disorders (Marfan, Ehlers-Danlos and Loeys-Dietz syndromes), and the LUM-DCN-KERA gene complex involved in myopia, corneal dystrophies and cornea plana. Using index CCT-increasing variants, we find a significant inverse correlation in effect sizes between CCT and keratoconus (r =-0.62, P = 5.30 × 10-5) but not between CCT and primary open-angle glaucoma (r =-0.17, P = 0.2). Our findings provide evidence for shared genetic influences between CCT and keratoconus, and implicate candidate genes acting in collagen and extracellular matrix regulation

Broad-scale patterns of body size in squamate reptiles of Europe and North America

Aim To document geographical interspecific patterns of body size of European and North American squamate reptile assemblages and explore the relationship between body size patterns and environmental gradients. Location North America and western Europe. Methods We processed distribution maps for native species of squamate reptiles to document interspecific spatial variation of body size at a grain size of 110 x 110 km. We also examined seven environmental variables linked to four hypotheses possibly influencing body size gradients. We used simple and multiple regression, evaluated using information theory, to identify the set of models best supported by the data. Results Europe is characterized by clear latitudinal trends in body size, whereas geographical variation in body size in North America is complex. There is a consistent association of mean body size with measures of ambient energy in both regions, although lizards increase in size northwards whereas snakes show the opposite pattern. Our best models accounted for almost 60% of the variation in body size of lizards and snakes within Europe, but the proportions of variance explained in North America were less than 20%. Main conclusions Although body size influences the energy balance of thermoregulating ectotherms, inconsistent biogeographical patterns and contrasting associations with energy in lizards and snakes suggest that no single mechanism can explain variation of reptile body size in the northern temperate zone

Measurement of the branching ratio Γ(Λb⁰ → ψ(2S)Λ0)/Γ(Λb⁰ → J/ψΛ0) with the ATLAS detector

An observation of the $\Lambda_b^0 \rightarrow \psi(2S) \Lambda^0$ decay and a comparison of its branching fraction with that of the $\Lambda_b^0 \rightarrow J/\psi \Lambda^0$ decay has been made with the ATLAS detector in proton--proton collisions at $\sqrt{s}=8\,$TeV at the LHC using an integrated luminosity of $20.6\,$fb$^{-1}$. The $J/\psi$ and $\psi(2S)$ mesons are reconstructed in their decays to a muon pair, while the $\Lambda^0\rightarrow p\pi^-$ decay is exploited for the $\Lambda^0$ baryon reconstruction. The $\Lambda_b^0$ baryons are reconstructed with transverse momentum $p_{\rm T}>10\,$GeV and pseudorapidity $|\eta|<2.1$. The measured branching ratio of the $\Lambda_b^0 \rightarrow \psi(2S) \Lambda^0$ and $\Lambda_b^0 \rightarrow J/\psi \Lambda^0$ decays is $\Gamma(\Lambda_b^0 \rightarrow \psi(2S)\Lambda^0)/\Gamma(\Lambda_b^0 \rightarrow J/\psi\Lambda^0) = 0.501\pm 0.033 ({\rm stat})\pm 0.019({\rm syst})$, lower than the expectation from the covariant quark model.Comment: 12 pages plus author list (28 pages total), 5 figures, 1 table, published on Physics Letters B 751 (2015) 63-80. All figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/BPHY-2013-08