Sfoglia per Corso Dottorato di ricerca in Informatica
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages
2014
An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages
2012
Alignment and reconciliation strategies for large-scale de novo assembly
2016
Analysis of Properties of Complex Systems with Abstract State Machines
2017
An architecture supporting the development of serious games for scenario-based training and its application to Advanced Life Support
2012
Coalgebraic semantics of self-referential behaviours
2017
Context-aware retrieval for mobile devices: a tale of three systems
2011
Design and evaluation in the large of health apps for the general population with case studies in mindfulness, neurological and psychological assessment
2015
Effectiveness of Data Enrichment on Categorization: Two Case Studies on Short Texts and User Movements
2017
Exploiting the Structure of Distributed Constraint Optimization Problems
2016
Exploring the use of GPGPUs in Constraint Solving
2015
Expressiveness, decidability, and undecidability of interval temporal logic
2011
First Quantization Table Detection in Double Compressed JPEG Images
2016
Generalized labelled Markov processes, coalgebraically
2013
Human Interactions in Cybersecurity: Threats and Opportunities
2022
Knowledge-Based Techniques for Scholarly Data Access: Towards Automatic Curation
2017
New aspects of neural tree based classifiers for pattern recognition
2011
Next generation sequencing revolution challenges: search, assemble, and validate genomes
2012
On the hybridization of constraint programming and local search techniques. Models and software tools
2011
Paired is better: local assembly algorithms for NGS paired reads and applications to RNA-Seq
2014
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