Zobrazeno 1 - 10
of 117
pro vyhledávání: '"Velázquez, Diego A."'
Publikováno v:
EPTCS 379, 2023, pp. 157-172
Any kind of dynamics in dynamic epistemic logic can be represented as an action model. Right? Wrong! In this contribution we prove that the update expressivity of communication patterns is incomparable to that of action models. Action models, as upda
Externí odkaz:
http://arxiv.org/abs/2307.05057
We propose communication pattern logic. A communication pattern describes how processes or agents inform each other, independently of the information content. The full-information protocol in distributed computing is the special case wherein all agen
Externí odkaz:
http://arxiv.org/abs/2207.00823
Publikováno v:
EPTCS 335, 2021, pp. 307-321
Halpern and Moses were the first to recognize, in 1984, the importance of a formal treatment of knowledge in distributed computing. Many works in distributed computing, however, still employ informal notions of knowledge. Hence, it is critical to fur
Externí odkaz:
http://arxiv.org/abs/2106.11508
Autor:
Zimmermannová, Olga, Velázquez, Diego, Papoušková, Klára, Průša, Vojtěch, Radová, Viktorie, Falson, Pierre, Sychrová, Hana
Publikováno v:
In Journal of Molecular Biology 15 February 2024 436(4)
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 Energy Policy September 2022 168
Publikováno v:
In Food Structure January 2021 27
Publikováno v:
Computer Journal; Jul2024, Vol. 67 Issue 7, p2421-2440, 20p
Autor:
Santolaria, Carlos1 (AUTHOR), Velázquez, Diego (AUTHOR), Albacar, Marcel1 (AUTHOR), Casamayor, Antonio1 (AUTHOR), Ariño, Joaquín1 (AUTHOR) joaquin.arino@uab.es
Publikováno v:
FEBS Journal. Dec2022, Vol. 289 Issue 23, p7500-7518. 19p.
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.