LTL Parameter Synthesis of Parametric Timed Automata

The parameter synthesis problem for parametric timed automata is undecidable in general even for very simple reachability properties. In this paper we introduce restrictions on parameter valuations under which the parameter synthesis problem is decidable for LTL properties. The investigated bounded integer parameter synthesis problem could be solved using an explicit enumeration of all possible parameter valuations. We propose an alternative symbolic zone-based method for this problem which results in a faster computation. Our technique extends the ideas of the automata-based approach to LTL model checking of timed automata. To justify the usefulness of our approach, we provide experimental evaluation and compare our method with explicit enumeration technique.Comment: 23 pages, extended versio

A mixed methods approach to evaluating community drug distributor performance in the control of neglected tropical diseases

BACKGROUND: Trusted literate, or semi-literate, community drug distributors (CDDs) are the primary implementers in integrated preventive chemotherapy (IPC) programmes for Neglected Tropical Disease (NTD) control. The CDDs are responsible for safely distributing drugs and for galvanising communities to repeatedly, often over many years, receive annual treatment, create and update treatment registers, monitor for side-effects and compile treatment coverage reports. These individuals are 'volunteers' for the programmes and do not receive remuneration for their annual work commitment. METHODS: A mixed methods approach, which included pictorial diaries to prospectively record CDD use of time, structured interviews and focus group discussions, was used to triangulate data on how 58 CDDs allocated their time towards their routine family activities and to NTD Programme activities in Uganda. The opportunity costs of CDD time were valued, performance assessed by determining the relationship between time and programme coverage, and CDD motivation for participating in the programme was explored. RESULTS: Key findings showed approximately 2.5 working weeks (range 0.6-11.4 working weeks) were spent on NTD Programme activities per year. The amount of time on NTD control activities significantly increased between the one and three deliveries that were required within an IPC campaign. CDD time spent on NTD Programme activities significantly reduced time available for subsistence and income generating engagements. As CDDs took more time to complete NTD Programme activities, their treatment performance, in terms of validated coverage, significantly decreased. Motivation for the programme was reported as low and CDDs felt undervalued. CONCLUSIONS: CDDs contribute a considerable amount of opportunity cost to the overall economic cost of the NTD Programme in Uganda due to the commitment of their time. Nevertheless, programme coverage of at least 75 %, as required by the World Health Organisation, is not being achieved and vulnerable individuals may not have access to treatment as a consequence of sub-optimal performance by the CDDs due to workload and programmatic factors

Simulation of gait asymmetry and energy transfer efficiency between unilateral and bilateral amputees

Efficient walking or running requires symmetrical gait. Gait symmetry is one of the key factors in efficient human dynamics, kinematics and kinetics. The desire of individuals with a lower-limb amputation to participate in sports has resulted in the development of energy-storing and-returning (ESR) feet. This paper analyses a case study to show the effect of symmetry and asymmetry as well as energy transfer efficiency during periodic jumping between simulated bilateral and unilateral runners. A custom gait analysis system is developed as part of this project to track the motion of the body of a physically active subject during a set of predefined motions. Stance and aerial times are accurately measured using a high speed camera. Gait frequency, the level of symmetry and the non-uniform displacement between left and right foot and their effects on the position of the Centre of Mass (CM) were used as criteria to calculate both peak energies and transformation efficiency. Gait asymmetry and discrepancy of energy transfer efficiency between the intact foot and the ESR are observed. It is concluded that unilateral runners require excessive effort to compensate for lack of symmetry as well as asymmetry in energy transfer, causing fatigue which could be a reason why bilateral amputee runners using ESR feet have a superior advantage over unilateral amputees

Myocardial changes in incident haemodialysis patients over 6-months:an observational cardiac magnetic resonance imaging study

Patients commencing on haemodialysis (HD) have an increased risk of cardiovascular events in the first year after starting HD compared to those patients established on HD longer. Left ventricular (LV) hypertrophy and abnormal myocardial strain predict mortality. There may be changes in the myocardium of incident HD patients over a 6-month period of HD which may explain changes in cardiovascular risk. We used CMR to consider changes in LV mass, myocardial strain and T1 mapping. We examined changes in pre-dialysis highly sensitive troponin T. 33 patients undergoing HD for <12 months were recruited. Participants underwent CMR at baseline and after 6-months of standard care. 6-months of HD was associated with reduction in LV mass index (Baseline: 78.8 g/m2 follow up: 69.9 g/m2, p = <0.001). LV global longitudinal strain also improved (Baseline: −17.9%, follow up: −21.6%, p = <0.001). Change in T1 time was not significant (Baseline septal T1 1277.4 ms, follow up 1271.5 p = 0.504). Highly sensitive troponin T was lower at follow up (Baseline 38.8 pg/L, follow up 30.8 pg/L p = 0.02). In incident HD patients, 6-months of HD was associated with improvements in LV mass, strain and troponin. These findings may reflect improvement in known cardiac tissue abnormalities found in patients over the first year of HD

