Concept

Proof (truth)

Publications associées (124)

Dual-Band Circularly Polarized Transmitarray Antenna for Satellite Communications at (20 to 30) GHz

Juan Ramon Mosig, Maria Garcia Vigueras, Joana Rita Alves dos Santos Silva, Santiago Capdevila Cascante, Hamed Hasani

A novel dual-band polarization-independent transmitarray is introduced in this paper for communication systems in Ka-band. Thanks to its unit-cell topology, the transmitarray antenna demonstrates almost complete independent performance at two design freque ...

2019

A proof of a sumset conjecture of Erdős

Florian Karl Richter

In this paper we show that every set A ⊂ ℕ with positive density contains B + C for some pair B, C of infinite subsets of ℕ , settling a conjecture of Erdős. The proof features two different decompositions of an arbitrary bounded sequence into a structured ...

2019

The Scaling Limit Of Critical Ising Interfaces Is Cle3

Clément Hongler

In this paper, we consider the set of interfaces between + and - spins arising for the critical planar Ising model on a domain with + boundary conditions, and show that it converges to nested CLE3. Our proof relies on the study of the coupling between the ...

INST MATHEMATICAL STATISTICS2019

Design and Evaluation of a Bowden-Cable-Based Remote Actuation System for Wearable Robotics

Roger Gassert, Olivier Lambercy

Wearable robots can assist motor-impaired individuals in activities of daily living, but weight is paramount for usability. Proximally placed actuators and remote actuation systems (RAS) minimize weight on users' extremities. State-of-the-art RAS employ pn ...

2018

A logarithmic epiperimetric inequality for the obstacle problem

Maria Colombo

We study the regularity of the regular and of the singular set of the obstacle problem in any dimension. Our approach is related to the epiperimetric inequality of Weiss (Invent Math 138:23-50, Wei99a), which works at regular points and provides an alterna ...

2018

Innovative methods to release fine sediments from seasonal reservoirs

Anton Schleiss, Giovanni De Cesare, Pedro Filipe De Almeida Manso, Azin Amini, Sabine Chamoun, Sebastián Guillén Ludeña

The papers present three innovative solutions for fine sediment manage- ments in seasonal reservoirs, which are at different stages of maturity. Operational reservoir stirring using jet-like inflows may facilitate sediment routing, at no addi- tional cost ...

CRC Press/Balkema2018

In vivo imaging with microsphere-based super-resolution microscopy

Martinus Gijs, Gergely Huszka, Roger Philippe Krenger

Employing dielectric microspheres in a standard microscope setup is an alternative to image sub-diffraction features optically, however this method suffers from a limited field-of-view. Here, we show our microsphere-based optical super-resolution microscop ...

IEEE2018

Allocation of Frequency Control Reserve from Aggregated Resources of Active Distribution Systems

Fabrizio Sossan, Mokhtar Bozorg, Mohsen Kalantar Neyestanaki

This paper addresses the allocation of frequency control services (FCSs) from aggregated resources of active distribution systems (ARADSs) for balancing the transmission system while considering credible contingencies as well as forecast error of loads and ...

IEEE2018

The Industrial Ontologies Foundry Proof-of-Concept Project

The current industrial revolution is said to be driven by the digitization that exploits connected information across all aspects of manufacturing. Standards have been recognized as an important enabler. Ontology-based information standard may provide bene ...

SPRINGER-VERLAG BERLIN2018

Secure Storage with Replication and Transparent Deduplication

Iraklis Leontiadis

We seek to answer the following question: To what extent can we deduplicate replicated storage ? To answer this question, we design ReDup, a secure storage system that provides users with strong integrity, reliability, and transparency guarantees about dat ...

2018

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search