Algebraic topology

About
Privacy
Disclaimer

Graph Chatbot

Related publications (28)

Exact Synthesis of LTL Properties from Traces

We present an exact approach to synthesize temporal-logic formulas in linear temporal logic (LTL) from a set of given positive and negative example traces. Our approach uses topology structures, in particular partial DAGs, to partition the search space int ...

IEEE2019

Objective Morphological Classification of Neocortical Pyramidal Cells

Henry Markram, Kathryn Hess Bellwald, Srikanth Ramaswamy, Rodrigo de Campos Perin, Lida Kanari, Ying Shi, Julie Meystre, Marwan Muhammad Ahmed Abdellah, Yun Wang

A consensus on the number of morphologically different types of pyramidal cells (PCs) in the neocortex has not yet been reached, despite over a century of anatomical studies, due to the lack of agreement on the subjective classifications of neuron types, w ...

Oxford University Press (OUP)2019

Kaleidoscopic groups: permutation groups constructed from dendrite homeomorphisms

Nicolas Monod

Given a transitive permutation group, a fundamental object for studying its higher transitivity properties is the permutation action of its isotropy subgroup. We reverse this relationship and introduce a universal construction of infinite permutation group ...

POLISH ACAD SCIENCES INST MATHEMATICS-IMPAN2019

Topological exploration of artificial neuronal network dynamics

Kathryn Hess Bellwald, Gard Spreemann

One of the paramount challenges in neuroscience is to understand the dynamics of individual neurons and how they give rise to network dynamics when interconnected. Historically, researchers have resorted to graph theory, statistics, and statistical mechani ...

2019

Unique decomposition of homogeneous languages and application to isothetic regions

Nicolas René Jean Ninin

A language is said to be homogeneous when all its words have the same length. Homogeneous languages thus form a monoid under concatenation. It becomes freely commutative under the simultaneous actions of every permutation group G(n) on the collection of ho ...

2019

Mapping Monotone Boolean Functions into Majority

Giovanni De Micheli, Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Winston Jason Haaswijk

We consider the problem of decomposing monotone Boolean functions into majority-of-three operations, with a particular focus on decomposing the majority-n function. When targeting monotone Boolean functions, Shannon's expansion can be expressed by a single ...

2018

Neuronal morphologies: the shapes of thoughts

Lida Kanari

The mammalian brain, one of the most fascinating systems in nature, is a complex biological structure that has kept scientists busy for over a century. Many of the brain's mysteries have been unraveled due to the enormous efforts of the scientific communit ...

EPFL2018

Arithmetic and geometric structures in cryptography

Benjamin Pierre Charles Wesolowski

We explore a few algebraic and geometric structures, through certain questions posed by modern cryptography. We focus on the cases of discrete logarithms in finite fields of small characteristic, the structure of isogeny graphs of ordinary abelian varietie ...

EPFL2018

Page 2 of 2