We present a structure theorem for the subsurface projections of train track splitting sequences. For the proof we introduce induced tracks, efficient position, and wide curves. As a consequence of the structure theorem we prove that train track sliding and splitting sequences give quasi-geodesics in the train track graph; this generalizes a result of Hamenstädt [Invent. Math.].

Combining computer sciences with mathematics, Inria’s 3,500 researchers strive to invent the digital technologies of the future. Educated at leading international universities, they creatively integrate basic research with applied research and dedicate themselves to solving real problems, collaborating with the main players in public and private research in France and abroad and transferring th...

Spinal muscular atrophy (SMA) is a genetic disorder which affect nervous system and is characterized with progressive distal motor neuron weakness. The survival motor neuron (SMN) protein level reduces in patients with SMA. Two different genes code survival motor neuron protein in human genome. Skeletal and intercostal muscles denervation lead to weakness, hypotony, hyporeflexia, respiratory fa...

We describe a single framework in which to view the end-to-endindependently-verifiable (E2E) polling-place voting systems with a mixnet back-end. We use the framework to invent new systems that combine front and back-ends from existing systems.

The historic relation between Frege and ‘Frege’s principle’ is investigated. What did Frege intend with the principle, did he change his opinion concerning it, did he invent the principle? Johan van Benthem did twenty years ago reseach on another aspect of Frege’s work and some of his opinions are confirmed by the present research. His pregnant formulations and suggestive metaphors are quoted w...