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

Concept

Zermelo–Fraenkel set theory

Related publications (19)

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

Representing location choice within activity-based models

Michel Bierlaire, Timothy Michael Hillel, Janody Pougala

Since the 70s, there has been a growing interest in activity-based modelling. This approach models the need to travel as a result of performing daily activities (Bowman and Ben-Akiva, 2001). Nevertheless, the activities need to be scheduled which involves ...

2022

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Viktor Kuncak, Simon Guilloud

We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We use as a base a variation of Hopcroft, Ullman and Aho algorithm for tree isomo ...

Springer2022

Transferable machine-learning models of complex materials: the case of GaAs

Giulio Imbalzano

Molecular simulations allow to investigate the behaviour of materials at the atomistic level, shedding light on phenomena that cannot be directly observed in experiments. Accurate results can be obtained with ab initio methods, while simulations of large-s ...

EPFL2021

Complete coordination of robotic fiber positioners for massive spectroscopic surveys

Denis Gillet, Jean-Paul Richard Kneib, Matin Macktoobian

Robotic fiber positioners play a vital role in the generation of massive spectroscopic surveys. The more complete a positioners set is coordinated, the more information its corresponding spectrograph receives during an observation. The complete coordinatio ...

2019

Ambiguous Joint Chance Constraints under Mean and Dispersion Information

Daniel Kuhn, Wolfram Wiesemann, Grani Adiwena Hanasusanto

We study joint chance constraints where the distribution of the uncertain parameters is only known to belong to an ambiguity set characterized by the mean and support of the uncertainties and by an upper bound on their dispersion. This setting gives rise t ...

Informs2017

The Myers-Steenrod Theorem For Finsler Manifolds Of Low Regularity

Marc Troyanov

We prove a version of Myers-Steenrod's theorem for Finsler manifolds under the minimal regularity hypothesis. In particular we show that an isometry between C-k,C-alpha-smooth (or partially smooth) Finsler metrics, with k + alpha > 0, k is an element of N ...

American Mathematical Society (AMS)2017

Why Do Some Water Utilities Recycle More than Others? A Qualitative Comparative Analysis in New South Wales, Australia

Janet Gordon Hering

Although the recycling of municipal wastewater can play an important role in water supply security and ecosystem protection, the percentage of wastewater recycled is generally low and strikingly variable. Previous research has employed detailed case studie ...

Amer Chemical Soc2015

Activity choice modeling for pedestrian facilities

Antonin Danalet

This thesis develops models of activity and destination choices in pedestrian facilities from WiFi traces. We adapt the activity-based travel demand analysis of urban mobility to pedestrians and to digital footprints. We are interested in understanding the ...

EPFL2015

A Distributionally Robust Perspective on Uncertainty Quantification and Chance Constrained Programming

Daniel Kuhn, Wolfram Wiesemann, Grani Adiwena Hanasusanto

The objective of uncertainty quantification is to certify that a given physical, engineering or economic system satisfies multiple safety conditions with high probability. A more ambitious goal is to actively influence the system so as to guarantee and mai ...

Springer Verlag2015

An empirical comparison of travel choice models that capture preferences for compromise alternatives

Michel Bierlaire

Compromise alternatives have an intermediate performance on each or most attributes rather than having a poor performance on some attributes and a strong performance on others. The relative popularity of compromise alternatives among decision-makers has be ...

Springer2013

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

Escaping the Prior Knowledge Corridor: What shapes the Number and Variety of Market Opportunities identified before Market Entry of Technology Start-ups?

Marc Gruber, James David Thompson

The choice of the firm's market environment is one of the fundamental decisions of firm founders. We study the pre-entry generation of founders' market choice sets by investigating their search for market opportunities in which the firm's technological res ...

INFORMS2013

An analysis of destination choice for opaque airline products using multidimensional binary logit models

Michel Bierlaire

We investigate how customers respond to an opaque airline product offered by a European carrier. In this opaque product design, customers are randomly assigned to travel to one of approximately ten destinations; however, for a fee they may exclude one or m ...

Pergamon-Elsevier Science Ltd2012

Discrete choice and microsimulation methods for agent-based land use modeling

Ricardo Daniel Hurtubia González

This thesis describes methods to model the land use component of an urban system. Specifi- cally, it proposes methods to model and simulate the location choice of agents (households or firms) and the formation of prices for real estate goods in a city. The ...

EPFL2012

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

Some algebro-geometric solutions for the coupled modified Kadomtsev-Petviashvili equations arising from the Neumann type systems

A treatment is described for getting some algebro-geometric solutions of the coupled modified Kadomtsev-Petviashvili (cmKP) equations and a hierarchy of 1 + 1 dimensional integrable nonlinear evolution equations (INLEEs) by using the Neumann type systems t ...

American Institute of Physics2012

Decision Procedures for Program Synthesis and Verification

Ruzica Piskac

Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...

EPFL2011