Rare Earth Elements signature in Triassic samples from Punta Grohmann and Alpe di Specie (Dolomites, Italy): evidence of Cyanobacterial vs Sulfate Reducing Bacteria metabolic activities
2012-01-01 Tosti, F.; Guido, A.; Mastandrea, A.; Demasi, F.; Russo, F.
Micrite precipitation induced by sulphate reducing bacteria in serpulid bioconstructions from submarine caves (Syracuse, Sicily)
2012-01-01 Guido, A.; Mastandrea, A.; Rosso, A.; Sanfilippo, R.; Russo, F.
Preliminary fatty acid data of microbialites from Kess-Kess Mounds (Hamar Laghdad, Lower Devonian, Morocco)
2012-01-01 Guido, A.; Mastandrea, A.; Demasi, F.; Tosti, F.; Russo, F.
Analisi Energetico-Ambientale di Celle a Combustibile in assetto Cogenerativo
2004-01-01 Arcuri, Paolo; Florio, G.; Fragiacomo, P.
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again
2017-01-01 Amendola, Giovanni; Leone, Nicola; Manna, Marco
ASPQ: An ASP-based 2QBF solver
2016-01-01 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
Dealing with incoherence in ASP: Split semi-equilibrium semantics
2014-01-01 Amendola, Giovanni
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
2017-01-01 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
On the application of answer set programming to the conference paper assignment problem
2016-01-01 Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
Distributed simulation of PCS networks using a Time Warp mechanism
1996-01-01 Beraldi, Roberto; Marano, Salvatore; Nigro, Libero
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector
2017-01-01 Fuscà, D.; Calimeri, F.; Perri, S.; Zangari, J.
A Smartphone Application for Supporting the Data Collection and Analysis of the Cultural Heritage Damaged during Natural Disasters
2017-01-01 Costanzo, Antonio; Falcone, S.; Bisignano, Rosalbino; Straface, Michele; Ritacco, G.; La Piana, C.; Musacchio, Mario; Calimeri, F.
Computing stable and preferred extensions of dynamic bipolar argumentation frameworks
2017-01-01 Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco
Efficient Computation of extensions for dynamic abstract argumentation frameworks: An incremental approach
2017-01-01 Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco
External computations and interoperability in the new DLV grounder
2017-01-01 Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica
The sequence of isomeric dinucleotides, bearing 5â² or 3â²-terminal phosphate groups, is not correlated to the proton affinity of the nucleobases
2002-01-01 Di Donna, Leonardo; Napoli, Anna; Sindona, Giovanni; Giorgi, Gianluca; Salvini, Laura; Cellai, Luciano
Occupancy profiles modelling based on indoor measurements and clustering analysis: Application in an office building
2018-01-01 Dafni, Mora; DE SIMONE, Marilena; Fajilla, Gianmarco; Fábrega, José R.
LoIDE: A web-based IDE for logic programming preliminary report
2018-01-01 Germano, Stefano; Calimeri, Francesco; Palermiti, Eliana
Architettura ellenistica a Kyme eolica
In corso di stampa LA MARCA, Antonio; Colelli, Carmelo
Gestione sostenibile dei boschi e valorizzazione dei territori montani
2017-01-01 Iovino, 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 ...16600
- 1 Contributo su Rivista1
- 2 Contributo in Volume1
- 5 Altro1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20262586
- 2010 - 20196029
- 2000 - 20096298
- 1990 - 19991328
- 1980 - 1989293
- 1973 - 197928
Editore
- Institute of Electrical and Elect...517
- IEEE377
- Springer324
- 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 SCIENCE51
- 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
- eng11244
- ita3481
- fre69
- spa30
- rus17
- ger15
- alb13
- und8
- por4
- mul3
Accesso al fulltext
- no fulltext16573
- open22
- embargoed6
- reserved1