Sfoglia per Titolo
Automata-based LTLf Satisfiability Checking via ASP
2024 Cuteri, A; Mazzotta, G; Penaloza, R; Ricca, F
Automata-based pinpointing for DLs
2008 Peñaloza, R
Automate the process of formalin-fixed paraffin-embedded blocks storage in the pathology laboratory: A proof of concept study
2025 Eccher, A; Marletta, S; Pagni, F; L'Imperio, V; Piacentini, F; Dominici, M; Cavazza, A; Pinto, C; Brunelli, M; Fiorentino, M; Malapelle, U; Baron, M; Martignoni, G; Dei Tos, A
Automate What? Examining the Potential of Socratic Challenge for Learning and Technology
2024 Flammia, M; Reznitskaya, A
Automated analysis of General Movements in early mother-infant interactions: The effects of singing and prenatal experience
2025 Arioli, M; Camponogara, I; Bottari, D; Consales, A; Morniroli, D; Giannì Maria, L; Macchi Cassia, V
An Automated Approach for General Movement Assessment: A Pilot Study
2021 Fontana, C; Ottaviani, V; Veneroni, C; Sforza, S; Pesenti, N; Mosca, F; Picciolini, O; Fumagalli, M; Dellaca, R
An automated autocorrelator for the measurement of high-frequency femtosecond pulses
2010 Benocci, R; Batani, D; Jawad, H; Carpeggiani, P; Kumar, U; Levchenko, A; Venkatakrishanan, N
Automated bar detection in local disc galaxies from the SDSS : The colors of bars
2016 Consolandi, G
Automated classification of single airborne particles from two-dimension, angle-resolved optical scattering (TAOS) patterns
2011 Crosta, G; Pan, Y; Chang, R
Automated classification of single airborne particles from two-dimensional angle-resolved optical scattering (TAOS) patterns by non-linear filtering
2013 Crosta, G; Pan, Y; Aptowicz, K; Pinnick, R; Chang, R; Videen, G
An automated clustering algorithm for reference region extraction of brain 11C-PK11195 studies
2016 Presotto, L; Iaccarino, L; Bettinardi, V; Gianolli, L; Perani, D
Automated clustering and switching algorithms applied to semantic verbal fluency data in schizophrenia spectrum disorders
2023 Barattieri di San Pietro, C; Luzzatti, C; Ferrari, E; de Girolamo, G; Marelli, M
Automated database-guided expert-supervised orientation for immunophenotypic diagnosis and classification of acute leukemia
2018 Lhermitte, L; Mejstrikova, E; Van Der Sluijs-Gelling, A; Grigore, G; Sedek, L; Bras, A; Gaipa, G; Sobral Da Costa, E; Novakova, M; Sonneveld, E; Buracchi, C; De Sa Bacelar, T; Te Marvelde, J; Trinquand, A; Asnafi, V; Szczepanski, T; Matarraz, S; Lopez, A; Vidriales, B; Bulsa, J; Hrusak, O; Kalina, T; Lecrevisse, Q; Martin Ayuso, M; Bruggemann, M; Verde, J; Fernandez, P; Burgos, L; Paiva, B; Pedreira, C; Van Dongen, J; Orfao, A; Van Der Velden, V
Automated decision making by tax authorities and the protection of taxpayers’ rights in a comparative perspective
2023 Francioso, C
Automated Deep Learning through Constrained Bayesian Optimization
2021 Perego, R
Automated detection of gait initiation and termination using wearable sensors
2013 Novak, D; Rebersek, P; De Rossi, S; Donati, M; Podobnik, J; Beravs, T; Lenzi, T; Vitiello, N; Carrozza, M; Munih, M
Automated Detection of Software Performance Antipatterns in Java-Based Applications
2023 Trubiani, C; Pinciroli, R; Biaggi, A; Arcelli Fontana, F
Automated evaluation of electroweak Sudakov logarithms in SHERPA
2020 Bothmann, E; Napoletano, D
Automated extraction and quantitation of oncogenic HPV genotypes from cervical samples by a real-time PCR-based system
2008 Broccolo, F; Cocuzza, C
Automated field spectroscopy systems for collecting continuous measurements of radiance/reflectance in support of hyperspectral satellite missions
2015 Cogliati, S; Rossini, M; Julitta, T; Di Mauro, B; Bresciani, M; Giardino, C; Schickling, A; Burkart, A; Rascher, U; Ferrero, L; Middleton, E; Huemmrich, F; Campbell, P; Corp, L; Colombo, R
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