Automated analysis of scenario-based specifications of distributed access control policies with non-mechanizable activities
2013-01-01 Barletta, M.; Ranise, S.; Vigano, L.
System description: RDL rewrite and decision procedure laboratory
2001-01-01 Armando, A.; Compagna, L.; Ranise, S.
ADER Schemes for Time-Dependent PDEs: Review and Applications to Astrophysics
2010-01-01 Toro, Ef; Dumbser, M
HLLC-type riemann solver for the baer-nunziato equations of compressible two-phase flow
2011-01-01 Tokareva, S. A.; Toro, E. F.
Reformulated osher-type riemann solver
2011-01-01 Toro, E. F.; Dumbser, M.
A flux splitting method for the Baer-Nunziato equations of compressible two-phase flow
2017-01-01 Tokareva, S.; Toro, E.
ADER DG and FV Schemes for Shallow Water Flows
2008-01-01 Castro, Cristóbal E.; Toro, Eleuterio F.
Well-Balanced High-Order MUSTA Schemes for Non-Conservative Hyperbolic Systems
2008-01-01 Castro, M. J.; Parés, C.; Pardo, A.; Toro, E. F.
ADER–Runge–Kutta Schemes for Conservation Laws in One Space Dimension
2008-01-01 Russo, G.; Toro, E. F.; Titarev, V. A.
Algoritmi applicati a dati telerilevati per il monitoraggio della qualità ambientale in ambito fluviale
2018-01-01 Gallo, Raimondo; Corso, Riccardo; Ristorto, Gianluca; Zorzi, Nadia; Bojeri, Alex; Ferraiolo, Francesco; Sauli, Giuliano; Mazzetto, Fabrizio
The GRe1C Portal: A Ubiquitous and Seamless Way to Manage Grid Databases
2008-01-01 Fiore, S.; Negro, A.; Vadacca, S.; Verdesca, E.; Leone, A.; Aloisio, G.
iGRelC: A dashboard implementation for grid environments
2008-01-01 Fiore, S.; Negro, A.; Vadacca, S.; Aloisio, G.
Numerical characterization of mechanochromic photonic crystals for structural health monitoring
2016-01-01 Piccolo, V.; Piotrowska, A.; Chiappini, A.; Vaccari, A.; Ferrari, M.; Deseri, L.; Zonta, D.
The climate-G testbed: Towards large scale distributed data management for climate change
2011-01-01 Fiore, S.; Aloisio, G.; Fox, P.; Petitdidier, M.; Schwichtenberg, H.; Denvil, S.; Blower, J. D.; Cofino, A.
A big data analytics framework for scientific data management
2013-01-01 Fiore, S.; Palazzo, C.; D'Anca, A.; Foster, I.; Williams, D. N.; Aloisio, G.
Ophidia: A full software stack for scientific data analytics
2014-01-01 Fiore, S.; D'Anca, A.; Elia, D.; Palazzo, C.; Williams, D.; Foster, I.; Aloisio, G.
Distributed and cloud-based multi-model analytics experiments on large volumes of climate change data in the earth system grid federation eco-system
2016-01-01 Fiore, S.; Plociennik, M.; Doutriaux, C.; Palazzo, C.; Boutte, J.; Zok, T.; Elia, D.; Owsiak, M.; D'Anca, A.; Shaheen, Z.; Bruno, R.; Fargetta, M.; Caballer, M.; Molto, G.; Blanquer, I.; Barbera, R.; David, M.; Donvito, G.; Williams, D. N.; Anantharaj, V.; Salomoni, D.; Aloisio, G.
A workflow-enabled big data analytics software stack for escience
2015-01-01 Palazzo, C.; Mariello, A.; Fiore, S.; D'Anca, A.; Elia, D.; Williams, D. N.; Aloisio, G.
Big data analytics for climate change and biodiversity in the EUBrazilCC federated cloud infrastructure
2015-01-01 Fiore, S.; Mancini, M.; Elia, D.; Nassisi, P.; Brasileiro, F. V.; Blanquer, I.
An in-memory based framework for scientific data analytics
2016-01-01 Elia, D.; Fiore, S.; D'Anca, A.; Palazzo, C.; Foster, I.; Williams, D. N.
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