The paper focuses on the synthesis of labelled transition systems (LTSs) for process calculi, choosing as testbed Mobile Ambients (MAs). The proposal is based on a graphical encoding: a process is mapped into a graph equipped with interfaces, such that the denotation is fully abstract with respect to the standard structural congruence. Graphs with interfaces are amenable to the synthesis mechan...

The aim of the present study was to investigate the effect of genetic polymorphisms in candidate genes within the leukotriene (LT) pathway on platelet reactivity and the concentration of selected LTs in diabetic patients treated with acetylsalicylic acid (ASA). The study cohort consisted of 287 Caucasians with type 2 diabetes who had received treatment with ASA tablets (75 mg/day) for at least ...

BACKGROUND In the USA, most HIV-1 infected children are on antiretroviral drug regimens, with many individuals surviving through adolescence and into adulthood. The course of HIV-1 infection in these children is variable, and understudied. METHODOLOGY/PRINCIPAL FINDINGS We determined whether qualitative differences in immune cell subsets could explain a slower disease course in long term surv...

OBJECTIVE The aim of our study is to compare the effect of ketamine-propofol mixture (ketofol) and propofol on the laryngeal tube-Suction II (LTS II) insertion conditions and hemodynamics. METHODS Eighty American Society of Anesthesiologists class 1 and 2 patients were divided into 2 random groups to receive either 1 µg/kg remifentanil and propofol 2 mg/kg in Group P (n = 40), or 1 µg/kg remi...

The theory of reactive systems (RSs) represents a fruitful proposal for deriving labelled transition systems (LTSs) from unlabelled ones. The synthesis of an LTS allows for the use of standard techniques in the analysis of systems, as witnessed by the widespread adoption of behavioral semantics. Recent proposals addressed one of the main drawbacks of RSs, namely, its restriction to the analysis...

Stateful aspects is a recent topic in AOSD. As the trigger of a stateful aspect depends on the system execution trace, it needs complicate modeling mechanisms for the pointcuts and weaving operations. We present an approach to weaving stateful aspects using Labelled Transition System (LTS). In the approach, the base system is specified as a LTS. The pointcut is modeled as an extended LTS that o...

Real-time systems such as aeronautic systems, medical systems, and nuclear power plant systems are generally operated in a standalone mode. In the home network and ubiquitous computing systems, integrated services related with several embedded systems are focused, which is called distributed embedded systems. Safety issues of distributed embedded systems are very important since they are closel...

This was a prospective randomized study comparing the ease of insertion, haemodynamic changes, quality of airway seal, oxygenation and ventilation parameters and complications between Laryngeal Tube Suction II (LTS II) with Proseal Laryngeal Mask Airway (PLMA), both are supraglottic airway incorporated with gastric passage. Fifty-four ASA I and II patients were randomly allocated to receive eit...

This study examines the nexus between land tenure security (LTS) and food (FS) in female-led households of Tula Baule agrarian settlements. /Methodology/ApproachThe used a qualitative research design based on constructivist paradigm. The researchers conducted in-depth interviews with female household heads cutting across three “yaati” (villages) Baule. Analysis data collected from was done empl...

Locally projecting GABAergic interneurons are the major providers of inhibition in the neocortex and play a crucial role in several brain functions. Neocortical interneurons are connected via electrical and chemical synapses that may be crucial in modulating complex network oscillations. We investigated the properties of spontaneous and evoked IPSCs in two morphologically and physiologically id...