Concept
Tri par sélection
Publications associées (45)
Using peptide loop insertion mutagenesis for the evolution of proteins
Kai Johnsson, Christian Heinis
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 Press2010Transliteration 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 efficient transliteration. This algorithm works on Unicode transformation format of ...
Saarland University Press2010Neighbor discovery with reception status feedback to transmitters
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 Usa2010On Deciding Functional Lists with Sublist Sets
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 ...
2010Ordered 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 ...
Springer2010Modelling and Simulation of Electrical Machines, Converters and Power Systems
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 ...
Elsevier2010A 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 ...
2010The Rolex Learning Center at EPFL: a new building for a new vision in collection development
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 ...
2010Perseveration 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 Masson2008Dictionary 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