Modelling and analysis of bacterial tracks suggest an active reorientation mechanism in Rhodobacter sphaeroides

Most free-swimming bacteria move in approximately straight lines, interspersed with random reorientation phases. A key open question concerns varying mechanisms by which reorientation occurs. We combine mathematical modelling with analysis of a large tracking dataset to study the poorly understood reorientation mechanism in the monoflagellate species Rhodobacter sphaeroides. The flagellum on this species rotates counterclockwise to propel the bacterium, periodically ceasing rotation to enable reorientation. When rotation restarts the cell body usually points in a new direction. It has been assumed that the new direction is simply the result of Brownian rotation. We consider three variants of a self-propelled particle model of bacterial motility. The first considers rotational diffusion only, corresponding to a non-chemotactic mutant strain. Two further models incorporate stochastic reorientations, describing ‘run-and-tumble’ motility. We derive expressions for key summary statistics and simulate each model using a stochastic computational algorithm. We also discuss the effect of cell geometry on rotational diffusion. Working with a previously published tracking dataset, we compare predictions of the models with data on individual stopping events in R. sphaeroides. This provides strong evidence that this species undergoes some form of active reorientation rather than simple reorientation by Brownian rotation.     

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency.     

The fracture process in quasi‐brittle materials simulated using a lattice dynamical model

The damage process in quasi‐brittle materials is characterized by the evolution of a micro‐crack field, followed by the joining of micro‐cracks, stress localization and crack instability. In network models, masses are lumped at nodal points which are interconnected by one‐dimensional elements with a bilinear constitutive relation, considering the energy consistency during the simulated process. In order to replicate the material imperfections, to render a realistic behaviour in damage localization, the model has not only random elastic and rupture properties, but also a geometric perturbation. In the present paper 2D plates with different levels of brittleness are simulated. The numerical results are presented in terms of global stress vs strain diagram, final network configuration, energy balance during the process and as geometric damage evolution. Therefore, the predictive potential of the lattice discrete element model to capture fracture processes in quasi‐brittle materials is demonstrated.     

Dynamic workflow analysis in a multiuser task context

With the ongoing development of computer‐mediated collaboration environments, computer‐supported collaborative work (CSCW) systems are at hand. An emerging theme is the treatment of dynamic groups. The interest in this article is in the automated construction of dynamic policies for workflow situations in cooperative environments. The system described in this article operates on the events that are recorded in solving workflow problems. These are analyzed in order to derive policies that may be used to guide future cooperative activities.     

Survey of 1012 moldy dwellings by culture fungal analysis: Threshold proposal for asthmatic patient management

Different countries have tried to define guidelines to quantify what levels of fungi are considered as inappropriate for housing. This retrospective study analyzes indoor fungi by cultures of airborne samples from 1012 dwellings. Altogether, 908 patients suffering from rhinitis, conjunctivitis, and asthma were compared to 104 controls free of allergies. Portuguese decree law no 118/2013 (PDL118), ANSES (a French environmental and health agency) recommendations, and health regulations of Besançon University Hospital were applied to determine the rates of non‐conforming dwellings, which were respectively 55.2%, 5.2%, and 19%. Environmental microbiological results and medical data were compared. The whole number of colonies per cubic meter of air was correlated with asthma (P < 0.001) and rhinitis (P = 0.002). Sixty‐seven genera and species were detected in bedrooms. Asthma was correlated to Aspergillus versicolor (P = 0.004) and Cladosporium spp. (P = 0.02). Thresholds of 300 cfu/m³ for A. versicolor or 495 cfu/m³ for Cladosporium spp. are able to discriminate 90% of the asthmatic dwellings. We propose a new protocol to obtain an optimal cost for indoor fungi surveys, excluding surface analyses, and a new guideline to interpret the results based on >1000 cfu/m³ of whole colonies and/or above threshold levels for A. versicolor or Cladosporium spp.     

Fault Tolerance Mechanisms for FPGA-Based Regular Expression Matching

Traditional fault-tolerance techniques relying on spatial and temporal redundancy typically imply high power, delay, and area overheads. Cost-effective solutions often depend on system’s design and hardware platform at hand. Particularly for Field-Programmable Gate Arrays (FPGAs), soft errors on the configuration memory are a significant dependability threat. In this work, we present an extended and comprehensive fault tolerance mechanism especially suited for dealing with configuration faults on FPGA-based systems that must deal multiple failure modes. Each failure mode may present different criticality and probability of occurrence, and these properties are measured and exploited to provide low-cost solutions when compared to standard approaches such as triple modular redundancy. The exploited properties are typically found in critical monitoring systems that may trigger security- or safety-critical alarms and warnings in general. In such systems, failing to trigger an alarm when necessary is frequently regarded as more critical than providing an occasional false alarm. For instance, Regular Expression Matching (REM), a compute-intensive mechanism heavily used to perform Deep Packet Inspection in critical network applications, presents such properties, and it can be greatly accelerated by FPGAs to meet performance constraints in high-throughput networks. Therefore, we use FPGA-based REM engines as a case study to demonstrate the effectiveness of the proposed techniques. Additionally, a mutually-aware placement and scrubbing mechanism is introduced to reduce the repair time, improving the system reliability and availability. Experimental results show that the failure rate and the repair time can be reduced by 95 and 90% respectively while avoiding the costs of triplication.