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.
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
1998-01-01 Giunchiglia, Fausto; Ghidini, Chiara
A New Method for Testing Decision Procedures in Modal and Terminological Logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Bird`s Beak Reduction by Dry LOCOS Technique
1994-01-01 Bellutti, Pierluigi; Boscardin, Maurizio; Lui, Alberto; Soncini, Giovanni; Zen, Mario; Zorzi, Nicola
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective
1997-01-01 Giunchiglia, Fausto; Bouquet, Paolo
NuSMV: A Reimplementation of SMV
1998-01-01 Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco
State and evolution of hydrogen implanted in silicon
1990-01-01 Meda, L.; Cerofolini, G. F.; Bresolin, C.; Dierckx, R.; Donelli, D.; Orlandini, M.; Anderle, M.; Canteri, R.; Ottaviani, G.; Tonini, R.; Claeys, C.; Vanhellemont, J.; Pizzini, S.; Farina, S.
Design and implementation of an intranet-based system for real-time tele-consultation in oncology
1999-01-01 Eccher, Claudio; Flavio, Berloffa; Demichelis, Francesca; Larcher, Barbara; Galvagni, Michele; Sboner, Andrea; Graiff, Antonella; Stefano, Forti
Structural disorder in hard amorphous carbon films implanted with nitrogen ions
1996-01-01 Freire Jr., F. L.; Franceschini, D. F.; Achete, C. A.; Brusa, R. S.; Mariotto, G.; Karwasz, G. P.; Canteri, R.
Store-and-forward collaboration through shared clinical records
1999-01-01 Eccher, Claudio; Flavio, Berloffa; Demichelis, Francesca; Larcher, Barbara; Galvagni, Michele; Sboner, Andrea; Graiff, Antonella; Stefano, Forti
Self-Limitation of Edge-Generated Currents in Single-Sided Microstrip Detectors after Type Inversion
1999-01-01 G., Verzellesi; Dalla Betta, Gian Franco; A., Da Re; Giorgio Umberto, Pignatel; A., Paccagnella; Luciano, Bosisio; Zen, Mario; Soncini, Giovanni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility | 1-gen-1998 | Giunchiglia, Fausto; Ghidini, Chiara | |
A New Method for Testing Decision Procedures in Modal and Terminological Logics | 1-gen-1996 | Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto | |
Bird`s Beak Reduction by Dry LOCOS Technique | 1-gen-1994 | Bellutti, Pierluigi; Boscardin, Maurizio; Lui, Alberto; Soncini, Giovanni; Zen, Mario; Zorzi, Nicola | |
Introduction to Contextual Reasoning. An Artificial Intelligence Perspective | 1-gen-1997 | Giunchiglia, Fausto; Bouquet, Paolo | |
NuSMV: A Reimplementation of SMV | 1-gen-1998 | Cimatti, Alessandro; E. M., Clarke; Giunchiglia, Fausto; Roveri, Marco | |
State and evolution of hydrogen implanted in silicon | 1-gen-1990 | Meda, L.; Cerofolini, G. F.; Bresolin, C.; Dierckx, R.; Donelli, D.; Orlandini, M.; Anderle, M.; Canteri, R.; Ottaviani, G.; Tonini, R.; Claeys, C.; Vanhellemont, J.; Pizzini, S.; Farina, S. | |
Design and implementation of an intranet-based system for real-time tele-consultation in oncology | 1-gen-1999 | Eccher, Claudio; Flavio, Berloffa; Demichelis, Francesca; Larcher, Barbara; Galvagni, Michele; Sboner, Andrea; Graiff, Antonella; Stefano, Forti | |
Structural disorder in hard amorphous carbon films implanted with nitrogen ions | 1-gen-1996 | Freire Jr., F. L.; Franceschini, D. F.; Achete, C. A.; Brusa, R. S.; Mariotto, G.; Karwasz, G. P.; Canteri, R. | |
Store-and-forward collaboration through shared clinical records | 1-gen-1999 | Eccher, Claudio; Flavio, Berloffa; Demichelis, Francesca; Larcher, Barbara; Galvagni, Michele; Sboner, Andrea; Graiff, Antonella; Stefano, Forti | |
Self-Limitation of Edge-Generated Currents in Single-Sided Microstrip Detectors after Type Inversion | 1-gen-1999 | G., Verzellesi; Dalla Betta, Gian Franco; A., Da Re; Giorgio Umberto, Pignatel; A., Paccagnella; Luciano, Bosisio; Zen, Mario; Soncini, Giovanni |
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 ... 567
- 4 Contributo in Atti di Convegno ... 567
Data di pubblicazione
- 1999 144
- 1998 97
- 1997 62
- 1996 79
- 1995 67
- 1994 39
- 1993 21
- 1992 30
- 1991 18
- 1990 10
Editore
- Springer 20
- IEEE 11
- Springer Verlag 7
- Morgan Kaufmann 5
- AAAI Press 4
- no publisher 4
- AAAI 3
- Electrochemical Society 2
- European Circuit Society (ECS) 2
- IOS Press 2
Rivista
- PHYSICA. B, CONDENSED MATTER 2
- ADVANCES IN CLINICAL PATHOLOGY 1
- ANALYTICAL CELLULAR PATHOLOGY 1
- ARCHIVES DES MALADIES DU COEUR ET... 1
- IEEE TRANSACTIONS ON BIOMEDICAL E... 1
- IEEE TRANSACTIONS ON MAGNETICS 1
- JOURNAL OF APPLIED PHYSICS 1
- JOURNAL OF MAGNETISM AND MAGNETIC... 1
- PATHOLOGICA 1
- PHYSICA STATUS SOLIDI B-BASIC RES... 1
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL... 1
- LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
- hidden Markov model 6
- natural language generation 6
- automatic speech recognition 4
- complementary metal-oxide-semicon... 4
- electrical characterization 4
- gettering 4
- LOCOS isolation 4
- neural network 3
- oxide reliability 3
- defect characterization 2
Lingua
- eng 268
- ita 30
- ger 1
Accesso al fulltext
- no fulltext 566
- reserved 1