Concept

Programmation fonctionnelle

Publications associées (459)

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

Reasoning algebraically about P-solvable loops

Laura Ildiko Kovacs

We present a method for generating polynomial invariants for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses algorithmic combinatorics and algebraic techniques. The approach is shown to be complete for som ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

A Rapid Bootstrap Algorithm for the RAxML Web Servers

Jacques Rougemont, Alexandros Stamatakis

Despite recent advances achieved by application of high-performance computing methods and novel algorithmic techniques to maximum likelihood (ML)-based inference programs, the major computational bottleneck still consists in the computation of bootstrap su ...

Taylor and Francis, Oxford2008

OpenDF - A Dataflow Toolset for Reconfigurable Hardware and Multicore Systems

Marco Mattavelli

This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an imperative style, von Neumann programs, and present what we believe are the advan ...

2008

Toll-like receptors--taking an evolutionary approach

Bruno Lemaitre

The Toll receptor was initially identified in Drosophila melanogaster for its role in embryonic development. Subsequently, D. melanogaster Toll and mammalian Toll-like receptors (TLRs) have been recognized as key regulators of immune responses. After ten y ...

2008

Runtime Checking for Separation Logic

Viktor Kuncak

Separation logic is a popular approach for specifying properties of recursive mutable data structures. Several existing systems verify a subclass of separation logic specifications using static analysis techniques. Checking data structure specifications du ...

Springer2008

Interactive spaces

Jeffrey Huang, Muriel Waldvogel

How do conceptions of space change with the infiltration of new elements of interactivity into our surroundings? What are the effects of digitalization on typological, tectonic and ornamental changes in contemporary architecture and cities? What are the ne ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Design status of the ITER ECRH upper launcher mm-wave system

René Chavan, Jean-Daniel Landis, Francisco Sanchez, Robert Bertizzolo

The purpose of the ITER electron cyclotron resonance heating (ECRH) upper launcher (UL), or antennae will be to provide localised current drive by accurately directing mm-wave beams up to 2MW, out of the four allocated upper port plugs, at chosen rational ...

2008

Deadlock Immunity: Enabling Systems To Defend Against Deadlocks

George Candea, Cristian Zamfir, Horatiu Jula, Daniel Tralamazza

Deadlock immunity is a property by which programs, once afflicted by a given deadlock, develop resistance against future occurrences of that and similar deadlocks. We describe a technique that enables programs to automatically gain such immunity without as ...

2008

Functionalization of polysulfide nanoparticles and their performance as circulating carriers

Jeffrey Alan Hubbell, Nicola Tirelli, Annemie Rehor

We here present an evaluation of the carrier performance of nanoparticles that are biofunctional, i.e. derivatized to provide a controlled biological activity, and environmentally responsive, since they respond to the presence of oxidants. In particular, w ...

2008

Effect of the electronic structure of carbon nanotubes on the selectivity of electrochemical functionalization

Klaus Kern, Marko Burghard, Kannan Balasubramanian

The functionalization of carbon nanotubes through electrochemical routes is gaining importance due to the high degree of control achievable and the ability to render the tubes with a variety of chemical and biological species. In this article, we report sy ...

2008