SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications
2012 Luís, Caires; MENDES TORRES VIEIRA, H
Primal decomposition of the optimal coordination of vehicles at traffic intersections
2016 Hult, R; Zanon, M; Gros, S; Falcone, P
Deaf individuals have faster processing of visual transients events
2007 Bottari, D; Pavani, F
Investigating Socio-Economic Impacts of Mega Events: The Case of Comic-Cons
2016 Tonga, Y; Antognozzi, T; Catoni, MARIA LUISA
A Reversible Abstract Machine and Its Space Overhead
2012 Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B
CAptLang: a language for context-aware and adaptable business processes
2013 Bucchiarone, A.; Mezzina, C; Pistore, M
A Classification method for eye movements direction during REM sleep trained on wake electro-oculographic recordings
2015 Betta, M; Laurino, M; Gemignani, A; Landi, A; Menicucci, M
The State Theatres in Turkey: Analysis on the Management Model and Valuation
2013 Tonga, Y
Generalized Recurrence Plots for the analysis of spatially distributed systems: Turing patterns, spiral and traveling waves
2008 Facchini, A; C., Mocenni; F., Rossi; A., Vicino
Public transport transfers assessment via transferable-utility games and Shapley-value approximation
2018 Hadas, Y; Gnecco, G; Sanguineti, M
Secure Service Composition with Symbolic Effects
2009 Costa, G; Degano, P; Martinelli, F
Effetti della crescita strutturale sull'equilibrio e deformazione di elementi murari piani
2007 Bacigalupo, A; L., Gambarotta
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report)
2017 Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V
Load forecasting for active distribution networks
2011 Paoletti, Simone; Casini, Marco; Giannitrapani, Antonio; Facchini, Angelo; Garulli, Andrea; Vicino, Antonio
A simplified evaluation of the influence of the bond pattern on the brickwork limit strength
2011 Bacigalupo, Andrea; Cavicchi, ANDREA LUCA; Gambarotta, Luigi
The Golden Age of Mopsouestia. The 'tower-monument' and the theatre in the architectural context of the 2nd and 3rd centuries C.E.
In corso di stampa Poggio, A
TOPEM: a Multimodality Probe (PET TOF, MRI, and MRS) for Diagnosis and Follow Up of Prostate Cancer
2010 Garibaldi, F; De Leo, R; Ranieri, A; Loddo, F; Floresta, M; Tamma, C; Gabrielli, Andrea; Giorgi, F; Cusanno, F; Musico, P; Perrino, R; Finocchiaro, P; Cosentino, L; Pappalardo, A; Meddi, F; Maraviglia, B; Giove, F; Gili, T; Capuani, S; Turisin, M; Clinthorne, N; Huh, S; Majewski, S; Lucentini, M; Gricia, M; Giuliani, F; Monno, E
Micro-polar and Second Order Homogenization of Periodic Masonry
2010 Bacigalupo, A; L., Gambarotta
“On the Latin Reception of Avicenna’s Metaphysics before Albertus Magnus: An Attempt at Periodization”
2012 Bertolacci, A
Proximal newton methods for convex composite optimization
2013 Patrinos, P; Bemporad, A
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
- 4 Contributo in Atti di Convegno ...1159
Data di pubblicazione
- In corso di stampa2
- 2020 - 2026280
- 2010 - 2019568
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE104
- Springer57
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery21
- IEEE Computer Society17
- Springer Verlag17
- EURAM11
- CEUR-WS10
- Springer Science and Business Med...10
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...9
- LECTURE NOTES IN COMPUTER SCIENCE6
- SLEEP6
- ENERGY PROCEDIA5
- PROCEEDINGS OF THE IEEE CONFERENC...5
- CEUR WORKSHOP PROCEEDINGS4
- JOURNAL OF SLEEP RESEARCH4
- LECTURE NOTES IN APPLIED AND COMP...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE52
- IFAC-PAPERSONLINE23
- PROCEEDINGS OF THE IEEE CONFERENC...21
- CEUR WORKSHOP PROCEEDINGS18
- PROCEEDINGS OF THE ... IEEE CONFE...11
- EUROPEAN CONTROL CONFERENCE8
- COMMUNICATIONS IN COMPUTER AND IN...7
- LECTURE NOTES OF THE INSTITUTE FO...7
- PROCEEDINGS OF THE AMERICAN CONTR...6
- COMPUTER-AIDED CHEMICAL ENGINEERING5
Keyword
- Security9
- Games7
- Machine learning7
- security7
- Cybersecurity6
- Deep Learning6
- Uncertainty6
- IoT5
- Model predictive control5
- Nash equilibrium5
Lingua
- eng844
- ita102
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext677
- reserved303
- open142
- partially open37