Heavy Viable Trajectories of Controlled Systems

We define and study the concept of heavy viable trajectories of a controlled system with feedbacks. Viable trajectories are trajectories satisfying at each instant given constraints on the state. The controls regulating viable trajectories evolve according a set-valued feedback map. Heavy viable trajectories are the ones which are associated to the controls in the feedback map whose velocity has at each instant the minimal norm. We construct the differential equation governing the evolution of the controls associated to heavy viable trajectories and we prove their existence

Concentric left ventricular remodeling and aortic stiffness: A comparison of obesity and hypertension

Licensed under the Creative Commons Attribution Non-Commercial No Derivatives Licens

Low dose CT-based spatial analysis (CTSA) to measure implant migration after ceramic hip resurfacing arthroplasty (HRA): a phantom study

Implant migration is a predictor of arthroplasty survivorship. It is crucial to monitor the migration of novel hip prostheses within premarket clinical investigations. RSA is the gold standard method, but requires calibrated radiographs using specialised equipment. A commercial computed tomography micromotion analysis solution is a promising alternative but is not yet available for use with monobloc ceramic implants. This study aimed to develop and validate a CT-based spatial analysis (CTSA) method for use with ceramic implants. A phantom study was undertaken to assess accuracy and precision. A ceramic hip resurfacing arthroplasty (HRA) and 20 tantalum beads were implanted into a synthetic hip model and mounted onto a 6-degree of freedom motion stage. The hip was repeatedly scanned with a low dose CT protocol, with imposed micromovements. Data were interrogated using a semiautomated technique. The effective radiation dose for each scan was estimated to be 0.25 mSv. For the head implant, precision ranged between 0.11 and 0.28 mm for translations and 0.34°-0.42° for rotations. For the cup implant, precision ranged between 0.08 and 0.11 mm and 0.19° and 0.42°. For the head, accuracy ranged between 0.04 and 0.18 mm for translations and 0.28°-0.46° for rotations. For the cup, accuracy ranged between 0.04 and 0.08 mm and 0.17° and 0.43°. This in vitro study demonstrates that low dose CTSA of a ceramic HRA is similar in accuracy to RSA. CT is ubiquitous, and this method may be an alternative to RSA to measure prosthesis migration

Granzyme B; the chalk-mark of a cytotoxic lymphocyte

During cytotoxic lymphocyte (CL) mediated killing of target cells, granzyme B is released from the CL into the immune synapse. Recent studies have found that ELISPOT-detection of granzyme B correlated well with conventional assays for CL mediated killing. In this way, the released granzyme B can be used to mark the spot where a target cell was murdered. We discuss the benefits and potential limitations of using this assay to measure CL mediated killing of target cells

Climate tolerances and trait choices shape continental patterns of urban tree biodiversity

Aim: We propose and test a climate tolerance and trait choice hypothesis of urban macroecological variation in which strong filtering associated with low winter temperatures restricts urban biodiversity while weak filtering associated with warmer temperatures and irrigation allows dispersal of species from a global source pool, thereby increasing urban biodiversity. Location: Twenty cities across the USA and Canada. Methods: We examined variation in tree community taxonomic diversity, origins and production of an aesthetic ecosystem service trait in a cross-section of urban field surveys. We correlated urban tree community composition indicators with a key climate restriction, namely mean minimum winter temperature, and evaluated alternative possible drivers: precipitation, summer maximum temperature, population size and the percentage of adults with a college education. Results: Species accumulation curves differed substantially among cities, with observed richness varying from 22 to 122 species. Similarities in tree communities decreased exponentially with increases in climatic differences. Ordination of tree communities showed strong separation among cities with component axes correlated with minimum winter temperature and annual precipitation. Variation among urban tree communities in richness, origins and the provisioning of an aesthetic ecosystem service were all correlated with minimum winter temperature. Main conclusions: The urban climate tolerance and trait choice hypothesis provides a coherent mechanism to explain the large variation among urban tree communities resulting from an interacting environment, species and human decisions. Reconciling the feedbacks between human decision making and biophysical limitations provides a foundation for an urban ecological theory that can better understand and predict the dynamics of other linked biotic communities, associated ecosystem dynamics and resulting services provided to urban residents

Formal Methods in Industrial Practice:Bridging the Gap (Track Summary)

Already for many decades, formal methods are considered to be the way forward to help the software industry to make more reliable and trustworthy software. However, despite this strong belief, and many individual success stories, no real change in industrial software development seems to happen. In fact, the software industry is moving fast forward itself, and the gap between what formal methods can achieve, and the daily software development practice does not seem to get smaller (and might even be growing)

