Sfoglia per Titolo
Knowledge-Based Recommendations for Climbers
2021-01-01 Ivanova, Iustina; Andric, Marina; Ricci, Francesco
A Knowledge-Poor Approach to BioCreative V DNER and CID Tasks
2015-01-01 Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto
A knowledge-poor approach to chemical-disease relation extraction
2016-01-01 Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto
The KnowledgeStore: a Storage Framework for Interlinking Unstructured and Structured Knowledge
2015-01-01 Corcoglioniti, Francesco; Rospocher, Marco; Cattoni, Roldano; Magnini, Bernardo; Serafini, Luciano
Konsens
1998-01-01 Böhler, D.; Raehme, Boris
Konsens
2011-01-01 Raehme, Boris
KRAKEN: A Secure, Trusted, Regulatory-Compliant, and Privacy-Preserving Data Sharing Platform
2022-01-01 Gabrielli, Silvia; Krenn, Stephan; Pellegrino, Donato; Pérez Baún, Juan Carlos; Pérez Berganza, Pilar; Ramacher, Sebastian; Vandevelde, Wim
KRATOS
2010-01-01 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Kratos - A Software Model Checker for SystemC
2011-01-01 Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco
Kratos2: an SMT-Based Model Checker for Imperative Programs
2023-01-01 Griggio, Alberto; Jonas, Martin
KRATOS: An Open Source Hardware - Software Platform for Rapid Research in LPWANs
2018-01-01 Piyare, Rajeev Kumar; Murphy, Amy L.; Magno, Michele; Benini, Luca
KRAUTS: A German Temporally Annotated News Corpus
2018-01-01 Strötgen, Jannik; Minard, Anne-Lyse Myriam; Lange, Lukas; Speranza, Manuela; Magnini, Bernardo
Kriegfuehrung: Die italienische Gebirgsfront
2014-01-01 Mondini, Marco
Kripke semantics and tableau procedures for constructive description logics
2011-01-01 Bozzato, Loris
KX: A Flexible system for keyphrase extraction
2010-01-01 Pianta, Emanuele; Tonelli, Sara
K¯ and η nuclei
2015-01-01 J., Mareš; A., Cieplý; E., Friedman; A., Gal; Gazda, Daniel
L'Accordo De Gasperi-Gruber nella transizione italiana del secondo dopoguerra
2017-01-01 Bernardini, G.
L'Accordo De Gasperi-Gruber. Una storia internazionale
2016-01-01 Bernardini, Giovanni
L'altro islamico. Leggere l'Islam in Occidente
2009-01-01 Hejazi, S.
L'arte dell'essenziale. Un'escursione filosofica nelle terre alte
2023-01-01 Costa, P.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Knowledge-Based Recommendations for Climbers | 1-gen-2021 | Ivanova, Iustina; Andric, Marina; Ricci, Francesco | |
A Knowledge-Poor Approach to BioCreative V DNER and CID Tasks | 1-gen-2015 | Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto | |
A knowledge-poor approach to chemical-disease relation extraction | 1-gen-2016 | Alam, Firoj; Corazza, Anna; Lavelli, Alberto; Zanoli, Roberto | |
The KnowledgeStore: a Storage Framework for Interlinking Unstructured and Structured Knowledge | 1-gen-2015 | Corcoglioniti, Francesco; Rospocher, Marco; Cattoni, Roldano; Magnini, Bernardo; Serafini, Luciano | |
Konsens | 1-gen-1998 | Böhler, D.; Raehme, Boris | |
Konsens | 1-gen-2011 | Raehme, Boris | |
KRAKEN: A Secure, Trusted, Regulatory-Compliant, and Privacy-Preserving Data Sharing Platform | 1-gen-2022 | Gabrielli, Silvia; Krenn, Stephan; Pellegrino, Donato; Pérez Baún, Juan Carlos; Pérez Berganza, Pilar; Ramacher, Sebastian; Vandevelde, Wim | |
KRATOS | 1-gen-2010 | Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei | |
Kratos - A Software Model Checker for SystemC | 1-gen-2011 | Cimatti, Alessandro; Griggio, Alberto; Micheli, Andrea; Iman, Narasamdya; Roveri, Marco | |
Kratos2: an SMT-Based Model Checker for Imperative Programs | 1-gen-2023 | Griggio, Alberto; Jonas, Martin | |
KRATOS: An Open Source Hardware - Software Platform for Rapid Research in LPWANs | 1-gen-2018 | Piyare, Rajeev Kumar; Murphy, Amy L.; Magno, Michele; Benini, Luca | |
KRAUTS: A German Temporally Annotated News Corpus | 1-gen-2018 | Strötgen, Jannik; Minard, Anne-Lyse Myriam; Lange, Lukas; Speranza, Manuela; Magnini, Bernardo | |
Kriegfuehrung: Die italienische Gebirgsfront | 1-gen-2014 | Mondini, Marco | |
Kripke semantics and tableau procedures for constructive description logics | 1-gen-2011 | Bozzato, Loris | |
KX: A Flexible system for keyphrase extraction | 1-gen-2010 | Pianta, Emanuele; Tonelli, Sara | |
K¯ and η nuclei | 1-gen-2015 | J., Mareš; A., Cieplý; E., Friedman; A., Gal; Gazda, Daniel | |
L'Accordo De Gasperi-Gruber nella transizione italiana del secondo dopoguerra | 1-gen-2017 | Bernardini, G. | |
L'Accordo De Gasperi-Gruber. Una storia internazionale | 1-gen-2016 | Bernardini, Giovanni | |
L'altro islamico. Leggere l'Islam in Occidente | 1-gen-2009 | Hejazi, S. | |
L'arte dell'essenziale. Un'escursione filosofica nelle terre alte | 1-gen-2023 | Costa, P. |
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