Interactive formal specification for efficient preparation of intelligent automation systems

The automation system of the future will consist of an increasing amount of complex resources, such as collaborative robots and/or autonomously roaming robots for material handling. To control these devices in an environment shared with human operators require state of the art computer perception and motion planning algorithms to be used as part of the automation system. This new type of intelligent automation system, where intelligent machines and learning algorithms are replacing more traditional automation solutions, requires new methods and workflows to keep up with the increase in complexity. This paper presents an interactive and iterative framework for solving some of these new challenges. The framework supports model-based control system preparation performed simultaneously to preparation of 3D geometries, positioning of robots, and tool design. The workflow enables an interactive preparation process, where new resources and constraints can be added to a live (real or simulated) automation system and control system failures can be analyzed in familiar tools for virtual preparation. Additionally, the paper describes how the integrated preparation process was applied to reconfiguring an industrial use case that includes a collaborative robot working side by side with a human operator, smart tools, and a vision system for localizing both work objects and tools

Does using a femoral nerve block for total knee replacement decrease postoperative delirium?

<p>Abstract</p> <p>Background</p> <p>The effect of peripheral nerve blocks on postoperative delirium in older patients has not been studied. Peripheral nerve blocks may reduce the incidence of postoperative opioid use and its side effects such as delirium via opioid-sparing effect.</p> <p>Methods</p> <p>A prospective cohort study was conducted in patients who underwent total knee replacement. Baseline cognitive function was assessed using the Telephone Interview for Cognitive Status. Postoperative delirium was measured using the Confusion Assessment Method postoperatively. Incidence of postoperative delirium was compared in two postoperative management groups: femoral nerve block ± patient-controlled analgesia and patient-controlled analgesia only. In addition, pain levels (using numeric rating scales) and opioid use were compared in two groups.</p> <p>Results</p> <p>85 patients were studied. The overall incidence of postoperative delirium either on postoperative day one or day two was 48.1%. Incidence of postoperative delirium in the femoral nerve block group was lower than patient controlled analgesia only group (25% vs. 61%, <it>P </it>= 0.002). However, there was no significant difference between the groups with respect to postoperative pain level or the amount of intravenous opioid use.</p> <p>Conclusions</p> <p>Femoral nerve block reduces the incidence of postoperative delirium. These results suggest that a larger randomized control trial is necessary to confirm these preliminary findings.</p

Concert recording 2018-09-25

[Track 1]. The Holberg suite, op. 40. I. Praeludium (Allegro vivace) II. Sarabande (Andante) III. Gavotte (Allegretto) IV. Air (Andante religioso) V. Rigaudon (Allegro con brio) / Edvard Grieg -- [Track 2]. Serenade for strings in C major, op. 48. I. Pezzo in forma di sonatina (Andante non troppo - Allegro moderato) II. Valse (Moderato - Tempo di valse) III. Elegie (Larghetto elegiaco) IV. Finale (Tema russo) (Andante - Allegro con spirito) / Pyotr Tchaikovsky

A Small Conductance Calcium-Activated K⁺ Channel in C. elegans, KCNL-2, Plays a Role in the Regulation of the Rate of Egg-Laying

In the nervous system of mice, small conductance calcium-activated potassium (SK) channels function to regulate neuronal excitability through the generation of a component of the medium afterhyperpolarization that follows action potentials. In humans, irregular action potential firing frequency underlies diseases such as ataxia, epilepsy, schizophrenia and Parkinson's disease. Due to the complexity of studying protein function in the mammalian nervous system, we sought to characterize an SK channel homologue, KCNL-2, in C. elegans, a genetically tractable system in which the lineage of individual neurons was mapped from their early developmental stages. Sequence analysis of the KCNL-2 protein reveals that the six transmembrane domains, the potassium-selective pore and the calmodulin binding domain are highly conserved with the mammalian homologues. We used widefield and confocal fluorescent imaging to show that a fusion construct of KCNL-2 with GFP in transgenic lines is expressed in the nervous system of C. elegans. We also show that a KCNL-2 null strain, kcnl-2(tm1885), demonstrates a mild egg-laying defective phenotype, a phenotype that is rescued in a KCNL-2-dependent manner. Conversely, we show that transgenic lines that overexpress KCNL-2 demonstrate a hyperactive egg-laying phenotype. In this study, we show that the vulva of transgenic hermaphrodites is highly innervated by neuronal processes and by the VC4 and VC5 neurons that express GFP-tagged KCNL-2. We propose that KCNL-2 functions in the nervous system of C. elegans to regulate the rate of egg-laying. © 2013 Chotoo et al

Low pH immobilizes and kills human leukocytes and prevents transmission of cell-associated HIV in a mouse model

