An LTL Semantics of Business Workflows with Recovery

We describe a business workflow case study with abnormal behavior management (i.e. recovery) and demonstrate how temporal logics and model checking can provide a methodology to iteratively revise the design and obtain a correct-by construction system. To do so we define a formal semantics by giving a compilation of generic workflow patterns into LTL and we use the bound model checker Zot to prove specific properties and requirements validity. The working assumption is that such a lightweight approach would easily fit into processes that are already in place without the need for a radical change of procedures, tools and people's attitudes. The complexity of formalisms and invasiveness of methods have been demonstrated to be one of the major drawback and obstacle for deployment of formal engineering techniques into mundane projects

On Redundancy Elimination Tolerant Scheduling Rules

In (Ferrucci, Pacini and Sessa, 1995) an extended form of resolution, called Reduced SLD resolution (RSLD), is introduced. In essence, an RSLD derivation is an SLD derivation such that redundancy elimination from resolvents is performed after each rewriting step. It is intuitive that redundancy elimination may have positive effects on derivation process. However, undesiderable effects are also possible. In particular, as shown in this paper, program termination as well as completeness of loop checking mechanisms via a given selection rule may be lost. The study of such effects has led us to an analysis of selection rule basic concepts, so that we have found convenient to move the attention from rules of atom selection to rules of atom scheduling. A priority mechanism for atom scheduling is built, where a priority is assigned to each atom in a resolvent, and primary importance is given to the event of arrival of new atoms from the body of the applied clause at rewriting time. This new computational model proves able to address the study of redundancy elimination effects, giving at the same time interesting insights into general properties of selection rules. As a matter of fact, a class of scheduling rules, namely the specialisation independent ones, is defined in the paper by using not trivial semantic arguments. As a quite surprising result, specialisation independent scheduling rules turn out to coincide with a class of rules which have an immediate structural characterisation (named stack-queue rules). Then we prove that such scheduling rules are tolerant to redundancy elimination, in the sense that neither program termination nor completeness of equality loop check is lost passing from SLD to RSLD.Comment: 53 pages, to appear on TPL

A Framework for Genetic Algorithms Based on Hadoop

Genetic Algorithms (GAs) are powerful metaheuristic techniques mostly used in many real-world applications. The sequential execution of GAs requires considerable computational power both in time and resources. Nevertheless, GAs are naturally parallel and accessing a parallel platform such as Cloud is easy and cheap. Apache Hadoop is one of the common services that can be used for parallel applications. However, using Hadoop to develop a parallel version of GAs is not simple without facing its inner workings. Even though some sequential frameworks for GAs already exist, there is no framework supporting the development of GA applications that can be executed in parallel. In this paper is described a framework for parallel GAs on the Hadoop platform, following the paradigm of MapReduce. The main purpose of this framework is to allow the user to focus on the aspects of GA that are specific to the problem to be addressed, being sure that this task is going to be correctly executed on the Cloud with a good performance. The framework has been also exploited to develop an application for Feature Subset Selection problem. A preliminary analysis of the performance of the developed GA application has been performed using three datasets and shown very promising performance

In vivo bioluminescence imaging using orthotopic xenografts towards patient's derived-xenograft Medulloblastoma models

BACKGROUND: Medulloblastoma is a cerebellar neoplasia of the central nervous system. Four molecular subgrups have been identified (MBWNT, MBSHH, MBgroup3 and MBgroup4) with distinct genetics and clinical outcome. Among these, MBgroup3-4 are highly metastatic with the worst prognosis. The current standard therapy includes surgery, radiation and chemotherapy. Thus, specific treatments adapted to cure those different molecular subgroups are needed. The use of orthotopic xenograft models, together with the non-invasive in vivo biolumiscence imaging (BLI) technology, is emerging during preclinical studies to test novel therapeutics for medulloblastoma treatment. METHODS: Orthotopic MB xenografts were performed by injection of Daoy-luc cells, that had been previously infected with lentiviral particles to stably express luciferase gene, into the fourth right ventricle of the cerebellum of ten nude mice. For the implantation, specific stereotactic coordinates were used. Seven days after the implantation the mice were imaged by acquisitions of bioluminescence imaging (BLI) using IVIS 3D Illumina Imaging System (Xenogen). Tumor growth was evaluated by quantifying the bioluminescence signals using the integrated fluxes of photons within each area of interest using the Living Images Software Package 3.2 (Xenogen-Perkin Elmer). Finally, histological analysis using hematoxylin-eosin staining was performed to confirm the presence of tumorigenic cells into the cerebellum of the mice. RESULTS: We describe a method to use the in vivo bioluminescent imaging (BLI) showing the potential to be used to investigate the potential antitumorigenic effects of a drug for in vivo medulloblastoma treatment. We also discuss other studies in which this technology has been applied to obtain a more comprehensive knowledge of medulloblastoma using orthotopic xenograft mouse models. CONCLUSIONS: There is a need to develop patient's derived-xenograft (PDX) model systems to test novel drugs for medulloblastoma treatment within each molecular sub-groups with a higher predictive value. Here we show how this technology should be applied with hopes on generations of new treatments to be applied then in human

