Concept

Programmation purement fonctionnelle

Publications associées (128)

The structure of the prokaryotic cyclic nucleotide-modulated potassium channel MIoK1 at 16 angstrom resolution

The gating ring of cyclic nucleotide-modulated channels is proposed to be either a two-fold symmetric dimer of dinners or a four-fold symmetric tetramer based on high-resolution structure data of soluble cyclic nucleotide-binding domains and functional dat ...

Elsevier BV2007

Object-oriented pattern matching

Burak Emir

Pattern matching is a programming language construct considered essential in functional programming. Its purpose is to inspect and decompose data. Instead, object-oriented programming languages do not have a dedicated construct for this purpose. A possible ...

EPFL2007

An Overview of the Scala Programming Language (2. Edition)

Martin Odersky, Gilles Dubochet, Michel Schinz, Vincent Cremet, Burak Emir, Iulian Dragos, Stéphane Micheloud, Nikolay Mihaylov, Matthias Zenger, Philippe Altherr

Scala fuses object-oriented and functional programming in a statically typed programming language. It is aimed at the construction of components and component systems. This paper gives an overview of the Scala language for readers who are familar with prog ...

2006

Internet-scale storage systems under churn - A study of the steady state using Markov models

Karl Aberer, Anwitaman Datta

Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment, where peers continuously leave and rejoin the network, various lazy strategi ...

IEEE Computer Society2006

Trees, networks, and hydrology

Andrea Rinaldo, Amos Maritan

This paper reviews theoretical and observational material on form and function of natural networks appeared in somewhat disparate contexts from physics to biology, whose study is related to hydrologic research. Moving from the exact result that drainage ne ...

2006

An object-oriented model for adaptive high-performance computing on the computational GRID

Tuan Anh Nguyen

The dissertation presents a new parallel programming paradigm for developing high performance (HPC) applications on the Grid. We address the question "How to tailor HPC applications to the Grid?" where the heterogeneity and the large scale of resources are ...

EPFL2005

On Correctness of Dynamic Protocol Update

Olivier Rütti

Replacing or adding network protocols at runtime is problematic – it must involve synchronization of the protocol switch with ongoing local and network communication. We define a formal mathematical model of dynamic protocol update (DPU) and use it to defi ...

2005

High-density electrode array for imaging in vitro electrophysical activity

Nico de Rooij, Peter Van der Wal

The development of a high-density active microelectrode array for in vitro electrophysiology is reported. Based on the Active Pixel Sensor (APS) concept, the array integrates 4096 gold microelectrodes (electrode separation 20 μm) on a surface of 2.5 mm x 2 ...

2005

Functional, mechanical and geometrical adaptation of the arterial wall of a non-axisymmetric artery in vitro

Nikolaos Stergiopoulos, Paolo Silacci, Martin Zulliger

Vascular remodeling is an adaptive response to variations in the hemodynamic environment acting on the arterial wall. Remodeling translates into changes of structure, geometry and mechanical properties of the artery. Our aim was to study the remodeling res ...

2004

An Overview of the Scala Programming Language

Martin Odersky, Michel Schinz, Vincent Cremet, Burak Emir, Stéphane Micheloud, Nikolay Mihaylov, Matthias Zenger, Philippe Altherr

2004

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