Concept

Selection sort

Related publications (45)

Using peptide loop insertion mutagenesis for the evolution of proteins

The insertion of peptide loops into the polypeptide chain of proteins at surface-exposed regions is an attractive avenue to modify the protein's properties or to evolve new functionalities. The strategy of peptide loop insertion has, for example, been used ...

Humana Press2010

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

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

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Modelling and Simulation of Electrical Machines, Converters and Power Systems

Yves Perriard

The ninth International Conference organized by the Technical Committee n 1 (TC1) of IMACS, ELECTRIMACS took place at Québec City, Canada, from June 9th to 11th 2008. The goal of this conference was to provide scientific and professional interaction for th ...

Elsevier2010

A Fault-Tolerant Token based Atomic Broadcast Algorithm

André Schiper, Nils Richard Ekwall

Many atomic broadcast algorithms have been published in the last twenty years. Token based algorithms represent a large class of these algorithms. Interestingly, all the token based atomic broadcast algorithms rely on a group membership service and none of ...

2010

The Rolex Learning Center at EPFL: a new building for a new vision in collection development

Thomas Guignard

The reunification of 10 faculty libraries inside the new Rolex Learning Center at EPFL was a perfect opportunity to rethink which collections should be put forward in an environment that is organized primarly around the working and living space of the user ...

2010

Perseveration in left spatial neglect: drawing and cancellation tasks

Roberta Ronchi, Giuseppe Vallar

Perseveration in target cancellation tasks and in drawing by copy and from memory was investigated in 21 right-brain-damaged patients, seven with no evidence of left visuo-spatial neglect, and 14 with neglect. Eight such neglect patients showed perseverati ...

Elsevier Masson2008

Dictionary preconditioning for greedy algorithms

Pierre Vandergheynst, Karin Schnass

This article presents an alteration of greedy algorithms like thresholding or (Orthogonal) Matching Pursuit which improves their performance in finding sparse signal representations in redundant dictionaries. These algorithms can be split into a sensing an ...

2008

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.