Sfoglia per Serie
Enhancing Real-World Applicability in Home Healthcare: A Metaheuristic Approach for Advanced Routing and Scheduling
2024-01-01 Ceschia, S.; Di Gaspero, L.; Mancini, S.; Maniezzo, V.; Montemanni, R.; Rosati, R. M.; Schaerf, A.
Entanglement of Conceptual Entities in Quantum Model Theory (QMod)
2012-01-01 Aerts, Diederik; Sozzo, Sandro
Entanglement Zoo I: Foundational and Structural Aspects
2014-01-01 Aerts, Diederik; Sozzo, Sandro
Epistemic Logic Programs: A Study of Some Properties
2022-01-01 Costantini, S.; Formisano, A.
An Exploration of Teachers' Perspective About the Learning of Iteration-Control Constructs
2019-01-01 Scapin, Emanuele; Mirolo, Claudio
An Exploratory Investigation on High-School Students' Understanding of Threads
2023-01-01 Scapin, Emanuele; Dalla Pozza, Nicola; Mirolo, Claudio
The expressive power of structural operational semantics with explicit assumptions
1994-01-01 Miculan, Marino
Extending$$mathcal ALC$$ with the Power-Set Construct
2019-01-01 Giordano, L.; Policriti, A.
The extension of an actor language from domain-specific requirements
1998-01-01 Cerri, Stefano A.; Dattolo, Antonina; Loia, Vincenzo
Feature-based SLAM algorithm for small scale UAV with nadir view
2019-01-01 Avola, D.; Cinque, L.; Fagioli, A.; Foresti, G. L.; Massaroni, C.; Pannone, D.
Federated Learning for Data and Model Heterogeneity in Medical Imaging
2024-01-01 Madni, H. A.; Umer, R. M.; Foresti, G. L.
Fibonacci representations of homogeneous weighted majority games
2016-01-01 Fragnelli, Vito; Gambarelli, Gianfranco; Gnocchi, Nicola; Pressacco, Flavio; Ziani, Laura
Filtering Fitness Trail Content Generated by Mobile Users
2009-01-01 Buttussi, F; Chittaro, Luca; Nadalutti, D.
Finding a Forest in a Tree - The matching problem for wide reactive systems
2014-01-01 G., Bacci; Miculan, Marino; R., Rizzi
Flexible stochastic local search for haplotype inference
2009-01-01 DI GASPERO, Luca; Andrea, Roli
Folkview: a Multi-Agent System Approach to Modeling Folksonomies.
2012-01-01 Dattolo, Antonina; Pitassi, Emanuela
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions
1999-01-01 Miculan, Marino
HalpernSGD: A Halpern-Inspired Optimizer for Accelerated Neural Network Convergence and Reduced Carbon Footprint
2024-01-01 Foglia, K. R.; Colao, V.; Ritacco, E.
Hand Gesture Recognition Exploiting Handcrafted Features and LSTM
2023-01-01 Avola, D.; Cinque, L.; Emam, E.; Fontana, F.; Foresti, G. L.; Marini, M. R.; Pannone, D.
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis
2014-01-01 Policriti, Alberto; Prezza, Nicola
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