A mathematical and computational review of Hartree-Fock SCF methods in Quantum Chemistry

We present here a review of the fundamental topics of Hartree-Fock theory in Quantum Chemistry. From the molecular Hamiltonian, using and discussing the Born-Oppenheimer approximation, we arrive to the Hartree and Hartree-Fock equations for the electronic problem. Special emphasis is placed in the most relevant mathematical aspects of the theoretical derivation of the final equations, as well as in the results regarding the existence and uniqueness of their solutions. All Hartree-Fock versions with different spin restrictions are systematically extracted from the general case, thus providing a unifying framework. Then, the discretization of the one-electron orbitals space is reviewed and the Roothaan-Hall formalism introduced. This leads to a exposition of the basic underlying concepts related to the construction and selection of Gaussian basis sets, focusing in algorithmic efficiency issues. Finally, we close the review with a section in which the most relevant modern developments (specially those related to the design of linear-scaling methods) are commented and linked to the issues discussed. The whole work is intentionally introductory and rather self-contained, so that it may be useful for non experts that aim to use quantum chemical methods in interdisciplinary applications. Moreover, much material that is found scattered in the literature has been put together here to facilitate comprehension and to serve as a handy reference.Comment: 64 pages, 3 figures, tMPH2e.cls style file, doublesp, mathbbol and subeqn package

Water and sodium intake habits and status of ultra-endurance runners during a multi-stage ultra-marathon conducted in a hot ambient environment: an observational field based study

<p>Abstract</p> <p>Background</p> <p>Anecdotal evidence suggests ultra-runners may not be consuming sufficient water through foods and fluids to maintenance euhydration, and present sub-optimal sodium intakes, throughout multi-stage ultra-marathon (MSUM) competitions in the heat. Subsequently, the aims were primarily to assess water and sodium intake habits of recreational ultra-runners during a five stage 225 km semi self-sufficient MSUM conducted in a hot ambient environment (T_max range: 32°C to 40°C); simultaneously to monitor serum sodium concentration, and hydration status using multiple hydration assessment techniques.</p> <p>Methods</p> <p>Total daily, pre-stage, during running, and post-stage water and sodium ingestion of ultra-endurance runners (UER, <it>n</it> = 74) and control (CON, <it>n</it> = 12) through foods and fluids were recorded on Stages 1 to 4 by trained dietetic researchers using dietary recall interview technique, and analysed through dietary analysis software. Body mass (BM), hydration status, and serum sodium concentration were determined pre- and post-Stages 1 to 5.</p> <p>Results</p> <p>Water (overall mean (SD): total daily 7.7 (1.5) L/day, during running 732 (183) ml/h) and sodium (total daily 3.9 (1.3) g/day, during running 270 (151) mg/L) ingestion did not differ between stages in UER (<it>p</it> < 0.001 <it>vs</it>. CON). Exercise-induced BM loss was 2.4 (1.2)% (<it>p</it> < 0.001). Pre- to post-stage BM gains were observed in 26% of UER along competition. Pre- and post-stage plasma osmolality remained within normal clinical reference range (280 to 303 mOsmol/kg) in the majority of UER (<it>p</it> > 0.05 <it>vs</it>. CON pre-stage). Asymptomatic hyponatraemia (<135 mmol/L) was evident pre- and post-stage in <it>n</it> = 8 UER, corresponding to 42% of sampled participants. Pre- and post-stage urine colour, urine osmolality and urine/plasma osmolality ratio increased (<it>p</it> < 0.001) as competition progressed in UER, with no change in CON. Plasma volume and extra-cellular water increased (<it>p</it> < 0.001) 22.8% and 9.2%, respectively, from pre-Stage 1 to 5 in UER, with no change in CON.</p> <p>Conclusion</p> <p>Water intake habits of ultra-runners during MSUM conducted in hot ambient conditions appear to be sufficient to maintain baseline euhydration levels. However, fluid over-consumption behaviours were evident along competition, irrespective of running speed and gender. Normonatraemia was observed in the majority of ultra-runners throughout MSUM, despite sodium ingestion under benchmark recommendations.</p

Outer membrane protein folding from an energy landscape perspective

The cell envelope is essential for the survival of Gram-negative bacteria. This specialised membrane is densely packed with outer membrane proteins (OMPs), which perform a variety of functions. How OMPs fold into this crowded environment remains an open question. Here, we review current knowledge about OFMP folding mechanisms in vitro and discuss how the need to fold to a stable native state has shaped their folding energy landscapes. We also highlight the role of chaperones and the β-barrel assembly machinery (BAM) in assisting OMP folding in vivo and discuss proposed mechanisms by which this fascinating machinery may catalyse OMP folding

Systematic and Evolutionary Insights Derived from mtDNA COI Barcode Diversity in the Decapoda (Crustacea: Malacostraca)

