Concept

Merge sort

Related publications (83)

On Complete Completion using Types and Weights

Viktor Kuncak, Tihomir Gvero, Ivan Kuraj, Ruzica Piskac

Developing modern software applications typically involves composing functionality from existing libraries. This task is difficult because libraries may expose many methods to the developer. To help developers in such scenarios, we present a technique that ...

2012

Optimal-Time Adaptive Strong Renaming, with Applications to Counting

Seth Gilbert, Dan Alistarh, Morteza Zadimoghaddam

We give two new randomized algorithms for tight renaming, both of which work against an adaptive adversary. The first uses repeated sampling over a sequence of arrays of decreasing size to assign unique names to each of

n

processes with step complexity $ ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011

Separation of platelets from other blood cells in continuous-flow by dielectrophoresis field-flow-fractionation

Philippe Renaud, Niccolo Piacentini, Raphaël Tornay

We present a microfluidic device capable of separating platelets from other blood cells in continuous flow using dielectrophoresis field-flow-fractionation. The use of hydrodynamic focusing in combination with the application of a dielectrophoretic force a ...

American Institute of Physics2011

Flow and sediment dynamics in bed discordant channel confluences

Anton Schleiss, Koen Blanckaert, Marcelo Leite Ribeiro

Confluences between small steep tributaries with dominant supply of poorly sorted sediment and larger main channels with dominant flow supply, which are characterized by a pronounced bed discordance, have not yet been considered in the literature. The hydr ...

Tsinghua University Press2011

FIRST RESULTS OF SPACE CHARGE SIMULATIONS FOR THE NOVEL MULTI-TURN INJECTION

Matthieu George

Recently, a novelmulti-turn injection technique was proposed. It is based on beam merging via resonance crossing. The various beamlets are successively injected and merged back by crossing a stable resonance generated by non-linear magnetic fields. Space c ...

2010

Cell sorting by dielectrophoresis for evaluation of lysis efficiency in continuous flow

Philippe Renaud, Niccolo Piacentini

This paper reports on a device capable of electrical cell lysis and evaluation of lysis efficiency in continuous flow using dielectrophoretic cell sorting. The device uses an innovative design, called liquid electrodes, to perform both cell lysis and cell ...

2010

Transliteration among Indian Languages using WX Notation

Pulkit Goyal, Sapan Diwakar, Rohit Gupta

In this paper, we propose an algorithm to transliterate between several Indian languages. The main aim of the algorithm is to assist in the translation process by providing efﬁcient transliteration. This algorithm works on Unicode transformation format of ...

Saarland University Press2010

Evaluation of Control and Modulation Methods for Modular Multilevel Converters

Michail Vasiladiotis, Daniel Siemaszko

The modular multilevel converter is a promising converter technology for various high-voltage high-power applications. Despite the apparent simplicity of the circuit, the inherent dynamics of the converter and the balancing of the sub-module capacitor volt ...

2010

Neighbor discovery with reception status feedback to transmitters

Ramin Khalili

Neighbor discovery is essential for the process of self-organization of a wireless network, where almost all routing and medium access protocols need knowledge of one-hop neighbors. In this paper we study the problem of neighbor discovery in a static and s ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

On Deciding Functional Lists with Sublist Sets

Viktor Kuncak

Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functional lists. We first show how to decide in NP the satisfiability problem for lo ...

2010

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.

Optimal-Time Adaptive Strong Renaming, with Applications to Counting

Seth Gilbert, Dan Alistarh, Morteza Zadimoghaddam

n

processes with step complexity $ ...

Acm Order Department, P O Box 64145, Baltimore, Md 21264 Usa2011