A method for detecting possible Martian biocarbonates: application to terrestrial microbialites
2012-01-01 D’Elia, M.; Blanco, A.; Orofino, V.; Fonti, S.; Mastandrea, A.; Guido, A.; Tosti, F.; Russo, F.
Evaluation of Dual Mode Logic in 28nm FD-SOI technology
2017-01-01 Taco, Ramiro; Levi, Itamar; Lanuzza, Marco; Fish, Alexander
Microbial facies in vermetid biocostructuions of the upper Miocene (Salento Peninsula, Italy)
2012-01-01 Guido, A.; Mastandrea, A.; Vescogni, A.; Birgel, D.; Heindel, K.; Peckmann, J.; Russo F., (2012)
Automicrites associated with biostalactites from submarine karstic caves in the Plemmirio marine protected area (SESicily)
2012-01-01 Guido, A.; Mastandrea, A.; Rosso, A.; Sanfilippo, R.; Birgel, D.; Heindel, K.; Peckmann, J.; Russo, F.
The clotted peloidal micrite of the calcare di base: evidence of an uniform microbial metabolic process inducing carbonate precipitation before the Messinian salinity crisis
2012-01-01 Guido, A.; Ziegenbalg, S.; Mastandrea, A.; Birgel, D.; Peckmann, J.; Russo, F.
Sulphate reducing bacteria involved in micrite precipitation of the Upper Miocene vermetid biocostructions (Salento Peninsula, Italy)
2012-01-01 Guido, A.; Mastandrea, A.; Vescogni, A.; Birgel, D.; Heindel, K.; Peckmann, J.; Russo, F.
Serpulids and automicrites as main components of “biostalactites” from submarine karstic caves in the Plemmirio Marine Protected Area (SE Sicily)
2012-01-01 Guido, A.; Mastandrea, A.; Rosso, A.; Sanfilippo, R.; Birgel, D.; Heindel, K.; Peckmann, J.; Russo, F.
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
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
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