Parallel Instantiation of ASP Programs
2007-01-01 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Threshold voltage instability and low frequency noise in Hafnium-based gate dielectrics
2006-01-01 Crupi, Felice
Internal risk models for non life insurers: the choice of the assessment model
2009-01-01 Pirra, Marco; Forte, Salvatore; Ialenti, Matteo
Forensic Application of ICP-MS
2006-01-01 Tagarelli, Antonio; Sindona, G; DE NINO, A.
Evidence that matrix metalloproteinases are involved in high intraocular presure-induced retinal ganglion cell death
2007-01-01 Bagetta, Giacinto; Span', A; Nucci, C; Tartaglione, R; Morrone, Luigi Antonio
Experimenting with Parallelism for the Instantiation of ASP Programs
2007-01-01 Calimeri, Francesco; Perri, Simona; Ricca, Francesco
Nonlinear analysis of brittle materials
2006-01-01 Malena, M; Bilotta, Antonio; Lanzo, A. D.
Vasche di pioggia con effetto di sedimentazione e vuotamento controllato
2005-01-01 Calomino, Francesco; Piro, Patrizia; Carbone, M.; Palma, G.
Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming
2005-01-01 Palopoli, Luigi; S., Rombo; Terracina, Giorgio
Energy-Transport Models for Semiconductor Devices and Their Coupling with Electric Networks
2007-01-01 Ali', Giuseppe; Carini, M.
Omologazione di N-nosil-α-amminoacidi ad N-metil-β-amminoacidi
2006-01-01 DI GIOIA, Maria Luisa; Greco, A; Leggio, A; Liguori, A; Perri, F; Siciliano, C; Viscomi, M. C.
Salvare le zone umide con la Direttiva Quadro 2000/60?
2006-01-01 Pacini, Nicola; Pineschi, G; Bindless, R.
Pattern di espressione del gene che codifica per la geranil-geranil reduttasi (PoCHL P) in Posidonia oceanica (L) Delile
2006-01-01 Bruno, Leonardo; Bruno, A.; Greco, M.; Giannino, D.; Chiappetta, Adriana Ada Ceverista; Bitonti, M. B.
An Experimental Environment for the Runtime Communication among Different Solvers and Visualization Modules
2007-01-01 Bruno, Fabio; Caruso, F; Muzzupappa, Maurizio; Stork, A.
Inizio del processo di frangimento in modelli tipo-boussinesq
2006-01-01 D'Alessandro, Felice; Veltri, Paolo; TOMASICCHIO GIUSEPPE, Roberto
A DEVS M&S Framework based on Java and Actors
2006-01-01 Cicirelli, F.; Furfaro, Angelo; L., Nigro
Design and Implementation of a Low Bit-Rate On-Board Satellite Wavelet-based Compression Core
2008-01-01 Cocorullo, G; Corsonello, Pasquale; DE NINO, M; Lanuzza, Marco; Perri, Stefania; Staino, G.
UNA SEMPLICE METODOLOGIA DI CALCOLO AUTOMATIZZATA DI AUSILIO ALLA CERTIFICAZIONE ENERGETICA DEGLI EDIFICI
2006-01-01 Oliveti, Giuseppe Antonio; Arcuri, Natale; Bruno, R.
La dipendenza del coefficiente di riossigenazione dalle caratteristiche idrauliche di un corso d'acqua
2006-01-01 Veltri, Paolo; FIORINI MOROSINI, Attilio; Maradei, Giuseppe
La chiesa della SS.ma Trinità degli Spagnoli
2007-01-01 Anselmi, Alessandra
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