Regularity of solutions to higher-order integrals of the calculus of variations

We obtain new regularity conditions for problems of calculus of variations with higher-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main regularity result asserts that autonomous integral functionals with a Lagrangian having coercive partial derivatives with respect to the higher-order derivatives admit only minimizers with essentially bounded derivatives

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

The COMET Handbook: version 1.0

The selection of appropriate outcomes is crucial when designing clinical trials in order to compare the effects of different interventions directly. For the findings to influence policy and practice, the outcomes need to be relevant and important to key stakeholders including patients and the public, health care professionals and others making decisions about health care. It is now widely acknowledged that insufficient attention has been paid to the choice of outcomes measured in clinical trials. Researchers are increasingly addressing this issue through the development and use of a core outcome set, an agreed standardised collection of outcomes which should be measured and reported, as a minimum, in all trials for a specific clinical area. Accumulating work in this area has identified the need for guidance on the development, implementation, evaluation and updating of core outcome sets. This Handbook, developed by the COMET Initiative, brings together current thinking and methodological research regarding those issues. We recommend a four-step process to develop a core outcome set. The aim is to update the contents of the Handbook as further research is identified

Phytoplankton dynamics in relation to seasonal variability and upwelling and relaxation patterns at the mouth of Ria de Aveiro (West Iberian Margin) over a four-year period

From June 2004 to December 2007, samples were weekly collected at a fixed station located at the mouth of Ria de Aveiro (West Iberian Margin). We examined the seasonal and inter-annual fluctuations in composition and community structure of the phytoplankton in relation to the main environmental drivers and assessed the influence of the oceano-graphic regime, namely changes in frequency and intensity of upwelling events, over the dynamics of the phytoplankton assemblage. The samples were consistently handled and a final subset of 136 OTUs (taxa with relative abundance > 0.01%) was subsequently submitted to various multivariate analyses. The phytoplankton assemblage showed significant changes at all temporal scales but with an overriding importance of seasonality over longer-(inter-annual) or shorter-term fluctuations (upwelling-related). Sea-surface temperature, salinity and maximum upwelling index were retrieved as the main driver of seasonal change. Seasonal signal was most evident in the fluctuations of chlorophyll a concentration and in the high turnover from the winter to spring phytoplankton assemblage. The seasonal cycle of production and succession was disturbed by upwelling events known to disrupt thermal stratification and induce changes in the phytoplankton assemblage. Our results indicate that both the frequency and intensity of physical forcing were important drivers of such variability, but the outcome in terms of species composition was highly dependent on the available local pool of species and the timing of those events in relation to the seasonal cycle. We conclude that duration, frequency and intensity of upwelling events, which vary seasonally and inter-annually, are paramount for maintaining long-term phytoplankton diversity likely by allowing unstable coexistence and incorporating species turnover at different scales. Our results contribute to the understanding of the complex mechanisms of coastal phytoplankton dynamics in relation to changing physical forcing which is fundamental to improve predictability of future prospects under climate change.Portuguese Foundation for Science and Technology (FCT, Portugal) [SFRH/BPD/ 94562/2013]; FEDER funds; national funds; CESAM [UID/AMB/50017]; FCT/MEC through national funds; FEDERinfo:eu-repo/semantics/publishedVersio

CLC-2 single nucleotide polymorphisms (SNPs) as potential modifiers of cystic fibrosis disease severity

BACKGROUND: Cystic fibrosis (CF) lung disease manifest by impaired chloride secretion leads to eventual respiratory failure. Candidate genes that may modify CF lung disease severity include alternative chloride channels. The objectives of this study are to identify single nucleotide polymorphisms (SNPs) in the airway epithelial chloride channel, CLC-2, and correlate these polymorphisms with CF lung disease. METHODS: The CLC-2 promoter, intron 1 and exon 20 were examined for SNPs in adult CF dF508/dF508 homozygotes with mild and severe lung disease (forced expiratory volume at one second (FEV1) > 70% and < 40%). RESULTS: PCR amplification of genomic CLC-2 and sequence analysis revealed 1 polymorphism in the hClC -2 promoter, 4 in intron 1, and none in exon 20. Fisher's analysis within this data set, did not demonstrate a significant relationship between the severity of lung disease and SNPs in the CLC-2 gene. CONCLUSIONS: CLC-2 is not a key modifier gene of CF lung phenotype. Further studies evaluating other phenotypes associated with CF may be useful in the future to assess the ability of CLC-2 to modify CF disease severity

