Zobrazeno 1 - 10
of 301
pro vyhledávání: '"DANOS, VINCENT"'
Autor:
Canidio, Andrea, Danos, Vincent
We provide a game-theoretic analysis of the problem of front-running attacks. We use it to distinguish attacks from legitimate competition among honest users for having their transactions included earlier in the block. We also use it to introduce an
Externí odkaz:
http://arxiv.org/abs/2301.13785
Autor:
Fulop, Patric M., Danos, Vincent
Optimal transport distances (OT) have been widely used in recent work in Machine Learning as ways to compare probability distributions. These are costly to compute when the data lives in high dimension. Recent work by Paty et al., 2019, aims specific
Externí odkaz:
http://arxiv.org/abs/2111.04838
Autor:
Waites, William, Cavaliere, Matteo, Danos, Vincent, Datta, Ruchira, Eggo, Rosalind M., Hallett, Timothy B., Manheim, David, Panovska-Griffiths, Jasmina, Russell, Timothy W., Zarnitsyna, Veronika I.
Transmission models for infectious diseases are typically formulated in terms of dynamics between individuals or groups with processes such as disease progression or recovery for each individual captured phenomenologically, without reference to under
Externí odkaz:
http://arxiv.org/abs/2111.02510
In this paper, we combine ideas from two different scientific traditions: 1) graph transformation systems (GTSs) stemming from the theory of formal languages and concurrency, and 2) mean field approximations (MFAs), a collection of approximation tech
Externí odkaz:
http://arxiv.org/abs/2008.11066
Autor:
Waites, William, Cavaliere, Matteo, Manheim, David, Panovska-Griffiths, Jasmina, Danos, Vincent
This paper gives an introduction to rule-based modelling applied to topics in infectious diseases. Rule-based models generalise reaction-based models with reagents that have internal state and may be bound together to form complexes, as in chemistry.
Externí odkaz:
http://arxiv.org/abs/2006.12077
Publikováno v:
Logical Methods in Computer Science, Volume 16, Issue 3 (July 10, 2020) lmcs:5426
We develop a novel method to analyze the dynamics of stochastic rewriting systems evolving over finitary adhesive, extensive categories. Our formalism is based on the so-called rule algebra framework and exhibits an intimate relationship between the
Externí odkaz:
http://arxiv.org/abs/1904.07313
Publikováno v:
npj Quantum Inf 6, 60 (2020)
The search for an application of near-term quantum devices is widespread. Quantum Machine Learning is touted as a potential utilisation of such devices, particularly those which are out of the reach of the simulation capabilities of classical compute
Externí odkaz:
http://arxiv.org/abs/1904.02214
A central strategy of synthetic biology is to understand the basic processes of living creatures through engineering organisms using the same building blocks. Biological machines described in terms of parts can be studied by computer simulation in an
Externí odkaz:
http://arxiv.org/abs/1811.01793
The chapter reviews the syntax to store machine-readable annotations and describes the mapping between rule-based modelling entities (e.g., agents and rules) and these annotations. In particular, we review an annotation framework and the associated g
Externí odkaz:
http://arxiv.org/abs/1809.05708
This paper introduces a categorical framework to study the exact and approximate semantics of probabilistic programs. We construct a dagger symmetric monoidal category of Borel kernels where the dagger-structure is given by Bayesian inversion. We sho
Externí odkaz:
http://arxiv.org/abs/1803.02651