Publications related to Efficient String Matching Algorithms for Combinatorial Universal Denoising

Automated microfluidic sorting of mammalian cells labeled with magnetic microparticles for those that efficiently express and secrete a protein of interest

Amar Rida, Nicolas Mermod, Etienne Lançon, Niamh Harraghy

We developed a method for the fast sorting and selection of mammalian cells expressing and secreting a protein at high levels. This procedure relies on cell capture using an automated microfluidic device handling antibody-coupled magnetic microparticles an ...

Wiley2017

Microfluidic train station: highly robust and multiplexable sorting of droplets on electric rails

Christoph Merten

Fluorescence-activated droplet sorting (FADS) has become a widely used technique for high-throughput screening applications. However, existing methods are very sensitive to fluctuating flow rates at the sorting junction, which can be caused by the pulsing ...

2017

A bucket sort algorithm for the particle-in-cell method on manycore architectures

Laurent Villard, Stephan Brunner, Trach-Minh Tran, Claudio Gheller

The Particle-In-Cell (PIC) method is effectively used in many scientific simulation codes. In order to optimize the performance of the PIC approach, data locality is required. This relies on efficient sorting algorithms. We present a bucket sort algorithm ...

Springer2016

Exact Algorithms for $ L ^{ 1 } $ -TV Regularization of Real-Valued or Circle-Valued Signals

Michaël Unser, Martin Kurt Storath

We consider

L ^{ 1 }

-TV regularization of univariate signals with values on the real line or on the unit circle. While the real data space leads to a convex optimization problem, the problem is nonconvex for circle-valued data. In this paper, we deriv ...

SIAM2016

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalence. Among the key building ...

2015

Automating Grammar Comparison

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We consider from a practical perspective the problem of checking equivalence of context-free grammars. We present techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalence. Among the key building ...

Assoc Computing Machinery2015

Towards Automating Grammar Equivalence Checking

Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan

We consider from practical perspective the (generally undecidable) problem of checking equivalence of context-free grammars. We present both techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalen ...

2015

Calibration method and system

Martin Vetterli, Ivan Dokmanic

The present invention concerns a method for calibrating an array of receivers (ri), each receiver being configured for receiving a signal transmitted by at least one transmitter (si), and echoes of the transmitted signal as reflected by one or more reflect ...

2014

Estimating the ice thickness of shallow glaciers from surface topography and mass-balance data with a shape optimization algorithm

Marco Picasso, Laurent Michel, Heinz Blatter, Martin Funk

A shape optimization algorithm is presented that estimates the ice thickness distribution within a three-dimensional, shallow glacier, given a transient surface geometry and a mass-balance distribution. The approach is based on the minimization of the surf ...

Pergamon-Elsevier Science Ltd2014

Constructing Context-Aware Sentiment Lexicons with an Asynchronous Game with a Purpose

Boi Faltings, Claudiu-Cristian Musat, Marina Boia

One of the reasons sentiment lexicons do not reach human-level performance is that they lack the contexts that define the polarities of words. While obtaining this knowledge through machine learning would require huge amounts of data, context is commonsens ...

Springer-Verlag Berlin2014

Efficient String Matching Algorithms for Combinatorial Universal Denoising

Graph Chatbot

Chat with Graph Search

Automated microfluidic sorting of mammalian cells labeled with magnetic microparticles for those that efficiently express and secrete a protein of interest

Microfluidic train station: highly robust and multiplexable sorting of droplets on electric rails

A bucket sort algorithm for the particle-in-cell method on manycore architectures

Exact Algorithms for $ L ^{ 1 } $ -TV Regularization of Real-Valued or Circle-Valued Signals

Automating Grammar Comparison

Automating Grammar Comparison

Towards Automating Grammar Equivalence Checking

Calibration method and system

Estimating the ice thickness of shallow glaciers from surface topography and mass-balance data with a shape optimization algorithm

Constructing Context-Aware Sentiment Lexicons with an Asynchronous Game with a Purpose

Towards Automating Grammar Equivalence Checking

Automating Grammar Comparison

Automating Grammar Comparison

Microfluidic train station: highly robust and multiplexable sorting of droplets on electric rails

Calibration method and system

A bucket sort algorithm for the particle-in-cell method on manycore architectures

Constructing Context-Aware Sentiment Lexicons with an Asynchronous Game with a Purpose

Exact Algorithms for $ L ^{ 1 } $ -TV Regularization of Real-Valued or Circle-Valued Signals

Automated microfluidic sorting of mammalian cells labeled with magnetic microparticles for those that efficiently express and secrete a protein of interest

Estimating the ice thickness of shallow glaciers from surface topography and mass-balance data with a shape optimization algorithm