Acherontiscus caledoniae: the earliest heterodont and durophagous tetrapod.

The enigmatic tetrapod Acherontiscus caledoniae from the Pendleian stage of the Early Carboniferous shows heterodontous and durophagous teeth, representing the earliest known examples of significant adaptations in tetrapod dental morphology. Tetrapods of the Late Devonian and Early Carboniferous (Mississippian), now known in some depth, are generally conservative in their dentition and body morphologies. Their teeth are simple and uniform, being cone-like and sometimes recurved at the tip. Modifications such as keels occur for the first time in Early Carboniferous Tournaisian tetrapods. Acherontiscus, dated as from the Pendleian stage, is notable for being very small with a skull length of about 15 mm, having an elongate vertebral column and being limbless. Cladistic analysis places it close to the Early Carboniferous adelospondyls, aïstopods and colosteids and supports the hypothesis of 'lepospondyl' polyphyly. Heterodonty is associated with a varied diet in tetrapods, while durophagy suggests a diet that includes hard tissue such as chitin or shells. The mid-Carboniferous saw a significant increase in morphological innovation among tetrapods, with an expanded diversity of body forms, skull shapes and dentitions appearing for the first time.NER

To achieve a sustainable blue future, progress assessments must include interdependencies between the sustainable development goals

The Sustainable Development Goals (SDGs) focus on providing society with a sustainable future. Progress toward the goals is being tracked by a series of indicators. These indicators show progress toward individual goals and targets but do not show how success or failure in relation to one goal might affect success or failure in another area. We show how interactions between the oceans and human poverty, hunger, and gender equity are hidden by indicator assessments and how this undermines the capacity of governments and organizations to maximize long-term moves toward sustainability. These findings are important for decision makers who work in the public and private sectors and wish to avoid unforeseen outcomes when implementing sustainability initiatives. Here, we suggest extensions to the current assessment framework to help counteract the identified issues, providing a research agenda for scientists working in all fields of sustainability science

Force variability during isometric wrist flexion in highly skilled and sedentary individuals

The association of expertness in specific motor activities with a higher ability to sustain a constant application of force, regardless of muscle length, has been hypothesized. Ten highly skilled (HS group) young tennis and handball athletes and 10 sedentary (S group) individuals performed maximal and submaximal (5, 10, 20, 50, and 75% of the MVC) isometric wrist flexions on an isokinetic dynamometer (Kin-Com, Chattanooga). The wrist joint was fixed at five different angles (230, 210, 180, 150, and 1300). For each position the percentages of the maximal isometric force were calculated and participants were asked to maintain the respective force level for 5 s. Electromyographic (EMG) activation of the Flexor Carpi Ulnaris and Extensor Digitorum muscles was recorded using bipolar surface electrodes. No significant differences were observed in maximal isometric strength between HS and S groups. Participants of HS group showed significantly (P < 0.05) smaller force coefficient of variability (CV) and SD values at all submaximal levels of MVC at all wrist angles. The CV and SD values remained unaltered regardless of wrist angle. No difference in normalized agonist and antagonist EMG activity was observed between the two groups. It is concluded that long-term practice could be associated with decreased isometric force variability independently from muscular length and coactivation of the antagonist muscles

Imaging-guided chest biopsies: techniques and clinical results

Background This article aims to comprehensively describe indications, contraindications, technical aspects, diagnostic accuracy and complications of percutaneous lung biopsy. Methods Imaging-guided biopsy currently represents one of the predominant methods for obtaining tissue specimens in patients with lung nodules; in many cases treatment protocols are based on histological information; thus, biopsy is frequently performed, when technically feasible, or in case other techniques (such as bronchoscopy with lavage) are inconclusive. Results Although a coaxial system is suitable in any case, two categories of needles can be used: fine-needle aspiration biopsy (FNAB) and core-needle biopsy (CNB), with the latter demonstrated to have a slightly higher overall sensitivity, specificity and accuracy. Conclusion Percutaneous lung biopsy is a safe procedure even though a few complications are possible: pneumothorax, pulmonary haemorrhage and haemoptysis are common complications, while air embolism and seeding are rare, but potentially fatal complications

Compositional reasoning for shared-variable concurrent programs

Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our framework models concurrent programs as succinct automata and supports the verification of multiple important properties. Safety verification and simulations of succinct automata are parallel compositional, and safety properties of succinct automata are preserved under refinements. We generate succinct automata from infinite state concurrent programs in an automated manner. Furthermore, we propose the first automated approach to checking rely-guarantee based simulations between infinite state concurrent programs. We have prototyped our algorithms and applied our tool to the verification of multiple refinements

Evapotranspiration model comparison and an estimate of field scale Miscanthus canopy precipitation interception

The bioenergy crop Miscanthus x giganteus has a high water demand to quickly increase biomass with rapid canopy closure and effective rainfall interception, traits that are likely to impact on hydrology in land use change. Evapotranspiration (ET, the combination of plant and ground surface transpiration and evaporation) forms an important part of the water balance and few ET models have been tested with Miscanthus. Therefore this study uses field measurements to determine the most accurate ET model and to establish the interception of precipitation by the canopy (Ci). Daily ET estimates from 2012 to 2016 using the Hargreaves-Samani, Priestley-Taylor, Granger-Gray and Penman-Monteith (short grass) models were calculated using data from a weather station situated in a 6 ha Miscanthus crop. Results from these models were compared to data from on-site eddy covariance (EC) instrumentation to determine accuracy and calculate the crop coefficient (Kc) model parameter. Ci was measured from June 2016 to March 2017 using stem-flow and through-flow gauges within the crop and rain gauges outside the crop. The closest estimated ET to the EC data was the Penman-Monteith (short grass) model. The Kc values proposed are 0.63 for the early season (March and April), 0.85 for the main growing season (May to September), 1.57 for the late growing season (October and November), and 1.12 over the winter (December to February). These more accurate Kc values will enable better ET estimates with the use of the Penman-Monteith (short grass) model improving estimates of potential yields and hydrological impacts of land use change. Ci was 24 % and remained high during the autumn and winter thereby sustaining significant levels of canopy evaporation and suggesting benefits for winter flood mitigation.publishersversionPeer reviewe