Zobrazeno 1 - 10
of 314
pro vyhledávání: '"Bertrand, Nathalie"'
DAG-based consensus protocols are being adoption by blockchain companies to decrease energy footprints and improve security. A DAG-based consensus protocol collaboratively constructs a partial order of blocks of transactions and produces linearly ord
Externí odkaz:
http://arxiv.org/abs/2407.02167
Autor:
BERTRAND, Nathalie
Publikováno v:
Sciences, Eaux & Territoires, Vol 2016, Iss 21, Pp 2-5 (2016)
Depuis une dizaine d’années, la notion de services écosystémiques définie par les bénéfices que la société tire des écosystèmes, s’est progressivement imposée dans le champ académique, opérationnel et décisionnel, permettant de conc
Externí odkaz:
https://doaj.org/article/31565b981558484bbac8d1381d59ff3b
Autor:
BERTRAND, Nathalie
Publikováno v:
Sciences, Eaux & Territoires, Vol 2016, Iss 19, Pp 2-5 (2016)
Intégration des enjeux environnementaux dans la gestion du foncier agricole : introduction
Externí odkaz:
https://doaj.org/article/de2325b93429476c9df6f38166999cae
Autor:
Fijalkow, Nathanaël, Bertrand, Nathalie, Bouyer-Decitre, Patricia, Brenguier, Romain, Carayol, Arnaud, Fearnley, John, Gimbert, Hugo, Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotný, Petr, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz
The objective of this collaborative textbook is to present the state of the art on games on graphs, which is part of a larger research topic called game theory. Games on graphs is the field concerned with games whose rules and evolution are represent
Externí odkaz:
http://arxiv.org/abs/2305.10546
Publikováno v:
Sciences, Eaux & Territoires, Vol 2015, Iss 17, Pp 66-71 (2015)
Dans les territoires périurbains, l’urbanisation croissante se fait principalement au détriment des espaces agricoles, qui disparaissent alors de manière irréversible. Associée à des enjeux environnementaux mais aussi alimentaires, la préser
Externí odkaz:
https://doaj.org/article/bada2b4e6c30409e9d9ee37f56a5c754
Autor:
Bertrand, Nathalie, Gramoli, Vincent, Konnov, Igor, Lazić, Marijana, Tholoniat, Pierre, Widder, Josef
Blockchain has recently attracted the attention of the industry due, in part, to its ability to automate asset transfers. It requires distributed participants to reach a consensus on a block despite the presence of malicious (a.k.a. Byzantine) partic
Externí odkaz:
http://arxiv.org/abs/2206.04489
We consider the parameterized verification problem for distributed algorithms where the goal is to develop techniques to prove the correctness of a given algorithm regardless of the number of participating processes. Motivated by an asynchronous bina
Externí odkaz:
http://arxiv.org/abs/2204.11670