Sur quelques pauropodes d\u27Australie

Volume: 16Start Page: 51End Page: 5

Description d\u27un Pauropus pigment\ue9 de Madagascar

Volume: 32Start Page: 167End Page: 17

Integer programming with GCD constraints

Abstract: We study the non-linear extension of integer programming with greatest common divisor constraints of the form gcd(f, g) ~ d, where f and g are linear polynomials, d is a positive integer, and ~ is a relation among 64, = 60, = and 65. We show that the feasibility problem for these systems is in NP, and that an optimal solution minimizing a linear objective function, if it exists, has polynomial bit length. To show these results, we identify an expressive fragment of the existential theory of the integers with addition and divisibility that admits solutions of polynomial bit length. It was shown by Lipshitz [Trans. Am. Math. Soc., 235, pp. 271-283, 1978] that this theory adheres to a local-to-global principle in the following sense: a formula \u3a6 is equi-satisfiable with a formula \u3a8 in this theory such that \u3a8 has a solution if and only if \u3a8 has a solution modulo every prime p. We show that in our fragment, only a polynomial number of primes of polynomial bit length need to be considered, and that the solutions modulo prime numbers can be combined to yield a solution to \u3a6 of polynomial bit length. As a technical by-product, we establish a Chinese-remainder-type theorem for systems of congruences and non-congruences showing that solution sizes do not depend on the magnitude of the moduli of non-congruences

Geophysical survey at Talos Dome, East Antarctica: the search for a new deep-drilling site

Talos Dome is an ice dome on the edge of the East Antarctic plateau; because accumulation is higher here than in other domes of East Antarctica, the ice preserves a good geochemical and palaeoclimatic record. A new map of the Talos Dome area locates the dome summit using the global positioning system (GPS) (72\ub047\u203214\u2033S, 159\ub004\u20322\u2033E; 2318.5 m elevation (WGS84)). A surface strain network of nine stakes was measured using GPS. Data indicate that the stake closest to the summit moves south-southeast at a few cm a -1. The other stakes, located 8 km away, move up to 0.33 m a -1. Airborne radar measurements indicate that the bedrock at the Talos Dome summit is about 400 m in elevation, and that it is covered by about 1900 m of ice. Snow radar and GPS surveys show that internal layering is continuous and horizontal in the summit area (15 km radius). The depth distribution analysis of snow radar layers reveals that accumulation decreases downwind of the dome (north-northeast) and increases upwind (south-southwest). The palaeomorphology of the dome has changed during the past 500 years, probably due to variation in spatial distribution of snow accumulation, driven by wind sublimation. In order to calculate a preliminary age vs depth profile for Talos Dome, a simple one-dimensional steady-state model was formulated. This model predicts that the ice 100 m above the bedrock may cover one glacial-interglacial period

Motor and cognitive improvements in patients with Huntington's disease after neural transplantation

Huntington's disease is a neurodegenerative disease of genetic origin that mainly affects the striatum. It has severe motor and cognitive consequences and, up to now, no treatment. Motor and cognitive functions can be restored in experimental animal models by means of intrastriatal transplantation of fetal striatal neuroblasts. We explored whether grafts of human fetal striatal tissue could survive and have detectable effects in five patients with mild to moderate Huntington's disease

Establishing diagnostic criteria and treatment of subsegmental pulmonary embolism: A Delphi analysis of experts

Background: Improved imaging techniques have increased the incidence of subsegmental pulmonary embolism (ssPE). Indirect evidence is suggesting that ssPE may represent a more benign presentation of venous thromboembolism not necessarily requiring anticoagulant treatment. However, correctly diagnosing ssPE is challenging with reported low interobserver agreement, partly due to the lack of widely accepted diagnostic criteria.Objectives: We sought to derive uniform diagnostic criteria for ssPE, guided by expert consensus.Methods: Based on an extensive literature review and expert opinion of a Delphi steering committee, two surveys including statements regarding diagnostic criteria and management options for ssPE were established. These surveys were conducted electronically among two panels, respectively: expert thoracic radiologists and clinical venous thromboembolism specialists. The Delphi method was used to achieve consensus after multiple survey rounds. Consensus was defined as a level of agreement >70%.Results: Twenty-nine of 40 invited radiologists (73%) and 40 of 51 clinicians (78%) participated. Following two survey rounds by the expert radiologists, consensus was achieved on 15 of 16 statements, including on the established diagnostic criteria for ssPE (96% agreement): a contrast defect in a subsegmental artery, that is, the first arterial branch division of any segmental artery independent of artery diameter, visible in at least two subsequent axial slices, using a computed tomography scanner with a desired maximum collimator width of <= 1 mm. These criteria were approved by 83% of the clinical venous thromboembolism (VTE) specialists. The clinical expert panel favored anticoagulant treatment in case of prior VTE, antiphospholipid syndrome, pregnancy, cancer, and proximal deep vein thrombosis.Conclusion: The results of this analysis provide standard radiological criteria for ssPE that may be applicable in both clinical trials and practice

Identification of genetic variants associated with Huntington's disease progression: a genome-wide association study

