A process algebra for synchronous concurrent constraint programming

Concurrent constraint programming is classically based on asynchronous communication via a shared store. This paper presents new version of the ask and tell primitives which features synchronicity. Our approach is based on the idea of telling new information just in the case that a concurrently running process is asking for it. An operational and an algebraic semantics are defined. The algebraic semantics is proved to be sound and complete with respect to a compositional operational semantics which is also presented in the paper

MS

thesisThirty-five primiparas were tested for aerobic fitness levels and assigned to either a control or experimental group based on fitness level. The experimental group represented primiparas who engaged in regular, sustained, aerobic activity for 20 minutes, three times weekly from 28-36 weeks gestation. The control group was comprised of 17 primiparas who did not perform any sustained, aerobic activity. After the subjects' deliveries, hospital chart reviews were conducted to determine the length of stage 1 and stage 2 labors, the amount and type of analgesia used, and the incidence of perineal lacerations. Statistical comparisons between the two groups indicated that no significant difference between the stage 1 or stage 2 labor times was demonstrated. There was also no difference in the incidence of perineal lacerations noted between the control and experimental groups. There was a statistically significant decrease in the use of analgesia by the experimental, exercise group

DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

In this paper we present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to efficiently detect the presence of accepting cycles in a directed graph. Accepting cycle detection is the core algorithmic procedure in automata-based LTL Model Checking. We demonstrate that the tool outperforms non-accelerated version of the algorithm and we discuss where the limits of the tool are and what we intend to do in the future to avoid them

Multi-agent systems as concurrent constraint processes

We present a language Scc for a specication of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewher

The tropical shadow-vertex algorithm solves mean payoff games in polynomial time on average

We introduce an algorithm which solves mean payoff games in polynomial time on average, assuming the distribution of the games satisfies a flip invariance property on the set of actions associated with every state. The algorithm is a tropical analogue of the shadow-vertex simplex algorithm, which solves mean payoff games via linear feasibility problems over the tropical semiring $(\mathbb{R} \cup \{-\infty\}, \max, +)$. The key ingredient in our approach is that the shadow-vertex pivoting rule can be transferred to tropical polyhedra, and that its computation reduces to optimal assignment problems through Pl\"ucker relations.Comment: 17 pages, 7 figures, appears in 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part

The impact of resources on decision making

Decision making is a significant activity within industry and although much attention has been paid to the manner in which goals impact on how decision making is executed, there has been less focus on the impact decision making resources can have. This article describes an experiment that sought to provide greater insight into the impact that resources can have on how decision making is executed. Investigated variables included the experience levels of decision makers and the quality and availability of information resources. The experiment provided insights into the variety of impacts that resources can have upon decision making, manifested through the evolution of the approaches, methods, and processes used within it. The findings illustrated that there could be an impact on the decision-making process but not on the method or approach, the method and process but not the approach, or the approach, method, and process. In addition, resources were observed to have multiple impacts, which can emerge in different timescales. Given these findings, research is suggested into the development of resource-impact models that would describe the relationships existing between the decision-making activity and resources, together with the development of techniques for reasoning using these models. This would enhance the development of systems that could offer improved levels of decision support through managing the impact of resources on decision making

Research Notes: Techniques developed for screening soybeans for Mexican bean beetle resistance

The lack of uniform infestations of Mexican bean beetle (Epilachna varivestis Mulsant) in field plantings can make selection for resistance in segregating soybean populations very difficult . For this reason, the results from screening F2 plants in the field have been inconsistent. An alternative is to advance F2 plants to the F3 to provide replication at more than one location

Process algebra modelling styles for biomolecular processes

We investigate how biomolecular processes are modelled in process algebras, focussing on chemical reactions. We consider various modelling styles and how design decisions made in the definition of the process algebra have an impact on how a modelling style can be applied. Our goal is to highlight the often implicit choices that modellers make in choosing a formalism, and illustrate, through the use of examples, how this can affect expressability as well as the type and complexity of the analysis that can be performed

Local In Vivo measures of Muscle Lipid and Oxygen Consumption Change in Response to Combined Vitamin D Repletion and Aerobic Training in Older Adults

Intramyocellular (IMCL), extramyocellular lipid (EMCL), and vitamin D deficiency are associated with muscle metabolic dysfunction. This study compared the change in [IMCL]:[EMCL] following the combined treatment of vitamin D and aerobic training (DAT) compared with vitamin D (D), aerobic training (AT), and control (CTL). Male and female subjects aged 60–80 years with a BMI ranging from 18.5–34.9 and vitamin D status of ≤ 32 ng/mL (25(OH)D) were recruited to randomized, prospective clinical trial double-blinded for supplement with a 2 × 2 factorial design. Cholecalciferol (Vitamin D3) (10,000 IU × 5 days/week) or placebo was provided for 13 weeks and treadmill aerobic training during week 13. Gastrocnemius IMCL and EMCL were measured with magnetic resonance spectroscopy (MRS) and MRI. Hybrid near-infrared diffuse correlation spectroscopy measured hemodynamics. Group differences in IMCL were observed when controlling for baseline IMCL (p = 0.049). DAT was the only group to reduce IMCL from baseline, while a mean increase was observed in all other groups combined (p = 0.008). IMCL reduction and the corresponding increase in rVO2 at study end (p = 0.011) were unique to DAT. Vitamin D, when combined with exercise, may potentiate the metabolic benefits of exercise by reducing IMCL and increasing tissue-level VO2 in healthy, older adults

Non-Zero Sum Games for Reactive Synthesis

In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution concepts are developed in the context of non-zero sum games played on graphs. They are part of the contributions obtained in the inVEST project funded by the European Research Council.Comment: LATA'16 invited pape