Relations among matrices over a semiring
2015-01-01 Killingbeck, D.; Santos Teixeira, Milene; Winter, M.
Bioreactor type and operating conditions influence cell response to polymeric material properties
2002-01-01 Catapano, G.; Speranza, G.; Maniglio, D.; Debartolo, L.; Delia Volpe, C.
Blockchain-based traceability in Agri-Food supply chain management: A practical implementation
2018-01-01 Pincheira, Miguel; Ali, M. S.; Vecchio, M.; Giaffreda, R.
An exploratory study of a touch-based gestural interface for elderly
2010-01-01 Leonardi, C.; Albertini, A.; Pianesi, F.; Zancanaro, M.
Automatic detection of group functional roles in face to face interactions
2006-01-01 Zancanaro, M.; Lepri, B.; Pianesi, F.
Using the influence model to recognize functional roles in meetings
2007-01-01 Dong, W.; Pentland, A.; Lepri, B.; Pianesi, F.; Cappelletti, A.; Zancanaro, M.
Collaborative puzzle game: A tabletop interactive game for fostering collaboration in children with Autism Spectrum Disorders (ASD)
2009-01-01 Battocchi, A.; Pianesi, F.; Tomasini, D.; Zancanaro, M.; Esposito, G.; Venuti, P.; Ben Sasson, A.; Gal, E.; Weiss, P. L.
Analyzing museum visitors' behavior patterns
2007-01-01 Zancanaro, M.; Kuflik, T.; Boger, Z.; Goren-Bar, D.; Goldwasser, D.
The museum visit: Generating seamless personalized presentations on multiple devices
2004-01-01 Rocchi, C.; Stock, O.; Zancanaro, M.; Kruppa, M.; Kruger, A.
Multimodal Recognition of Personality Traits in Social Interactions
2008-01-01 Pianesi, F.; Mana, N.; Cappelletti, A.; Lepri, B.; Zancanaro, M.
Indirect match highlights detection with deep convolutional neural networks
2017-01-01 Godi, Marco; Rota, Paolo; Setti, Francesco
PC-sliding for vehicles path planning and control : Design and evaluation of robustness to parameters change and measurement uncertainty
2007-01-01 De Cecco, Mariolino; Bertolazzi, E.; Miori, G.; Oboe, R.; Baglivo, L.
A new method for numerical simulation of 3D motion effects on motion and roundness reconstruction based upon parametric mathematical modelling
2009-01-01 Miori, G.; Parzianello, G.; De Cecco, M.; Cristofolini, I.; Trevisan, C.; Boselli, G.; Gaboardi, P.; Da Lio, M.
Instruments to measure human feet using Reverse Engineering techniques
2012-01-01 Rao, A.; Fontanari, V.; Cristofolini, I.; De Monte, G.
A theoretical framework for the study of compression sensing in ionic polymer metal composites
2017-01-01 Volpini, V.; Bardella, L.; Rodella, A.; Cha, Y.; Porfiri, M.
Sensory characterization of raspberry cultivars
2010-01-01 Gasperi, Flavia; Endrizzi, E.; Biasioli, Franco; Aprea, Eugenio; Carlin, Silvia; Vrhovsek, Urska; Grisenti, Marcella; Giongo, Lara
From Informal Requirements to Property-Driven Formal Validation
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
2011-01-01 Cimatti, Alessandro; Narasamdya, Iman; Roveri, M
Rat: A tool for the formal analysis of requirements
2007-01-01 Bloem, Roderick; Cavada, Roberto; Pill, Ingo; Roveri, Marco; Tchaltsev, Andrei
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
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)20458
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa44
- 2020 - 20273511
- 2010 - 20197208
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2223
- Institute of Electrical and Elect...1022
- Springer900
- ACM381
- IEEE Computer Society330
- Springer Verlag298
- SPIE187
- Association for Computational Lin...174
- Association for Computing Machinery174
- Springer Science and Business Med...171
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...68
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- INTERNATIONAL ARCHIVES OF THE PHO...13
- AIP CONFERENCE PROCEEDINGS12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE705
- CEUR WORKSHOP PROCEEDINGS261
- PROCEEDINGS OF SPIE, THE INTERNAT...187
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE113
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- PROCEEDINGS OF THE IEEE CONFERENC...79
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IFAC-PAPERSONLINE59
- IEEE INTERNATIONAL GEOSCIENCE AND...54
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...32
- Settore INF/01 - Informatica23
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...9
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ICAR/17 - Disegno5
- 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
- eng15369
- ita3586
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14972
- reserved3350
- open1613
- partially open517
- mixed6
- embargoed2