IRIS

Sfoglia per Titolo

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 17.479 a 17.498 di 71.648
Titolo Data di pubblicazione Autore(i) File
DLV - Declarative Problem Solving Using Answer Set Programming 1-gen-2001 Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona; Pfeifer, G.
The DLV System 1-gen-2002 Leone, Nicola; Pfeifer, G; Faber, Wolfgang; Calimeri, Francesco; Dell'Armi, Tina; Eiter, T; Gottlob, G; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, C; Perri, Simona; Polleres, A.
DLV-HEX: a system for integrating multiple semantics in an answer set programming framework 1-gen-2006 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
dlv: a DLP System for AI 1-gen-1999 Faber, W.; Leone, Nicola; Pfeifer, G.
DLV: A system far declarative problem solving 1-gen-2000 Eiter, T.; Faber, W.; Koch, C.; Leone, Nicola; Pfeifer, G.
DLV: An Advanced System for Knowledge Representation and Reasoning 1-gen-2007 Leone, Nicola; Faber, Wolfgang; Bria, A; Calimeri, Francesco; Catalano, G; Cozza, S; Dell'Armi, T; Greco, G; Ianni, Giovambattista; Ielpa, G; Maratea, M; Panetta, C; Perri, Simona; Ricca, Francesco; Scarcello, F; Terracina, G; Pfeifer, G; Eiter, T; Gottlob, G.
DLVDB: Bridging the gap between ASP systems and DBMSs 1-gen-2004 Leone, Nicola; Lio, V; Terracina, Giorgio
The DLVHEX System 1-gen-2018 Eiter, Thomas; Germano, Stefano; Ianni, Giovambattista; Kaminski, Tobias; Redl, Christoph; Schüller, Peter; Weinzierl, Antonius
dlvhex: a prover for semantic web reasoning under the answer set semantics 1-gen-2006 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics 1-gen-2006 Eiter, T; Ianni, Giovambattista; Schindlauer, R; Tompits, H.
DLVHEX: Dealing with Semantic Web under Answer-Set Programming 1-gen-2005 Eiter, T.; Ianni, Giovambattista; Schindlauer, R.; Tompits, H.
DLVMC: Enhanced Model Checking in DLV 1-gen-2010 Maratea, M; Ricca, Francesco; Veltri, P.
DME production via methanol dehydration with H form and desilicated ZSM-5 type zeolitic catalysts: Study on the correlation between acid sites and conversion 1-gen-2021 Dalena, Francesco; Giglio, Emanuele; Giorgianni, Gianfranco; Cozza, Daniela; Marino, Alessia; Aloise, Alfredo
DNA binding and cytotoxicity of fluorescent curcumin-based Zn(II) complexes 1-gen-2012 Pucci, D; Bellini, T; Crispini, Alessandra; D'Agnano, I; Liguori, P. F.; Garcia Orduna, P; Pirillo, S; Valentini, A; Zanchetta, G.
DNA damage in haemocytes of Harpalus (Pseudophonus) rufipes (De Geer, 1774)(Coleoptera, Carabidae) as an indicator of sublethal effects of exposure to herbicides. 1-gen-2019 Cavaliere, Francesco; Brandmayr, Pietro; Giglio, Anita
DNA Methylation in Algae and Its Impact on Abiotic Stress Responses 1-gen-2023 Ferrari, M.; Muto, A.; Bruno, L.; Cozza, R.
DNA Methylation in Algae and Its Impact on Abiotic Stress Responses 1-gen-2023 Ferrari, Michele; Muto, Antonella; Bruno, Leonardo; Cozza, Radiana
DNA methylation pattern and stress condition: study in Posidonia oceanica (L.) Delile plants derived from different stressed condition and intact areas." 1-gen-2006 Greco, M; Chiappetta, A. A. C.; Bruno, Leonardo; Giannino, D; Bitonti, M. B. A.
DNA methylation pattern in plants of Posidonia oceanica (L.) Delile derive from anthropically stressed and intact areas 1-gen-2006 Greco, M.; Chiappetta, Adriana Ada Ceverista; Bruno, Leonardo; Giannino, D.; Bitonti, M. B.
DNA methylation repatterning and distinct cytokinin distribution in the apical meristem mark the transition from juvenile to adult vegetative phase in peach 1-gen-2002 Bitonti, Maria Beatrice; Cozza, Radiana; Chiappetta, A. A. C.; RUFFINI CASTIGLIONE, M; Giannino, D; Dewitte, W; Mariotti, D; VAN ONCKELEN, H; Innocenti, Am
Mostrati risultati da 17.479 a 17.498 di 71.648
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