A new hammer to crack an old nut : interspecific competitive resource capture by plants is regulated by nutrient supply, not climate

Peer reviewedPublisher PD

Practical Verification of Decision-Making in Agent-Based Autonomous Systems

We present a verification methodology for analysing the decision-making component in agent-based hybrid systems. Traditionally hybrid automata have been used to both implement and verify such systems, but hybrid automata based modelling, programming and verification techniques scale poorly as the complexity of discrete decision-making increases making them unattractive in situations where complex log- ical reasoning is required. In the programming of complex systems it has, therefore, become common to separate out logical decision-making into a separate, discrete, component. However, verification techniques have failed to keep pace with this devel- opment. We are exploring agent-based logical components and have developed a model checking technique for such components which can then be composed with a sepa- rate analysis of the continuous part of the hybrid system. Among other things this allows program model checkers to be used to verify the actual implementation of the decision-making in hybrid autonomous systems

Outcome Measures for Disease-Modifying Trials in Parkinson\u27s Disease: Consensus Paper by the EJS ACT-PD Multi-Arm Multi-Stage Trial Initiative

\ua9 2023-The authors. Published by IOS Press.Background: Multi-Arm, multi-stage (MAMS) platform trials can accelerate the identification of disease-modifying treatments for Parkinson\u27s disease (PD) but there is no current consensus on the optimal outcome measures (OM) for this approach. Objective: To provide an up-To-date inventory of OM for disease-modifying PD trials, and a framework for future selection of OM for such trials. Methods: As part of the Edmond J Safra Accelerating Clinical Trials in Parkinson Disease (EJS ACT-PD) initiative, an expert group with Patient and Public Involvement and Engagement (PPIE) representatives\u27 input reviewed and evaluated available evidence on OM for potential use in trials to delay progression of PD. Each OM was ranked based on aspects such as validity, sensitivity to change, participant burden and practicality for a multi-site trial. Review of evidence and expert opinion led to the present inventory. Results: An extensive inventory of OM was created, divided into: general, motor and non-motor scales, diaries and fluctuation questionnaires, cognitive, disability and health-related quality of life, capability, quantitative motor, wearable and digital, combined, resource use, imaging and wet biomarkers, and milestone-based. A framework for evaluation of OM is presented to update the inventory in the future. PPIE input highlighted the need for OM which reflect their experience of disease progression and are applicable to diverse populations and disease stages. Conclusion: We present a range of OM, classified according to a transparent framework, to aid selection of OM for disease-modifying PD trials, whilst allowing for inclusion or re-classification of relevant OM as new evidence emerges

A smartphone intervention for adolescent obesity: study protocol for a randomised controlled non-inferiority trial

Background There are few evidence-based mobile health solutions for treating adolescent obesity. The primary aim of this parallel non-inferiority trial is to assess the effectiveness of an experimental smartphone application in reducing obesity at 12 months, compared to the Temple Street W82GO Healthy Lifestyles intervention. Methods/design The primary outcome measure is change in body mass index standardised deviation score at 12 months. The secondary aim is to compare the effect of treatment on secondary outcomes, including waist circumference, insulin sensitivity, quality of life, physical activity and psychosocial health. Adolescents with a body mass index at or above the 98th percentile (12 to 17 years) will be recruited from the Obesity clinic at Temple Street Children’s University Hospital in Dublin, Ireland. W82GO is a family-based lifestyle change intervention delivered in two phases over 12 months. In the current study, participants will be randomised for phase two of treatment to either usual care or care delivered via smartphone application. One hundred and thirty-four participants will be randomised between the two study arms. An intention-to-treat analysis will be used to compare treatment differences between the groups at 12 months. Discussion The results of this study will be disseminated via open access publication and will provide important information for clinicians, patients and policy makers regarding the use of mobile health interventions in the management of adolescent obesity. Trial registration Clinicaltrials.gov NCT01804855