Zobrazeno 1 - 4
of 4
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