IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.621 a 4.640 di 16.709
Titolo Data di pubblicazione Autore(i) File
Sponges vs microbialites: an example from the cryptic biogenic crusts of Aegean submarine caves (Eastern Mediterranean) 1-gen-2019 Guido, Adriano; Gerovasileiou, Vasilis; Russo, Franco; Rosso, Antonietta; Sanfilippo, Rossana; Voultsiadou, Eleni; Mastandrea, Adelaide
MICROBIALITE VS SPONGES IN CRYPTIC BIOCONSTRUCTIONS FROM SUBMARINE CAVES OF THE AEGEAN SEA (EASTERN MEDITERRANEAN) 1-gen-2019 Guido, Adriano; Russo, Franco; Gerovasileiou, Vasilis; Rosso, MARIA ANTONIETTA; Sanfilippo, Rossana; Voultsiadou, Eleni; Mastandrea, Adelaide
DOLOMITIZATION CONTROLLED BY MICROBIALITES IN THE CARNIAN PATCH REEFS (DOLOMITES, ITALY) 1-gen-2019 Guido, Adriano; Russo, Franco; Mastandrea, Adelaide
Debugging of answer set programs using paracoherent reasoning 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Computing modular paracoherent answer sets: Preliminary result 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Threadlike casts in the tube wall of Protula (Serpulidae, Polychaeta) from bathyal coral mounds in the Caribbean Sea 1-gen-2019 Sanfilippo, Rossana; Rosso, MARIA ANTONIETTA; Vertino, Agostina; Beuck, Lydia; Freiwald, Andrè; Guido, Adriano
Empowering ASPQ to win in QBFEval 2018 1-gen-2019 Cuteri, B.; Dodaro, C.; Ricca, F.
Tube architecture of sand-castle Sabellariid worms from the Mediterranean Sea 1-gen-2019 Sanfilippo, Rossana; Guido, Adriano; Reitano, Agatino; Insacco, Gianni; Rosso, MARIA ANTONIETTA
Tube structure of agglutinate-worm bioconstructions (Sabellaridae, Polychaeta): new Mediterranean records 1-gen-2019 Rossana, Sanfilippo; Agatino, Reitano; Guido, Adriano; Mastandrea, Adelaide; Russo, Franco; Rosso, MARIA ANTONIETTA
Cryptic biogenic crusts from Lesvos submarine caves (Aegean Sea, eastern Mediterranean) 1-gen-2019 Guido, Adriano; Russo, Franco; Gerovasileiou, Vasilis; Rosso, MARIA ANTONIETTA; Sanfilippo, Rossana; Voultsiadou, Eleni; Mastandrea, Adelaide
Development Issues of Distributed Measurement Systems 1-gen-1996 Grimaldi, Domenico; Nigro, Libero; Pupo, Francesco
Modeling and Analysing DART Systems through Hight-Level Petri Nets 1-gen-1996 Nigro, Libero; Pupo, Francesco
Distributed architecture for real-time: An extension centred on PVM 1-gen-1994 De Giuseppe, Massimo; Nigro, Libero
Object-based real-time programming in Modula-2 1-gen-1989 Nigro, Libero; Tisato, Francesco
Nurse scheduling via answer set programming 1-gen-2017 Dodaro, C.; Maratea, M.
Algorithm Selection for Paracoherent Answer Set Computation 1-gen-2019 Amendola, G.; Dodaro, C.; Faber, W.; Pulina, Luca; Ricca, F.
Evaluation of Disjunctive Programs in WASP 1-gen-2019 Alviano, M.; Amendola, G.; Dodaro, C.; Leone, N.; Maratea, M.; Ricca, F.
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 1-gen-2019 Bertolucci, Riccardo; Capitanelli, A.; Dodaro, C.; Leone, N.; Maratea, M.; Mastrogiovanni, F.; Vallati, M.
Core-guided MaxSAT with soft cardinality constraints 1-gen-2014 Morgado, A.; Dodaro, C.; Marques-Silva, J.
Operating Room Scheduling via Answer Set Programming 1-gen-2018 Dodaro, C.; Galata, G.; Maratea, M.; Porro, I.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 4.621 a 4.640 di 16.709
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 ...16707
  • 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
  • LEONE, NICOLA198
Data di pubblicazione
  • In corso di stampa40
  • 2020 - 20272693
  • 2010 - 20196029
  • 2000 - 20096298
  • 1990 - 19991328
  • 1980 - 1989293
  • 1973 - 197928
Editore
  • Institute of Electrical and Elect...555
  • 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
  • eng11325
  • ita3493
  • fre69
  • spa30
  • rus17
  • ger15
  • alb13
  • und8
  • por4
  • mul3
Accesso al fulltext
  • no fulltext16680
  • open22
  • embargoed6
  • reserved1