Concept

Zero-based numbering

Related publications (4)

Learning the Globally Optimal Distributed LQ Regulator

We study model-free learning methods for the output-feedback Linear Quadratic (LQ) control problem in finite-horizon subject to subspace constraints on the control policy. Subspace constraints naturally arise in the field of distributed control and present ...

PMLR2020

Tree Interpolation in Vampire

Régis William Blanc, Laura Ildiko Kovacs, Ashutosh Gupta

We describe new extensions of the Vampire theorem prover for computing tree interpolants. These extensions generalize Craig interpolation in Vampire, and can also be used to derive sequence interpolants. We evaluated our implementation on a large number of ...

Springer Berlin Heidelberg2013

Fabrication of large-area ordered arrays of nanoparticles on patterned substrates

Heinrich Hofmann, Paul Bowen, Frédéric Juillerat

Many potential applications in nanotechnology require virtually defect-free arrays of nanometre-scale particles over large areas. Guided self-assembly of colloidal particles on patterned templates has been shown to produce ordered arrays of colloidal parti ...

2005

Compiler and Software Distributed Shared Memory Support for Irregular Applications

Willy Zwaenepoel

We investigate the use of a software distributed shared memory (DSM) layer to support irregular computations on distributed memory machines. Software DSM supports irregular computation through demand fetching of data in response to memory access faults. Wi ...

1997

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.