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

Simian immunodeficiency virus infection in wild-caught chimpanzees from Cameroon

Simian immunodeficiency viruses (SIVcpz) infecting chimpanzees (Pan troglodytes) in west central Africa are the closest relatives to all major variants of human immunodeficiency virus type 1 ([HIV-1]; groups M, N and O), and have thus been implicated as the source of the human infections; however, information concerning the prevalence, geographic distribution, and subspecies association of SIVcpz still remains limited. In this study, we tested 71 wild-caught chimpanzees from Cameroon for evidence of SIVcpz infection. Thirty-nine of these were of the central subspecies (Pan troglodytes troglodytes), and 32 were of the Nigerian subspecies (Pan troglodytes vellerosus), as determined by mitochondrial DNA analysis. Serological analysis determined that one P. t. troglodytes ape (CAM13) harbored serum antibodies that cross-reacted strongly with HIV-1 antigens; all other apes were seronegative. To characterize the newly identified virus, 14 partially overlapping viral fragments were amplified from fecal virion RNA and concatenated to yield a complete SIVcpz genome (9,284 bp). Phylogenetic analyses revealed that SIVcpzCAM13 fell well within the radiation of the SIVcpzPtt group of viruses, as part of a clade including all other SIVcpzPtt strains as well as HIV-1 groups M and N. However, SIVcpzCAM13 clustered most closely with SIVcpzGAB1 from Gabon rather than with SIVcpzCAM3 and SIVcpzCAM5 from Cameroon, indicating the existence of divergent SIVcpzPtt lineages within the same geographic region. These data, together with evidence of recombination among ancestral SIVcpzPtt lineages, indicate long-standing endemic infection of central chimpanzees and reaffirm a west central African origin of HIV-1. Whether P. t. vellerosus apes are naturally infected with SIVcpz requires further study

Flaxseed Lignan Complex Administration in Older Human Type 2 Diabetics Manages Central Obesity and Prothrombosis—An Invitation to Further Investigation into Polypharmacy Reduction

Aim. Animal and human study evidence supports the hypothesis that flaxseed lignan complex (FLC) at a dose of 600 mg secoisolariciresinol diglucoside (SDG)/day for three months would combat hyperglycaemia, dyslipidemia, blood pressure, central obesity, prothrombotic state, inflammation, and low density lipoprotein (LDL) oxidation. Methods. Sixteen type 2 diabetic patients completed this double-blind, randomised crossover placebo-controlled study. A univariate repeated measures analysis of covariance (significance P<0.05) was followed by a mixed linear model effects analysis corrected for multiple comparisons (MCC). Results. Prior to MCC, FLC caused decreased fasting plasma glucose, A1c, inflammation (c-reactive protein (CRP) and interleukin-6 (IL-6)), and increased bleeding time. After correction for multiple comparisons, FLC induced a statistically significant increase in bleeding time and smaller waist circumference gain. No treatment effect occurred in the other variables before or after adjustment. Conclusions. It is concluded that FLC significantly increased bleeding time thus reducing the prothrombotic state, reduced central obesity gain as measured by waist circumference, and did not affect significantly the other dependent variables measured after adjustment for multiple comparisons. These findings, not yet published in human type 2 diabetes, suggest that this FLC dose over at least three months, may, subject to further investigation, reduce polypharmacy

Possibilità di sviluppo della coltivazione del sorgo per l'alimentazione del bestiame in Somalia

In 1979, a trial concerning yield differences between 2 different periods of harvesting (soft dough and complete maturation of the grain) of a sorghum hybrid BR has been carried out in Afgoy (Somalia). The effects of four nitrogen level have been also evaluated. The results show no effect of different nitrogen levels on total dry matter production and grain quality. Maximum dry matter yield and maximum F.U. production has been reached at complete maturation of the grain. General level of grain yield has been restricted in consequence of bird damage in spite of the presence of the gene BR

Coupled oscillators with power-law interaction and their fractional dynamics analogues

The one-dimensional chain of coupled oscillators with long-range power-law interaction is considered. The equation of motion in the infrared limit are mapped onto the continuum equation with the Riesz fractional derivative of order $\alpha$, when $0<\alpha<2$. The evolution of soliton-like and breather-like structures are obtained numerically and compared for both types of simulations: using the chain of oscillators and using the continuous medium equation with the fractional derivative.Comment: 16 pages, 5 figure

Headache yesterday in Europe

