Train-the-Trainer Concept for the “Industrie 4.0-CheckUp”

The digitalization of society is causing companies’ environmental conditions to change. New customer demands, a change in employee thinking and a market situation altered by new competitors are making the digital transformation of companies a necessity. Identifying capabilities in a company, recommending actions and then implementing actions necessitates ascertaining the company’s level of development in terms of digital transformation. A multitude of capability maturity models and different approaches to use exist to meet the needs of SMEs and large companies. Since the dimensions of Industrie 4.0 are understood slightly differently all over the world, this paper formulates a train-the-trainer approach that ensures a global baseline understanding based on a dedicated capability maturity model. The paper concludes with a discussion of future applications for this method

Desigualdades sociales en la mortalidad en España y países de las Américas

Tesis doctoral inédita leída en la Universidad Autónoma de Madrid, Facultad de Medicina, Departamento de Medicina Preventiva y Salud Pública y Microbiología. Fecha de lectura: 19-11-202

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap

The development of programs from first-order specifications has as its main difficulty that of dealing with universal quantifiers. This work is focused in that point, i.e., in the construction of programs whose specifications involve universal quantifiers. This task is performed within a relational calculus based on fork algebras. The fact that first-order theories can be translated into equational theories in abstract fork algebras suggests that such work can be accomplished in a satisfactory way. Furthermore, the fact that these abstract algebras are representable guarantees that all properties valid in the standard models are captured by the axiomatization given for them, allowing the reasoning formalism to be shifted back and forth between any model and the abstract algebra. In order to cope with universal quantifiers, a new algebraic operation — relational implication — is introduced. This operation is shown to have deep significance in the relational statement of first-order expressions involving universal quantifiers. Several algebraic properties of the relational implication are stated showing its usefulness in program calculation. Finally, a non-trivial example of derivation is given to asses the merits of the relational implication as an specification tool, and also in calculation steps, where its algebraic properties are clearly appropriate as transformation rules.Laboratorio de Investigación y Formación en Informática Avanzad

Dependently-Typed Formalisation of Typed Term Graphs

We employ the dependently-typed programming language Agda2 to explore formalisation of untyped and typed term graphs directly as set-based graph structures, via the gs-monoidal categories of Corradini and Gadducci, and as nested let-expressions using Pouillard and Pottier's NotSoFresh library of variable-binding abstractions.Comment: In Proceedings TERMGRAPH 2011, arXiv:1102.226

A Novel System of Cytoskeletal Elements in the Human Pathogen Helicobacter pylori

Pathogenicity of the human pathogen Helicobacter pylori relies upon its capacity to adapt to a hostile environment and to escape from the host response. Therefore, cell shape, motility, and pH homeostasis of these bacteria are specifically adapted to the gastric mucus. We have found that the helical shape of H. pylori depends on coiled coil rich proteins (Ccrp), which form extended filamentous structures in vitro and in vivo, and are differentially required for the maintenance of cell morphology. We have developed an in vivo localization system for this pathogen. Consistent with a cytoskeleton-like structure, Ccrp proteins localized in a regular punctuate and static pattern within H. pylori cells. Ccrp genes show a high degree of sequence variation, which could be the reason for the morphological diversity between H. pylori strains. In contrast to other bacteria, the actin-like MreB protein is dispensable for viability in H. pylori, and does not affect cell shape, but cell length and chromosome segregation. In addition, mreB mutant cells displayed significantly reduced urease activity, and thus compromise a major pathogenicity factor of H. pylori. Our findings reveal that Ccrp proteins, but not MreB, affect cell morphology, while both cytoskeletal components affect the development of pathogenicity factors and/or cell cycle progression