The 4C spectrum of fundamental behavioral relations for concurrent systems

The design of concurrent software systems, in particular process-aware information systems, involves behavioral modeling at various stages. Recently, approaches to behavioral analysis of such systems have been based on declarative abstractions defined as sets of behavioral relations. However, these relations are typically defined in an ad-hoc manner. In this paper, we address the lack of a systematic exploration of the fundamental relations that can be used to capture the behavior of concurrent systems, i.e., co-occurrence, conflict, causality, and concurrency. Besides the definition of the spectrum of behavioral relations, which we refer to as the 4C spectrum, we also show that our relations give rise to implication lattices. We further provide operationalizations of the proposed relations, starting by proposing techniques for computing relations in unlabeled systems, which are then lifted to become applicable in the context of labeled systems, i.e., systems in which state transitions have semantic annotations. Finally, we report on experimental results on efficiency of the proposed computations.

Organometallic macrocyclic chemistry. 8.(1) : an unusual metallacycle derived from phosphine−alkynyl thioether coupling

The α,ω-diyne 4,7,10-trithiatrideca-2,11-diyne reacts with [RuCl2(PPh3)3] and KPF6 to form the phosphonio-substituted metallatricyclic salt [RuCl(PPh3){κ4C,S,S′,S′′-S(C≡CMe)C2H4SC2H4SC(PPh3)CMe}]PF6 arising from the activation of one alkynyl group toward nucleophilic attack by extraneous phosphine.

Effect of cold water immersion on repeated cycling performance and limb blood flow

The purpose of the present study was to compare the effects of cold water immersion (CWI) and active recovery (ACT) on resting limb blood flow, rectal temperature and repeated cycling performance in the heat. Ten subjects completed two testing sessions separated by 1 week; each trial consisted of an initial all-out 35-min exercise bout, one of two 15-min recovery interventions (randomised: CWI or ACT), followed by a 40-min passive recovery period before repeating the 35-min exercise bout. Performance was measured as the change in total work completed during the exercise bouts. Resting limb blood flow, heart rate, rectal temperature and blood lactate were recorded throughout the testing sessions. There was a significant decline in performance after ACT (mean (SD) −1.81% (1.05%)) compared with CWI where performance remained unchanged (0.10% (0.71%)). Rectal temperature was reduced after CWI (36.8°C (1.0°C)) compared with ACT (38.3°C (0.4°C)), as was blood flow to the arms (CWI 3.64 (1.47) ml/100 ml/min; ACT 16.85 (3.57) ml/100 ml/min) and legs (CW 4.83 (2.49) ml/100 ml/min; ACT 4.83 (2.49) ml/100 ml/min). Leg blood flow at the end of the second exercise bout was not different between the active (15.25 (4.33) ml/100 ml/min) and cold trials (14.99 (4.96) ml/100 ml/min), whereas rectal temperature (CWI 38.1°C (0.3°C); ACT 38.8°C (0.2°C)) and arm blood flow (CWI 20.55 (3.78) ml/100 ml/min; ACT 23.83 (5.32) ml/100 ml/min) remained depressed until the end of the cold trial. These findings indicate that CWI is an effective intervention for maintaining repeat cycling performance in the heat and this performance benefit is associated with alterations in core temperature and limb blood flow.

Muscle, skin and core temperature after −110°C cold air and 8°C water treatment

The aim of this investigation was to elucidate the reductions in muscle, skin and core temperature following exposure to −110°C whole body cryotherapy (WBC), and compare these to 8°C cold water immersion (CWI). Twenty active male subjects were randomly assigned to a 4-min exposure of WBC or CWI. A minimum of 7 days later subjects were exposed to the other treatment. Muscle temperature in the right vastus lateralis (n = 10); thigh skin (average, maximum and minimum) and rectal temperature (n = 10) were recorded before and 60 min after treatment. The greatest reduction (P<0.05) in muscle (mean ± SD; 1 cm: WBC, 1.6±1.2°C; CWI, 2.0±1.0°C; 2 cm: WBC, 1.2±0.7°C; CWI, 1.7±0.9°C; 3 cm: WBC, 1.6±0.6°C; CWI, 1.7±0.5°C) and rectal temperature (WBC, 0.3±0.2°C; CWI, 0.4±0.2°C) were observed 60 min after treatment. The largest reductions in average (WBC, 12.1±1.0°C; CWI, 8.4±0.7°C), minimum (WBC, 13.2±1.4°C; CWI, 8.7±0.7°C) and maximum (WBC, 8.8±2.0°C; CWI, 7.2±1.9°C) skin temperature occurred immediately after both CWI and WBC (P<0.05). Skin temperature was significantly lower (P<0.05) immediately after WBC compared to CWI. The present study demonstrates that a single WBC exposure decreases muscle and core temperature to a similar level of those experienced after CWI. Although both treatments significantly reduced skin temperature, WBC elicited a greater decrease compared to CWI. These data may provide information to clinicians and researchers attempting to optimise WBC and CWI protocols in a clinical or sporting setting.

