Concept

Fichier de configuration

Publications associées (23)

Interactive Programming by Example

As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of computer science, and so on. With its forecast potential for solving problems by only o ...

EPFL2017

Method for Generating an HTML Document that Contains Encrypted Files and the Code Necessary for Decrypting Them When a Valid Passphrase is Provided

Radhakrishna Achanta, Thomas Lochmatter

A computer implemented method for encrypting one or more files and wrapping them in an HTML document. The HTML document contains the encrypted files, the necessary code to decrypt the files, as well as user interface code to receive a passphrase input from ...

2015

Creep behaviour of sandwich panels with rigid polyurethane foam core and glass-fibre reinforced polymer faces: Experimental tests and analytical modelling

Thomas Keller, Mário Alexandre De Jesus Garrido

This paper presents experimental and analytical investigations about the creep behaviour of sandwich panels comprising glass-fibre reinforced polymer faces and rigid polyurethane foam core for civil engineering applications. A full-scale sandwich panel was ...

SAGE Publications2014

Quasi-static cyclic tests on masonry spandrels

Katrin Beyer, Alessandro Dazio

This paper presents the results of an experimental campaign on masonry spandrels. Within this campaign four masonry spandrels were subjected to quasi-static cyclic loading. Two different spandrel configurations were tested. The first configuration comprise ...

Earthquake Engineering Research Inst2012

Offline file assignments for online load balancing

Monika Henzinger, Ingmar Weber

We study a novel load balancing problem that arises in web search engines. The problem is a combination of an offline assignment problem, where files need to be (copied and) assigned to machines, and an online load balancing problem, where requests ask for ...

2011

Tightness for the interface of the one-dimensional contact process

Thomas Mountford, Daniel Rodrigues Valesin

We consider a symmetric, finite-range contact process with two types of infection; both have the same (supercritical) infection rate and heal at rate 1, but sites infected by Infection I are immune to Infection 2. We take the initial configuration where si ...

2010

Multitype Contact Process on Z: Extinction and Interface

Daniel Rodrigues Valesin

We consider a two-type contact process on Z in which both types have equal finite range and supercritical infection rate. We show that a given type becomes extinct with probability 1 if and only if, in the initial configuration, it is confined to a finite ...

2010

Experimental demonstration of ray-optical refraction with confocal lenslet arrays

Toralf Scharf

We observe imaging through windows comprising pairs of confocal lenslet arrays that have different focal lengths but that are otherwise identical. Image space is stretched in the longitudinal direction only. Such windows are examples of METATOYs, optical c ...

Optical Society of America2010

Robust Dynamically Deployed Static Analysis for Java

Sebastian Gfeller

Guaranteeing the absence of errors in a program is a great challenge and many static analysis techniques have been developed to see whether a program is correct before we run it. There is, however, a whole class of programs that are especially difficult to ...

2009

Some results for long-range exclusion processes

Thomas Mountford

We examine the long-range exclusion process introduced by Spitzer and studied by Liggett and answer some of the open questions raised by Liggett. In particular, we show the existence of equilibria corresponding to bounded dual harmonic functions and that t ...

2008

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