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

Concept

Zermelo set theory

Related publications (12)

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

Microstrip patch antennas with broad beamwidth

Ismael Vico Triviño

Microstrip antennas offer a broad set of advantages such as low profile, light weight, easy fabrication and low cost. As these are desirable or even critical for a broad range of applications, there has been a large interest for these antennas in the anten ...

EPFL2023

A new set of analytical formulae for the computation of the bootstrap current and the neoclassical conductivity in tokamaks

Olivier Sauter

A new set of analytical formulae for calculating the bootstrap current and the neoclassical conductivity in tokamak experiments is presented. Previous works comparing the widely used Sauter model with results of recently developed numerical neoclassical so ...

AMER INST PHYSICS2021

In-Network View Synthesis for Interactive Multiview Video Systems

Pascal Frossard, Laura Toni

In multiview applications, camera views can be used as reference views to synthesize additional virtual viewpoints, allowing users to freely navigate within a 3D scene. However, bandwidth constraints may restrict the number of reference views sent to clien ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Projective transformations of structural equilibrium

Corentin Jean Dominique Fivet

Direct methods that transform the geometry of a structure and conserve its static equilibrium are of particular interest for designers. They allow the exploration of alternative solutions at minimum computational cost. While parallel transformations (stret ...

2016

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

GEOME: Towards an integrated web-based landscape genomics platform

Stéphane Joost, Michaël Kalbermatten

The aim of the GEOME project is to develop a WebGIS-based platform for the integrated analysis of environmental, ecological and molecular data through the implementation of an original set of combined databases, spatial analysis and population genetics too ...

Instituto Politécnico de Bragança2010

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

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

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

Validation of Visual Contracts for Services

Alain Wegmann, 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

Search for lepton flavor violating τ- decays with a KS 0 meson

Olivier Schneider, Chao Wang, Lei Zhang, Stewart Cole

We have searched for the lepton flavor violating decays τ- → ℓ- KS 0 (ℓ = e or μ), using a data sample of 281 fb-1 collected with the Belle detector at the KEKB e+ e- asymmetric-energy collider. No evidence for a signal was found in either of the decay mod ...

2006