Concept

Reverse mathematics

Related publications (8)

On Katznelson's Question for skew product systems

Katznelson's Question is a long-standing open question concerning recurrence in topological dynamics with strong historical and mathematical ties to open problems in combinatorics and harmonic analysis. In this article, we give a positive answer to Katznel ...

2021

Augmented Reality to Facilitate a Conceptual Understanding of Statics in Vocational Education

Lorenzo Lucignano

At the core of the contribution of this dissertation there is an augmented reality (AR) environment, StaticAR, that supports the process of learning the fundamentals of statics in vocational classrooms, particularly in carpentry ones. Vocational apprentice ...

EPFL2018

On the topological full group of a minimal Cantor Z2-system

Nicolas Monod, Gábor Elek

Grigorchuk and Medynets recently announced that the topological full group of a minimal Cantor Z-action is amenable. They asked whether the statement holds for all minimal Cantor actions of general amenable groups as well. We answer in the negative by prod ...

2013

Omnidirectional Light Field Analysis and Reconstruction

Luigi Bagnato

Digital photography exists since 1975, when Steven Sasson attempted to build the first digital camera. Since then the concept of digital camera did not evolve much: an optical lens concentrates light rays onto a focal plane where a planar photosensitive ar ...

EPFL2012

Verification of Imperative Programs in Scala

Régis William Blanc

Safety-critical software systems can only support a limited number of failures. Extensive testing is good at catching errors, however that will never certify their absence. Formal verification is an alternative to testing that can (automatically) provide a ...

2012

What Decision Neuroscience Teaches Us About Financial Decision Making

Financial decision making is the outcome of complex neurophysiological processes involving, among others, constant re-evaluation of the statistics of the problem at hand, balancing of the various emotional aspects, and computation of the very value signals ...

2009

Harmonic symmetrization of convex sets and of Finsler structures, with applications to Hilbert geometry

Marc Troyanov

David Hilbert discovered in 1895 an important metric that is canonically associated to any convex domain

\Omega

in the Euclidean (or projective) space. This metric is known to be Finslerian, and the usual proof assumes a certain degree of smoothness of t ...

2009

Variance estimation in single-cell mutation assays: comparison to experimental observations in human lymphoblasts at 4 gene loci

Stephan Morgenthaler

The performance of mutation assays with single cells involves a series of separate steps beginning with the induction of mutant cells and ending with the counting of mutant and wild-type colonies. The variation among identically treated cultures is here mo ...

1985

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Harmonic symmetrization of convex sets and of Finsler structures, with applications to Hilbert geometry

Marc Troyanov

David Hilbert discovered in 1895 an important metric that is canonically associated to any convex domain

\Omega

in the Euclidean (or projective) space. This metric is known to be Finslerian, and the usual proof assumes a certain degree of smoothness of t ...

2009