A Reo model of Software Defined Networks

Reo is a compositional coordination language for component connectors with a formal semantics based on automata. In this paper, we propose a formal model of software defined networks (SDNs) based on Reo where declarative constructs comprising of basic Reo primitives compose to specify descriptive models of both data and control planes of SDNs. We first describe the model of an SDN switch which can be compactly represented as a single state constraint automaton with a memory storing its flow table. A full network can then be compositionally constructed by composing the switches with basic communication channels. The reactive and proactive behaviour of the controllers in the control plane of an SDN can also be modelled by Reo connectors, which can compose the connectors representing data plane. The resulting model is suitable for testing, simulation, visualization, verification, and ultimately compilation into SDN switch code using the standard tools already available for Reo

Compounds from Silicones Alter Enzyme Activity in Curing Barnacle Glue and Model Enzymes

Background: Attachment strength of fouling organisms on silicone coatings is low. We hypothesized that low attachment strength on silicones is, in part, due to the interaction of surface available components with natural glues. Components could alter curing of glues through bulk changes or specifically through altered enzyme activity. Methodology/Principal Findings: GC-MS analysis of silicone coatings showed surface-available siloxanes when the coatings were gently rubbed with a cotton swab for 15 seconds or given a 30 second rinse with methanol. Mixtures of compounds were found on 2 commercial and 8 model silicone coatings. The hypothesis that silicone components alter glue curing enzymes was tested with curing barnacle glue and with commercial enzymes. In our model, barnacle glue curing involves trypsin-like serine protease(s), which activate enzymes and structural proteins, and a transglutaminase which cross-links glue proteins. Transglutaminase activity was significantly altered upon exposure of curing glue from individual barnacles to silicone eluates. Activity of purified trypsin and, to a greater extent, transglutaminase was significantly altered by relevant concentrations of silicone polymer constituents. Conclusions/Significance: Surface-associated silicone compounds can disrupt glue curing and alter enzyme properties

Approximation Techniques for Stochastic Analysis of Biological Systems

There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrated significant potential in analyzing the intrinsic probabilistic behaviors of complex genetic circuit designs. However, its inability to scale limits its applicability in practice. This chapter addresses the scalability problem by presenting a state-space approximation method to remove unlikely states resulting in a reduced, finite state representation of the infinite-state continuous-time Markov chain that is amenable to probabilistic model checking. The proposed method is evaluated on a design of a genetic toggle switch. Comparisons with another state-of-art tool demonstrates both accuracy and efficiency of the presented method

Inhibitors of inflammation and endogenous surfactant pool size as modulators of lung injury with initiation of ventilation in preterm sheep

<p>Abstract</p> <p>Background</p> <p>Increased pro-inflammatory cytokines in tracheal aspirates correlate with the development of BPD in preterm infants. Ventilation of preterm lambs increases pro-inflammatory cytokines and causes lung inflammation.</p> <p>Objective</p> <p>We tested the hypothesis that selective inhibitors of pro-inflammatory signaling would decrease lung inflammation induced by ventilation in preterm newborn lambs. We also examined if the variability in injury response was explained by variations in the endogenous surfactant pool size.</p> <p>Methods</p> <p>Date-mated preterm lambs (n = 28) were operatively delivered and mechanically ventilated to cause lung injury (tidal volume escalation to 15 mL/kg by 15 min at age). The lambs then were ventilated with 8 mL/kg tidal volume for 1 h 45 min. Groups of animals randomly received specific inhibitors for IL-8, IL-1, or NF-κB. Unventilated lambs (n = 7) were the controls. Bronchoalveolar lavage fluid (BALF) and lung samples were used to quantify inflammation. Saturated phosphatidylcholine (Sat PC) was measured in BALF fluid and the data were stratified based on a level of 5 μmol/kg (~8 mg/kg surfactant).</p> <p>Results</p> <p>The inhibitors did not decrease the cytokine levels or inflammatory response. The inflammation increased as Sat PC pool size in BALF decreased. Ventilated lambs with a Sat PC level > 5 μmol/kg had significantly decreased markers of injury and lung inflammation compared with those lambs with < 5 μmol/kg.</p> <p>Conclusion</p> <p>Lung injury caused by high tidal volumes at birth were decreased when endogenous surfactant pool sizes were larger. Attempts to decrease inflammation by blocking IL-8, IL-1 or NF-κB were unsuccessful.</p

A Cholinergic-Regulated Circuit Coordinates the Maintenance and Bi-Stable States of a Sensory-Motor Behavior during Caenorhabditis elegans Male Copulation

