Concept
Non-well-founded set theory
Related publications (20)
An objective skill assessment framework for microsurgical anastomosis based on ALI scores
Aude Billard, Kunpeng Yao, Soheil Gholami, Torstein Ragnar Meling, Anaëlle Olivia Marie Manon
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 ...
Vienna2024LISA – 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 ...
2023The Domestic Turn: Politics of Education from New College to The Palazzo Della Sapienza
Student accommodation became a problem only a century after the foundation of the first universities in Europe in the 12th century. At the very beginning students had to provide their own lodgings autonomously. In many university cities the situation prove ...
2023Dalmine and its Industrial Politics Translated into Type
The research examines the entanglement of urban rationalities and industrial biopolitics in constructing company towns' identities and spatialities, providing different housing typologies for its workers. An epitome of spatial production under industrial p ...
2023The importance of young professionals for dam engineering in Switzerland
Samuel Luke Vorlet, Valentina Favero
In Switzerland, hydropower is the main energy source and contributes to about 58.3% of the total production. The 2050 energy strategy aims to increase this share in the coming decades. This increase is a challenge for hydropower plants. The maintenance and ...
CRC Press/Balkema2023Intergrade Joints for Nb3Sn cables of high magnetic field magnets
The objective of this thesis is the development of high-field and high-current joints between Nb3Sn cables for superconducting coils. The main fields of application are high energy physics (HEP) and thermonuclear fusion. In this thesis, the focus is on Win ...
EPFL2022On 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 ...
2019On the Hölder regularity for the fractional Schrödinger equation and its improvement for radial data
We consider the linear, time-independent fractional Schrödinger equation. We are interested in the local Hölder exponents of distributional solutions ψ, assuming local L p integrability of the functions V and f. By standard arguments, we obtain the formula ...
2016Deciding Conditional Termination
We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...
Tech Univ Braunschweig2014Numerical simulation of a sailing boat
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