Linear Structures for Concurrency in Probabilistic Programming Languages
2001-01-01 Di Pierro, Alessandra; Wiklicky, Herbert
On Quantitative Analysis of Probabilistic Protocols
2005-01-01 Aldini, Alessandro; Di Pierro, Alessandra
Analysing Approximate Confinement under Uniform Attacks
2002-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Continuous-Time Probabilistic KLAIM
2005-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
On Probabilistic Techniques for Data Flow Analysis
2007-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Semantic Abstraction and Quantum Computation
2008-01-01 Di Pierro, Alessandra; Wiklicky, Herbert
Changes in poverty concentration in U.S. urban areas
2018-01-01 Andreoli, Francesco; Mussini, Mauro
Obesità e sovrappeso: dalla epidemiologia alle strategie di prevenzione.
2007-01-01 Majori, Silvia; Baldo, V.
Wine consumers’ attitude towards online wine purchasing: A comparison between South Africa and Italy
2019-01-01 Cobelli, Nicola; Wilkinson, Georgina; Cassia, Fabio; Ugolini, Marta Maria
On Infinite Prefix Normal Words
2019-01-01 Cicalese, Ferdinando; Lipták, Zsuzsanna; Rossi, Massimiliano
Maximum Entropy Interval Aggregations
2018-01-01 Cicalese, Ferdinando; Vaccaro, Ugo
How to find a joint probability distribution of minimum entropy (almost) given the marginals
2017-01-01 Cicalese, Ferdinando; Gargano, Luisa; Vaccaro, Ugo
H(X) vs. H(f (X))
2017-01-01 Cicalese, Ferdinando; Gargano, Luisa; Vaccaro, Ugo
Hölderlin und Hegel über die Bestimmung des Menschen um 1800. Transformation und Kritik eines Schlüsselbegriffs der Aufklärung
2015-01-01 Macor, Laura Anna
"Auf die Art ist eine jede Thätigkeit in der Besserung und in dem Christenthum ein wahres Werk Gottes". Vernunftreligion und Offenbarungsglaube bei Johann Joachim Spalding
2015-01-01 Macor, Laura Anna
Modeling clinical protocols using semantic MediaWiki: the case of the Oncocure project
2008-01-01 Eccher, Claudio; Rospocher, Marco; Seyfang, Andreas; Ferro, Antonella; Miksch, Silvia
Deploying semantic web technologies for work integrated learning in industry. A comparison: SME vs. large sized company
2008-01-01 Christl, Conny; Ghidini, Chiara; Guss, Joanna; Pammer, Viktoria; Lindstaedt, Stefanie; Rospocher, Marco; Scheir, Peter; Serafini, Luciano
Collaborative Enterprise Integrated Modelling
2008-01-01 Rospocher, Marco; Ghidini, Chiara; Serafini, Luciano; Kump, Barbara; Pammer, Viktoria; Lindstaedt, Stefanie; Faatz, Andreas; Ley, Tobias
Collaborative enterprise integrated modelling
2008-01-01 Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano; Faatz, Andreas; Kump, Barbara; Ley, Tobias; Pammer, Viktoria; Lindstaedt, Stefanie
Reasoning on Semantically Annotated Processes
2008-01-01 Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano; Tonella, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Linear Structures for Concurrency in Probabilistic Programming Languages | 1-gen-2001 | Di Pierro, Alessandra; Wiklicky, Herbert | |
| On Quantitative Analysis of Probabilistic Protocols | 1-gen-2005 | Aldini, Alessandro; Di Pierro, Alessandra | |
| Analysing Approximate Confinement under Uniform Attacks | 1-gen-2002 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
| Continuous-Time Probabilistic KLAIM | 1-gen-2005 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
| On Probabilistic Techniques for Data Flow Analysis | 1-gen-2007 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
| Semantic Abstraction and Quantum Computation | 1-gen-2008 | Di Pierro, Alessandra; Wiklicky, Herbert | |
| Changes in poverty concentration in U.S. urban areas | 1-gen-2018 | Andreoli, Francesco; Mussini, Mauro | |
| Obesità e sovrappeso: dalla epidemiologia alle strategie di prevenzione. | 1-gen-2007 | Majori, Silvia; Baldo, V. | |
| Wine consumers’ attitude towards online wine purchasing: A comparison between South Africa and Italy | 1-gen-2019 | Cobelli, Nicola; Wilkinson, Georgina; Cassia, Fabio; Ugolini, Marta Maria | |
| On Infinite Prefix Normal Words | 1-gen-2019 | Cicalese, Ferdinando; Lipták, Zsuzsanna; Rossi, Massimiliano | |
| Maximum Entropy Interval Aggregations | 1-gen-2018 | Cicalese, Ferdinando; Vaccaro, Ugo | |
| How to find a joint probability distribution of minimum entropy (almost) given the marginals | 1-gen-2017 | Cicalese, Ferdinando; Gargano, Luisa; Vaccaro, Ugo | |
| H(X) vs. H(f (X)) | 1-gen-2017 | Cicalese, Ferdinando; Gargano, Luisa; Vaccaro, Ugo | |
| Hölderlin und Hegel über die Bestimmung des Menschen um 1800. Transformation und Kritik eines Schlüsselbegriffs der Aufklärung | 1-gen-2015 | Macor, Laura Anna | |
| "Auf die Art ist eine jede Thätigkeit in der Besserung und in dem Christenthum ein wahres Werk Gottes". Vernunftreligion und Offenbarungsglaube bei Johann Joachim Spalding | 1-gen-2015 | Macor, Laura Anna | |
| Modeling clinical protocols using semantic MediaWiki: the case of the Oncocure project | 1-gen-2008 | Eccher, Claudio; Rospocher, Marco; Seyfang, Andreas; Ferro, Antonella; Miksch, Silvia | |
| Deploying semantic web technologies for work integrated learning in industry. A comparison: SME vs. large sized company | 1-gen-2008 | Christl, Conny; Ghidini, Chiara; Guss, Joanna; Pammer, Viktoria; Lindstaedt, Stefanie; Rospocher, Marco; Scheir, Peter; Serafini, Luciano | |
| Collaborative Enterprise Integrated Modelling | 1-gen-2008 | Rospocher, Marco; Ghidini, Chiara; Serafini, Luciano; Kump, Barbara; Pammer, Viktoria; Lindstaedt, Stefanie; Faatz, Andreas; Ley, Tobias | |
| Collaborative enterprise integrated modelling | 1-gen-2008 | Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano; Faatz, Andreas; Kump, Barbara; Ley, Tobias; Pammer, Viktoria; Lindstaedt, Stefanie | |
| Reasoning on Semantically Annotated Processes | 1-gen-2008 | Di Francescomarino, Chiara; Ghidini, Chiara; Rospocher, Marco; Serafini, Luciano; Tonella, Paolo |
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
- 04 Contributo in atti di convegno14131
Data di pubblicazione
- In corso di stampa42
- 2020 - 20261620
- 2010 - 20194108
- 2000 - 20095808
- 1990 - 19991752
- 1980 - 1989654
- 1970 - 1979142
- 1967 - 19695
Editore
- Springer266
- IEEE220
- Springer-Verlag68
- ACM56
- SPRINGER INTERNATIONAL PUBLISHING AG48
- Springer Verlag45
- IEEE Computer Society41
- Monduzzi Editore37
- ESGAR - European Society Gastoint...28
- IEEE COMPUTER SOC28
Rivista
- HAEMATOLOGICA64
- JOURNAL OF HEPATOLOGY52
- BLOOD49
- EUROPEAN RESPIRATORY JOURNAL48
- PATHOLOGICA44
- LECTURE NOTES IN COMPUTER SCIENCE41
- JOURNAL OF CRANIO-MAXILLOFACIAL S...38
- MINERVA CARDIOANGIOLOGICA37
- ITALIAN JOURNAL OF GASTROENTEROLOGY35
- BOLLETTINO DI OCULISTICA33
Serie
- LECTURE NOTES IN COMPUTER SCIENCE256
- LECTURE NOTES IN ARTIFICIAL INTEL...64
- CEUR WORKSHOP PROCEEDINGS61
- LEIBNIZ INTERNATIONAL PROCEEDINGS...29
- PROCEEDINGS OF SPIE, THE INTERNAT...22
- LECTURE NOTES IN COMPUTER SCIENCE15
- PROCEEDINGS - INTERNATIONAL WORKS...13
- MECHANISMS AND MACHINE SCIENCE12
- COMMUNICATIONS IN COMPUTER AND IN...10
- EDULEARN PROCEEDINGS10
Keyword
- pattern recognition63
- Verona63
- CdTe51
- abstract interpretation50
- Italia49
- asthma44
- children44
- diagnosi41
- treatment41
- trattamento40
Lingua
- eng8668
- ita4548
- fre163
- ger112
- spa87
- rus38
- und7
- por5
- cat3
- enm3
Accesso al fulltext
- no fulltext12317
- open907
- restricted609
- reserved294
- embargoed2
- mixed1
- partially open1