The scope of this paper is collaborative, distributed safety critical systems which build up a larger scale system of systems (SoS). Systems in this context are independently designed and can operate autonomously following both global SoS goals and individual goals. A major aspect of SoSs is the evolution over time, i.e. the change of its architecture as a result of changes in the context of th...

The SOS (save our soul) response induced by DNA damage in bacteria E coli has raised a great interests in biophysics and has been extensively studied. Previously we have developed a stochastic simulation model to explain the oscillatory-like modulation of SOS gene expression observed in experiment. Here we present an improved semi-stochastic model which has higher simulation efficiency, taking ...

Recent advances in Sensor Web geospatial data capture, such as high-resolution in satellite imagery and Web-ready data processing and modeling technologies, have led to the generation of large numbers of datasets from real-time or near real-time observations and measurements. Finding which sensor or data complies with criteria such as specific times, locations, and scales has become a bottlenec...

The present paper deals with the blind separation of multiple convolved colored signals, that is, the blind deconvolution of an Multiple-Input Multiple-Output Finite Impulse Response (MIMO-FIR) system. To deal with the blind deconvolution problem using the secondorder statistics (SOS) of the outputs, Hua and Tugnait [3] considered it under the conditions that a) the FIR system is irreducible an...

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational semantics (SOS). An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this paper, bialgebraic semantics is c...

BACKGROUND The nervous functions of an organism are primarily reflected in the behavior it is capable of. Measuring behavior quantitatively, at high-resolution and in an automated fashion provides valuable information about the underlying neural circuit computation. Accordingly, computer-vision applications for animal tracking are becoming a key complementary toolkit to genetic, molecular and e...

The bacterial SOS response is essential for the maintenance of genomes, and also modulates antibiotic resistance and controls multidrug tolerance in subpopulations of cells known as persisters. In Escherichia coli, the SOS system is controlled by the interplay of the dimeric LexA transcriptional repressor with an inducer, the active RecA filament, which forms at sites of DNA damage and activate...

Induction of the Escherichia coli SOS system increases the ability of the cells to perform DNA repair and mutagenesis. Previous work has shown that this increased mutagenesis is the result of derepression of specific genes through a complex regulatory mechanism controlled by LexA and RecA proteins. One role of RecA protein in this process is to facilitate proteolytic cleavage of LexA protein (t...

This paper presents some concepts, principles, and techniques for automated testing of real-time reactive software systems based on attributed event grammar (AEG) modeling of the environment in which a system will operate. AEG provides a uniform approach for automatic test generation, execution, and analysis. Quantitative and qualitative assessment of the system comprised of the software under ...

Modular SOS (MSOS) is a simple variant of conventional Structural Operational Semantics (SOS). Using MSOS, the transition rules for each construct of a programming language can be given definitively, once and for all, and never need reformulation when further constructs are added to the language. MSOS thus provides an exceptionally high degree of modularity in language descriptions, thereby rem...