Sensitivity to switching rates in stochastically switched ODEs

We consider a stochastic process driven by a linear ordinary differential equation whose right-hand side switches at exponential times between a collection of different matrices. We construct planar examples that switch between two matrices where the individual matrices and the average of the two matrices are all Hurwitz (all eigenvalues have strictly negative real part), but nonetheless the process goes to infinity at large time for certain values of the switching rate. We further construct examples in higher dimensions where again the two individual matrices and their averages are all Hurwitz, but the process has arbitrarily many transitions between going to zero and going to infinity at large time as the switching rate varies. In order to construct these examples, we first prove in general that if each of the individual matrices is Hurwitz, then the process goes to zero at large time for sufficiently slow switching rate and if the average matrix is Hurwitz, then the process goes to zero at large time for sufficiently fast switching rate. We also give simple conditions that ensure the process goes to zero at large time for all switching rates. © 2014 International Press.

Snap-shot multispectral imaging of vascular dynamics in a mouse window-chamber model.

Understanding tumor vascular dynamics through parameters such as blood flow and oxygenation can yield insight into tumor biology and therapeutic response. Hyperspectral microscopy enables optical detection of hemoglobin saturation or blood velocity by either acquiring multiple images that are spectrally distinct or by rapid acquisition at a single wavelength over time. However, the serial acquisition of spectral images over time prevents the ability to monitor rapid changes in vascular dynamics and cannot monitor concurrent changes in oxygenation and flow rate. Here, we introduce snap shot-multispectral imaging (SS-MSI) for use in imaging the microvasculature in mouse dorsal-window chambers. By spatially multiplexing spectral information into a single-image capture, simultaneous acquisition of dynamic hemoglobin saturation and blood flow over time is achieved down to the capillary level and provides an improved optical tool for monitoring rapid in vivo vascular dynamics.

When Working Memory and Attention Compete: Characterizing the Dynamic Interdependence between our Mental Workspace and External Environment

All of us are taxed with juggling our inner mental lives with immediate external task demands. For many years, the temporary maintenance of internal information was considered to be handled by a dedicated working memory (WM) system. It has recently become increasingly clear, however, that such short-term internal activation interacts with attention focused on external stimuli. It is unclear, however, exactly why these two interact, at what level of processing, and to what degree. Because our internal maintenance and external attention processes co-occur with one another, the manner of their interaction has vast implications for functioning in daily life. The work described here has employed original experimental paradigms combining WM and attention task elements, functional magnetic resonance imaging (fMRI) to illuminate the associated neural processes, and transcranial magnetic stimulation (TMS) to clarify the causal substrates of attentional brain function. These studies have examined a mechanism that might explain why (and when) the content of WM can involuntarily capture visual attention. They have, furthermore, tested whether fundamental attentional selection processes operate within WM, and whether they are reciprocal with attention. Finally, they have illuminated the neural consequences of competing attentional demands. The findings indicate that WM shares representations, operating principles, and cognitive resources with externally-oriented attention.

Safety-critical medical device development using the UPP2SF model translation tool

Software-based control of life-critical embedded systems has become increasingly complex, and to a large extent has come to determine the safety of the human being. For example, implantable cardiac pacemakers have over 80,000 lines of code which are responsible for maintaining the heart within safe operating limits. As firmware-related recalls accounted for over 41% of the 600,000 devices recalled in the last decade, there is a need for rigorous model-driven design tools to generate verified code from verified software models. To this effect, we have developed the UPP2SF model-translation tool, which facilitates automatic conversion of verified models (in UPPAAL) to models that may be simulated and tested (in Simulink/Stateflow). We describe the translation rules that ensure correct model conversion, applicable to a large class of models. We demonstrate how UPP2SF is used in themodel-driven design of a pacemaker whosemodel is (a) designed and verified in UPPAAL (using timed automata), (b) automatically translated to Stateflow for simulation-based testing, and then (c) automatically generated into modular code for hardware-level integration testing of timing-related errors. In addition, we show how UPP2SF may be used for worst-case execution time estimation early in the design stage. Using UPP2SF, we demonstrate the value of integrated end-to-end modeling, verification, code-generation and testing process for complex software-controlled embedded systems. © 2014 ACM.

