Concept

Hilbert's axioms

Related publications (7)

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.

Effect of geometry modifications on the engulfment in micromixers: Numerical simulations and stability analysis

Andrea Fani, Lorenzo Siconolfi

The effect of geometry variations on the engulfment regime in micromixers is investigated. The engulfment regime is a steady flow regime resulting from a symmetry-breaking pitchfork bifurcation as the Reynolds number (based on the hydraulic diameter and bu ...

Elsevier2016

ECMA-407: New Approaches to 3D Audio Content Data Rate Reduction with RVC-CAL

Marco Mattavelli, Claudio Paolo Alberti, Junaid Jameel Ahmad

Inverse problems have only been known in spatial audio for a very short time; their only solution, called "inverse coding" in literature, is essentially based on time-level modeling. Inverse problems, however, unlike parametric coding, require only an init ...

Audio Engineering Society (AES)2014

Consistent Digital Line Segments

Doemoetoer Palvoelgyi

We introduce a novel and general approach for digitalization of line segments in the plane that satisfies a set of axioms naturally arising from Euclidean axioms. In particular, we show how to derive such a system of digital segments from any total order o ...

2012

, , , ,

Plasma edge turbulence plays a fundamental role in determining the performance of fusion devices. In the Scrape-Off-Layer (SOL), the plasma dynamics is the result of the interplay between the plasma outflow from the core, perpendicular transport and parall ...

2012

On Locality of One-Variable Axioms and Piecewise Combinations

Viktor Kuncak, Swen Jacobs

Local theory extensions provide a complete and efficient way for reasoning about satisfiability of certain kinds of universally quantified formulas modulo a background theory. They are therefore useful in automated reasoning, software verification, and syn ...

2010

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

Weak metrics on Euclidean domains

Marc Troyanov

A weak metric on a set is a function that satisfies the axioms of a metric except the symmetry and the separation axioms. The aim of this paper is to present some interesting weak metrics and to study some of their properties. In particular, we introduce a ...

2007

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