Combining ergonomics, culture and scenario for the design of a cooperation platform

Analyzing the way computer technologies are used is crucial for their development. Such analyses make it possible to evaluate these technologies and enhance their evolution. The present article presents some ideas drawn from the development of a cooperation platform for elementary school children (10–11 years old). On the basis of an obvious ergonomic requirement, we worked on two other dimensions: cultural aspects and the teaching scenario. The goal was to set up observation situations and analyze the conversations produced during those situations, in order to understand what using the platform meant to both the pupils and their teachers.

Perioperative cardiac arrhythmias in digitalized patients with ischemic heart disease (author's transl)

The purpose of this study was to establish the incidence of pre-operative digitalization by intravenous digoxin on cardiac arrhythmias in 24 patients with ischemic heart disease who underwent abdominal surgery. Ambulatory electrocardiographic monitoring was performed for 12 hours before digitalization, for 12 hours during digitalization (before surgery), for the whole period of anesthesia. General anesthesia used thiopentone, phenoperidine, pancuronium and suxamethonium for endotracheal intubation. No more premature ventricular (PVC) and auricular contractions were detected after digitalization and during anesthesia and surgery. But PVC with begeminism or severe bradycardia were recorded in two patients and episodes of "torsades de pointes" occurred in two other patients during endotracheal intubation. "Torsades de pointes" have never been reported after suxamethonium and endotracheal intubation in digitalized patients. Digitalization, ischemic heart disease, cardiac effects of suxamethonium might be factors of the onset of these first reported "torsades de pointes". In conclusion, after a pre-operative digitalization in the coronary patients the frequency of arrhythmias is not exaggerated during the pre- or per-operative period except during induction and intubation. As the role of suxamethonium seems to be important as a trigger for severe arrhythmias endotracheal intubation in digitalized coronary patients should be performed without suxamethonium.     

Monitoring microbial population dynamics at low densities

We propose a new and simple method for the measurement of microbial concentrations in highly diluted cultures. This method is based on an analysis of the intensity fluctuations of light scattered by microbial cells under laser illumination. Two possible measurement strategies are identified and compared using simulations and measurements of the concentration of gold nanoparticles. Based on this comparison, we show that the concentration of Escherichia coli and Saccharomyces cerevisiae cultures can be easily measured in situ across a concentration range that spans five orders of magnitude. The lowest measurable concentration is three orders of magnitude (1000×) smaller than in current optical density measurements. We show further that this method can also be used to measure the concentration of fluorescent microbial cells. In practice, this new method is well suited to monitor the dynamics of population growth at early colonization of a liquid culture medium. The dynamic data thus obtained are particularly relevant for microbial ecology studies.     

Accelerated multiplicative updates and hierarchical ALS algorithms for nonnegative matrix factorization

Nonnegative matrix factorization (NMF) is a data analysis technique used in a great variety of applications such as text mining, image processing, hyperspectral data analysis, computational biology, and clustering. In this letter, we consider two well-known algorithms designed to solve NMF problems: the multiplicative updates of Lee and Seung and the hierarchical alternating least squares of Cichocki et al. We propose a simple way to significantly accelerate these schemes, based on a careful analysis of the computational cost needed at each iteration, while preserving their convergence properties. This acceleration technique can also be applied to other algorithms, which we illustrate on the projected gradient method of Lin. The efficiency of the accelerated algorithms is empirically demonstrated on image and text data sets and compares favorably with a state-of-the-art alternating nonnegative least squares algorithm.     

An Instantiation Scheme for Satisfiability Modulo Theories

State-of-the-art theory solvers generally rely on an instantiation of the axioms of the theory, and depending on the solvers, this instantiation is more or less explicit. This paper introduces a generic instantiation scheme for solving SMT problems, along with syntactic criteria to identify the classes of clauses for which it is complete. The instantiation scheme itself is simple to implement, and we have produced an implementation of the syntactic criteria that guarantee a given set of clauses can be safely instantiated. We used our implementation to test the completeness of our scheme for several theories of interest in the SMT community, some of which are listed in the last section of this paper.     

An MDA approach to knowledge engineering

This paper proposes an MDA approach to knowledge engineering, centered on the CommonKADS knowledge model. The latter corresponds to the CIM level of MDA whereas PRR, which represents production rules and rulesets, corresponds to the PIM level. The paper explores the mapping between CommonKADS knowledge models and production rules and rulesets based on PRR. Mapping CommonKADS knowledge models into PRR is very useful, due to the fact that the CIM level remains relatively unexplored, despite its key role in MDA. This motivates our choice to focus on the CIM and PIM levels. Furthermore, the mapping between PIM and PSM (i.e. the implementation of production rules in specific rule-based systems) constitutes less of an issue. To map CommonKADS knowledge models into PRR production rules and rulesets, we propose and illustrate a set of transformations. To ease these transformations, we start by grouping elements of the CommonKADS knowledge models into so-called “inference groups”. We propose and illustrate an algorithm that defines these inference groups automatically. The definition of transformations between models (CIM to PIM levels) requires a specific metamodel for CommonKADS as well as a dedicated metamodel for PRR. Unlike PRR, there is no published CommonKADS metamodel. This paper proposes a comprehensive CommonKADS knowledge metamodel. We describe and discuss an example, applying the whole approach.     

Stabilization of slugging in oil production facilities with or without upstream pressure sensors

This paper presents methods for suppressing the slugging phenomenon occurring in multiphase flow. The considered systems include industrial oil production facilities such as gas-lifted wells and flowline risers with low-points. Given the difficulty to maintain sensors in deep locations, a particular emphasis is put on observer-based control design. It appears that, without any upstream pressure sensor, such a strategy can stabilize the flow. Besides, given a measurement or estimate of the upstream pressure, we propose a control strategy alternative to the classical techniques. The efficiency of these methods is assessed through experiments on a mid-scaled multiphase flow loop.