Penetration of a male copulatory organ into a suitable mate is a conserved and necessary behavioral step for most terrestrial matings; however, the detailed molecular and cellular mechanisms for this distinct social interaction have not been elucidated in any animal. During mating, the Caenorhabditis elegans male cloaca is maintained over the hermaphrodite's vulva as he attempts to insert his copulatory spicules. Rhythmic spicule thrusts cease when insertion is sensed. Circuit components consisting of sensory/motor neurons and sex muscles for these steps have been previously identified, but it was unclear how their outputs are integrated to generate a coordinated behavior pattern. Here, we show that cholinergic signaling between the cloacal sensory/motor neurons and the posterior sex muscles sustains genital contact between the sexes. Simultaneously, via gap junctions, signaling from these muscles is transmitted to the spicule muscles, thus coupling repeated spicule thrusts with vulval contact. To transit from rhythmic to sustained muscle contraction during penetration, the SPC sensory-motor neurons integrate the signal of spicule's position in the vulva with inputs from the hook and cloacal sensilla. The UNC-103 K+ channel maintains a high excitability threshold in the circuit, so that sustained spicule muscle contraction is not stimulated by fewer inputs. We demonstrate that coordination of sensory inputs and motor outputs used to initiate, maintain, self-monitor, and complete an innate behavior is accomplished via the coupling of a few circuit components

The Transcriptional Landscape of the Photosynthetic Model Cyanobacterium Synechocystis sp. PCC6803.

Cyanobacteria exhibit a great capacity to adapt to different environmental conditions through changes in gene expression. Although this plasticity has been extensively studied in the model cyanobacterium Synechocystis sp. PCC 6803, a detailed analysis of the coordinated transcriptional adaption across varying conditions is lacking. Here, we report a meta-analysis of 756 individual microarray measurements conducted in 37 independent studies-the most comprehensive study of the Synechocystis transcriptome to date. Using stringent statistical evaluation, we characterized the coordinated adaptation of Synechocystis' gene expression on systems level. Evaluation of the data revealed that the photosynthetic apparatus is subjected to greater changes in expression than other cellular components. Nevertheless, network analyses indicated a significant degree of transcriptional coordination of photosynthesis and various metabolic processes, and revealed the tight co-regulation of components of photosystems I, II and phycobilisomes. Detailed inspection of the integrated data led to the discovery a variety of regulatory patterns and novel putative photosynthetic genes. Intriguingly, global clustering analyses suggested contrasting transcriptional response of metabolic and regulatory genes stress to conditions. The integrated Synechocystis transcriptome can be accessed and interactively analyzed via the CyanoEXpress website (http://cyanoexpress.sysbiolab.eu)

Preserved emotional awareness of pain in a patient with extensive bilateral damage to the insula, anterior cingulate, and amygdala

Functional neuroimaging investigations of pain have discovered a reliable pattern of activation within limbic regions of a putative "pain matrix" that has been theorized to reflect the affective dimension of pain. To test this theory, we evaluated the experience of pain in a rare neurological patient with extensive bilateral lesions encompassing core limbic structures of the pain matrix, including the insula, anterior cingulate, and amygdala. Despite widespread damage to these regions, the patient's expression and experience of pain was intact, and at times excessive in nature. This finding was consistent across multiple pain measures including self-report, facial expression, vocalization, withdrawal reaction, and autonomic response. These results challenge the notion of a "pain matrix" and provide direct evidence that the insula, anterior cingulate, and amygdala are not necessary for feeling the suffering inherent to pain. The patient's heightened degree of pain affect further suggests that these regions may be more important for the regulation of pain rather than providing the decisive substrate for pain's conscious experience

A Second-Generation Device for Automated Training and Quantitative Behavior Analyses of Molecularly-Tractable Model Organisms

A deep understanding of cognitive processes requires functional, quantitative analyses of the steps leading from genetics and the development of nervous system structure to behavior. Molecularly-tractable model systems such as Xenopus laevis and planaria offer an unprecedented opportunity to dissect the mechanisms determining the complex structure of the brain and CNS. A standardized platform that facilitated quantitative analysis of behavior would make a significant impact on evolutionary ethology, neuropharmacology, and cognitive science. While some animal tracking systems exist, the available systems do not allow automated training (feedback to individual subjects in real time, which is necessary for operant conditioning assays). The lack of standardization in the field, and the numerous technical challenges that face the development of a versatile system with the necessary capabilities, comprise a significant barrier keeping molecular developmental biology labs from integrating behavior analysis endpoints into their pharmacological and genetic perturbations. Here we report the development of a second-generation system that is a highly flexible, powerful machine vision and environmental control platform. In order to enable multidisciplinary studies aimed at understanding the roles of genes in brain function and behavior, and aid other laboratories that do not have the facilities to undergo complex engineering development, we describe the device and the problems that it overcomes. We also present sample data using frog tadpoles and flatworms to illustrate its use. Having solved significant engineering challenges in its construction, the resulting design is a relatively inexpensive instrument of wide relevance for several fields, and will accelerate interdisciplinary discovery in pharmacology, neurobiology, regenerative medicine, and cognitive science