A Hierarchical Task-Network Planner based on Symbolic Model Checking
2005-01-01 U., Kuter; D., Nau; Pistore, Marco; P., Traverso
Analisi dell'andamento degli infortuni in relazione alla mansione e all'orario di lavoro in un campione di dipendenti delle Ferrovie dello Stato
1989-01-01 Micciolo, Rocco
Surface phenomena on boron alloyed Astaloy CrM powders
2007-01-01 Molinari, Alberto; Menapace, Cinzia; J., Kazior; T., Pieczonka
Dalle biblioteche alla rete
2002-01-01 P., Mastandrea; Boschetti, Federico
Effetti locali dell’evoluzione della domanda turistica in ambiente montano
2005-01-01 Buzzetti, Luciano
L'emigrazione trentina nelle Americhe
1996-01-01 Andreotti, Giuliana
Indizi del meraviglioso
2008-01-01 Renzetti, Emanuela
Mathematical Models for Signal Quantization Analysis
1994-01-01 P., Carbone; C., Narduzzi; Petri, Dario
Shallow Semantics in Fast Textual Entailment Rule Learners
2007-01-01 F. M., Zanzotto; M., Pennacchiotti; Moschitti, Alessandro
Quale scuola materna?
1998-01-01 Sartori, Francesca
Analisi delle cause di degrado in ambiente alcalino di rivestimenti depositati per cataforesi
2002-01-01 Deflorian, Flavio; Rossi, Stefano; P., Kamarchik; Fedrizzi, Lorenzo; Bonora, Pierluigi
Experimenting a ”General Purpose” Textual Entailment Learner in AVE
2006-01-01 Moschitti, Alessandro; F. M., Zanzotto
I riferimenti culturali e normativi del progetto ecomuseale
2004-01-01 Renzetti, Emanuela; M. P., Flaim
Oxidation of carbon monoxide over Pt/Ag catalysts supported on silica gels
1989-01-01 Campostrini, Renzo; Dirè, Sandra; R., Ganzerla; M., Lenarda; Carturan, Giovanni
Low frequency Raman scattering of organic host-guest complexes of biological interest
2005-01-01 Rossi, Barbara; Scarduelli, Giorgina; Mancini, Ines; Guella, Graziano; Viliani, Gabriele
Le leggi razziali e le 'incertezze' dei diritti umani
2002-01-01 Quaglioni, Diego
Positive fuzzy matrices, dominant eigenvalues, and an extension of Saaty's Analytical Hierarchy Process
1995-01-01 Fedrizzi, Michele; Marques Pereira, Ricardo Alberto
19F- as NMR probe for superoxide ion and related enzymes
1984-01-01 A., Rigo; Scarpa, Marina; R., Stevanato; P., Viglino
A Multilevel Parcel-Based Approach to Change Detection in Very High Resolution Multitemporal Images
2005-01-01 Bovolo, Francesca; Bruzzone, Lorenzo
Stabilità di biforcazioni fluviali in alvei a fondo mobile
2000-01-01 G., Besio; M., Bolla; R., Repetto; Tubino, Marco
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 Convegni (Proceedings)20291
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263362
- 2010 - 20197196
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2262
- Institute of Electrical and Elect...958
- Springer899
- ACM386
- IEEE Computer Society316
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS169
- Association for Computing Machinery166
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE683
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...178
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore L-ANT/08 - Archeologia Cr...5
- Settore SECS-P/08 - Economia e Ge...5
Keyword
- Computer Networks and Communications148
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15221
- ita3566
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14969
- reserved3262
- open1549
- partially open503
- mixed8
- embargoed2