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

Concept

Closure operator

Related publications (21)

Non-normal forms

Yves-Marie François Ducimetière

In this thesis, we propose to formally derive amplitude equations governing the weakly nonlinear evolution of non-normal dynamical systems, when they respond to harmonic or stochastic forcing, or to an initial condition. This approach reconciles the non-mo ...

EPFL2024

Semiclassical methods in conformal field theories scrutinized by the epsilon-expansion

Gil Badel

Conformal Field Theories (CFTs) are crucial for our understanding of Quantum Field Theory (QFT). Because of their powerful symmetry properties, they play the role of signposts in the space of QFTs. Any method that gives us information about their structure ...

EPFL2022

Streaming and Matching Problems with Submodular Functions

Paritosh Garg

Submodular functions are a widely studied topic in theoretical computer science. They have found several applications both theoretical and practical in the fields of economics, combinatorial optimization and machine learning. More recently, there have also ...

EPFL2022

Examples of normal, not geometrically normal, projective Gorenstein del Pezzo surfaces with at most Du Val singularities

Ursina Schweizer

While over fields of characteristic at least 5, a normal, projective and Gorenstein del Pezzo surface is geometrically normal, this does not hold for characteristic 2 and 3. There is no characterization of all such non-geometrically normal surfaces, but th ...

EPFL2021

Between Hospitality and Inhospitality: The Janus-Faced 'Arrival Infrastructure'

Luca Giovanni Pattaroni, Guillaume Simon Joseph Drevon, Maxime Carl Felder, Marie Hannah Florence Trossat, Joan Stavo-Debauge

Although ‘arrival infrastructure’ is central to the experience of migrants arriving in a new city, is it sufficient to form a ‘hospitable milieu’? Our article compares newcomers’ experiences with ‘arrival infrastructure’ in two European cities: Brussels an ...

2020

Implications of ANEC for SCFTs in four dimensions

Alessandro Vichi, Andrea Manenti

We explore consequences of the Averaged Null Energy Condition (ANEC) for scaling dimensions Delta of operators in four-dimensional N = 1 superconformal field theories. We show that in many cases the ANEC bounds are stronger than the corresponding unitarity ...

Springer Nature2020

Fourier dimensionality reduction for fast radio transients

Jean-Philippe Thiran, Yves Wiaux, Vijay Kartik, Ming Jiang

In the context of next-generation radio interferometers, we are facing a big challenge of how to economically process data. The classical dimensionality reduction technique, averaging visibilities on time, may dilute fast radio transients (FRT). We propose ...

2019

Construction of Polar Codes With Sublinear Complexity

Rüdiger Urbanke, Seyed Hamed Hassani, Marco Mondelli

Consider the problem of constructing a polar code of block length N for a given transmission channel W. Previous approaches require one to compute the reliability of the N synthetic channels and then use only those that are sufficiently reliable. However, ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Procrustes Metrics and Optimal Transport for Covariance Operators

Valentina Masarotto

Covariance operators play a fundamental role in functional data analysis, providing the canonical means to analyse functional variation via the celebrated Karhunen-Loève expansion. These operators may themselves be subject to variation, for instance in con ...

EPFL2019

Generalized Norm-compatible Systems on Unitary Shimura Varieties

Mohamed Réda Boumasmoud

We define and study in terms of integral Iwahoriâ Hecke algebras a new class of geometric operators acting on the Bruhat-Tits building of connected reductive groups over p-adic fields. These operators, which we call U-operators, generalize the geometric n ...

EPFL2019

From rock to magma and back again: The evolution of temperature and deformation mechanism in conduit margin zones

Marie Estelle Solange Violay, Michael Heap

Explosive silicic volcanism is driven by gas overpressure in systems that are inefficient at outgassing. The zone at the margin of a volcanic conduit-thought to play an important role in the outgassing of magma and therefore pore pressure changes and explo ...

Elsevier2017

Optimized distributed implementation of multiparty interactions with Restriction

Joseph Sifakis

Using high level coordination primitives allows enhanced expressiveness of component-based frameworks to cope with the inherent complexity of present-day systems designs. Nonetheless, their distributed implementation raises multiple issues, regarding both ...

Elsevier2015

Language Support for Distributed Functional Programming

Heather Christine Klug

Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching together user experiences byway of responses received via hundreds of network requests ...

EPFL2015

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Martin Odersky, Philipp Haller, Heather Christine Klug

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2014

Convex Generalizations of Total Variation Based on the Structure Tensor with Applications to Inverse Problems

Michaël Unser, Stamatios Lefkimmiatis

We introduce a generic convex energy functional that is suitable for both grayscale and vector-valued images. Our functional is based on the eigenvalues of the structure tensor, therefore it penalizes image variation at every point by taking into account t ...

Springer2013

Accelerating Interpolants

Viktor Kuncak, Hossein Hojjat

We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexample guided predicate abstraction with accel ...

2012

Trace Identities For Commutators, With Applications To The Distribution Of Eigenvalues

Joachim Stubbe

We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schrodinger operators and Schrodinger operators on immersed manifolds. In particular, we prove bounds on t ...

2011

Order-adjoint monads and injective objects

Given a monad T on Set whose functor factors through the category of ordered sets with left adjoint maps, the category of Kleisli monoids is defined as the category of monoids in the hom-sets of the Kleisli category of T. The Eilenberg-Moore category of T ...

Elsevier2010

Universal Bounds And Semiclassical Estimates For Eigenvalues Of Abstract Schrodinger Operators

Joachim Stubbe

We prove trace inequalities for a self-adjoint operator on an abstract Hilbert space, which extend those known previously for Laplacians and Schrodinger operators, freeing them from restrictive assumptions on the nature of the spectrum and allowing operato ...

2010

Expressiveness And Closure Properties For Quantitative Languages

Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In the case of infinite words, the value of a run is naturally computed as the ma ...

2010