Rigorous 3D change determination in Antarctic Peninsula glaciers from stereo WorldView-2 and archival aerial imagery

This paper presents detailed elevation and volume analysis of 16 individual glaciers, grouped at four locations, spread across the Antarctic Peninsula (AP). The study makes use of newly available WorldView-2 satellite stereo imagery to exploit the previously untapped value of archival stereo aerial photography. High resolution photogrammetric digital elevation models (DEMs) are derived to determine three-dimensional glacier change over an unprecedented time span of six decades with an unparalleled mean areal coverage of 82 % per glacier. The use of an in-house robust surface matching algorithm ensured rigorous alignment of the DEMs to overcome inherent problems associated with processing archival photography, most notably the identification and correction of scale error in some datasets. The analysis provides insight into one of the most challenging and data-scarce areas on the planet by expanding the spatial extent north of the AP to include previously un-studied glaciers located in the South Shetland Islands. 81 % of glaciers studied showed considerable loss of volume over the period of record. The mean annual mass loss for all glaciers yielded 0.24 \ub1 0.08 m.w.e. per year, with a maximum mass loss of up to 62 m.w.e. and frontal retreat exceeding 2.2 km for Stadium Glacier, located furthest north on Elephant Island. Observed volumetric loss was broadly, though not always, correlated with frontal retreat. The combined mass balance of all 16 glaciers yielded -1.862 \ub1 0.006 Gt, which corresponds to -0.005 mm sea level equivalent (SLE) over the 57 year observation period

The Assessment of Total Energy Expenditure During a 14-Day In-Season Period of Professional Rugby League Players Using the Doubly Labelled Water Method

Rugby League is a high-intensity collision sport competed over 80 min. Training loads are monitored to maximize recovery and assist in the design of nutritional strategies although no data are available on the total energy expenditure (TEE) of players. We therefore assessed resting metabolic rate (RMR) and TEE in six Super League players over 2 consecutive weeks in-season including one game per week. Fasted RMR was assessed followed by a baseline urine sample before oral administration of a bolus dose of hydrogen (deuterium 2H) and oxygen (18O) stable isotopes in the form of water (2H218O). Every 24 hr thereafter, players provided urine for analysis of TEE via DLW method. Individual training load was quantified using session rating of perceived exertion (sRPE) and data were analyzed using magnitude-based inferences. There were unclear differences in RMR between forwards and backs (7.7 ± 0.5 cf. 8.0 ± 0.3 MJ, respectively). Indirect calorimetry produced RMR values most likely lower than predictive equations (7.9 ± 0.4 cf. 9.2 ± 0.4 MJ, respectively). A most likely increase in TEE from Week 1 to 2 was observed (17.9 ± 2.1 cf. 24.2 ± 3.4 MJ) explained by a most likelyincrease in weekly sRPE (432 ± 19 cf. 555 ± 22 AU), respectively. The difference in TEE between forward and backs was unclear (21.6 ± 4.2 cf. 20.5 ± 4.9 MJ, respectively). We report greater TEE than previously reported in rugby that could be explained by the ability of DLW to account for all match and training-related activities that contributes to TEE

Counting with DNA in metabarcoding studies: How should we convert sequence reads to dietary data?

Advances in DNA sequencing technology have revolutionized the field of molecular analysis of trophic interactions, and it is now possible to recover counts of food DNA sequences from a wide range of dietary samples. But what do these counts mean? To obtain an accurate estimate of a consumer's diet should we work strictly with data sets summarizing frequency of occurrence of different food taxa, or is it possible to use relative number of sequences? Both approaches are applied to obtain semi-quantitative diet summaries, but occurrence data are often promoted as a more conservative and reliable option due to taxa-specific biases in recovery of sequences. We explore representative dietary metabarcoding data sets and point out that diet summaries based on occurrence data often overestimate the importance of food consumed in small quantities (potentially including low-level contaminants) and are sensitive to the count threshold used to define an occurrence. Our simulations indicate that using relative read abundance (RRA) information often provides a more accurate view of population-level diet even with moderate recovery biases incorporated; however, RRA summaries are sensitive to recovery biases impacting common diet taxa. Both approaches are more accurate when the mean number of food taxa in samples is small. The ideas presented here highlight the need to consider all sources of bias and to justify the methods used to interpret count data in dietary metabarcoding studies. We encourage researchers to continue addressing methodological challenges and acknowledge unanswered questions to help spur future investigations in this rapidly developing area of research