Efficient Analysis Algorithms for Parametric Fault Trees
2005-01-01 Bobbio, Andrea; CODETTA RAITERI, Daniele; DE PIERRO, M.; Franceschinis, Giuliana Annamaria
Verifying Business Process Compliance by Reasoning about Actions
2010-01-01 D'Aprile, D.; Giordano, Laura; Gliozzi, V.; Martelli, A.; Pozzato, G. L.; THESEIDER DUPRE', Daniele
Extending the JColibri open source architecture for managing high-dimensional data and large case bases
2009-01-01 Bottrighi, Alessio; Leonardi, Giorgio; Montani, Stefania; Portinale, Luigi
Managing clinical guidelines contextualization in the GLARE system
2005-01-01 Terenziani, Paolo; Montani, Stefania; Bottrighi, Alessio; M., Torchio; G., Molino; G., Correndo
Chemometric analysis of four Italian sweet pepper typical varieties
2007-01-01 Travaglia, Fabiano; Cereti, E.; Barile, D.; Locatelli, Monica; Coisson, Jean Daniel; Arlorio, Marco
Multivariate characterization of four typical Italian cheeses
2007-01-01 Coisson, Jean Daniel; Barile, D.; Travaglia, Fabiano; Piana, G.; Arlorio, Marco; Martelli, A.
Automatic Checking of the Correctness of Clinical Guidelines in GLARE
2007-01-01 Terenziani, Paolo; L., Anselma; Bottrighi, Alessio; Giordano, Laura; Montani, Stefania
Effects of lyoprotectant agents on the performances of freeze-dried cationic liposomes containing synthetic oligoamines
2007-01-01 Giovannelli, Lorella; Segale, Lorena; C., Faedo; C., Vecchio; Pattarino, Franco
Thermogravimetric analysis of mini-matrix tablets containing HPMC and NaCMC
2007-01-01 Segale, Lorena; Giovannelli, Lorella; S., Conti; L., Maggi; U., Conte; Pattarino, Franco
Hedonic Hotel Pricing and Quality Signals: Which are the market value drivers in a transition phase?
2009-01-01 Abrate, Graziano; Capriello, Antonella; Fraquelli, Giovanni
Phenolic extract and clovamide from Theobroma cacao L.: do they really limit peroxyl radicals formation in thermo-oxidized fats?
2007-01-01 Arlorio, Marco; Coisson, Jean Daniel; Travaglia, Fabiano; Piana, G.; Locatelli, Monica; Cereti, E.; Martelli, A.
Supporting cooperative updates of clinical guidelines
2007-01-01 Bottrighi, Alessio; L., Anselma; Montani, Stefania; Terenziani, Paolo; G., Molino; M., Torchio
PATOGENESI E ISTOGENESI MOLECOLARE DEI LINFOMI NON-HODGKIN
2007-01-01 Gaidano, Gianluca; Rossi, Davide; Capello, D.
Applying AI model-checking techniques to clinical guidelines
2007-01-01 Giordano, Laura; Bottrighi, Alessio; Montani, Stefania; Terenziani, Paolo
Compiling Dynamic Fault Trees into Dynamic Bayesian Networks: the RADYBAN Tool
2007-01-01 Portinale, Luigi; Bobbio, Andrea; CODETTA RAITERI, Daniele; Montani, Stefania
Generalized Continuous Time Bayesian Networks and their GSPN Semantics
2010-01-01 CODETTA RAITERI, Daniele; Portinale, Luigi
Reasoning about Actions with Temporal Answer Set
2010-01-01 Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele
Investigation on drug dissolution of NaCMC, HPMC and NaCMC/HPMC matrix tablets
2007-01-01 S., Conti; L., Maggi; U., Conte; Segale, Lorena; Giovannelli, Lorella; Pattarino, Franco
RICOMBINAZIONE MITOTICA E FENOTIPO: LA MUTAZIONE JAK2 NELLE MALATTIE MIELOPROLIFERATIVE CRONICHE Ph-NEGATIVE
2007-01-01 Rossi, Davide; Capello, D; Riccomagno, P; Lunghi, M; Gaidano, Gianluca
Quantitative assessment of drug-cyclodextrin interaction by TG-FTIR technique
2007-01-01 Giovannelli, Lorella; Segale, Lorena; C., Fino; Pattarino, Franco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Efficient Analysis Algorithms for Parametric Fault Trees | 1-gen-2005 | Bobbio, Andrea; CODETTA RAITERI, Daniele; DE PIERRO, M.; Franceschinis, Giuliana Annamaria | |
| Verifying Business Process Compliance by Reasoning about Actions | 1-gen-2010 | D'Aprile, D.; Giordano, Laura; Gliozzi, V.; Martelli, A.; Pozzato, G. L.; THESEIDER DUPRE', Daniele | |
| Extending the JColibri open source architecture for managing high-dimensional data and large case bases | 1-gen-2009 | Bottrighi, Alessio; Leonardi, Giorgio; Montani, Stefania; Portinale, Luigi | |
| Managing clinical guidelines contextualization in the GLARE system | 1-gen-2005 | Terenziani, Paolo; Montani, Stefania; Bottrighi, Alessio; M., Torchio; G., Molino; G., Correndo | |
| Chemometric analysis of four Italian sweet pepper typical varieties | 1-gen-2007 | Travaglia, Fabiano; Cereti, E.; Barile, D.; Locatelli, Monica; Coisson, Jean Daniel; Arlorio, Marco | |
| Multivariate characterization of four typical Italian cheeses | 1-gen-2007 | Coisson, Jean Daniel; Barile, D.; Travaglia, Fabiano; Piana, G.; Arlorio, Marco; Martelli, A. | |
| Automatic Checking of the Correctness of Clinical Guidelines in GLARE | 1-gen-2007 | Terenziani, Paolo; L., Anselma; Bottrighi, Alessio; Giordano, Laura; Montani, Stefania | |
| Effects of lyoprotectant agents on the performances of freeze-dried cationic liposomes containing synthetic oligoamines | 1-gen-2007 | Giovannelli, Lorella; Segale, Lorena; C., Faedo; C., Vecchio; Pattarino, Franco | |
| Thermogravimetric analysis of mini-matrix tablets containing HPMC and NaCMC | 1-gen-2007 | Segale, Lorena; Giovannelli, Lorella; S., Conti; L., Maggi; U., Conte; Pattarino, Franco | |
| Hedonic Hotel Pricing and Quality Signals: Which are the market value drivers in a transition phase? | 1-gen-2009 | Abrate, Graziano; Capriello, Antonella; Fraquelli, Giovanni | |
| Phenolic extract and clovamide from Theobroma cacao L.: do they really limit peroxyl radicals formation in thermo-oxidized fats? | 1-gen-2007 | Arlorio, Marco; Coisson, Jean Daniel; Travaglia, Fabiano; Piana, G.; Locatelli, Monica; Cereti, E.; Martelli, A. | |
| Supporting cooperative updates of clinical guidelines | 1-gen-2007 | Bottrighi, Alessio; L., Anselma; Montani, Stefania; Terenziani, Paolo; G., Molino; M., Torchio | |
| PATOGENESI E ISTOGENESI MOLECOLARE DEI LINFOMI NON-HODGKIN | 1-gen-2007 | Gaidano, Gianluca; Rossi, Davide; Capello, D. | |
| Applying AI model-checking techniques to clinical guidelines | 1-gen-2007 | Giordano, Laura; Bottrighi, Alessio; Montani, Stefania; Terenziani, Paolo | |
| Compiling Dynamic Fault Trees into Dynamic Bayesian Networks: the RADYBAN Tool | 1-gen-2007 | Portinale, Luigi; Bobbio, Andrea; CODETTA RAITERI, Daniele; Montani, Stefania | |
| Generalized Continuous Time Bayesian Networks and their GSPN Semantics | 1-gen-2010 | CODETTA RAITERI, Daniele; Portinale, Luigi | |
| Reasoning about Actions with Temporal Answer Set | 1-gen-2010 | Giordano, Laura; A., Martelli; THESEIDER DUPRE', Daniele | |
| Investigation on drug dissolution of NaCMC, HPMC and NaCMC/HPMC matrix tablets | 1-gen-2007 | S., Conti; L., Maggi; U., Conte; Segale, Lorena; Giovannelli, Lorella; Pattarino, Franco | |
| RICOMBINAZIONE MITOTICA E FENOTIPO: LA MUTAZIONE JAK2 NELLE MALATTIE MIELOPROLIFERATIVE CRONICHE Ph-NEGATIVE | 1-gen-2007 | Rossi, Davide; Capello, D; Riccomagno, P; Lunghi, M; Gaidano, Gianluca | |
| Quantitative assessment of drug-cyclodextrin interaction by TG-FTIR technique | 1-gen-2007 | Giovannelli, Lorella; Segale, Lorena; C., Fino; Pattarino, Franco |
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 ...4705
- 1 Contributo su Rivista1
Data di pubblicazione
- In corso di stampa17
- 2020 - 2026472
- 2010 - 20191541
- 2000 - 20091901
- 1990 - 1999595
- 1980 - 1989156
- 1970 - 197923
- 1969 - 19691
Editore
- Springer118
- IEEE46
- IEEE Computer Society43
- CEUR-WS34
- Springer Verlag30
- ACM25
- Springer-Verlag24
- IOS Press22
- Institute of Electrical and Elect...20
- CEUR-WS.org18
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE60
- LECTURE NOTES IN ARTIFICIAL INTEL...34
- BOLLETTINO-LEGA ITALIANA CONTRO L...29
- CEUR WORKSHOP PROCEEDINGS16
- ELECTRONIC PROCEEDINGS IN THEORET...13
- FORENSIC SCIENCE INTERNATIONAL: G...9
- POS PROCEEDINGS OF SCIENCE9
- PROCEEDINGS OF THE PME CONFERENCE9
- STUDIES IN HEALTH TECHNOLOGY AND ...9
- ELECTRONIC NOTES IN THEORETICAL C...8
Serie
- CEUR WORKSHOP PROCEEDINGS50
- LECTURE NOTES IN COMPUTER SCIENCE35
- LECTURE NOTES IN ARTIFICIAL INTEL...25
- PROCEEDINGS OF THE AMERICAN ACADE...6
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- AIP CONFERENCE PROCEEDINGS4
- THEMATA4
- ACTA DIURNA3
- BIBLIOTECA DELLA SOCIETÀ STORICA ...3
- CONTRIBUTIONS TO STATISTICS3
Keyword
- Case-Based Reasoning21
- Computer Science (all)17
- Medical Informatics13
- Twitter13
- Synthetic aperture radar11
- Bayesian Networks10
- melanoma10
- Software10
- Dynamic Bayesian Networks9
- monasteri9
Lingua
- eng2457
- ita1370
- fre80
- spa35
- ger24
- rus9
- lat8
- und5
- cat3
- por2
Accesso al fulltext
- no fulltext3709
- reserved513
- open267
- restricted209
- partially open8