Catégorie : Computer engineering project topics

Mathematical preliminaries for isogeny-based cryptography 

Metric Differential Privacy 

Learning based cloud resource management systems

Machine learning basics 

Epistemic logic semantics 

Zero-Loss Virtual Machine Migration with IPv6 Segment Routing

channel allocation strategy in ad hoc networks 

Constraint Systems and Modal Logics 

Spatial Constraint Systems with Extrusion

Focusing Gentzen’s sequent calculus for classical logic: a survey 

Routine characterization of human mobility 

Concurrent Constraint Programming (CCP)

Studies of the HAVEGE Random Number Generator 

On the Expressive Power of Restriction and Priorities in CCS with replication 

Types, prefixes, and relations under prefixes 

Task Based Programming Models where Tasks run on Distributed Memory

Overview of synchronous languages

Learning Semantic and Visual Similarity between Endomicroscopy Videos

System virtualization mechanisms

Software Engineering for Relational Databases

Ferroelectric Thin Films