Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Théorie des ensembles non bien fondés

Publications associées (7)

An objective skill assessment framework for microsurgical anastomosis based on ALI scores

Aude Billard, Kunpeng Yao, Soheil Gholami

IntroductionThe current assessment and standardization of microsurgical skills are subjective, posing challenges in reliable skill evaluation. We aim to address these limitations by developing a quantitative and objective framework for accurately assessing ...

Springer Wien2024

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

On the effect of ligand shell heterogeneity on nanoparticle/protein binding thermodynamics

Francesco Stellacci, Ahmet Bekdemir, Suiyang Liao

Nonspecific protein adhesion to nanoparticle (NP) has been proven to have important implications in nanomedicine. However, there are only a few examples of careful studies relating protein binding thermodynamics to NP physicochemical features. In particula ...

2019

Numerical simulation of a sailing boat : free surface, fluid-structure interaction and shape optimization

Matteo Lombardi

In this work, various aspects concerning the numerical simulation of a sailing boat are investigated. The attention is focused on simulation of the free-surface, the fluid-structure interaction (FSI) between wind and sails, and the dynamics of the whole bo ...

EPFL2012

Measuring shape rectangularity

A new method for measuring shape rectangularity is introduced. The new shape measure is invariant with respect to similarity transformations, ranges over the interval (0,1] and picks the value 1 if and only if the measured shape is a rectangle. The measure ...

2011

Inverse problems in acoustic tomography : theory and applications

Ivana Jovanovic

Acoustic tomography aims at recovering the unknown parameters that describe a field of interest by studying the physical characteristics of sound propagating through the considered field. The tomographic approach is appealing in that it is non-invasive and ...

EPFL2008

UHPFRC early age time dependent response - experimental characterization and numerical analysis

Eugen Brühwiler, Emmanuel Denarié, Aicha Kamen

Thin ultra high performance fibre reinforced concretes overlays are suitable for rehabilitation of structures thanks to their enhanced properties. However, in such composite structures, restrained differential shrinkage cracking is an important concern. To ...

Millpress2007