Concept

Algorithmic efficiency

Related publications (232)

An online-offline homogenization strategy to solve quasilinear two-scale problems at the cost of one-scale problems

Inspired by recent analyses of the finite element heterogeneous multiscale method and the reduced basis technique for nonlinear problems, we present a simple and concise finite element algorithm for the reliable and efficient resolution of elliptic or para ...

Wiley-Blackwell2014

Computational Aspects of Optimization-Based Path Following of an Unmanned Helicopter

Timm Faulwasser

This paper considers the path following of unmanned helicopters based on dynamic optimization. We assume that the helicopter is equipped with a flight control system which provides an approximation of its closed-loop dynamics. The task at hand is to derive ...

2014

Low-rank tensor completion by Riemannian optimization

Daniel Kressner, Michael Maximilian Steinlechner

In tensor completion, the goal is to fill in missing entries of a partially known tensor under a low-rank constraint. We propose a new algorithm that performs Riemannian optimization techniques on the manifold of tensors of fixed multilinear rank. More spe ...

Springer2014

Can Localization Microscopy Benefit From Approximation Theory?

Michaël Unser, Cédric René Jean Vonesch, Hagay Kirshner

We introduce a general and computationally efficient approach to 3-D localization microscopy. The main idea is to construct a continuous-domain representation of the PSF by expanding it in a polynomial B-spline basis. This allows us to fit the PSF to the d ...

IEEE2013

Revisiting the spread spectrum effect in radio interferometric imaging: a sparse variant of the w-projection algorithm

Yves Wiaux, Rafael Eduardo Carrillo Rangel, Jason Douglas McEwen

Next-generation radio interferometric telescopes will exhibit non-coplanar baseline configurations and wide field-of-views, inducing a w-modulation of the sky image, which induces the spread spectrum effect. We revisit the impact of this effect on imaging ...

Wiley-Blackwell2013

Spline-Based Deforming Ellipsoids for Interactive 3D Bioimage Segmentation

Michaël Unser, Ricard Delgado Gonzalo

We present a new fast active-contour model (a.k.a. snake) for image segmentation in 3D microscopy. We introduce a parametric design that relies on exponential B-spline bases and allows us to build snakes that are able to reproduce ellipsoids. We design our ...

Ieee-Inst Electrical Electronics Engineers Inc2013

Efficient VLSI Implementation of Reduced-State Sequence Estimation for Wireless Communications

Andreas Peter Burg, Qiuting Huang

Modern wireless communication systems require efficient channel equalizer implementations. This paper explores the design space of reduced-state sequence estimation (RSSE). We show how the concept of pre-computation can be applied to greatly reduce computa ...

IEEE2013

Thermodynamics-based Significance Ranking of Candidates for Metabolomics

Vassily Hatzimanikatis

Integration of experimental measurements of intracellular metabolite concentrations in genome scale models restricts the thermodynamically feasible flux space and reduces uncertainty regarding the net outcome of by-directional reactions. By combining tFBA, ...

2013

Modified parallel code-phase search for acquisition in presence of sign transition

Pierre-André Farine, Cyril Botteron, Jérôme Leclère

One of the method to have a fast acquisition of GNSS signals is the parallel code-phase search, which uses the fast Fourier transform (FFT) to perform the correlation. A problem with this method is the potential sign transition that can happen between two ...

2013

On Cafesat: A Modern SAT Solver for Scala

Régis William Blanc

We present CafeSat, a SAT solver written in the Scala programming language. CafeSat is a modern solver based on DPLL and featuring many state-of-the-art techniques and heuristics. It uses two-watched literals for Boolean constraint propagation, conflict-dr ...

2013

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.