Search-Based Predictive Modelling for Software Engineering: How Far Have We Gone?

In this keynote I introduce the use of Predictive Analytics for Software Engineering (SE) and then focus on the use of search-based heuristics to tackle long-standing SE prediction problems including (but not limited to) software development effort estimation and software defect prediction. I review recent research in Search-Based Predictive Modelling for SE in order to assess the maturity of the field and point out promising research directions. I conclude my keynote by discussing best practices for a rigorous and realistic empirical evaluation of search-based predictive models, a condicio sine qua non to facilitate the adoption of prediction models in software industry practices.Predictive analytics Predictive modelling Search-based software engineering Machine learning Software analytic

Comparison of the Cosmed K4b2 Portable Metabolic System in Measuring Steady-State Walking Energy Expenditure

Recent introduction of the Cosmed K4b(2) portable metabolic analyzer allows measurement of oxygen consumption outside of a laboratory setting in more typical clinical or household environments and thus may be used to obtain information on the metabolic costs of specific daily life activities. The purpose of this study was to assess the accuracy of the Cosmed K4b(2) portable metabolic analyzer against a traditional, stationary gas exchange system (the Medgraphics D-Series) during steady-state, submaximal walking exercise.Nineteen men and women (9 women, 10 men) with an average age of 39.8 years (+/-13.8) completed two 400 meter walk tests using the two systems at a constant, self-selected pace on a treadmill. Average oxygen consumption (VO2) and carbon dioxide production (VCO2) from each walk were compared.Intraclass Correlation Coefficient (ICC) and Pearson correlation coefficients between the two systems for weight indexed VO2 (ml/kg/min), total VO2 (ml/min), and VCO2 (ml/min) ranged from 0.93 to 0.97. Comparison of the average values obtained using the Cosmed K4b(2) and Medgraphics systems using paired t-tests indicate no significant difference for VO2 (ml/kg/min) overall (p = 0.25), or when stratified by sex (p = 0.21 women, p = 0.69 men). The mean difference between analyzers was - 0.296 ml/kg/min (+/-0.26). Results were not significantly different for VO(2) (ml/min) or VCO2) (ml/min) within the study population (p = 0.16 and p = 0.08, respectively), or when stratified by sex (VO(2): p = 0.51 women, p = 0.16 men; VCO2: p = .11 women, p = 0.53 men).The Cosmed K4b(2) portable metabolic analyzer provides measures of VO2 and VCO2 during steady-state, submaximal exercise similar to a traditional, stationary gas exchange system

Natural compounds for pediatric cancer treatment

There is a tremendous need in clinics to impair cancer progression through noninvasive therapeutic approaches. The use of natural compounds to achieve this is of importance to improve the quality of life of young patients during their treatments. This review will address the "status of the art" related to the potential of natural compounds that are undergoing investigation in combination with standard therapeutic protocols in preclinical and clinical studies and their importance for pediatric cancer treatment. The early studies of drug discovery of these natural compounds discussed here include the main targets, the cellular signaling pathways involved, and the potential modes of action. We also focus on some promising natural compounds that have shown excellent results in vitro and in vivo: Chebulagic acid, Apigenin, Norcantharidin, Saffron/Crocin, Parthenolide, Longikaurin E, Lupeol, Spongistatin 1, and Deoxy-variolin B. Additionally, we introduce the effects of several compounds from nutraceutical and functional foods, to underline their potential use as adjuvant therapies to improve therapeutic benefits. For this purpose, we have selected several compounds: Agaritine, Ganoderma and GL6 peptide, Diallyl trisulfide and Ajoene from garlic, Epigallocatechin gallate from green tea, Curcumin, Resveratrol, and Quercetin

Sex-Specific Gait Patterns of Older Adults with Knee Osteoarthritis: Results from the Baltimore Longitudinal Study of Aging

Men and women exhibit different gait patterns during customary walking and may respond differently to joint diseases. The present paper aims to identify gait patterns associated with knee-OA separately in men and women. Participants included 144 men and 124 women aged 60 years and older enrolled in the Baltimore Longitudinal Study of Aging (BLSA) who underwent gait testing at a self-selected speed. Both men and women with knee-OA had lower ankle propulsion mechanical work expenditure (MWE; P < .001 for both) and higher hip generative MWE (P < .001) compared to non-OA controls. Women with knee-OA had a higher BMI (P = .008), slower gait speed (P = .049), and higher knee frontal-plane absorbing MWE (P = .007) than women without knee-OA. These differences were not observed in men. Understanding sex-specific differences in gait adaptation to knee-OA may inform the development of appropriate strategies for early detection and intervention for knee-OA in men and women

Frailty as a Nexus Between the Biology of Aging, Environmental Conditions and Clinical Geriatrics

n/

Editorial: The functional anatomy of the reticular formation

Editorial on the research topic of a special issue on the functional anatomy of the reticular formatio