Search Results - "Danos, V."

Rule-based epidemic models by Waites, W., Cavaliere, M., Manheim, D., Panovska-Griffiths, J., Danos, V.

“…Rule-based models generalise reaction-based models with reagents that have internal state and may be bound together to form complexes, as in chemistry. An…”
Get full text

Compositional modelling of immune response and virus transmission dynamics by Waites, W, Cavaliere, M, Danos, V, Datta, R, Eggo, R M, Hallett, T B, Manheim, D, Panovska-Griffiths, J, Russell, T W, Zarnitsyna, V I

“…Transmission models for infectious diseases are typically formulated in terms of dynamics between individuals or groups with processes such as disease…”
Get full text

Formal molecular biology by Danos, Vincent, Laneve, Cosimo

“…A language of formal proteins, the κ- calculus, is introduced. Interactions are modeled at the domain level, bonds are represented by means of shared names,…”
Get full text

Compositional modelling of immune response and virus transmission dynamics by Waites, W., Cavaliere, M., Danos, V., Datta, R., Eggo, R., Hallett, T., Manheim, D., Panovska-Griffiths, J., Russell, T., Zarnitsyna, V.

“…Transmission models for infectious diseases are typically formulated in terms of dynamics between individuals or groups with processes such as disease…”
Get full text

Modeling and querying biomolecular interaction networks by Chabrier-Rivier, Nathalie, Chiaverini, Marc, Danos, Vincent, Fages, François, Schächter, Vincent

“…We introduce a formalism to represent and analyze protein–protein and protein–DNA interaction networks. We illustrate the expressivity of this language, by…”
Get full text

Reversible, irreversible and optimal λ-machines by Danos, Vincent, Regnier, Laurent

“…Lambda-calculus is the core of functional programming, and many different ways to evaluate lambda-terms have been considered. One of the nicest, from the…”
Get full text

Local and asynchronous beta-reduction (an analysis of Girard's execution formula) by Danos, V., Regnier, L.

“…The authors build a confluent, local, asynchronous reduction on lambda -terms, using infinite objects (partial injections of Girard's (1988) algebra L*), which…”
Get full text

The structure of multiplicatives by Danos, Vincent, Regnier, Laurent

Get full text

Labeled Markov processes: stronger and faster approximations by Danos, V., Desharnais, J.

“…This paper proposes a measure-theoretic reconstruction of the approximation schemes developed for labeled Markov processes: approximants are seen as quotients…”
Get full text

Game semantics and abstract machines by Danos, V., Herbelin, H., Regnier, L.

“…The interaction processes at work by M. Hyland and L. Ong (1994) (HO) and S. Abramsky et al. (1994) (AJM) new game semantics are two preexisting paradigmatic…”
Get full text

Probabilistic game semantics by Danos, V., Harmer, R.

“…A category of HO/N-style games and probabilistic strategies is developed where the possible choices of a strategy are quantified so as to give a measure of the…”
Get full text

Believe it or not, AJM's games model is a model of classical linear logic by Baillot, P., Danos, V., Ehrhard, T., Regnier, L.

“…A general category of games is constructed. A subcategory of saturated strategies, closed under all possible codings in copy games, is shown to model reduction…”
Get full text

On the linear decoration of intuitionistic derivations by Danos, Vincent, Joinet, Jean-Baptiste, Schellinx, Harold

Get full text

Paths in the lambda-calculus. Three years of communications without understanding by Asperti, A., Danos, V., Laneve, C., Regnier, L.

“…Since the rebirth of /spl lambda/-calculus in the late 1960s, three major theoretical investigations of /spl beta/-reduction have been undertaken: (1) Levy's…”
Get full text