Efficient Large-scale Trace Checking Using MapReduce

The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL (Metric Temporal Logic) do not scale with respect to two crucial dimensions: the length of the trace and the size of the time interval for which logged events must be buffered to check satisfaction of the specification. The former issue can be addressed by distributed and parallel trace checking algorithms that can take advantage of modern cloud computing and programming frameworks like MapReduce. Still, the latter issue remains open with current state-of-the-art approaches. In this paper we address this memory scalability issue by proposing a new semantics for MTL, called lazy semantics. This semantics can evaluate temporal formulae and boolean combinations of temporal-only formulae at any arbitrary time instant. We prove that lazy semantics is more expressive than standard point-based semantics and that it can be used as a basis for a correct parametric decomposition of any MTL formula into an equivalent one with smaller, bounded time intervals. We use lazy semantics to extend our previous distributed trace checking algorithm for MTL. We evaluate the proposed algorithm in terms of memory scalability and time/memory tradeoffs.Comment: 13 pages, 8 figure

Cognitive rehabilitation for early stage Alzheimer’s disease: a pilot study with an Irish population

Objectives Research shows that cognitive rehabilitation (CR) has the potential to improve goal performance and enhance well-being for people with early stage Alzheimer’s disease (AD). This single subject, multiple baseline design (MBD) research investigated the clinical efficacy of an 8-week individualised CR intervention for individuals with early stage AD. Methods Three participants with early stage AD were recruited to take part in the study. The intervention consisted of eight sessions of 60–90 minutes of CR. Outcomes included goal performance and satisfaction, quality of life, cognitive and everyday functioning, mood, and memory self-efficacy for participants with AD; and carer burden, general mental health, quality of life, and mood of carers. Results Visual analysis of MBD data demonstrated a functional relationship between CR and improvements in participants’ goal performance. Subjective ratings of goal performance and satisfaction increased from baseline to post-test for three participants and were maintained at follow-up for two. Baseline to post-test quality of life scores improved for three participants, whereas cognitive function and memory self-efficacy scores improved for two. Conclusions Our findings demonstrate that CR can improve goal performance, and is a socially acceptable intervention that can be implemented by practitioners with assistance from carers between sessions. This study represents one of the promising first step towards filling a practice gap in this area. Further research and randomised-controlled trials are required

Influenza and respiratory syncytial virus infections in British Hajj pilgrims

Viral respiratory infections including influenza and respiratory syncytial virus (RSV) have been reported during the Hajj among international pilgrims. To help establish the burden of these infections at the Hajj, we set up a study to confirm these diagnoses in symptomatic British pilgrims who attended the 2005 Hajj. UK pilgrims with symptoms of upper respiratory tract infection (URTI) were invited to participate; after taking medical history, nasal swabs were collected for point-of-care testing (PoCT) of influenza and for subsequent PCR analysis for influenza and RSV. Of the 205 patients recruited, 37 (18%) were positive for either influenza or RSV. Influenza A (H3) accounted for 54% (20/37) of the virus-positive samples, followed by RSV 24% (9/37), influenza B 19% (7/37), and influenza A (H1) 3% (1/37). Of the influenza-positive cases, 29% (8/28) had recently had a flu immunisation. Influenza was more common in those who gave a history of contact with a pilgrim with a respiratory illness than those who did not (17 versus 9%). The overall rate of RSV was 4% (9/202). This study confirms that influenza and RSV cause acute respiratory infections in British Hajj pilgrims. Continuing surveillance and a programme of interventions to contain the spread of infection are needed at the Hajj, particularly when the world is preparing for an influenza pandemic

Driving factors of aerosol properties over the foothills of central Himalayas based on 8.5 years continuous measurements

This study presents analysis of in situ measurements conducted over the period 2005–2014 in the Indian Himalayas to give a thorough overview of the factors and causes that drive aerosol properties. Aerosol extensive properties (namely, particle number concentration, scattering coefficient, equivalent black carbon, PM2.5, and PM10) have 1.5–2 times higher values in the early to late afternoon than during the night, and a strong seasonality. The interannual variability is ±20% for both PM2.5 and total particle number concentration. Analysis of the data shows statistically significant decreasing trends of −2.3 μg m−3 year−1 and −2.7 μg m−3 year−1 for PM2.5 and PM10, respectively, over the study period. The mountainous terrain site (Mukteshwar, MUK) is primarily under the influence of air from the plains. This is due to convective transport processes that are enhanced by local and mesoscale topography, leading to pronounced valley/mountain winds and consequently to atmospheric boundary layer air lifting from the plains below. The transport from plains is evident in seasonal‐diurnal patterns observed at MUK. The timing of the patterns corresponds with changes in turbulence and water vapor (q). According to our analysis, using these as proxies is a viable method for examining boundary layer influence in the absence of direct atmospheric boundary layer height measurements. Comparing the measurements with climate models shows that even regional climate models have problems capturing the orographic influence accurately at MUK, highlighting the importance of long‐term direct measurements at multiple points to understand aerosol behavior in mountainous areas

Characterisation and classification of oligometastatic disease : a European Society for Radiotherapy and Oncology and European Organisation for Research and Treatment of Cancer consensus recommendation

