Publications related to Sorting algorithm

A Generic Algorithm for Checking Exhaustivity of Pattern Matching

Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...

Assoc Computing Machinery2016

A generic algorithm for checking exhaustivity of pattern matching

Fengyun Liu

Algebraic data types and pattern matching are key features of functional programming languages. Exhaustivity checking of pattern matching is a safety belt that defends against unmatched exceptions at runtime and boosts type safety. However, the presence of ...

2016

Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications

Giovanni De Micheli, Paolo Ienne, Mathias Soeken, Ana Petkovska

Lexicographic Boolean satisfiability (LEXSAT) is a variation of the Boolean satisfiability problem (SAT). Given a variable order, LEXSAT finds a satisfying assignment whose integer value under the given variable order is minimum (maximum) among all satisfi ...

Assoc Computing Machinery2016

Analysis of functional groups in atmospheric aerosols by infrared spectroscopy: sparse methods for statistical selection of relevant absorption bands

Satoshi Takahama, Giulia Ruggeri

Various vibrational modes present in molecular mixtures of laboratory and atmospheric aerosols give rise to complex Fourier transform infrared (FT-IR) absorption spectra. Such spectra can be chemically informative, but they often require sophisticated algo ...

Copernicus GmbH2016

Algorithms for reconstructing geometries from echoes

Fan Zhang

We have recently witnessed the appearance of algorithms that can reconstruct a room’s geometry from echoes, as well as algorithms that use echoes to localize many microphones. This project will consist in implementing a framework for microphone localizatio ...

2016

Parsing human skeletons in an operating room

Pascal Fua, Slobodan Ilic, Xinchao Wang, Horesh Beny Ben Shitrit, Vasileios Belagiannis

Multiple human pose estimation is an important yet challenging problem. In an Operating Room (OR) environment, the 3D body poses of surgeons and medical staff can provide important clues for surgical workflow analysis. For that purpose, we propose an algor ...

Springer Verlag2016

An Inner-Product Calculus for Periodic Functions and Curves

Michaël Unser, Daniel Andreas Schmitter, Anaïs Laure Marie-Thérèse Badoual

Our motivation is the design of efficient algorithms to process closed curves represented by basis functions or wavelets. To that end, we introduce an inner-product calculus to evaluate correlations and

L _{ 2 }

distances between such curves. In partic ...

2016

Fast 3D reconstruction method for differential phase contrast X-ray CT

Michaël Unser, Masih Nilchian, Michael Thompson McCann, Marco Stampanoni

We present a fast algorithm for fully 3D regularized X-ray tomography reconstruction for both traditional and differential phase contrast measurements. In many applications, it is critical to reduce the X-ray dose while producing high-quality reconstructio ...

2016

Low-Rank Matrices on Graphs: Generalized Recovery & Applications

Pierre Vandergheynst, Nathanaël Perraudin, Nauman Shahid

Many real world datasets subsume a linear or non-linear low-rank structure in a very low-dimensional space. Unfortunately, one often has very little or no information about the geometry of the space, resulting in a highly under-determined recovery problem. ...

2016

MEMS Inertial Motion Sensing Watch for Measuring Walking and Running Activities

Kamiar Aminian, Pierre-André Farine, Flavien Bardyn, Benedikt Fasel, Sara Grassi Pauletti, Martin Savary

This paper describes the development of a sport watch, as well as the software and hardware required to design an integrated solution for getting feedback during and after walking and running activities. The developed system is autonomous, so that neither ...

Ieee2016

Sorting algorithm

Graph Chatbot

Chat with Graph Search

A Generic Algorithm for Checking Exhaustivity of Pattern Matching

A generic algorithm for checking exhaustivity of pattern matching

Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications

Analysis of functional groups in atmospheric aerosols by infrared spectroscopy: sparse methods for statistical selection of relevant absorption bands

Algorithms for reconstructing geometries from echoes

Parsing human skeletons in an operating room

An Inner-Product Calculus for Periodic Functions and Curves

Fast 3D reconstruction method for differential phase contrast X-ray CT

Low-Rank Matrices on Graphs: Generalized Recovery & Applications

MEMS Inertial Motion Sensing Watch for Measuring Walking and Running Activities

Low-Rank Matrices on Graphs: Generalized Recovery & Applications

A Generic Algorithm for Checking Exhaustivity of Pattern Matching

A generic algorithm for checking exhaustivity of pattern matching

Parsing human skeletons in an operating room

Algorithms for reconstructing geometries from echoes

MEMS Inertial Motion Sensing Watch for Measuring Walking and Running Activities

Analysis of functional groups in atmospheric aerosols by infrared spectroscopy: sparse methods for statistical selection of relevant absorption bands

An Inner-Product Calculus for Periodic Functions and Curves

Fast 3D reconstruction method for differential phase contrast X-ray CT

Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications