Publications related to Structural identification to improve bridge management

Epitome - A Social Game for Photo Album Summarization

Touradj Ebrahimi, Jong Seok Lee, Ivan Ivanov, Péter Vajda

In this paper, we propose an approach for photo album summarization through a novel social game "Epitome" for mobile phones. Our approach to album summarization consists of two games: "Select the Best!" and "Split it!". The goal of the first game is to all ...

2010

Generalizing State Machine Replication

Rachid Guerraoui

We show that, with k-set consensus, any number of processes can emulate k state machines of which at least one progresses. This generalizes the celebrated universality of consensus which enables to build a state machine that always progresses. Besides some ...

2010

Alumni Profiles

Former PhD students, post-docs and junior researchers of the Section de chimie et biochimie now holding positions at different universities and private companies remember the time they spent in Geneva and give an account of how this has set off and influen ...

2009

A Topological Treatment of Early-Deciding Set-Agreement

Rachid Guerraoui, Bastian Pochon

The k-set-agreement problem consists for a set of n processes to agree on less than k among n possibly different Values, each initially known to only one process. The problem is at the heart of distributed computing and generalizes the celebrated consensus ...

2009

Network coding for undirected information exchange

Christina Fragouli, Suhas Diggavi

We consider the information exchange problem where each in a set of terminals transmits information to all other terminals in the set, over an undirected network. We show that the design of only a single network code for multicasting is sufficient to achie ...

2009

Broadcast and Slepian-Wolf multicast over Aref Networks

Satish Babu Korada, Dinkar Vasudevan

We consider source coding over Aref networks. In particular we consider the following two problems: (i) multicasting correlated sources to a set of receivers, (ii) broadcasting sources to their respective receivers. For the first problem we show necessary ...

2008

Atoms of all channels, unite! Average case analysis of multi-channel sparse recovery using greedy algorithms

Pierre Vandergheynst, Rémi Gribonval, Karin Schnass

This paper provides new results on computing simultaneous sparse approximations of multichannel signals over redundant dictionaries using two greedy algorithms. The first one, p-thresholding, selects the S atoms that have the largest

p

-correlation while ...

2008

Transverse permeability of chopped fibre bundles with an elliptical cross-section

Véronique Michaud, Pascal Vuilliomenet

The out-of-plane permeability of 25 mm-long chopped glass fibre bundle beds was measured. These bundles, used in sheet moulding compound (SMC) composites, have an elliptical cross-section with the major axis perpendicular to the flow direction. An adapted ...

2007

Semi-Automated Design of a MOS Current Mode Logic Standard Cell Library from Generic Components

Yusuf Leblebici, Stéphane Badel, Ilhan Hatirnaz

This paper describes the design and semi-automated generation of a MOS current-mode logic standard cell library. A set of generic components implementing a wide range of combinational and sequential functions is proposed. The layout of the generic componen ...

2005

A framework for component-based construction

Joseph Sifakis

We present an overview of results developed mainly at Verimag, by the author and his colleagues, on a framework for component-based construction, characterized by the following: the behavior of atomic components is represented by transition systems; compon ...

2005

Structural identification to improve bridge management

Graph Chatbot

Chat with Graph Search

Epitome - A Social Game for Photo Album Summarization

Generalizing State Machine Replication

Alumni Profiles

A Topological Treatment of Early-Deciding Set-Agreement

Network coding for undirected information exchange

Broadcast and Slepian-Wolf multicast over Aref Networks

Atoms of all channels, unite! Average case analysis of multi-channel sparse recovery using greedy algorithms

Transverse permeability of chopped fibre bundles with an elliptical cross-section

Semi-Automated Design of a MOS Current Mode Logic Standard Cell Library from Generic Components

A framework for component-based construction

Network coding for undirected information exchange

A framework for component-based construction

Alumni Profiles

Transverse permeability of chopped fibre bundles with an elliptical cross-section

Semi-Automated Design of a MOS Current Mode Logic Standard Cell Library from Generic Components

Epitome - A Social Game for Photo Album Summarization

Generalizing State Machine Replication

A Topological Treatment of Early-Deciding Set-Agreement

Broadcast and Slepian-Wolf multicast over Aref Networks

Atoms of all channels, unite! Average case analysis of multi-channel sparse recovery using greedy algorithms