Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 4 di 4
Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions)
2022-01-01 Grabmayer, Clemens
Simulating COVID-19 containment measures using the South Korean patient data
2020-01-01 Yang, Lishan; Schmedding, Anna; Pinciroli, Riccardo; Smirni, Evgenia
Modeling Linked Open Data (Poster)
2022-01-01 Tuyishime, Adiel; Luis Canovas Izquierdo, Javier; Rossi, MARIA TERESA; DE SANCTIS, Martina
Numerical solution of elastodynamics equations using finite differences and dynamic calls on GPUs
2018-01-01 May, J. B.; Pera, D.; Di Michele, F.; Marcati, P.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete (Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions) | 1-gen-2022 | Grabmayer, Clemens | |
| Simulating COVID-19 containment measures using the South Korean patient data | 1-gen-2020 | Yang, Lishan; Schmedding, Anna; Pinciroli, Riccardo; Smirni, Evgenia | |
| Modeling Linked Open Data (Poster) | 1-gen-2022 | Tuyishime, Adiel; Luis Canovas Izquierdo, Javier; Rossi, MARIA TERESA; DE SANCTIS, Martina | |
| Numerical solution of elastodynamics equations using finite differences and dynamic calls on GPUs | 1-gen-2018 | May, J. B.; Pera, D.; Di Michele, F.; Marcati, P. |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...4
Data di pubblicazione
- 20222
- 20201
- 20181
Editore
- Association for Computing Machine...1
- CEUR-WS.org1
Keyword
- agent based model ABM1
- coronavirus1
- COVID 191
- data analysis1
- geographic information system GIS1
- process graphs1
- process semantics1
- regular expressions1
- SARS CoV 21
- simulation1
Lingua
- eng4
Accesso al fulltext
- no fulltext2
- open2