Leveraging Equality Generating Dependencies for Chase Termination
2016-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Checking Termination of Datalog with Function Symbols Through Linear Constraints
2015-01-01 Calautti, M; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Numerical modelling of orthogonal cutting of Electron Beam Melted Ti6Al4V
2015-01-01 A., Bordin; S., Imbrogno; S., Bruschi; A., Ghiotti; Umbrello, Domenico
Hydrogeochemical study of the multi-aquifer system of the Sibari Plain (Calabria, Southern Italy)
2013-01-01 Vespasiano, G.; Apollaro, C.; Bloise, Andrea; Cianflone, G.; Rosa, De; Dominici, R.; Marini, R.
Finite Element Simulation of Semi-finishing Turning of Electron Beam Melted Ti6Al4V Under Dry and Cryogenic Cooling
2015-01-01 A., Bordin; S., Imbrogno; G., Rotella; S., Bruschi; A., Ghiotti; Umbrello, Domenico
Rainfall and hydrometric thresholds for flood warning. The Esaro River case study
2006-01-01 Mendicino, Giuseppe
A Virtual Environment for the Enactment of Realistic Cyber Security Scenarios
2016-01-01 Furfaro, Angelo; Piccolo, A; Sacca', Domenico; Parise, A.
Phoenixin-14 as a novel modulator of cardiac function: tissue detection and physiological characterization
2016-01-01 Rocca, C; Scavello, F; Cerra, Mc; Angelone, T
Hardware implementation of a Test Lab for Smart Home environments
2015-01-01 Cordopatri, A.; De Rose, R.; Felicetti, C.; Lanuzza, Marco; Cocorullo, Giuseppe
PERLEDICREATIVITÀ: A DIGITAL ARTEFACT AND STORYTELLING PROJECT FOR THE PERLE PLATFORM
2016-01-01 Cronin, Michael
Cardiac interaction and signalling between full length Chromogranin A and Tumor Necrosis Factor alpha
2016-01-01 Rocca, C.; Pasqua, T.; Corti, A.; Cerra, M. C.; Tota, B.; Angelone, Tommaso
La presenza brettia sul Traente attraverso nuovi documenti monetali
1995-01-01 TALIANO GRASSO, Armando
Influence of striking praxis and chemical corrosion in weight variations of a big sample of Syracusan bronze coins
2016-01-01 Carroccio, Benedetto
Towards Interoperability of EHR Systems: The Case of Italy
2016-01-01 Guarasci, Roberto Franco; Ciampi, M; DE PIETRO, G; Esposito, A.
Comparazione dei profili di velocità acquisiti da un veicolo sonda e da un drone
2016-01-01 Salvo, G; Caruso, L; Scordo, A; Guido, Giuseppe; Vitale, A.
The role of autochthonous versus detrital micrite in depositional geometries of carbonate platform systems
2015-01-01 Guido, A.; Mastandrea, Adelaide; Stefani, M.; Russo, F.
Utilizzo dei droni come tecnica innovativa di monitoraggio del traffico
2016-01-01 Salvo, G; Caruso, L; Scordo, A; Guido, Giuseppe; Vitale, A.
Material Damage Assessment and Structural Helth Monitoring of Historical Heritage By Using NDT Tecniques and Proximal Remote Sensing Tools
2015-01-01 Porco, Giacinto; Costanzo, A; Montuori, A; Casula, G; Luzi, G.
Theoretical Study on the Failure Process in RC Beams Shear-Strengthened with Complete FRP Wraps.
2014-01-01 Colotti, Vincenzo
JWASP: A New Java-Based {ASP} Solver
2015-01-01 Alviano, M; Dodaro, C; Ricca, F
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 ...16615
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20262601
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...521
- IEEE377
- Springer325
- Springer Verlag161
- CEUR-WS157
- Springer Science and Business Med...149
- IEEE Computer Society136
- Elsevier B.V.128
- ACM89
- Editore Bios58
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE206
- CEUR WORKSHOP PROCEEDINGS73
- PROCEDIA COMPUTER SCIENCE71
- PROCEDIA STRUCTURAL INTEGRITY64
- POS PROCEEDINGS OF SCIENCE49
- AIP CONFERENCE PROCEEDINGS41
- IJCAI41
- PROCEEDINGS OF THE EUROPEAN CONFE...36
- ACM INTERNATIONAL CONFERENCE PROC...33
- AIP CONFERENCE PROCEEDINGS32
Serie
- CEUR WORKSHOP PROCEEDINGS171
- LECTURE NOTES IN COMPUTER SCIENCE127
- LECTURE NOTES IN ARTIFICIAL INTEL...77
- MECHANISMS AND MACHINE SCIENCE52
- AIP CONFERENCE PROCEEDINGS27
- COMMUNICATIONS IN COMPUTER AND IN...23
- LECTURE NOTES IN MECHANICAL ENGIN...22
- IFAC-PAPERSONLINE20
- PROCEDIA CIRP20
- FRONTIERS IN ARTIFICIAL INTELLIGE...18
Keyword
- Computer Science (all)98
- Computer Networks and Communications94
- -87
- Software77
- Artificial Intelligence75
- Answer Set Programming74
- Theoretical Computer Science69
- Computer Science Applications1707...52
- Electrical and Electronic Enginee...47
- Instrumentation37
Lingua
- eng11256
- ita3483
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16588
- open22
- embargoed6
- reserved1