Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Bussi, Laura"'
Autor:
Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Fernández-Duque, David, Gabelaia, David
Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well investigat
Externí odkaz:
http://arxiv.org/abs/2406.16056
The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark f
Externí odkaz:
http://arxiv.org/abs/2010.07284
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:
iPres2021-17th International Conference on Digital Preservation
iPres2021-17th International Conference on Digital Preservation, Oct 2021, Beijing, China. ⟨10.1145/nnnnnnn.nnnnnnn⟩
iPres2021-17th International Conference on Digital Preservation, Oct 2021, Beijing, China. ⟨10.1145/nnnnnnn.nnnnnnn⟩
International audience; The source code of landmark software developed since the beginning of the computer era is a precious part of our cultural heritage, and needs to be properly rescued, curated, archived and made available to present and future g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0e52313b1cd19ac7df6e447c3989b5cc
https://phaidra.univie.ac.at/o:1424833
https://phaidra.univie.ac.at/o:1424833
Publikováno v:
Nexus Network Journal: Architecture & Mathematics; Jun2022, Vol. 24 Issue 2, p423-443, 21p
Publikováno v:
Journal of Clinical Psychopharmacology; Jun2001, Vol. 21 Issue 3, p262-267, 6p
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully re
Autor:
Maurice H. ter Beek, Marjan Sirjani
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Dist
This book constitutes the refereed proceedings of the 10th International Symposium'From Data Models and Back', DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021. The 9 full papers and 1 short paper i
Autor:
Tiziana Margaria, Bernhard Steffen
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.