IRIS

4.1 Contributo in Atti di convegno: [16710] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 8.461 a 8.480 di 16.710
Titolo Data di pubblicazione Autore(i) File
Analysis of regularization techniques in convex nondifferentiable optimization 1-gen-1997 Astorino, A.; Fuduli, A.; Gaudioso, Manlio
A general methodological framework for the development of Web-based information systems 1-gen-2000 Castano, S.; Palopoli, Luigi; Torlone, R.
Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop 1-gen-2008 Perri, S; Ricca, Francesco; Vescio, S.
Produzione di materiali innovativi nel settore edilizio 1-gen-2004 F., Massar; L., Pezzi; F., Chiappetta; DE LUCA, Pierantonio; A., Nastro
Espressione tessuto-specifica e localizzazione sub-cellulare dell'enzima b-glucosidasi in foglie e frutti di Olea europaea 1-gen-2004 A., Spadafora; W., Wang; Mazzuca, Silvia
LDA Investigation on Valve – Wall and Valve – Valve Flow Interaction in High-Performance 4-Valve I.C.E 1-gen-2001 Bova, Sergio; Amelio, M.
A novel and efficient Pd-catalyzed oxidative carbonylation of diamines and beta-amino alcohols to cyclic ureas and 2-oxazolidinones 1-gen-2004 Gabriele, Bartolo; Mancuso, Raffaella; Salerno, Giuseppe
“Modelli di qualità nel drenaggio urbano. Osservazioni sperimentali sul bacino del canale Liguori” 1-gen-2003 Piro, Patrizia; Frega, G; Principato, G.
“Real time forecasting runoff in urban hydrological basins by input-output dynamic neural network” 1-gen-2002 Piro, Patrizia; Frega, G.; Giustolisi, O.
DLV - An Overview 1-gen-1998 Bihlmeyer, R; Faber, W; Koch, C; Leone, Nicola; Mateis, C; Pfeifer, G.
Report sulle attività artistiche dell’Evolutionary Systems Group 1-gen-2003 Bertacchini, P. A.; Bilotta, Eleonora; Pantano, P.; DI BIANCO, E.; Fiorelli, D.; Gabriele, A.; Gervasi, S.; Lorenzi, M.; Sposato, F.; Vena, S.
An advanced tool for authoring multimedia presentation 1-gen-2002 Bilotta, Eleonora; Pantano, Pietro Salvatore
Declarative and Fixpoint Characterizations of Disjunctive Stable Models 1-gen-1995 Leone, Nicola; Rullo, P.; Scarcello, F.
Stable Model Checking for Disjunctive Logic Programs 1-gen-1996 Leone, Nicola; Rullo, P.; Scarcello, F.
DLV: A system far declarative problem solving 1-gen-2000 Eiter, T.; Faber, W.; Koch, C.; Leone, Nicola; Pfeifer, G.
Combining Abduction and Model Checking Techniques far Repairing Concurrent Programs 1-gen-2001 Buccafurri, F.; Eiter, T.; Gottlob, G.; Leone, Nicola
Planning Under Incomplete Knowledge 1-gen-2000 Eiter, T.; Faber, Wolfgang; Leone, Nicola; Pfeifer, G.; Polleres, A.
Look-back Techniques for ASP Programs with Aggregates 1-gen-2008 Faber, Wolfgang; Leone, Nicola; Maratea, M; Ricca, Francesco
Downwards growing carbonate metazoan‐microbial bioconstructions within a geosite of world interest in Sicily 1-gen-2015 Rosso, A.; Sanfilippo, R.; Vertino, A.; Guido, A.; Mastandrea, Adelaide; Russo, F.
NONLINEAR DYNAMIC BEHAVIOUR OF BASE-ISOLATED BUILDINGS WITH THE FRICTION PENDULUM SYSTEM SUBJECTED TO NEAR-FAULT EARTHQUAKES 1-gen-2016 Mazza, Fabio; Sisinno, S.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 8.461 a 8.480 di 16.710
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 ...16708
  • 1 Contributo su Rivista1
  • 2 Contributo in Volume1
  • 5 Altro1
Autore
  • CUZZOCREA, Alfredo Massimiliano502
  • GABRIELE, Bartolo354
  • FORTINO, GIANCARLO265
  • DI MASSA, Giuseppe247
  • MANCUSO, RAFFAELLA244
  • LONGO, Francesco240
  • ANDO', Sebastiano235
  • IERA, ANTONIO218
  • TALIA, DOMENICO217
  • CASAVOLA, ALESSANDRO198
Data di pubblicazione
  • In corso di stampa40
  • 2020 - 20272694
  • 2010 - 20196029
  • 2000 - 20096298
  • 1990 - 19991328
  • 1980 - 1989293
  • 1973 - 197928
Editore
  • Institute of Electrical and Elect...556
  • IEEE378
  • Springer326
  • Springer Verlag161
  • CEUR-WS158
  • Springer Science and Business Med...151
  • IEEE Computer Society138
  • Elsevier B.V.129
  • ACM89
  • Editore Bios58
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE206
  • CEUR WORKSHOP PROCEEDINGS73
  • PROCEDIA COMPUTER SCIENCE72
  • PROCEDIA STRUCTURAL INTEGRITY64
  • POS PROCEEDINGS OF SCIENCE50
  • AIP CONFERENCE PROCEEDINGS41
  • IJCAI41
  • PROCEEDINGS OF THE EUROPEAN CONFE...36
  • ACM INTERNATIONAL CONFERENCE PROC...33
  • AIP CONFERENCE PROCEEDINGS32
Serie
  • CEUR WORKSHOP PROCEEDINGS172
  • LECTURE NOTES IN COMPUTER SCIENCE132
  • 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-PAPERSONLINE21
  • PROCEDIA CIRP20
  • LECTURE NOTES IN NETWORKS AND SYS...19
Keyword
  • Computer Science (all)98
  • Computer Networks and Communications94
  • -87
  • Software77
  • Answer Set Programming76
  • Artificial Intelligence75
  • Theoretical Computer Science69
  • Computer Science Applications1707...52
  • Electrical and Electronic Enginee...47
  • Instrumentation37
Lingua
  • eng11326
  • ita3493
  • fre69
  • spa30
  • rus17
  • ger15
  • alb13
  • und8
  • por4
  • mul3
Accesso al fulltext
  • no fulltext16681
  • open22
  • embargoed6
  • reserved1