Formal Cellular Machinery

International audienceVarious calculi have been proposed to model diff erent levels of abstraction of cell signaling and molecular interactions. In this paper we propose a framework inspired by some of these calculi that structures interactions and agents from the most basic elements of the cell (protein interaction sites) to higher order ones (compartments and molecular species)

Zsyntax: A Formal Language for Molecular Biology with Projected Applications in Text Mining and Biological Prediction

We propose a formal language that allows for transposing biological information precisely and rigorously into machine-readable information. This language, which we call Zsyntax (where Z stands for the Greek word ζωή, life), is grounded on a particular type of non-classical logic, and it can be used to write algorithms and computer programs. We present it as a first step towards a comprehensive formal language for molecular biology in which any biological process can be written and analyzed as a sort of logical “deduction”. Moreover, we illustrate the potential value of this language, both in the field of text mining and in that of biological prediction

Designing the microstructure of routines

Abstract Coordinating organizational routines is a strategic challenge in contexts ranging from healthcare to software development. Yet, we have few theories of the design of routines. This paper compares field data on routines at two Korean restaurants to theorize their design. We identified a core coordination challenge as the need for concurrency—the simultaneous coordination of diverse activities of indeterminate order. The restaurants enabled concurrency using distinct solutions for providing information to agents about their routine activities. We normatively frame these solutions as firm-level strategies for coordinating routines based on uniformity (providing information about fixed sequences of activities) or compatibility (providing information about particular performances of activities). While prior work assumes strategies for coordinating routines depend on extensive codification, our framework shows how extensive codification is specific to a uniformity strategy. We argue that the compatibility strategy characterizes how firms increasingly coordinate routines amid blurring firm boundaries and discuss implications for landscape design.https://deepblue.lib.umich.edu/bitstream/2027.42/152263/1/41469_2019_Article_58.pd