Assessing Sentiment Strength in Words Prior Polarities
2012-01-01 Gatti, Lorenzo; Guerini, Marco
Precision Cosmic ray Physics on the ISS With the Alpha Magnetic Spectrometer
2015-01-01 Battiston, R.
Automatic artifact suppression in simultaneous tDCS-EEG using adaptive filtering
2015-01-01 Mancini, M; Pellicciari, Mc; Brignani, D; Mauri, P; De Marchis, C; Miniussi, Carlo; Conforto, S.
Analysis and design of an oscillating water column wave energy converter with dielectric elastomer power take-off
2015-01-01 Moretti, Giacomo; Rosati, Gastone Pietro Papini; Alves, Marco; Grases, Manuel; Vertechy, Rocco; Fontana, Marco
Open-access dielectric elastomer material database
2014-01-01 Vertechy, R.; Fontana, M.; Stiubianu, G.; Cazacu, M.
New HMI concept for motorcycles-the saferider approach
2009-01-01 Diederichs, J. P. Frederik; Fontana, Marco; Bencini, Giacomo; Nikolaou, Stella; Montanari, Roberto; Spadoni, Andrea; Widlroither, Harald; Baldanzini, Niccolò
Oscillating-water-column wave-energy-converter based on dielectric elastomer generator
2013-01-01 Vertechy, R.; Fontana, M.; Rosati Papini, Gastone Pietro; Bergamasco, M.
Influence of wideband noise on sinusoid parameter estimation provided by the two-point interpolated odd-DFT algorithm
2016-01-01 Belega, Daniel; Petri, Dario; Dallet, Dominique
A frequency-domain linear least-squares approach for complex sine-wave amplitude and phase estimation
2017-01-01 Belega, Daniel; Petri, Dario; Dallet, Dominique
Content-based information protection and release in NATO operations
2013-01-01 Armando, A.; Grasso, M.; Oudkerk, S.; Ranise, S.; Wrona, K.
Combining generic and domain specific reasoning by using contexts
2002-01-01 Ranise, S.
MCMT: A model checker modulo theories
2010-01-01 Ghilardi, S.; Ranise, S.
Scalable and precise automated analysis of administrative temporal role-based access control
2014-01-01 Ranise, S.; Truong, A.; Armando, A.
Automated and Efficient Analysis of Role-Based Access Control with Attributes
2012-01-01 Armando, A; Ranise, S
From strong amalgamability to modularity of quantifier-free interpolation
2012-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, S.
Towards a reference architecture for access control in distributed web applications
2014-01-01 Uttha, W.; Bertolissi, C.; Ranise, S.
Automated support for the design and validation of fault tolerant Parameterized systems: A case study
2010-01-01 Alberti, F.; Ghilardi, S.; Pagani, E.; Ranise, S.; Rossi, G. P.
Solving multi-objectiveworkflow satisfiability problems with optimization modulo theories techniques
2018-01-01 Bertolissi, C.; Dos Santos, D. R.; Ranise, S.
Combining proof-producing decision procedures
2007-01-01 Ranise, S.; Ringeissen, C.; Tran, D. -K.
Assisted content-based labelling and classification of documents
2016-01-01 Wrona, K.; Oudkerk, S.; Armando, A.; Ranise, S.; Traverso, R.; Ferrari, L.; Mcevoy, R.
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)20452
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa43
- 2020 - 20273506
- 2010 - 20197208
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2223
- Institute of Electrical and Elect...1021
- 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
- eng15364
- ita3585
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14969
- reserved3348
- open1612
- partially open517
- mixed6
- embargoed2