Oligometastatic disease has been proposed as an intermediate state between localised and systemically metastasised disease. In the absence of randomised phase 3 trials, early clinical studies show improved survival when radical local therapy is added to standard systemic therapy for oligometastatic disease. However, since no biomarker for the identification of patients with true oligometastatic disease is clinically available, the diagnosis of oligometastatic disease is based solely on imaging findings. A small number of metastases on imaging could represent different clinical scenarios, which are associated with different prognoses and might require different treatment strategies. 20 international experts including 19 members of the European Society for Radiotherapy and Oncology and European Organisation for Research and Treatment of Cancer OligoCare project developed a comprehensive system for characterisation and classification of oligometastatic disease. We first did a systematic review of the literature to identify inclusion and exclusion criteria of prospective interventional oligometastatic disease clinical trials. Next, we used a Delphi consensus process to select a total of 17 oligometastatic disease characterisation factors that should be assessed in all patients treated with radical local therapy for oligometastatic disease, both within and outside of clinical trials. Using a second round of the Delphi method, we established a decision tree for oligometastatic disease classification together with a nomenclature. We agreed oligometastatic disease as the overall umbrella term. A history of polymetastatic disease before diagnosis of oligometastatic disease was used as the criterion to differentiate between induced oligometastatic disease (previous history of polymetastatic disease) and genuine oligometastatic disease (no history of polymetastatic disease). We further subclassified genuine oligometastatic disease into repeat oligometastatic disease (previous history of oligometastatic disease) and de-novo oligometastatic disease (first time diagnosis of oligometastatic disease). In de-novo oligometastatic disease, we differentiated between synchronous and metachronous oligometastatic disease. We did a final subclassification into oligorecurrence, oligoprogression, and oligopersistence, considering whether oligometastatic disease is diagnosed during a treatment-free interval or during active systemic therapy and whether or not an oligometastatic lesion is progressing on current imaging. This oligometastatic disease classification and nomenclature needs to be prospectively evaluated by the OligoCare study

Trypanosoma evansi in Indonesian buffaloes: evaluation of simple models of natural immunity to infection

Deterministic models were employed to investigate the biology of Trypanosoma evansi infection in the Indonesian buffalo. Models were fitted to two age-structured data sets of infection. The Susceptible-Infected-Susceptible (SIS) model was the best supported description of this infection, although the results of the analysis depended on the serological test used; the Tr7 Ag-ELISA was judged the most reliable indicator of infection. Estimated forces of infection increase with age from 1.2 to 2.0 acquisitions per buffalo per year. The buffaloes would clear infection in an estimated mean time period of 16.8 months (95% CIs: 12.5-25.9 months) since acquisition, either by drug treatment by owners or self-cure. A general discussion on the role of immunity in protozoan infections includes consideration that the fitted SIS model would be consistent with strain-specific immunity. The model may become a useful tool for the evaluation of control programmes

L(+) and D(−) Lactate Are Increased in Plasma and Urine Samples of Type 2 Diabetes as Measured by a Simultaneous Quantification of L(+) and D(−) Lactate by Reversed-Phase Liquid Chromatography Tandem Mass Spectrometry

Background. Plasma and urinary levels of D-lactate have been linked to the presence of diabetes. Previously developed techniques have shown several limitations to further evaluate D-lactate as a biomarker for this condition. Methods. D- and L-lactate were quantified using ultraperformance liquid chromatography tandem mass spectrometry with labelled internal standard. Samples were derivatized with diacetyl-L-tartaric anhydride and separated on a C18-reversed phase column. D- and L-lactate were analysed in plasma and urine of controls, patients with inflammatory bowel disease (IBD), and patients with type 2 diabetes (T2DM). Results. Quantitative analysis of D- and L-lactate was achieved successfully. Calibration curves were linear (r2 > 0.99) over the physiological and pathophysiological ranges. Recoveries for urine and plasma were between 96% and 113%. Inter- and intra-assay variations were between 2% and 9%. The limits of detection of D-lactate and L-lactate in plasma were 0.7 μmol/L and 0.2 μmol/L, respectively. The limits of detection of D-lactate and L-lactate in urine were 8.1 nmol/mmol creatinine and 4.4 nmol/mmol creatinine, respectively. Plasma and urinary levels of D- and L-lactate were increased in patients with IBD and T2DM as compared with controls. Conclusion. The presented method proved to be suitable for the quantification of D- and L-lactate and opens the possibility to explore the use of D-lactate as a biomarker

Attraction between DNA molecules mediated by multivalent ions

The effective force between two parallel DNA molecules is calculated as a function of their mutual separation for different valencies of counter- and salt ions and different salt concentrations. Computer simulations of the primitive model are used and the shape of the DNA molecules is accurately modelled using different geometrical shapes. We find that multivalent ions induce a significant attraction between the DNA molecules whose strength can be tuned by the averaged valency of the ions. The physical origin of the attraction is traced back either to electrostatics or to entropic contributions. For multivalent counter- and monovalent salt ions, we find a salt-induced stabilization effect: the force is first attractive but gets repulsive for increasing salt concentration. Furthermore, we show that the multivalent-ion-induced attraction does not necessarily correlate with DNA overcharging.Comment: 51 pages and 13 figure