Computing Predicate Abstractions by Integrating BDDs and SMT Solvers
2007-01-01 R., Cavada; A., Cimatti; Franzen, Per Anders; Krishnamani, Kalyanasundaram; Roveri, Marco; R. K., Shyamasundar
A CMOS Range Camera based on Single Photon Avalanche Diodes
2006-01-01 M., Scandiuzzo; D., Stoppa; Pancheri, Lucio; Dalla Betta, Gian Franco; A., Simoni
Control Scheme Analysis for Multimedia Inter- and Intra-stream Synchronization
2001-01-01 H., Zhu; G., Zeng; Chlamtac, Imrich
Sistema rilievo ostacoli distribuito
2006-01-01 D., Capello; R., Falciai; Fontana, Giorgio; N., Pallaro; Soncini, Giovanni; C., Trono
Experimental Study of the Surface Heat Transfer Enhancement in a Rib-Roughened Blade Cooling Channel By Means of Double Layer Thin Film
1999-01-01 Battisti, Lorenzo; T., Schmeer
Thermoanalysis of Glass-Fibers Crystallization
1982-01-01 S., Meriani; G., Fagherazzi; B., Locardi; Sorarù, Gian Domenico
A predictive corresponding states density model for pure refrigerants
2000-01-01 Grigiante, Maurizio; G., Scalabrin; S., Bobbo
Modellazione dei Processi Termo-igrometrici nelle Strutture Edilizie Multistrato: la Risposta alle Sollecitazione di Tipo Radiante
2001-01-01 Baggio, Paolo; M., Campanale; L., Moro; P., Romagnoni
Analisi sperimentale di telai composti con giunti semi-rigidi
1993-01-01 Bernuzzi, Claudio; Zandonini, Riccardo; S., Noe'; F., Benussi
Sviluppo e territorio: istituzioni e conoscenze
2002-01-01 Goglio, Silvio
Maximum O2 uptake as the real limit of the maximum aerobic power in humans
2005-01-01 Schena, Federico; F., Esposito; A., Veicsteinas; G., Ferretti
Optimal menus of alternatives in group decision making
1997-01-01 Fedrizzi, Michele; Marques Pereira, Ricardo Alberto; Molinari, Franco
Oltre il diritto scritto
1995-01-01 Ferrarese, Maria Rosaria
The problem of context from the standpoint of Artificial Intelligence
1998-01-01 Bouquet, Paolo
Fluorescence line narrowing spectroscopy of germanate glasses doped with Eu3+
1999-01-01 R., Rolli; G., Samoggia; A., Speghini; M., Bettinelli; Montagna, Maurizio; M., Ferrari
From Collaborating Filtering to Implicit Culture: a general agentbased framework
2000-01-01 Giorgini, Paolo; Blanzieri, Enrico
Slim Floor Steel-Concrete Composite Systems
1996-01-01 Bernuzzi, Claudio; Zandonini, Riccardo
I percorsi di internazionalizzazione delle imprese minori del Triveneto
1998-01-01 Trevisan, Italo
Multi-frequency/multi-scaling techniques for the electromagnetic inversion of lossless profiles – A numerical comparison
2007-01-01 Franceschini, Davide; Donelli, Massimo; Franceschini, Gabriele; Massa, Andrea
Texture analysis of complex earth materials from neutron diffraction spectra
1999-01-01 Lutterotti, Luca
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)20289
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263357
- 2010 - 20197199
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2261
- Institute of Electrical and Elect...957
- 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 SCIENCE684
- 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
- PROCEEDINGS - IEEE COMPUTER SOCIE...56
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- 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 Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...137
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15222
- ita3563
- und133
- fre96
- spa74
- ger62
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14981
- reserved3261
- open1542
- partially open497
- mixed8
- embargoed2