RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
A conditional constructive logic for access control and its sequent calculus
2011-01-01 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A constraint-based approach for the conciliation of clinical guidelines
2016-01-01 Piovesan, Luca; Terenziani, Paolo
A constructive conditional logic for access control: a completeness result and a sequent calculus
2010-01-01 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A constructive conditional logic for access control: a preliminary report
2010-01-01 Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L.
A context-aware miner for medical processes
2016-01-01 Canensi, L.; Leonardi, Giorgio; Montani, Stefania; Terenziani, Paolo
A Data Viz Platform as a Support to Study, Analyze and Understand the Hate Speech Phenomenon
2018-01-01 ARTHUR THOMAS EDWARD, Capozzi; Patti, Viviana; Ruffo, Giancarlo Francesco; Bosco, Cristina
A Design-Application Approach for Unravelling the Synergistic Active Sites in Solid Catalysts
2011-01-01 Leithall, R; Levy, A; Shetti, V; Gianotti, Enrica; Maurelli, S; Chiesa, M; Raja, R.
A development over time of the reseachers’ meta-didactical praxeologies.
2015-01-01 Martignone, Francesca
A dialogue about classroom tasks
2013-01-01 S., Banchelli; Martignone, Francesca
A different way for the oxidation of the Pt(II) complexes
2013-01-01 Fregonese, Federico; Tinello, Stefano; Alessio, M; Gabano, Elisabetta; Ravera, Mauro; Osella, Domenico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A conditional constructive logic for access control and its sequent calculus | 1-gen-2011 | Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L. | |
A constraint-based approach for the conciliation of clinical guidelines | 1-gen-2016 | Piovesan, Luca; Terenziani, Paolo | |
A constructive conditional logic for access control: a completeness result and a sequent calculus | 1-gen-2010 | Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L. | |
A constructive conditional logic for access control: a preliminary report | 1-gen-2010 | Genovese, V; Giordano, Laura; Gliozzi, V; Pozzato, G. L. | |
A context-aware miner for medical processes | 1-gen-2016 | Canensi, L.; Leonardi, Giorgio; Montani, Stefania; Terenziani, Paolo | |
A Data Viz Platform as a Support to Study, Analyze and Understand the Hate Speech Phenomenon | 1-gen-2018 | ARTHUR THOMAS EDWARD, Capozzi; Patti, Viviana; Ruffo, Giancarlo Francesco; Bosco, Cristina | |
A Design-Application Approach for Unravelling the Synergistic Active Sites in Solid Catalysts | 1-gen-2011 | Leithall, R; Levy, A; Shetti, V; Gianotti, Enrica; Maurelli, S; Chiesa, M; Raja, R. | |
A development over time of the reseachers’ meta-didactical praxeologies. | 1-gen-2015 | Martignone, Francesca | |
A dialogue about classroom tasks | 1-gen-2013 | S., Banchelli; Martignone, Francesca | |
A different way for the oxidation of the Pt(II) complexes | 1-gen-2013 | Fregonese, Federico; Tinello, Stefano; Alessio, M; Gabano, Elisabetta; Ravera, Mauro; Osella, Domenico |
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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 2033
- 4 Contributo in Atti di Convegno ... 1414
- 4 Contributo in Atti di Convegno ... 398
- 4 Contributo in Atti di Convegno ... 221
- 1 Contributo su Rivista 1
- 1 Contributo su Rivista::1.1 Arti... 1
Data di pubblicazione
- 2019 153
- 2018 148
- 2017 158
- 2016 144
- 2015 151
- 2014 159
- 2013 216
- 2012 273
- 2011 335
- 2010 297
Editore
- Springer 39
- IEEE 20
- ACM 14
- Institute of Electrical and Elect... 12
- Springer Verlag 12
- CEUR-WS 11
- IEEE Computer Society 11
- Springer-Verlag 8
- Università degli Studi di Firenze 8
- Editoriale Scientifica 6
Rivista
- CEUR WORKSHOP PROCEEDINGS 16
- LECTURE NOTES IN COMPUTER SCIENCE 9
- THE FEBS JOURNAL 9
- PROCEEDINGS OF THE PME CONFERENCE 8
- BLOOD 7
- ELECTRONIC PROCEEDINGS IN THEORET... 7
- EMIRATES JOURNAL OF FOOD AND AGRI... 7
- JOURNAL OF INSTRUMENTATION 7
- LECTURE NOTES IN ARTIFICIAL INTEL... 7
- IL NUOVO CIMENTO C 6
Serie
- CEUR WORKSHOP PROCEEDINGS 14
- LECTURE NOTES IN ARTIFICIAL INTEL... 14
- LECTURE NOTES IN COMPUTER SCIENCE 13
- PROCEEDINGS OF THE AMERICAN ACADE... 6
- THEMATA 4
- BIBLIOTECA DELLA SOCIETÀ STORICA ... 2
- COMMUNICATIONS IN COMPUTER AND IN... 2
- ACTA DIURNA 1
- ARCHÉOVISION 1
- BIBLIOTECA DI STUDI FRANCESI 1
Keyword
- Computer Science (all) 13
- Software 10
- Biomedical Engineering 8
- melanoma 7
- Temporal reasoning 6
- Fault detection identification an... 5
- Health Informatics 5
- Michail Bachtin 5
- performance 5
- Probabilistic Graphical Models 5
Lingua
- eng 1090
- ita 350
- fre 26
- ger 13
- spa 12
- rus 5
- por 2
- und 2
- cze 1
- mul 1
Accesso al fulltext
- no fulltext 1514
- reserved 301
- open 120
- restricted 93
- partially open 6