BACKGROUND: Surveys enquiring about burden of headache over a prior period of time (eg, 3 months) are subject to recall bias. To eliminate this as far as possible, we focused on presence and impact of headache on the preceding day (“headache yesterday”). METHODS: Adults (18-65 years) were surveyed from the general populations of Germany, Italy, Lithuania, Luxembourg and the Netherlands, from a work-force population in Spain and from mostly non-headache patient populations of Austria, France and UK. A study of non-responders in some countries allowed detection of potential participation bias where initial participation rates were low. RESULTS: Participation rates varied between 11% and 59% (mean 27%). Non-responder studies suggested that, because of participation bias, headache prevalence might be overestimated in initial responders by up to 2% (absolute). Across all countries, 1,422 of 8,271 participants (15-17%, depending on correction for participation bias) had headache yesterday lasting on average for 6 hours. It was bad or very bad in 56% of cases and caused absence from work or school in 6%. Among those who worked despite headache, 20% reported productivity reduced by >50%. Social activities were lost by 24%. Women (21%) were more likely than men (12%) to have headache yesterday, but impact was similar in the two genders. CONCLUSIONS: With recall biases avoided, our findings indicate that headache costs at least 0.7% of working capacity in Europe. This calculation takes into account that most of those who missed work could make up for this later, which, however, means that leisure and social activities are even more influenced by headache

Interest of pet imaging in multiple myeloma

The interest of 18Fluoro-deoxyglucose (FDG) positron emission tomography (PET) imaging in the management of patients with multiple myeloma (MM) for the workup at diagnosis and for therapeutic evaluation has recently been demonstrated. FDG-PET is a powerful imaging tool for bone lesions detection at initial diagnosis with high sensitivity and specificity values. The independent pejorative prognostic value on progression-free survival (PFS) and overall survival (OS) of baseline PET-derived parameters (presence of extra-medullary disease (EMD), number of focal bone lesions (FLs), and maximum standardized uptake values [SUVmax]) has been reported in several large independent prospective studies. During therapeutic evaluation, FDG-PET is considered as the reference imaging technique, because it can be performed much earlier than MRI which lacks specificity. Persistence of significant FDG uptake after treatment, notably before maintenance therapy, is an independent pejorative prognostic factor, especially for patients with a complete biological response. So FDG-PET and medullary flow cytometry are complementary tools for detection of minimal residual disease before maintenance therapy. However, the definition of PET metabolic complete response should be standardized. In patients with smoldering multiple myeloma, the presence of at least one hyper-metabolic lytic lesions on FDG-PET may be considered as a criterion for initiating therapy. FDG-PET is also indicated for initial staging of a solitary plasmacytoma so as to not disregard other bone or extra-medullary localizations. Development of nuclear medicine offer new perspectives for MM imaging. Recent PET tracers are willing to overcome limitations of FDG. (11)C-Methionine, which uptake reflects the increased protein synthesis of malignant cells seems to correlate well with bone marrow infiltration. Lipid tracers, such as Choline or acetate, and some peptide tracers, such as (68) Ga-Pentixafor, that targets CXCR4 (chemokine receptor-4, which is often expressed with high density by myeloma cells), are other promising PET ligands. 18F-fludarabine and immuno-PET targeting CD138 and CD38 also showed promising results in preclinical models

TRANSFAC(®) and its module TRANSCompel(®): transcriptional gene regulation in eukaryotes

The TRANSFAC(®) database on transcription factors, their binding sites, nucleotide distribution matrices and regulated genes as well as the complementing database TRANSCompel(®) on composite elements have been further enhanced on various levels. A new web interface with different search options and integrated versions of Match™ and Patch™ provides increased functionality for TRANSFAC(®). The list of databases which are linked to the common GENE table of TRANSFAC(®) and TRANSCompel(®) has been extended by: Ensembl, UniGene, EntrezGene, HumanPSD™ and TRANSPRO™. Standard gene names from HGNC, MGI and RGD, are included for human, mouse and rat genes, respectively. With the help of InterProScan, Pfam, SMART and PROSITE domains are assigned automatically to the protein sequences of the transcription factors. TRANSCompel(®) contains now, in addition to the COMPEL table, a separate table for detailed information on the experimental EVIDENCE on which the composite elements are based. Finally, for TRANSFAC(®), in respect of data growth, in particular the gain of Drosophila transcription factor binding sites (by courtesy of the Drosophila DNase I footprint database) and of Arabidopsis factors (by courtesy of DATF, Database of Arabidopsis Transcription Factors) has to be stressed. The here described public releases, TRANSFAC(®) 7.0 and TRANSCompel(®) 7.0, are accessible under