Sfoglia per Corso Dottorato di ricerca in Informatica

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