Detection of semantic compositionality using semantic spaces
2012-01-01 L., Krcmar; K., Jezek; Poesio, Massimo
Regularized hyperalignment of multi-set fMRI data2012 IEEE Statistical Signal Processing Workshop (SSP)
2012-01-01 Hao, Xu; Alexander, Lorbert; Peter J., Ramadge; J., Swaroop Guntupalli; Haxby, James Van Loan
Smart Towns and Homes in the early 20 th Century. The design of a modern environment
2014-01-01 Gatti, Maria Paola; Cacciaguerra, Giorgio; Battaino, Claudia
Experimental tests of cross-laminated timber floors to be used in timber-steel hybrid structures
2014-01-01 Loss, Cristiano; Piazza, Maurizio; Zandonini, Riccardo
Spectrum Sensing Implementations for Software Defined Radio in Simulink
2012-01-01 Harikumar, Aravind; R., Gandhiraj; K., Soman; M. S., Manikandan; R., Peter
Hydrothermal carbonization of grape marc: Experimental results and reaction kinetics modelling
2014-01-01 Basso, Daniele; F., Patuzzi; Castello, Daniele; M., Baratieri; Fiori, Luca
Hydrothermal carbonization for wet wastes management
2014-01-01 Fiori, Luca; Basso, Daniele; F., Patuzzi; E., Weiss Hortala; Castello, Daniele; M., Baratieri
Automated generation of FDIR for the compass integrated toolset (AUTOGEF)
2012-01-01 Elena, Alaña; Héctor, Naranjo; Yuri, Yushtein; Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Régis de, Ferluc; Gérard, Garcia
Formal Specification and Synthesis of FDI through an Example
2013-01-01 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Stefano, Tonetta
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers
2013-01-01 Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Stefano, Tonetta
Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
2014-01-01 Marco, Bozzano; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Stefano, Tonetta
Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty
2014-01-01 Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Roveri, M.
The nuXmv Symbolic Model Checker
2014-01-01 Cavada, R.; Cimatti, Alessandro; Dorigatti, M.; Griggio, A.; Mariotti, A.; Micheli, Andrea; Mover, S.; Roveri, M.; Tonetta, S.
Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation
2014-01-01 Cimatti, Alessandro; Hunsberger, L.; Micheli, Andrea; Posenato, R; Roveri, M.
Notai di nomina vescovile a Trento tra XII e XIII secolo
2014-01-01 Curzel, Emanuele
MEMS-Based Multi-Modal Vibration Energy Harvesters for Ultra-Low Power Autonomous Remote and Distributed Sensing
2014-01-01 Iannacci, Jacopo; E., Serra; Sordo, Guido; M., Bonaldi; A., Borrielli; U., Schmid; A., Bittner; M., Schneider; T., Kuenzig; G., Schrag; G., Pandraud; P. M., Sarro
TRIDENT: In-field Connectivity Assessment for Wireless Sensor Networks
2014-01-01 Istomin, Timofei; Marfievici, Ramona; Amy L., Murphy; Picco, Gian Pietro
Designing distributed applications with mobile code paradigms
1997-01-01 Antonio, Carzaniga; Picco, Gian Pietro; Giovanni, Vigna
Software Engineering for Mobility: Reflecting on the Past, Peering into the Future
2014-01-01 Picco, Gian Pietro; Christine, Julien; Amy L., Murphy; Mirco, Musolesi; Gruia Catalin, Roman
Design and Compilation of an Object-Oriented Macroprogramming Language for Wireless Sensor Networks
2014-01-01 Felix Jonathan, Öppermann; Kay, Römer; Luca, Mottola; Picco, Gian Pietro; Andrea, Gaglione
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)20258
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20263326
- 2010 - 20197199
- 2000 - 20096478
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2261
- Institute of Electrical and Elect...956
- Springer898
- ACM387
- IEEE Computer Society313
- Springer Verlag294
- SPIE186
- Association for Computational Lin...170
- CEUR-WS167
- Association for Computing Machinery162
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 SCIENCE680
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...176
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...92
- 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 ING-IND/22 - Scienza e Te...5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- 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
- eng15194
- ita3561
- und133
- fre96
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext15002
- reserved3239
- open1521
- partially open488
- mixed8
- embargoed2