Characterization of the sulphate mineral amarantite Fe3 2 3+ (SO4)O 7H2O using infrared, Raman spectroscopy and thermogravimetry

The mineral amarantite Fe23+(SO4)O∙7H2O has been studied using a combination of techniques including thermogravimetry, electron probe analyses and vibrational spectroscopy. Thermal analysis shows decomposition steps at 77.63, 192.2, 550 and 641.4°C. The Raman spectrum of amarantite is dominated by an intense band at 1017 cm-1 assigned to the SO42- ν1 symmetric stretching mode. Raman bands at 1039, 1054, 1098, 1131, 1195 and 1233 cm-1 are attributed to the SO42- ν3 antisymmetric stretching modes. Very intense Raman band is observed at 409 cm-1 with shoulder bands at 399, 451 and 491 cm-1 are assigned to the v2 bending modes. A series of low intensity Raman bands are found at 543, 602, 622 and 650 cm-1 are assigned to the v4 bending modes. A very sharp Raman band at 3529 cm-1 is assigned to the stretching vibration of OH units. A series of Raman bands observed at 3025, 3089, 3227, 3340, 3401 and 3480 cm-1 are assigned to water bands. Vibrational spectroscopy enables aspects of the molecular structure of the mineral amarantite to be ascertained.

Models for studying cellular invasion of basement membranes

Invasion of extracellular matrices is crucial to a number of physiological and pathophysiological states, including tumor cell metastasis, arthritis, embryo implantation, wound healing, and early development. To isolate invasion from the additional complexities of these scenarios a number of in vitro invasion assays have been developed over the years. Early studies employed intact tissues, like denuded amniotic membrane (1) or embryonic chick heart fragments (2), however recently, purified matrix components or complex matrix extracts have been used to provide more uniform and often more rapid analyses (for examples, see the following integrin studies). Of course, the more holistic view of invasion offered in the earlier assays is valuable and cannot be fully reproduced in these more rapid assays, but advantages of reproducibility among replicates, ease of preparation and analysis, and overall high throughput favor the newer assays. In this chapter, we will focus on providing detailed protocols for Matrigel-based assays (Matrigel=reconstituted basement membrane; reviewed in ref. (3)). Matrigel is an extract from the transplantable Engelbreth-Holm-Swarm murine sarcoma that deposits a multilammelar basement membrane. Matrigel is available commercially (Becton Dickinson, Bedford, MA), and can be manipulated as a liquid at 4°C into a variety of different formats. Alternatively, cell culture inserts precoated with Matrigel can be purchased for even greater simplicity.

Quantification of gammaH2AX foci in response to ionising radiation

DNA double-strand breaks (DSBs), which are induced by either endogenous metabolic processes or by exogenous sources, are one of the most critical DNA lesions with respect to survival and preservation of genomic integrity. An early response to the induction of DSBs is phosphorylation of the H2A histone variant, H2AX, at the serine-139 residue, in the highly conserved C-terminal SQEY motif, forming gammaH2AX(1). Following induction of DSBs, H2AX is rapidly phosphorylated by the phosphatidyl-inosito 3-kinase (PIKK) family of proteins, ataxia telangiectasia mutated (ATM), DNA-protein kinase catalytic subunit and ATM and RAD3-related (ATR)(2). Typically, only a few base-pairs (bp) are implicated in a DSB, however, there is significant signal amplification, given the importance of chromatin modifications in DNA damage signalling and repair. Phosphorylation of H2AX mediated predominantly by ATM spreads to adjacent areas of chromatin, affecting approximately 0.03% of total cellular H2AX per DSB(2,3). This corresponds to phosphorylation of approximately 2000 H2AX molecules spanning approximately 2 Mbp regions of chromatin surrounding the site of the DSB and results in the formation of discrete gammaH2AX foci which can be easily visualized and quantitated by immunofluorescence microscopy(2). The loss of gammaH2AX at DSB reflects repair, however, there is some controversy as to what defines complete repair of DSBs; it has been proposed that rejoining of both strands of DNA is adequate however, it has also been suggested that re-instatement of the original chromatin state of compaction is necessary(4-8). The disappearence of gammaH2AX involves at least in part, dephosphorylation by phosphatases, phosphatase 2A and phosphatase 4C(5,6). Further, removal of gammaH2AX by redistribution involving histone exchange with H2A.Z has been implicated(7,8). Importantly, the quantitative analysis of gammaH2AX foci has led to a wide range of applications in medical and nuclear research. Here, we demonstrate the most commonly used immunofluorescence method for evaluation of initial DNA damage by detection and quantitation of gammaH2AX foci in gamma-irradiated adherent human keratinocytes(9)

An autonomous mobile manipulator for collecting sample containers

In this work we present an autonomous mobile ma- nipulator that is used to collect sample containers in an unknown environment. The manipulator is part of a team of heterogeneous mobile robots that are to search and identify sample containers in an unknown environment. A map of the environment along with possible positions of sample containers are shared between the robots in the team by using a cloud-based communication interface. To grasp a container with its manipulator arm the robot has to place itself in a position suitable for the manipulation task. This optimal base placement pose is selected by querying a precomputed inverse reachability database.