Sfoglia
Efficient parallel statistical model checking of biochemical networks
2009-01-01 Ballarini, P.; Forlin, M.; Mazza, T.; Prandi, D.
Stochastic COWS
2007-01-01 Prandi, D.; Quaglia, P.
ETSCH: Partition-centric Graph Processing
2016-01-01 Guerrieri, Alessio; Montresor, Alberto; Centellegher, Simone
Purpose Control: Did You Process the Data for the Intended Purpose?
2011-01-01 Petković, Milan; Prandi, Davide; Zannone, Nicola
A formal approach to molecular docking
2006-01-01 Prandi, D.
Stability analysis of biological network topologies during stochastic simulation
2011-01-01 Mazza, T.; Prandi, D.
Predicting the effects of parameters changes in stochastic models through parallel synthetic experiments and multivariate analysis
2010-01-01 Forlin, M.; Mazza, T.; Prandi, D.
Understanding and Rewiring Cities
2022-01-01 Lepri, Bruno; Centellegher, Simone; De Nadai, Marco
Developing an hierarchical simulator for Beta-binders
2006-01-01 Himmelspach, J.; Lecca, P.; Prandi, D.; Priami, C.; Quaglia, P.; Uhrmacher, A.
Formal analysis of BPMN Via a translation into COWS
2008-01-01 Prandi, D.; Quaglia, P.; Zannone, N.
Formal executable descriptions of biological systems
2005-01-01 Curti, M.; Degano, P.; Prandi, D.; Priami, C.; Quaglia, P.; Brodo, L.
Textural analysis of optical coherence tomography skin images: quantitative differentiation between healthy and cancerous tissues
2017-01-01 Adabi, Saba; Conforto, Silvia; Hosseinzadeh, Matin; Noei, Shahryar; Daveluy, Steven; Mehregan, Darius; Nasiriavanaki, Mohammadreza
Mechanochromic Response of 3D Composite Photonic Crystals by Numerical Simulation
2018-01-01 Piccolo, V.; Vaccari, A.; Chiappini, A.; Armellini, C.; Deseri, L.; Ferrari, M.; Zonta, D.
An empirical evaluation of tinyML architectures for Class-Incremental Continual Learning
2024-01-01 Tremonti, Matteo; Dalle Pezze, Davide; Paissan, Francesco; Farella, Elisabetta; Antonio Susto, Gian
Painting the Starry Night using XiNets
2024-01-01 Ancilotto, Alberto; Farella, Elisabetta
Countering Misinformation via Emotional Response Generation
2023-01-01 Russo, Daniel; Kaszefski-Yaschuk, Shane; Staiano, Jacopo; Guerini, Marco
Generics in defeasible reasoning. Exceptionality, Gradability, and Content Sensitivity
2023-01-01 Sacco, G.; Bozzato, L.; Kutz, O.
Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development
2024-01-01 Koenig, Lukas; Heinzemann, Christian; Griggio, Alberto; Klauck, Michaela; Cimatti, Alessandro; Henze, Franziska; Tonetta, Stefano; Kueperkoch, Stefan; Fassbender, Dennis; Hanselmann, Michael
A Modular Strategy to Build a Large-Scale Functional Status Knowledge Graph
2023-01-01 Dragoni, M.; Bailoni, T.; Sacco, G.; Bozzato, L.
“Look! this is the future of cardiology": institutional work and the making of telemedicine in healthcare”
2024-01-01 Zanutto, Alberto; Ponte, Diego; Piras, Enrico Maria
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Efficient parallel statistical model checking of biochemical networks | 1-gen-2009 | Ballarini, P.; Forlin, M.; Mazza, T.; Prandi, D. | |
| Stochastic COWS | 1-gen-2007 | Prandi, D.; Quaglia, P. | |
| ETSCH: Partition-centric Graph Processing | 1-gen-2016 | Guerrieri, Alessio; Montresor, Alberto; Centellegher, Simone | |
| Purpose Control: Did You Process the Data for the Intended Purpose? | 1-gen-2011 | Petković, Milan; Prandi, Davide; Zannone, Nicola | |
| A formal approach to molecular docking | 1-gen-2006 | Prandi, D. | |
| Stability analysis of biological network topologies during stochastic simulation | 1-gen-2011 | Mazza, T.; Prandi, D. | |
| Predicting the effects of parameters changes in stochastic models through parallel synthetic experiments and multivariate analysis | 1-gen-2010 | Forlin, M.; Mazza, T.; Prandi, D. | |
| Understanding and Rewiring Cities | 1-gen-2022 | Lepri, Bruno; Centellegher, Simone; De Nadai, Marco | |
| Developing an hierarchical simulator for Beta-binders | 1-gen-2006 | Himmelspach, J.; Lecca, P.; Prandi, D.; Priami, C.; Quaglia, P.; Uhrmacher, A. | |
| Formal analysis of BPMN Via a translation into COWS | 1-gen-2008 | Prandi, D.; Quaglia, P.; Zannone, N. | |
| Formal executable descriptions of biological systems | 1-gen-2005 | Curti, M.; Degano, P.; Prandi, D.; Priami, C.; Quaglia, P.; Brodo, L. | |
| Textural analysis of optical coherence tomography skin images: quantitative differentiation between healthy and cancerous tissues | 1-gen-2017 | Adabi, Saba; Conforto, Silvia; Hosseinzadeh, Matin; Noei, Shahryar; Daveluy, Steven; Mehregan, Darius; Nasiriavanaki, Mohammadreza | |
| Mechanochromic Response of 3D Composite Photonic Crystals by Numerical Simulation | 1-gen-2018 | Piccolo, V.; Vaccari, A.; Chiappini, A.; Armellini, C.; Deseri, L.; Ferrari, M.; Zonta, D. | |
| An empirical evaluation of tinyML architectures for Class-Incremental Continual Learning | 1-gen-2024 | Tremonti, Matteo; Dalle Pezze, Davide; Paissan, Francesco; Farella, Elisabetta; Antonio Susto, Gian | |
| Painting the Starry Night using XiNets | 1-gen-2024 | Ancilotto, Alberto; Farella, Elisabetta | |
| Countering Misinformation via Emotional Response Generation | 1-gen-2023 | Russo, Daniel; Kaszefski-Yaschuk, Shane; Staiano, Jacopo; Guerini, Marco | |
| Generics in defeasible reasoning. Exceptionality, Gradability, and Content Sensitivity | 1-gen-2023 | Sacco, G.; Bozzato, L.; Kutz, O. | |
| Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development | 1-gen-2024 | Koenig, Lukas; Heinzemann, Christian; Griggio, Alberto; Klauck, Michaela; Cimatti, Alessandro; Henze, Franziska; Tonetta, Stefano; Kueperkoch, Stefan; Fassbender, Dennis; Hanselmann, Michael | |
| A Modular Strategy to Build a Large-Scale Functional Status Knowledge Graph | 1-gen-2023 | Dragoni, M.; Bailoni, T.; Sacco, G.; Bozzato, L. | |
| “Look! this is the future of cardiology": institutional work and the making of telemedicine in healthcare” | 1-gen-2024 | Zanutto, Alberto; Ponte, Diego; Piras, Enrico Maria |
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 ...7737
Data di pubblicazione
- In corso di stampa5
- 2020 - 20251385
- 2010 - 20193415
- 2000 - 20092317
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE614
- Springer353
- ACM147
- Association for Computational Lin...87
- CEUR-WS.org71
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press36
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...86
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE21
- JOURNAL OF PHYSICS. CONFERENCE SE...20
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- LECTURE NOTES IN ARTIFICIAL INTEL...9
- PROCEDIA ENGINEERING9
- ELECTRONIC PROCEEDINGS IN THEORET...8
Serie
- LECTURE NOTES IN COMPUTER SCIENCE214
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS34
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE22
- LECTURE NOTES IN ELECTRICAL ENGIN...19
- LECTURE NOTES IN ELECTRICAL ENGIN...15
- LECTURE NOTES IN BUSINESS INFORMA...12
- IEEE ENGINEERING IN MEDICINE AND ...11
- PROCEEDINGS OF SPIE10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS30
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6253
- ita158
- ger15
- spa6
- fre5
- enm4
- lat1
- rum1
Accesso al fulltext
- no fulltext6713
- open445
- restricted412
- reserved164
- partially open2
- mixed1