Found results 2 Full data Concise dataClick the title to see full data and shelfmark of each item |
Consultabilità delle tesi
Consultabile |
GIACOBBE MIRCO, PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING,
Rel. BIALLAS SEBASTIAN,
AA 2011/2012
Author:
GIACOBBE MIRCO
Title: PREDICATE ABSTRACTION OF PLC PROGRAMS USING SMT SOLVING Relatore: BIALLAS SEBASTIAN Correlatore: KOWALESKI STEFAN Secondo Correlatore: SEBASTIANI ROBERTO Academic year: 2011/2012 Course: Corso di Laurea Magistrale - INFORMATICA [0517H] Struttura didattica: Dipartimento di Ingegneria e Scienza dell'Informazione Formato: digitale Shelfmark: 0517H-122 Richiedi la consultazione |
PLANERA SERENA, A BAYESIAN APPROACH TO MULTIMODAL INTEGRATION BETWEEN AN INNATE AND AN AUGMENTED SENSORY MODALITY,
Rel. KOWALESKI STEFAN,
Rel. SCHWARZBACH JENS WOLKMAR,
AA 2013/2014
Author:
PLANERA SERENA
Title: A BAYESIAN APPROACH TO MULTIMODAL INTEGRATION BETWEEN AN INNATE AND AN AUGMENTED SENSORY MODALITY Relatore: SCHWARZBACH JENS WOLKMAR Secondo Relatore: KOWALESKI STEFAN Academic year: 2013/2014 Course: Corso di Laurea Magistrale - Cognitive Science - Scienze Cognitive [0708H] Struttura didattica: Centro Interdipartimentale Mente/Cervello - CIMEC Formato: digitale Shelfmark: 0708H-90 Richiedi la consultazione |