Zobrazeno 1 - 10
of 421
pro vyhledávání: '"Latella, D."'
Publikováno v:
EPTCS 93, 2012, pp. 23-43
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic proces
Externí odkaz:
http://arxiv.org/abs/1209.1432
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:
Dai droni alle armi autonome. Lasciare l'Apocalisse alle macchine?, edited by Farruggia F., pp. 43–60. Milano: Franco Angeli, 2023
Breve introduzione ai concetti fondamentali sui quali si basa l'intelligenza artificiale e alle problematiche alle quali il suo uso, specie in contesti critici, puo' dare origine. Viene data una breve introduzione storica e di inquadramento. Si appro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::b8881b7841d2d433a6405cb69ca1fe23
https://openportal.isti.cnr.it/doc?id=people______::487b9ba0a6389f0d8af6e0e5ab9785a6
https://openportal.isti.cnr.it/doc?id=people______::487b9ba0a6389f0d8af6e0e5ab9785a6
Publikováno v:
ISTI Technical Report, ISTI-2023-TR/003, 2023
The notion of bisimilarity plays an important role in concurrency theory. It provides formal support to the idea of processes having "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::c87c2efc9e5bc3740873f181631453b2
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53
Autor:
Pratali L., Campana M. G., Delmastro F., Di Martino F., Pescosolido L., Barsocchi P., Broccia G., Ciancia V., Gennaro C., Girolami M., Lagani G., La Rosa D., Latella D., Magrini M., Manca M., Massink M., Mattioli A., Moroni D., Palumbo F., Paradisi P., Paternò F., Santoro C., Sebastiani L., Vairo C.
Publikováno v:
ISTI Project Report, THE, D3.2, 2023
Deliverable D3.2.1 del progetto PNRR Ecosistemi ed innovazione - THE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::5da21f21e8a343b9aa4c4af016871b80
https://openportal.isti.cnr.it/doc?id=people______::67da1059f4ed73d1a7258c137d2f6a03
https://openportal.isti.cnr.it/doc?id=people______::67da1059f4ed73d1a7258c137d2f6a03
Publikováno v:
DisCoTec 2023-43rd IFIP WG 6.1 International Conference, FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, pp. 132–151, Lisbon, Portugal, 19-23/06/2023
The notion of bisimilarity plays an important role in con- currency theory. It provides formal support to the idea of processes hav- ing "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::214952863473fe4d9dbec838e9493620
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702
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:
ISTI Technical Report, ISTI-2022-TR/027, 2022
Spatial logic and spatial model checking have great poten- tial for traditional computer science domains and beyond. Reasoning about space involves two different conditional reachability modalities: a forward reachability, similar to that used in tem
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::8cd5b851ceef9578f0842f0333ed543b
https://openportal.isti.cnr.it/doc?id=people______::4dfb32b6287fa4bf24ca6d5af12e68b9
https://openportal.isti.cnr.it/doc?id=people______::4dfb32b6287fa4bf24ca6d5af12e68b9
Publikováno v:
ISTI Technical Report, ISTI-TR-2022/018, 2022
We adapt the standard notion of bisimilarity for topological models to closure models and refine it for quasi-discrete closure models. We also define an additional, weaker notion of bisimilarity that is based on paths in space and expresses a form of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::2c40d719bf9e6285e98a7fa721cbca5b
https://openportal.isti.cnr.it/doc?id=people______::eb81b2482ef19184fec7cbf7ad4489d9
https://openportal.isti.cnr.it/doc?id=people______::eb81b2482ef19184fec7cbf7ad4489d9
Publikováno v:
ISTI Technical Report, ISTI-2022-TR/021, 2022
In these notes we prove that, in quasi-discrete closure models, the ISLCS forward (backword) conditional reachability operator can be expressed using a (possibly) infinite disjunction of nested formulas using only conjunction and the IMLC backward (f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______9984::950950970e1d8139c5a0c455771d1728
https://openportal.isti.cnr.it/doc?id=people______::aaa7cc67cf015b226f62d1930c89d2a6
https://openportal.isti.cnr.it/doc?id=people______::aaa7cc67cf015b226f62d1930c89d2a6