IRIS Institutional Research Information System

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 8.942 a 8.961 di 19.169
Titolo Data di pubblicazione Autore(i) File
Integrating BDD-based and SAT-based Symbolic Model Checking 1-gen-2002 Cimatti, Alessandro; E., Giunchiglia; Roveri, Marco; Pistore, Marco; Sebastiani, Roberto; A., Tacchella
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements 1-gen-2002 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Integrating business strategies with Requirement models of legal compliance. 1-gen-2010 Sepideh, Ghanavati; Siena, Alberto; Daniel, Amyot; Perini, Anna; Liam, Peyton; Susi, Angelo
Integrating consumer-oriented vocabularies with selected professional ones from the UMLS using Semantic Web Technologies 1-gen-2010 Cardillo, Elena; G., Hernandez; O., Bodenreider
Integrating consumer-oriented Vocabularies with selected professional ones from the UMLS using Semantic Web Technologies 1-gen-2011 Cardillo, Elena; G., Hernandez; O., Bodenreider
Integrating deep and radiomics features in cancer bioimaging 1-gen-2019 Bizzego, A.; Bussola, N.; Salvalai, D.; Chierici, M.; Maggio, V.; Jurman, G.; Furlanello, C.
Integrating direct electrical brain stimulation with the human connectome 1-gen-2024 Coletta, Ludovico; Avesani, Paolo; Zigiotto, Luca; Venturini, Martina; Annicchiarico, Luciano; Vavassori, Laura; Ng, Sam; Duffau, Hugues; Sarubbo, Silvio
Integrating Discourse Markers into a Pipelined Natural Language Generation Architecture 1-gen-2003 Callaway, Brendan Charles
Integrating Discourse Markers into a Pipelined Natural Language Generation Architecture 1-gen-2003 Callaway, Brendan Charles
Integrating Discovery and Automated Composition: from Semantic Requirements to Executable Code 1-gen-2007 Bertoli, Piergiorgio; Joerg, Hoffmann; Freddy, Lécué; Pistore, Marco
Integrating Fault Tree Analysis with Event Ordering Information 1-gen-2003 Bozzano, Marco; Villafiorita Monteleone, Adolfo
Integrating Formal Methods into the Development Cycle of a Safety-critical Embedded Software System 1-gen-2000 Bertoli, Piergiorgio; Cimatti, Alessandro; Traverso, Paolo
Integrating Functional Status Information into Knowledge Graphs to Support Self-Health Management 1-gen-2023 Dragoni, Mauro; Bailoni, Tania; Donadello, Ivan; Martin, Jean-Claude; Lindgren, Helena
Integrating gene expression profiling and clinical data 1-gen-2008 S., Paoli; Jurman, Giuseppe; Albanese, Davide; Merler, Stefano; Furlanello, Cesare
Integrating Generic and Specialized Wordnets 1-gen-2001 Magnini, Bernardo; Speranza, Manuela
Integrating Information Extraction, Ontology Learning and Semantic Browsing into Organizational Knowledge Processes 1-gen-2004 J., Iria; F., Ciravegna; P., Cimiano; Lavelli, Alberto; E., Motta; L., Gilardoni; E., Moench
Integrating Language Models into Direct Speech Translation: An Inference-Time Solution to Control Gender Inflection 1-gen-2023 Fucci, Dennis; Gaido, Marco; Papi, Sara; Cettolo, Mauro; Negri, Matteo; Bentivogli, Luisa
Integrating material and digital: a new way for cultural heritage 1-gen-2013 Petrelli, D.; Ciolfi, L.; van Dijk, D.; Hornecker, E.; Not, Elena; Schmidt, A.
Integrating mHealth in Oncology: Experience in the Province of Trento 1-gen-2015 Enzo, Galligioni; Piras, Enrico Maria; Michele, Galvagni; Eccher, Claudio; Silvia, Caramatti; Daniela, Zanolli; Jonni, Santi; Berloffa, Flavio; Marco, Dianti; Francesca, Maines; Mirella, Sannicolò; Marco, Sandri; Lara, Bragantini; Antonella, Ferro; Forti, Stefano
Integrating NLP and SW with the KnowledgeStore 1-gen-2014 Rospocher, Marco; Corcoglioniti, Francesco; Cattoni, Roldano; Magnini, Bernardo; Serafini, Luciano
Mostrati risultati da 8.942 a 8.961 di 19.169
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