Huntington's disease is caused by a CAG repeat expansion in the huntingtin gene, HTT. Age at onset has been used as a quantitative phenotype in genetic analysis looking for Huntington's disease modifiers, but is hard to define and not always available. Therefore, we aimed to generate a novel measure of disease progression and to identify genetic markers associated with this progression measure

State of the climate in 2015

In 2015, the dominant greenhouse gases released into Earth\u2019s atmosphere\u2014carbon dioxide, methane, and nitrous oxide\u2014all continued to reach new high levels. At Mauna Loa, Hawaii, the annual CO2 concentration increased by a record 3.1 ppm, exceeding 400 ppm for the first time on record. The 2015 global CO2 average neared this threshold, at 399.4 ppm. Additionally, one of the strongest El Ni\uf1o events since at least 1950 developed in spring 2015 and continued to evolve through the year. The phenomenon was far reaching, impacting many regions across the globe and affecting most aspects of the climate system. Owing to the combination of El Ni\uf1o and a long-term upward trend, Earth observed record warmth for the second consecutive year, with the 2015 annual global surface temperature surpassing the previous record by more than 0.1\ub0C and exceeding the average for the mid- to late 19th century\u2014commonly considered representative of preindustrial conditions\u2014by more than 1\ub0C for the first time. Above Earth\u2019s surface, lower troposphere temperatures were near-record high. Across land surfaces, record to near-record warmth was reported across every inhabited continent. Twelve countries, including Russia and China, reported record high annual temperatures. In June, one of the most severe heat waves since 1980 affected Karachi, Pakistan, claiming over 1000 lives. On 27 October, Vredendal, South Africa, reached 48.4\ub0C, a new global high temperature record for this month. In the Arctic, the 2015 land surface temperature was 1.2\ub0C above the 1981\u20132010 average, tying 2007 and 2011 for the highest annual temperature and representing a 2.8\ub0C increase since the record began in 1900. Increasing temperatures have led to decreasing Arctic sea ice extent and thickness. On 25 February 2015, the lowest maximum sea ice extent in the 37-year satellite record was observed, 7% below the 1981\u20132010 average. Mean sea surface temperatures across the Arctic Ocean during August in ice-free regions, representative of Arctic Ocean summer anomalies, ranged from ~0\ub0C to 8\ub0C above average. As a consequence of sea ice retreat and warming oceans, vast walrus herds in the Pacific Arctic are hauling out on land rather than on sea ice, raising concern about the energetics of females and young animals. Increasing temperatures in the Barents Sea are linked to a community-wide shift in fish populations: boreal communities are now farther north, and long-standing Arctic species have been almost pushed out of the area. Above average sea surface temperatures are not confined to the Arctic. Sea surface temperature for 2015 was record high at the global scale; however, the North Atlantic southeast of Greenland remained colder than average and colder than 2014. Global annual ocean heat content and mean sea level also reached new record highs. The Greenland Ice Sheet, with the capacity to contribute ~7 m to sea level rise, experienced melting over more than 50% of its surface for the first time since the record melt of 2012. Other aspects of the cryosphere were remarkable. Alpine glacier retreat continued, and preliminary data indicate that 2015 is the 36th consecutive year of negative annual mass balance. Across the Northern Hemisphere, late-spring snow cover extent continued its trend of decline, with June the second lowest in the 49-year satellite record. Below the surface, record high temperatures at 20-m depth were measured at all permafrost observatories on the North Slope of Alaska, increasing by up to 0.66\ub0C decade\u20131 since 2000. In the Antarctic, surface pressure and temperatures were lower than the 1981\u20132010 average for most of the year, consistent with the primarily positive southern annular mode, which saw a record high index value of +4.92 in February. Antarctic sea ice extent and area had large intra-annual variability, with a shift from record high levels in May to record low levels in August. Springtime ozone depletion resulted in one of the largest and most persistent Antarctic ozone holes observed since the 1990s. Closer to the equator, 101 named tropical storms were observed in 2015, well above the 1981\u20132010 average of 82. The eastern/central Pacific had 26 named storms, the most since 1992. The western north Pacific and north and south Indian Ocean basins also saw high activity. Globally, eight tropical cyclones reached the Saffir\u2013Simpson Category 5 intensity level. Overlaying a general increase in the hydrologic cycle, the strong El Ni\uf1o enhanced precipitation variability around the world. An above-normal rainy season led to major floods in Paraguay, Bolivia, and southern Brazil. In May, the United States recorded its all-time wettest month in its 121-year national record. Denmark and Norway reported their second and third wettest year on record, respectively, but globally soil moisture was below average, terrestrial groundwater storage was the lowest in the 14-year record, and areas in \u201csevere\u201d drought rose from 8% in 2014 to 14% in 2015. Drought conditions prevailed across many Caribbean island nations, Colombia, Venezuela, and northeast Brazil for most of the year. Several South Pacific countries also experienced drought. Lack of rainfall across Ethiopia led to its worst drought in decades and affected millions of people, while prolonged drought in South Africa severely affected agricultural production. Indian summer monsoon rainfall was just 86% of average. Extremely dry conditions in Indonesia resulted in intense and widespread fires during August\u2013November that produced abundant carbonaceous aerosols, carbon monoxide, and ozone. Overall, emissions from tropical Asian biomass burning in 2015 were almost three times the 2001\u201314 average