Publications associées à Clôture (mathématiques)

Leveraging topology, geometry, and symmetries for efficient Machine Learning

When learning from data, leveraging the symmetries of the domain the data lies on is a principled way to combat the curse of dimensionality: it constrains the set of functions to learn from. It is more data efficient than augmentation and gives a generaliz ...

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

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, Heather Christine Klug, Philipp Haller

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

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

Academic Cooperation to Foster Research and Advocacy Competences in the Occupied Palestinian Territory (West Bank)

Martin Schuler, François Golay, Marc Soutter, Claudio Magalhaes Carneiro, Béatrice Métaireau

Palestinians living in the West Bank, a territory occupied by the State of Israel according to International Law, face a deprived access to land and a limited ability to move freely which pertains to the presence of Israeli settlements and other infrastruc ...

2012

Expressiveness And Closure Properties For Quantitative Languages

Laurent Doyen

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

Impact de la communication voco-visuelle dans le management sur la motivation des collaborateurs

Our research work wishes to highlight the importance of the relationship between the vocal and physical behaviour of the manager and team motivation. In order to investigate this important relationship, a survey by means of a questionnaire and two field st ...

EPFL2009

Closure relations for composite bosons: Difference between polaritons and Wannier or Frenkel excitons

Marc-André Dupertuis

We derive the closure relation for N polaritons made of three different types of excitons: bosonized excitons, Frenkel, or Wannier excitons. In the case of polaritons made of Wannier excitons, we show how this closure relation, which appears as nondiagonal ...

2008

Probabilistic Message Passing in Peer Data Management Systems

Karl Aberer, Philippe Cudré-Mauroux

Until recently, most data integration techniques involved central components, e.g., global schemas, to enable transparent access to heterogeneous databases. Today, however, with the democratization of tools facilitating knowledge elicitation in machine-pro ...

IEEE2006