Geochemical and isotopic evidence for seawater contamination of the hydrothermal system of Taal volcano, Luzon, the Philippines

The hydrologic structure of Taal Volcano has favored development of an extensive hydrothermal system whose prominent feature is the acidic Main Crater Lake (pH<3) lying in the center of an active vent complex, which is surrounded by a slightly alkaline caldera lake (Lake Taal). This peculiar situation makes Taal prone to frequent, and sometimes catastrophic, hydrovolcanic eruptions. Fumaroles, hot springs, and lake waters were sampled in 1991, 1992, and 1995 in order to develop a geochemical model for the hydrothermal system. The low-temperature fumarole compositions indicate strong interaction of magmatic vapors with the hydrothermal system under relatively oxidizing conditions. The thermal waters consist of highly, moderately, and weakly mineralized solutions, but none of them corresponds to either water-rock equilibrium or rock dissolution. The concentrated discharges have high Na contents (>3500 mg/kg) and low SO4/Cl ratios (<0.3). The Br/Cl ratio of most samples suggests incorporation of seawater into the hydrothermal system. Water and dissolved sulfate isotopic compositions reveal that the Main Crater Lake and spring discharges are derived from a deep parent fluid (T≃300°C), which is a mixture of seawater, volcanic water, and Lake Taal water. The volcanic end member is probably produced in the magmatic-hydrothermal environment during absorption of high-temperature gases into groundwater. Boiling and mixing of the parent water give rise to the range of chemical and isotopic characteristics observed in the thermal discharges. Incursion of seawater from the coastal region to the central part of the volcano is supported by the low water levels of the lakes and by the fact that Lake Taal was directly connected to the China sea until the sixteenth century. The depth to the seawater-meteoric water interface is calculated to be 80 and 160 m for the Main Crater Lake and Lake Taal, respectively. Additional data are required to infer the hydrologic structure of Taal. Geochemical surveillance of the Main Crater Lake using the SO4/Cl, Na/K, or Mg/Cl ratio cannot be applied straightforwardly due to the presence of seawater in the hydrothermal system.

Volcanic Gas Workshop Features State-of-the-Art Measurement Techniques

info:eu-repo/semantics/published

RuhrCampusOnline: Hochschulübergreifendes E-Learning in der Universitätsallianz Metropole Ruhr

Das Projekt RuhrCampusOnline zielt darauf ab, hochschulübergreifende Lehre für die Partnerhochschulen der Universitätsallianz Metropole Ruhr (UAMR) auf der Basis von Blended-Learning-Arrangements zu implementieren. Der Beitrag stellt die strategische Bedeutung dieses Vorhabens für die Universitäten im Ruhrgebiet dar und beschreibt die Organisation und Vorgehensweise im Projekt. Ziel ist es, einen Pool von Kursen zu implementieren, die einen hohen Online-Anteil haben, und von Studierenden hochschulübergreifend genutzt werden. Über die Internet-Plattform RCO werden diese Kurse sichtbar gemacht, das Belegen der Veranstaltung realisiert und der Austausch von Leistungspunkten unterstützt. Der Beitrag stellt erste Erfahrungen nach einem Jahr Projektlaufzeit vor. (DIPF/ Orig.)

Towards Data Management Planning Support for Research Data

Görzig, H., Engel, F., Brocks, H., Vogel, T. & Hemmje, M. (2015, August). Towards Data Management Planning Support for Research Data. Paper presented at the ASE International Conference on Data Science, Stanford, United States of America.

A Competence-Based Course Authoring Concept for Learning Platforms with Legacy Assignment Tools

