Publications associées à Théorie naïve des ensembles

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

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

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

Automobility Beyond Car : Introducing a New Coordinate System for Transforming Urban Mobility

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

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

Design and Strand Tests of a Fusion Cable Composed of Coated Conductor Tapes

Pierluigi Bruzzone, Davide Uglietti, Rainer Wesche

The design of a flat cable suitable for future fusion reactors has been carried out. The cable consists of twisted round strands, which are composed of tapes stacked between copper profiles. According to calculations, the strand twist pitch and the cable t ...

IEEE Institute of Electrical and Electronics Engineers2014

How Important is the Detection of Changes in Active Constraints in Real-Time Optimization?

Dominique Bonvin, Saurabh Anand Deshpande

In real-time optimization, enforcing the constraints that need to be active is important for optimality. In fact, it has been established in the context of parametric variations that, if these constraints are not satisfied, the optimality loss would be O($ ...

2011

Efficient Protocols for Set Membership and Range Proofs

Rafik Chaabouni

We consider the following problem: Given a commitment to a value σ, prove in zero-knowledge that σ belongs to some discrete set Φ. The set Φ can perhaps be a list of cities or clubs; often Φ can be a numerical range such as [1, 220]. This problem arises in ...

Springer2008

Visual contracts (VCs) : enriching graphical systemic models to support diagrammatic reasoning in system design

José Diego de la Cruz Garcia

Model-Driven Engineering (MDE) harbors the promise of developing software-based systems with little or no coding. Instead of coding, it is envisioned that software engineers build models that are automatically translated into code. The modeling notation of ...

EPFL2008

Formal semantics for refinement verification of entreprise models

Irina Rychkova

In this dissertation we investigate how Business/IT alignment in enterprise models can be enhanced by using a software engineering stepwise refinement paradigm. To have an IT system that supports an enterprise and meets the enterprise business needs, manag ...

EPFL2008

SeamCAD: a hierarchy-oriented modeling language and a computer-aided tool for entreprise architecture

Lam Son Lê

Modeling Enterprise Architecture requires representing multiple diagrams of an enterprise, which typically shows the multiples business entities, IT systems, even software components and the services they offer. This could be done by a team of stakeholders ...

EPFL2008

Nonorthogonal theory of polarons and application to pyramidal quantum dots

Elyahou Kapon, Marc-André Dupertuis, Sascha Dalessi, Danail Obreschkow

We present a general theory for semiconductor polarons in the framework of the Frohlich interaction between electrons and phonons. The latter is investigated using noncommuting phonon creation/annihilation operators associated with a natural set of nonorth ...

2007

On The Weakest Failure Detector Ever

Rachid Guerraoui

Many problems in distributed computing are impossible when no information about process failures is available. So what is the minimal yet non-trivial failure information? In other words, what is the minimal information about failures needed to circumvent a ...

2007

Validation of Visual Contracts for Services

Alain Wegmann, Lam Son Lê, José Diego de la Cruz Garcia

Visual modeling languages have specialized diagrams to represent behavior and concepts. This diagram specialization has drawbacks like the dif-ficulty to represent the effects of actions. We claim that visual contracts can de-scribe actions in a more compl ...

2006