Catégorie : Computer engineering project topics

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

Allocation of calculation tasks for a moderately powerful GPU

Random Matrix Theory for large system analysis and Massive MIMO design 

Feedforward Transmission Model with Bounded Noise: A Formal Information Theoretic Transmission Scheme (FITTS)

Real tropical cones as sublevel sets of dynamic programming operators

Mathematical programming approach for full network coverage optimization in C-RAN

PDZ-peptide binding specificity with polarizable free energy simulations 

Knowledge in Terms of Global Space 

Numerical abstract domains based on tropical polyhedra