Publications related to Linear search

Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

Adiabatic quantum-flux parametron (AQFP) is an energy-efficient superconducting technology. Buffer and splitter (B/S) cells must be inserted to an AQFP circuit to meet the technology-imposed constraints on path balancing and fanout branching. These cells a ...

ACM2022

An Analysis of Super-Net Heuristics in Weight-Sharing NAS

Mathieu Salzmann, Kaicheng Yu

Weight sharing promises to make neural architecture search (NAS) tractable even on commodity hardware. Existing methods in this space rely on a diverse set of heuristics to design and train the shared-weight backbone network, a.k.a. the super-net. Since he ...

IEEE COMPUTER SOC2022

Sublinear Algorithms for Spectral Graph Clustering

Aidasadat Mousavifar

This thesis focuses on designing spectral tools for graph clustering in sublinear time. With the emergence of big data, many traditional polynomial time, and even linear time algorithms have become prohibitively expensive. Processing modern datasets requir ...

EPFL2021

Scalable and Efficient Comparison-based Search without Features

Matthias Grossglauser, Lucas Maystre, Daniyar Chumbalov

We consider the problem of finding a target object t using pairwise comparisons, by asking an oracle questions of the form “Which object from the pair (i, j) is more similar to t?”. Objects live in a space of latent features, from which the oracle generate ...

2020

Inner-Loop-Free ADMM for Cryo-EM

Michaël Unser, Laurène Donati, Emmanuel Emilien Louis Soubies

Thanks to recent advances in signal processing, the interest for fast ℓ1-regularized reconstruction algorithms in cryo-electron microscopy (cryo-EM) has intensified. The approaches based on the alternating-direction of multipliers method (ADMM) are particu ...

IEEE2019

Search for the lepton-flavor-violating decay B-0 -> K-*0 mu(+/-)e(-/+)

Olivier Schneider, Yiming Li, Mingkui Wang, Chao Wang, Tagir Aushev, Sun Hee Kim, Tara Nanut, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Xiao Wang, Lei Li

We have searched for the lepton-flavor-violating decay B-0 -> K-*0 mu(+/-)e(-/+) using a data sample of 711 fb(-1) that contains 772 x 10(6) B (B) over bar pairs. The data were collected near the Upsilon(4S) resonance with the Belle detector at the KEKB as ...

AMER PHYSICAL SOC2018

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Viktor Kuncak, Mikaël Mayer, Jad Hamza

Synthesis from examples enables non-expert users to generate programs by specifying examples of their behavior. A domain-specific form of such synthesis has been recently deployed in a widely used spreadsheet software product. In this paper we contribute t ...

2017

A New Framework for Distributed Submodular Maximization

Justin Dean Ward

A wide variety of problems in machine learning, including exemplar clustering, document summarization, and sensor placement, can be cast as constrained submodular maximization problems. A lot of recent effort has been devoted to developing distributed algo ...

Ieee2016

Embodied Interaction using Non-Planar Projections in Immersive Virtual Reality

Ronan Boulic, Bruno Herbelin, Henrique Galvan Debarba, Sami Perrin

In this paper we evaluate the use of non-planar projections as a means to increase the Field of View (FoV) in embodied Virtual Reality (VR). Our main goal is to bring the virtual body into the user’s FoV and to understand how this affects the virtual body/ ...

2015

Embodied interaction using non-planar projections in immersive virtual reality

Ronan Boulic, Bruno Herbelin, Henrique Galvan Debarba, Sami Perrin

In this paper we evaluate the use of non-planar projections as a means to increase the Field of View (FoV) in embodied Virtual Reality (VR). Our main goal is to bring the virtual body into the user’s FoV and to understand how this affects the virtual body/ ...

ACM Press2015

Linear search

Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits

An Analysis of Super-Net Heuristics in Weight-Sharing NAS

Sublinear Algorithms for Spectral Graph Clustering

Scalable and Efficient Comparison-based Search without Features

Inner-Loop-Free ADMM for Cryo-EM

Search for the lepton-flavor-violating decay B-0 -> K-*0 mu(+/-)e(-/+)

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

A New Framework for Distributed Submodular Maximization

Embodied Interaction using Non-Planar Projections in Immersive Virtual Reality

Embodied interaction using non-planar projections in immersive virtual reality

Graph Chatbot

Chat with Graph Search

An Analysis of Super-Net Heuristics in Weight-Sharing NAS

Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits

Sublinear Algorithms for Spectral Graph Clustering

Scalable and Efficient Comparison-based Search without Features

Search for the lepton-flavor-violating decay B-0 -> K-*0 mu(+/-)e(-/+)

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

A New Framework for Distributed Submodular Maximization

Embodied Interaction using Non-Planar Projections in Immersive Virtual Reality

Inner-Loop-Free ADMM for Cryo-EM

Embodied interaction using non-planar projections in immersive virtual reality