In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to

An important problem in quantum computing is the so-called approximate synthesis problem: to find a quantum circuit, preferably as short as possible, that approximates a given unitary operator

Over the past decade, and particularly over the past five years, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied

L’objectif de cet exposé est de tendre quelques élastiques permettant de relier certains travaux réputés abstraits en topologie et quelques applications supposées très concrètes, les élastiques  étant

The symbiosis of software with computer, sensors and actuators creates a new kind of physical engineering system. Robots used in space exploration and GPS - on the ground, GPS is just a "giant

The classical but oddly little-known Frobenius problem from number theory is the following: given a set of positive integers with greatest common divisor equal to 1, find the largest integer not

Partant d’une perspective purement mécanique, un système anthropomorphe (un homme ou un robot humanoïde) est un système à la fois redondant et sous-actionné. Il est redondant par rapport à la

Avec la prolifération des réseaux et systèmes mobiles, réseaux de capteurs et actionneurs, et des systèmes d’information hébergés sur des infrastructures globales comme Internet et le Cloud, les

Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a