Sfoglia per Corso Informatica
Labeled natural deduction for temporal logics
2010
Lambda calculi and logics for quantum computing
2009
Large Graphs on multi-GPUs
2013
Large scale data access: architectures and performance
2006
Latent communication in artificial neural networks
2024
Latent deep sequential learning of behavioural sequences
2022
Learning in Monte Carlo Tree Search Planning
2024
Learning of a multilingual bitaxonomy of Wikipedia and its application to semantic predicates
2015
Learning of Surgical Gestures for Robotic Minimally Invasive Surgery Using Dynamic Movement Primitives and Latent Variable Models
2021
Learning with uncertainty via Hyperbolic Neural Networks
2025
Lexical and numerical domains for abstract interpretation
2013
Local Geometry Processing for Deformations of Non-Rigid 3D Shapes
2018
Localizzazione Basata su Immagini per Ambienti Interni e Tecniche di Adattamento di Dominio da Dati Virtuali a Dati Reali
2021
Logics for distributed resources
2006
Manuzio: an object language for annotated text collections
2010
Meaning negotiation in multiple agent systems: an automated reasoning approach
2010
Measures on probabilistic automata
2017
Measuring and understanding light in real life scenarios
2019
Medical Image Processing Validation and Accuracy Prediction:from Clinical Exploitability to Brain Connectivity
2011
Medical SLAM in an autonomous robotic system
2022
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