Concept

Constructible universe

Related publications (15)

The Completion Of Covariance Kernels

We consider the problem of positive-semidefinite continuation: extending a partially specified covariance kernel from a subdomain Omega of a rectangular domain I x I to a covariance kernel on the entire domain I x I. For a broad class of domains Omega call ...

INST MATHEMATICAL STATISTICS-IMS2022

A Theory of Value for Service Ecosystems

Blagovesta Hristova Kostova

In this thesis, we present a theory of value for the design and analysis of service ecosystems. The theory is based on general systems thinking. The concept of a system is used for relating knowledge from different disciplines (such as software engineering ...

EPFL2022

Transferable machine-learning models of complex materials: the case of GaAs

Giulio Imbalzano

Molecular simulations allow to investigate the behaviour of materials at the atomistic level, shedding light on phenomena that cannot be directly observed in experiments. Accurate results can be obtained with ab initio methods, while simulations of large-s ...

EPFL2021

Free Boundary Regularity for Almost Every Solution to the Signorini Problem

Xavier Fernandez-Real Girona

We investigate the regularity of the free boundary for the Signorini problem in Rn+1. It is known that regular points are (n−1)-dimensional and C∞. However, even for C∞ obstacles φ, the set of non-regular (or degenerate) points could be very large—e.g. wit ...

2021

Hyperbolic Fourier series

Maryna Viazovska

In this article we explain the essence of the interrelation described in [PNAS 118, 15 (2021)] on how to write explicit interpolation formula for solutions of the Klein-Gordon equation by using the recent Fourier pair interpolation formula of Viazovska and ...

arXiv2021

On the constancy theorem for anisotropic energies through differential inclusions

Riccardo Tione

In this paper we study stationary graphs for functionals of geometric nature defined on currents or varifolds. The point of view we adopt is the one of differential inclusions, introduced in this context in the recent papers (De Lellis et al. in Geometric ...

2021

CoFeed: privacy-preserving Web search recommendation based on collaborative aggregation of interest feedback

Martin Rajman, Vinh Toan Luu, Pascal Felber

Search engines essentially rely on the structure of the graph of hyperlinks. Although accurate for the main trend, this is not effective when some query is ambiguous. Leveraging semantic information by the mean of interest matching allows proposing complem ...

Wiley-Blackwell2013

Electrically gauged N=4 supergravities in D=4 with N=2 vacua

Paul Smyth

We study N = 2 vacua in spontaneously broken N = 4 electrically gauged supergravities in four space-time dimensions. We argue that the classification of all such solutions amounts to solving a system of purely algebraic equations. We then explicitly constr ...

Springer Nature2013

A reduced basis hybrid method for the coupling of parametrized domains represented by fluidic networks

Alfio Quarteroni, Gianluigi Rozza, Laura Iapichino

In this paper we propose a reduced basis hybrid method (RBHM) for the approximation of partial differential equations in domains represented by complex networks where topological features are recurrent. The RBHM is applied to Stokes equations in domains wh ...

Elsevier2012

CAT(0) Geometry for the Thompson Group

Dan Titus Salajan

We investigate Farley’s CAT(0) cubical model for Thompson’s group F (we adopt the classical language of F, using binary trees and piecewise linear maps, avoiding the one of diagram groups and pictures). Main results include: in general, Thompson’s group el ...

EPFL2012

Constraints as Control

Viktor Kuncak, Philippe Paul Henri Suter

We present an extension of Scala that supports constraint programming over bounded and unbounded domains. The resulting language, Kaplan, provides the benefits of constraint programming while preserving the existing features of Scala. Kaplan integrates con ...

2012

Decision Procedures for Program Synthesis and Verification

Ruzica Piskac

Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the ...

EPFL2011

What are the Longest Ropes on the Unit Sphere?

Henryk Gerlach

We consider the variational problem of finding the longest closed curves of given minimal thickness on the unit sphere. After establishing the existence of solutions for any given thickness between 0 and 1, we explicitly construct for each given thickness ...

Springer-Verlag2011

Signal Reconstruction from Multiple Unregistered Sets of Samples using Groebner Bases

Martin Vetterli, Luciano Sbaiz, Patrick Vandewalle

We present a new method for signal reconstruction from multiple sets of samples with unknown offsets. We rewrite the reconstruction problem as a set of polynomial equations in the unknown signal parameters and the offsets between the sets of samples. Then, ...

2006

Stimulating preference expression using suggestions

Boi Faltings, Pearl Pu Faltings, Paolo Viappiani

Users often have to search for a most preferred item but do not know how to state their preferences in the language allowed by the system. Example-Critiquing has been proposed as a mixed-initiative technique for allowing them to construct their preference ...

American Association for Artificial Intelligence, Menlo Park, CA 94025-3496, United States2005