Concept

Théorie naïve des ensembles

Publications associées (40)

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 ...

2023

HyperLogLog: Exponentially Bad in Adversarial Settings

Mathilde Aliénor Raynal

Computing the count of distinct elements in large data sets is a common task but naive approaches are memory-expensive. The HyperLogLog (HLL) algorithm (Flajolet et al., 2007) estimates a data set's cardinality while using significantly less memory than a ...

IEEE COMPUTER SOC2022

Wigner Measures and Coherent Quantum Control

Tudor Ratiu

We introduce Wigner measures for infinite-dimensional open quantum systems; important examples of such systems are encountered in quantum control theory. In addition, we propose an axiomatic definition of coherent quantum feedback. ...

2021

Programmable Logic Gates Based On Tunable Multistable Mechanisms

Simon Nessim Henein, Hubert Pierre-Marie Benoît Schneegans, Ilan Vardi, Mohamed Gamal Abdelrahman Ahmed Zanaty

Binary logic operations are the building blocks of computing machines. In this paper, we present a new programmable binary logic gate based on programmable multistable mechanisms (PMM), which are multistable structures whose stability behavior depends on m ...

AMER SOC MECHANICAL ENGINEERS2020

Forbidden induced subposets of given height

Istvan Tomon

Let P be a partially ordered set. The function La* (n, P) denotes the size of the largest family F subset of 2([n]) that does not contain an induced copy of P. It was proved by Methuku and Palvolgyi that there exists a constant C-P (depending only on P) su ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2019

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

Implementation of Functional Microfluidic Dispensing Tools Enabling Enhanced Control in Extrusion Bioprinting

Ludovic Serex

Inspired from additive manufacturing's success, the structuring of biocompatible materials through bioprinting has become a growing field of research in the past fifteen years. It opened the door to a plethora of applications ranging from the fabrication o ...

EPFL2019

Investigating prospective memory via eye tracking: No evidence for a monitoring deficit in older adults

Michael Herzog, Marc Michael Lauffs

Prospective memory (PM) refers to remembering to perform intended actions in the future. Older adults in particular have been shown to be negatively affected by PM tasks that require a high amount of attentional resources (i.e., nonfocal tasks). This age-r ...

2019

Automobility Beyond Car

Farzaneh Bahrami

How is the future of automobility imagined today? What has structured such imaginary ? And what levers can steer its evolution towards a Post-Car World? These very three questions form the foundational motivations of this thesis. First, through a h ...

EPFL2017

Experimental method to characterize the strain dependent permeability of tissue engineering scaffolds

Dominique Pioletti, Naser Nasrollahzadeh Mamaghani

Permeability is an overarching mechanical parameter encompassing the effects of porosity, pore size, and interconnectivity of porous structures. This parameter directly influences transport of soluble particles and indirectly regulates fluid pressure and v ...

Elsevier2016

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search