Concept

Set-builder notation

Publications associées (335)

Effect of power randomization on saturation throughput of IEEE 802.11 WLAN

In this paper, we evaluate the saturation throughput for an IEEE 802.11 based wireless network considering capture effect at the receiver, while nodes transmit with random powers. In this respect, we consider a scenario consisting of a specific number of w ...

2010

Computing in Social Networks

Rachid Guerraoui, Anne-Marie Kermarrec, Kévin Clément Huguenin, Andrei Giurgiu

This paper defines the problem of Scalable Secure Computing in a Social network: we call it the S-3 problem. In short, nodes, directly reflecting on associated users, need to compute a function f : V -> U of their inputs in a set of constant size, in a sca ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 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

Dominating Sets in Triangulations on Surfaces

A dominating set D of a graph G is a set such that each vertex v of G is either in the set or adjacent to a vertex in the set. Matheson and Tarjan (1996) proved that any n-vertex plane triangulation has a dominating set of size at most n/3, and conjectured ...

2010

In-place transformations with applications to encoding and decoding various classes of codes

Mohammad Amin Shokrollahi

In an encoder for encoding symbols of data using a computing device having memory constraints, a method of performing a transformation comprising loading a source block into memory of the computing device, performing an intermediate transformation of less ...

2010

Integration of a Fabrication Process for an Aluminum Single-Electron Transistor and a Scanning Force Probe for Tuning-Fork-Based Probe Microscopy

Nico de Rooij, Terunobu Akiyama, Kaspar Suter

In this paper, we report on the integration technique and fabrication of a scanning probe interrogating the location of charges and their tracks inside quantum devices. Our unique approach is to pattern the charged sensor into a high topography micromechan ...

2010

Daylight illuminant retrieval using redundant image elements

Sabine Süsstrunk, Joanna Marguier

We present a method for retrieving illuminant spectra from a set of images taken with a fixed location camera, such as a surveillance or panoramic one. In these images, there will be significant changes in lighting conditions and scene content, but there w ...

2010

An empirical evaluation of touch and tangible interfaces for tabletop displays

Pierre Dillenbourg, Patrick Jermann, Guillaume Zufferey, Aurélien Lucchi

Tabletop systems have become quite popular in recent years, during which there was considerable enthusiasm for the development of new interfaces. In this paper, we establish a comparison between touch and tangible interfaces. We set up an experiment involv ...

2010

An Empirical Evaluation of Touch and Tangible Interfaces for Tabletop Displays

Pierre Dillenbourg, Patrick Jermann, Guillaume Zufferey, Aurélien Lucchi

Tabletop systems have become quite popular in recent years, during which there was considerable enthusiasm for the development of new interfaces In this paper, we establish a comparison between touch and tangible interfaces We set up an experiment involvin ...

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

Observation of shell effects in superconducting nanoparticles of Sn

Klaus Kern

In a zero-dimensional superconductor, quantum size effects(1,2) (QSE) not only set the limit to superconductivity, but are also at the heart of new phenomena such as shell effects, which have been predicted to result in large enhancements of the supercondu ...

2010

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search