Background: Decapods are the most recognizable of all crustaceans and comprise a dominant group of benthic invertebrates of the continental shelf and slope, including many species of economic importance. Of the 17635 morphologically described Decapoda species, only 5.4% are represented by COI barcode region sequences. It therefore remains a challenge to compile regional databases that identify and analyse the extent and patterns of decapod diversity throughout the world. Methodology/Principal Findings: We contributed 101 decapod species from the North East Atlantic, the Gulf of Cadiz and the Mediterranean Sea, of which 81 species represent novel COI records. Within the newly-generated dataset, 3.6% of the species barcodes conflicted with the assigned morphological taxonomic identification, highlighting both the apparent taxonomic ambiguity among certain groups, and the need for an accelerated and independent taxonomic approach. Using the combined COI barcode projects from the Barcode of Life Database, we provide the most comprehensive COI data set so far examined for the Order (1572 sequences of 528 species, 213 genera, and 67 families). Patterns within families show a general predicted molecular hierarchy, but the scale of divergence at each taxonomic level appears to vary extensively between families. The range values of mean K2P distance observed were: within species 0.285% to 1.375%, within genus 6.376% to 20.924% and within family 11.392% to 25.617%. Nucleotide composition varied greatly across decapods, ranging from 30.8 % to 49.4 % GC content. Conclusions/Significance: Decapod biological diversity was quantified by identifying putative cryptic species allowing a rapid assessment of taxon diversity in groups that have until now received limited morphological and systematic examination. We highlight taxonomic groups or species with unusual nucleotide composition or evolutionary rates. Such data are relevant to strategies for conservation of existing decapod biodiversity, as well as elucidating the mechanisms and constraints shaping the patterns observed.FCT - SFRH/BD/25568/ 2006EC FP6 - GOCE-CT-2005-511234 HERMESFCT - PTDC/MAR/69892/2006 LusomarBo

Integrated genomic characterization of oesophageal carcinoma

Oesophageal cancers are prominent worldwide; however, there are few targeted therapies and survival rates for these cancers remain dismal. Here we performed a comprehensive molecular analysis of 164 carcinomas of the oesophagus derived from Western and Eastern populations. Beyond known histopathological and epidemiologic distinctions, molecular features differentiated oesophageal squamous cell carcinomas from oesophageal adenocarcinomas. Oesophageal squamous cell carcinomas resembled squamous carcinomas of other organs more than they did oesophageal adenocarcinomas. Our analyses identified three molecular subclasses of oesophageal squamous cell carcinomas, but none showed evidence for an aetiological role of human papillomavirus. Squamous cell carcinomas showed frequent genomic amplifications of CCND1 and SOX2 and/or TP63, whereas ERBB2, VEGFA and GATA4 and GATA6 were more commonly amplified in adenocarcinomas. Oesophageal adenocarcinomas strongly resembled the chromosomally unstable variant of gastric adenocarcinoma, suggesting that these cancers could be considered a single disease entity. However, some molecular features, including DNA hypermethylation, occurred disproportionally in oesophageal adenocarcinomas. These data provide a framework to facilitate more rational categorization of these tumours and a foundation for new therapies.ope

Stromal Vascular Fraction Transplantation as an Alternative Therapy for Ischemic Heart Failure: Anti-inflammatory Role

<p>Abstract</p> <p>Background</p> <p>The aims of this study were: (1) to show the feasibility of using adipose-derived stromal vascular fraction (SVF) as an alternative to bone marrow mono nuclear cell (BM-MNC) for cell transplantation into chronic ischemic myocardium; and (2) to explore underlying mechanisms with focus on anti-inflammation role of engrafted SVF and BM-MNC post chronic myocardial infarction (MI) against left ventricular (LV) remodelling and cardiac dysfunction.</p> <p>Methods</p> <p>Four weeks after left anterior descending coronary artery ligation, 32 Male Lewis rats with moderate MI were divided into 3 groups. SVF group (n = 12) had SVF cell transplantation (6 × 10⁶cells). BM-MNC group (n = 12) received BM-MNCs (6 × 10⁶) and the control (n = 10) had culture medium. At 4 weeks, after the final echocardiography, histological sections were stained with Styrus red and immunohistochemical staining was performed for α-smooth muscle actin, von Willebrand factor, CD3, CD8 and CD20.</p> <p>Results</p> <p>At 4 weeks, in SVF and BM-MNC groups, LV diastolic dimension and LV systolic dimension were smaller and fractional shortening was increased in echocardiography, compared to control group. Histology revealed highest vascular density, CD3+ and CD20+ cells in SVF transplanted group. SVF transplantation decreased myocardial mRNA expression of inflammatory cytokines TNF-α, IL-6, MMP-1, TIMP-1 and inhibited collagen deposition.</p> <p>Conclusions</p> <p>Transplantation of adipose derived SVF cells might be a useful therapeutic option for angiogenesis in chronic ischemic heart disease. Anti-inflammation role for SVF and BM transplantation might partly benefit for the cardioprotective effect for chronic ischemic myocardium.</p