Zobrazeno 1 - 10
of 94
pro vyhledávání: '"Di Giamberardino, Paolo"'
Publikováno v:
In Infectious Disease Modelling March 2024 9(1):10-26
Publikováno v:
In Infectious Disease Modelling June 2023 8(2):341-355
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Biomedical Signal Processing and Control March 2021 65
Publikováno v:
EPTCS 131, 2013, pp. 5-19
We relate two contract models: one based on event structures and game theory, and the other one based on logic. In particular, we show that the notions of agreement and winning strategies in the game-theoretic model are related to that of provability
Externí odkaz:
http://arxiv.org/abs/1306.0026
Autor:
Lago, Ugo Dal, Di Giamberardino, Paolo
Publikováno v:
EPTCS 64, 2011, pp. 59-73
We show how systems of session types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is strongly inspired by recent works about session types as intuitionistic li
Externí odkaz:
http://arxiv.org/abs/1108.4467
Autor:
Lago, Ugo Dal, Di Giamberardino, Paolo
We show how systems of sessions types can enforce interactions to be bounded for all typable processes. The type system we propose is based on Lafont's soft linear logic and is strongly inspired by recent works about session types as intuitionistic l
Externí odkaz:
http://arxiv.org/abs/1107.4478
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Control Engineering Practice August 2018 77:162-173
Publikováno v:
Control Applications for Biomedical Engineering Systems
In this chapter the problem of the interaction between groups of subjects singularly characterized by a specific infectious disease is addressed. The dynamical characteristics of an isolated population are preliminary studied, with particular referen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::1b4c31053f3fb971a901a70d8fb5d478
http://europepmc.org/articles/PMC7153349
http://europepmc.org/articles/PMC7153349