BACKGROUND: Both cell-associated and cell-free HIV virions are present in semen and cervical secretions of HIV-infected individuals. Thus, topical microbicides may need to inactivate both cell-associated and cell-free HIV to prevent sexual transmission of HIV/AIDS. To determine if the mild acidity of the healthy vagina and acid buffering microbicides would prevent transmission by HIV-infected leukocytes, we measured the effect of pH on leukocyte motility, viability and intracellular pH and tested the ability of an acidic buffering microbicide (BufferGel(®)) to prevent the transmission of cell-associated HIV in a HuPBL-SCID mouse model. METHODS: Human lymphocyte, monocyte, and macrophage motilities were measured as a function of time and pH using various acidifying agents. Lymphocyte and macrophage motilities were measured using video microscopy. Monocyte motility was measured using video microscopy and chemotactic chambers. Peripheral blood mononuclear cell (PBMC) viability and intracellular pH were determined as a function of time and pH using fluorescent dyes. HuPBL-SCID mice were pretreated with BufferGel, saline, or a control gel and challenged with HIV-1-infected human PBMCs. RESULTS: Progressive motility was completely abolished in all cell types between pH 5.5 and 6.0. Concomitantly, at and below pH 5.5, the intracellular pH of PBMCs dropped precipitously to match the extracellular medium and did not recover. After acidification with hydrochloric acid to pH 4.5 for 60 min, although completely immotile, 58% of PBMCs excluded ethidium homodimer-1 (dead-cell dye). In contrast, when acidified to this pH with BufferGel, a microbicide designed to maintain vaginal acidity in the presence of semen, only 4% excluded dye at 10 min and none excluded dye after 30 min. BufferGel significantly reduced transmission of HIV-1 in HuPBL-SCID mice (1 of 12 infected) compared to saline (12 of 12 infected) and a control gel (5 of 7 infected). CONCLUSION: These results suggest that physiologic or microbicide-induced acid immobilization and killing of infected white blood cells may be effective in preventing sexual transmission of cell-associated HIV

Potentiation of thrombus instability: a contributory mechanism to the effectiveness of antithrombotic medications

© The Author(s) 2018The stability of an arterial thrombus, determined by its structure and ability to resist endogenous fibrinolysis, is a major determinant of the extent of infarction that results from coronary or cerebrovascular thrombosis. There is ample evidence from both laboratory and clinical studies to suggest that in addition to inhibiting platelet aggregation, antithrombotic medications have shear-dependent effects, potentiating thrombus fragility and/or enhancing endogenous fibrinolysis. Such shear-dependent effects, potentiating the fragility of the growing thrombus and/or enhancing endogenous thrombolytic activity, likely contribute to the clinical effectiveness of such medications. It is not clear how much these effects relate to the measured inhibition of platelet aggregation in response to specific agonists. These effects are observable only with techniques that subject the growing thrombus to arterial flow and shear conditions. The effects of antithrombotic medications on thrombus stability and ways of assessing this are reviewed herein, and it is proposed that thrombus stability could become a new target for pharmacological intervention.Peer reviewedFinal Published versio

Big-Data-Driven Materials Science and its FAIR Data Infrastructure

This chapter addresses the forth paradigm of materials research -- big-data driven materials science. Its concepts and state-of-the-art are described, and its challenges and chances are discussed. For furthering the field, Open Data and an all-embracing sharing, an efficient data infrastructure, and the rich ecosystem of computer codes used in the community are of critical importance. For shaping this forth paradigm and contributing to the development or discovery of improved and novel materials, data must be what is now called FAIR -- Findable, Accessible, Interoperable and Re-purposable/Re-usable. This sets the stage for advances of methods from artificial intelligence that operate on large data sets to find trends and patterns that cannot be obtained from individual calculations and not even directly from high-throughput studies. Recent progress is reviewed and demonstrated, and the chapter is concluded by a forward-looking perspective, addressing important not yet solved challenges.Comment: submitted to the Handbook of Materials Modeling (eds. S. Yip and W. Andreoni), Springer 2018/201

Building social capital through breastfeeding peer support: Insights from an evaluation of a voluntary breastfeeding peer support service in North-West England

Background: Peer support is reported to be a key method to help build social capital in communities. To date there are no studies that describe how this can be achieved through a breastfeeding peer support service. In this paper we present findings from an evaluation of a voluntary model of breastfeeding peer support in North-West England to describe how the service was operationalized and embedded into the community. This study was undertaken from May, 2012 to May, 2013. Methods: Interviews (group or individual) were held with 87 participants: 24 breastfeeding women, 13 peer supporters and 50 health and community professionals. The data contained within 23 monthly monitoring reports (January, 2011 to February 2013) compiled by the voluntary peer support service were also extracted and analysed. Results: Thematic analysis was undertaken using social capital concepts as a theoretical lens. Key findings were identified to resonate with ’bonding’, ‘bridging’ and ‘linking’ forms of social capital. These insights illuminate how the peer support service facilitates ‘bonds’ with its members, and within and between women who access the service; how the service ‘bridges’ with individuals from different interests and backgrounds, and how ‘links’ were forged with those in authority to gain access and reach to women and to promote a breastfeeding culture. Some of the tensions highlighted within the social capital literature were also identified. Conclusions: Horizontal and vertical relationships forged between the peer support service and community members enabled peer support to be embedded into care pathways, helped to promote positive attitudes to breastfeeding and to disseminate knowledge and maximise reach for breastfeeding support across the community. Further effort to engage with those of different ethnic backgrounds and to resolve tensions between peer supporters and health professionals is warranted

The Escherichia coli transcriptome mostly consists of independently regulated modules

Underlying cellular responses is a transcriptional regulatory network (TRN) that modulates gene expression. A useful description of the TRN would decompose the transcriptome into targeted effects of individual transcriptional regulators. Here, we apply unsupervised machine learning to a diverse compendium of over 250 high-quality Escherichia coli RNA-seq datasets to identify 92 statistically independent signals that modulate the expression of specific gene sets. We show that 61 of these transcriptomic signals represent the effects of currently characterized transcriptional regulators. Condition-specific activation of signals is validated by exposure of E. coli to new environmental conditions. The resulting decomposition of the transcriptome provides: a mechanistic, systems-level, network-based explanation of responses to environmental and genetic perturbations; a guide to gene and regulator function discovery; and a basis for characterizing transcriptomic differences in multiple strains. Taken together, our results show that signal summation describes the composition of a model prokaryotic transcriptome