Sfoglia per Serie  

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 44 a 63 di 175
Titolo Data di pubblicazione Autore(i) File
Entanglement Zoo I: Foundational and Structural Aspects 1-gen-2014 Aerts, Diederik; Sozzo, Sandro
Epistemic Logic Programs: A Study of Some Properties 1-gen-2022 Costantini, S.; Formisano, A.
An Exploration of Teachers' Perspective About the Learning of Iteration-Control Constructs 1-gen-2019 Scapin, Emanuele; Mirolo, Claudio
An Exploratory Investigation on High-School Students' Understanding of Threads 1-gen-2023 Scapin, Emanuele; Dalla Pozza, Nicola; Mirolo, Claudio
The expressive power of structural operational semantics with explicit assumptions 1-gen-1994 Miculan, Marino
Extending$$mathcal ALC$$ with the Power-Set Construct 1-gen-2019 Giordano, L.; Policriti, A.
The extension of an actor language from domain-specific requirements 1-gen-1998 Cerri, Stefano A.; Dattolo, Antonina; Loia, Vincenzo
Feature-based SLAM algorithm for small scale UAV with nadir view 1-gen-2019 Avola, D.; Cinque, L.; Fagioli, A.; Foresti, G. L.; Massaroni, C.; Pannone, D.
Federated Learning for Data and Model Heterogeneity in Medical Imaging 1-gen-2024 Madni, H. A.; Umer, R. M.; Foresti, G. L.
Fibonacci representations of homogeneous weighted majority games 1-gen-2016 Fragnelli, Vito; Gambarelli, Gianfranco; Gnocchi, Nicola; Pressacco, Flavio; Ziani, Laura
Filtering Fitness Trail Content Generated by Mobile Users 1-gen-2009 Buttussi, F; Chittaro, Luca; Nadalutti, D.
Finding a Forest in a Tree - The matching problem for wide reactive systems 1-gen-2014 G., Bacci; Miculan, Marino; R., Rizzi
Flexible stochastic local search for haplotype inference 1-gen-2009 DI GASPERO, Luca; Andrea, Roli
Folkview: a Multi-Agent System Approach to Modeling Folksonomies. 1-gen-2012 Dattolo, Antonina; Pitassi, Emanuela
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions 1-gen-1999 Miculan, Marino
Hand Gesture Recognition Exploiting Handcrafted Features and LSTM 1-gen-2023 Avola, D.; Cinque, L.; Emam, E.; Fontana, F.; Foresti, G. L.; Marini, M. R.; Pannone, D.
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis 1-gen-2014 Policriti, Alberto; Prezza, Nicola
Human in the loop: a model to integrate interaction issues in complex simulations 1-gen-2013 Filippi, Stefano; Barattin, D.; Ferrise, F.; Bordegoni, M.; Cugini, U.
Human-based query difficulty prediction 1-gen-2017 Chifu, Adrian-Gabriel; Déjean, Sébastien; Mizzaro, Stefano; Mothe, Josiane
Hybrid local search for constrained financial portfolio selection problems 1-gen-2007 DI GASPERO, Luca; DI TOLLO, Giacomo; Roli, Andrea; Schaerf, Andrea
Mostrati risultati da 44 a 63 di 175
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