Sfoglia per Titolo
Unifying Asynchronous Logics for Hyperproperties
2024-01-01 Bombardelli, Alberto; Bozzelli, Laura; Sánchez, César; Tonetta, Stefano
Uninorm based regularized fuzzy neural networks
2018-01-01 de Campos Souza, P. V.; Silva, G. R. L.; Torres, L. C. B.
Unipolar differential logic for large-scale integration of flexible aigzo circuits
2017-01-01 Venturelli, M.; Torricelli, F.; Ghittorelli, M.; Colalongo, L.; Richelli, A.; Kovacs-vajna, Z. M.
Unique decomposition for a polynomial of low rank
2013-01-01 E., Ballico; Bernardi, Alessandra
Unique solutions of contractions, CCS, and their HOL formalisation
2020-01-01 Tian, Chun; Sangiorgi, Davide
Unique Solutions of Contractions, CCS, and their HOL Formalisation
2018-01-01 Tian, Chun; Sangiorgi, Davide
Unirsi per la cima. Nascita ed evoluzione dell’associazionismo alpinistico in Europa
2021-01-01 Cau, M.
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories
2012-01-01 F., Alberti; S., Ghilardi; E., Pagani; Ranise, Silvio; G. P., Rossi
Universal in vivo Textural Model for Human Skin based on Optical Coherence Tomograms
2017-01-01 Adabi, Saba; Hosseinzadeh, Matin; Noei, Shahryar; Conforto, Silvia; Daveluy, Steven; Clayton, Anne; Mehregan, Darius; Nasiriavanaki, Mohammadreza
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning
2021-01-01 Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca
Universality of nucleon-nucleon short-range correlations: Two-nucleon momentum distributions in few-body systems
2012-01-01 Alvioli, Massimiliano; C., Ciofi degli Atti; L. P., Kaptari; C. B., Mezzetti; H., Morita; S., Scopetta
Universality of short-range correlations in one- and two- nucleon momentum distributions of nuclei
2012-01-01 Alvioli, Massimiliano
Universities as engines for regional growth? Using the synthetic control method to analyze the effects of research universities
2016-01-01 Bonander, Carl; Jakobsson, Niklas; Podestà, Federico; Svensson, Mikael
Unlocking Education Together: A Meta-model Emphasizing Usability and Reuse of Open Educational Resources
2024-01-01 Bucchiarone, Antonio; Vázquez-Ingelmo, Andrea; García-Holgado, Alicia; García-Peñalvo, Francisco José; Schiavo, Gianluca; Therón, Roberto
Uno sguardo allo sfondo: evidenze sui NEET nell’Unione Europea e in Italia
2021-01-01 Bazoli, Nicola; Bazzoli, Martina; Marzadro, Sonia; Trivellato, Ugo
Unobtrusive Stress Assessment Using Smartphones
2021-01-01 Maxhuni, Alban; Hernadez-Leal, Pablo; Morales, Eduardo F.; Sucar, Enrique; Osmani, Venet; Mayora, Oscar
Unquenching the gluon propagator with Schwinger-Dyson equation
2012-01-01 A. C., Aguilar; Binosi, Daniele; J., Papavassiliou
Unquenching the infrared sector of QCD
2012-01-01 Binosi, Daniele
Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations
2023-01-01 Labruna, Tiziano; Brenna, Sofia; Zaninello, Andrea; Magnini, Bernardo
Unraveling the clonal hierarchy of somatic genomic aberrations
2014-01-01 Prandi, D.; Baca, S. C.; Romanel, A.; Barbieri, C. E.; Mosquera, J. -M.; Fontugne, J.; Beltran, H.; Sboner, A.; Garraway, L. A.; Rubin, M. A.; Demichelis, F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Unifying Asynchronous Logics for Hyperproperties | 1-gen-2024 | Bombardelli, Alberto; Bozzelli, Laura; Sánchez, César; Tonetta, Stefano | |
Uninorm based regularized fuzzy neural networks | 1-gen-2018 | de Campos Souza, P. V.; Silva, G. R. L.; Torres, L. C. B. | |
Unipolar differential logic for large-scale integration of flexible aigzo circuits | 1-gen-2017 | Venturelli, M.; Torricelli, F.; Ghittorelli, M.; Colalongo, L.; Richelli, A.; Kovacs-vajna, Z. M. | |
Unique decomposition for a polynomial of low rank | 1-gen-2013 | E., Ballico; Bernardi, Alessandra | |
Unique solutions of contractions, CCS, and their HOL formalisation | 1-gen-2020 | Tian, Chun; Sangiorgi, Davide | |
Unique Solutions of Contractions, CCS, and their HOL Formalisation | 1-gen-2018 | Tian, Chun; Sangiorgi, Davide | |
Unirsi per la cima. Nascita ed evoluzione dell’associazionismo alpinistico in Europa | 1-gen-2021 | Cau, M. | |
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories | 1-gen-2012 | F., Alberti; S., Ghilardi; E., Pagani; Ranise, Silvio; G. P., Rossi | |
Universal in vivo Textural Model for Human Skin based on Optical Coherence Tomograms | 1-gen-2017 | Adabi, Saba; Hosseinzadeh, Matin; Noei, Shahryar; Conforto, Silvia; Daveluy, Steven; Clayton, Anne; Mehregan, Darius; Nasiriavanaki, Mohammadreza | |
Universal Invariant Checking of Parametric Systems with Quantifier-free SMT Reasoning | 1-gen-2021 | Cimatti, Alessandro; Griggio, Alberto; Redondi, Gianluca | |
Universality of nucleon-nucleon short-range correlations: Two-nucleon momentum distributions in few-body systems | 1-gen-2012 | Alvioli, Massimiliano; C., Ciofi degli Atti; L. P., Kaptari; C. B., Mezzetti; H., Morita; S., Scopetta | |
Universality of short-range correlations in one- and two- nucleon momentum distributions of nuclei | 1-gen-2012 | Alvioli, Massimiliano | |
Universities as engines for regional growth? Using the synthetic control method to analyze the effects of research universities | 1-gen-2016 | Bonander, Carl; Jakobsson, Niklas; Podestà, Federico; Svensson, Mikael | |
Unlocking Education Together: A Meta-model Emphasizing Usability and Reuse of Open Educational Resources | 1-gen-2024 | Bucchiarone, Antonio; Vázquez-Ingelmo, Andrea; García-Holgado, Alicia; García-Peñalvo, Francisco José; Schiavo, Gianluca; Therón, Roberto | |
Uno sguardo allo sfondo: evidenze sui NEET nell’Unione Europea e in Italia | 1-gen-2021 | Bazoli, Nicola; Bazzoli, Martina; Marzadro, Sonia; Trivellato, Ugo | |
Unobtrusive Stress Assessment Using Smartphones | 1-gen-2021 | Maxhuni, Alban; Hernadez-Leal, Pablo; Morales, Eduardo F.; Sucar, Enrique; Osmani, Venet; Mayora, Oscar | |
Unquenching the gluon propagator with Schwinger-Dyson equation | 1-gen-2012 | A. C., Aguilar; Binosi, Daniele; J., Papavassiliou | |
Unquenching the infrared sector of QCD | 1-gen-2012 | Binosi, Daniele | |
Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations | 1-gen-2023 | Labruna, Tiziano; Brenna, Sofia; Zaninello, Andrea; Magnini, Bernardo | |
Unraveling the clonal hierarchy of somatic genomic aberrations | 1-gen-2014 | Prandi, D.; Baca, S. C.; Romanel, A.; Barbieri, C. E.; Mosquera, J. -M.; Fontugne, J.; Beltran, H.; Sboner, A.; Garraway, L. A.; Rubin, M. A.; Demichelis, 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