Sfoglia per Corso Informatica
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
Medical SLAM in an autonomous robotic system
2022
Membrane models of biological systems
2007
MEMS Varifocal Mirror for High-Power Laser Focusing
2019
Merging, extending and learning representations for 3D shape matching
2021
Metacasanova : a high-performance meta-compiler for domain-specific languages
2018
Metaheuristic optimization in Systems Biology
2021
Methods and tools for design time and runtime formal analysis of security protocols and web applications
2015
Methods for Model-Based and Vulnerability-driven Security Testing
2015
Microstructure informed tractography with anatomical priors
2021
MIFTel: a multimodal interactive framework based on temporal logic rules
2019
Mitigating Unfairness and Adversarial Attacks in Machine Learning
2022
Modal logics with propositional constants
2016
A Model-based Approach for Designing Cyber-Physical Production Systems
2022
A model-based design flow for embedded vision applications on heterogeneous architectures
2020
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