This paper is concerned with several of the most important aspects of Competence-Based Learning (CBL): course authoring, assignments, and categorization of learning content. The latter is part of the so-called Bologna Process (BP) and can effectively be supported by integrating knowledge resources like, e.g., standardized skill and competence taxonomies into the target implementation approach, aiming at making effective use of an open integration architecture while fostering the interoperability of hybrid knowledge-based e-learning solutions. Modern scenarios ask for interoperable software solutions to seamlessly integrate existing e-learning infrastructures and legacy tools with innovative technologies while being cognitively efficient to handle. In this way, prospective users are enabled to use them without learning overheads. At the same time, methods of Learning Design (LD) in combination with CBL are getting more and more important for production and maintenance of easy to facilitate solutions. We present our approach of developing a competence-based course-authoring and assignment support software. It is bridging the gaps between contemporary Learning Management Systems (LMS) and established legacy learning infrastructures by embedding existing resources via Learning Tools Interoperability (LTI). Furthermore, the underlying conceptual architecture for this integration approach will be explained. In addition, a competence management structure based on knowledge technologies supporting standardized skill and competence taxonomies will be introduced. The overall goal is to develop a software solution which will not only flawlessly merge into a legacy platform and several other learning environments, but also remain intuitively usable. As a proof of concept, the so-called platform independent conceptual architecture model will be validated by a concrete use case scenario.

Major genetic marker of nidoviruses encodes a replicative endoribonuclease

Coronaviruses are important pathogens that cause acute respiratory diseases in humans. Replication of the 30-kb positive-strand RNA genome of coronaviruses and discontinuous synthesis of an extensive set of subgenome-length RNAs (transcription) are mediated by the replicase-transcriptase, a barely characterized protein complex that comprises several cellular proteins and up to 16 viral subunits. The coronavirus replicase-transcriptase was recently predicted to contain RNA-processing enzymes that are extremely rare or absent in other RNA viruses. Here, we established and characterized the activity of one of these enzymes, replicative nidoviral uridylate-specific endoribonuclease (NendoU). It is considered a major genetic marker that discriminates nidoviruses (Coronaviridae, Arteriviridae, and Roniviridae) from all other RNA virus families. Bacterially expressed forms of NendoU of severe acute respiratory syndrome coronavirus and human coronavirus 229E were revealed to cleave single-stranded and double-stranded RNA in a Mn2+-dependent manner. Single-stranded RNA was cleaved less specifically and effectively, suggesting that double-stranded RNA is the biologically relevant NendoU substrate. Double-stranded RNA substrates were cleaved upstream and downstream of uridylates at GUU or GU sequences to produce molecules with 2'-3' cyclic phosphate ends. 2'-O-ribose-methylated RNA substrates proved to be resistant to cleavage by NendoU, indicating a functional link with the 2'-O-ribose methyltransferase located adjacent to NendoU in the coronavirus replicative polyprotein. A mutagenesis study verified potential active-site residues and allowed us to inactivate NendoU in the full-length human coronavirus 229E clone. Substitution of D6408 by Ala was shown to abolish viral RNA synthesis, demonstrating that NendoU has critical functions in viral replication and transcription.

Discovery of an RNA virus 3'->5' exoribonuclease that is critically involved in coronavirus RNA synthesis

Replication of the giant RNA genome of severe acute respiratory syndrome (SARS) coronavirus (CoV) and synthesis of as many as eight subgenomic (sg) mRNAs are mediated by a viral replicase-transcriptase of outstanding complexity that includes an essential endoribonuclease activity. Here, we show that the CoV replicative machinery, unlike that of other RNA viruses, also uses an exoribonuclease (ExoN) activity, which is associated with nonstructural protein (nsp) 14. Bacterially expressed forms of SARS-CoV nsp14 were shown to act on both ssRNAs and dsRNAs in a 3'5' direction. The activity depended on residues that are conserved in the DEDD exonuclease superfamily. The protein did not hydrolyze DNA or ribose-2'-O-methylated RNA substrates and required divalent metal ions for activity. A range of 5'-labeled ssRNA substrates were processed to final products of 8–12 nucleotides. When part of dsRNA or in the presence of nonlabeled dsRNA, the 5'-labeled RNA substrates were processed to significantly smaller products, indicating that binding to dsRNA in cis or trans modulates the exonucleolytic activity of nsp14. Characterization of human CoV 229E ExoN active-site mutants revealed severe defects in viral RNA synthesis, and no viable virus could be recovered. Besides strongly reduced genome replication, specific defects in sg RNA synthesis, such as aberrant sizes of specific sg RNAs and changes in the molar ratios between individual sg RNA species, were observed. Taken together, the study identifies an RNA virus ExoN activity that is involved in the synthesis of multiple RNAs from the exceptionally large genomic RNA templates of CoVs.