Concept
Deterministic pushdown automaton
Publications associées (32)
Formal Foundations of Capture Tracking
Aleksander Slawomir Boruch-Gruszecki
Type systems are a device for verifying properties of programs without running them. Many programming languages used in the industry have always had a type system, while others were initially created without a type system and later adopted one, when the ad ...
EPFL2024On the relaxed maximum-likelihood blind MIMO channel estimation for orthogonal space-time block codes
This paper concerns the maximum-likelihood channel estimation for MIMO systems with orthogonal space-time block codes when the finite alphabet constraint of the signal constellation is relaxed. We study the channel coefficients estimation subspace generate ...
ELSEVIER2020New Graph Algorithms via Polyhedral Techniques
In this thesis we give new algorithms for two fundamental graph problems. We develop novel ways of using linear programming formulations, even exponential-sized ones, to extract structure from problem instances and to guide algorithms in making progress. S ...
EPFL2019