Concept

Fonction imbriquée

Publications associées (49)

Language Support for Distributed Functional Programming

Software development has taken a fundamental turn. Software today has gone from simple, closed programs running on a single machine, to massively open programs, patching together user experiences byway of responses received via hundreds of network requests ...

EPFL2015

Distributed Programming via Safe Closure Passing

Philipp Haller

Programming systems incorporating aspects of functional programming, e.g., higher-order func- tions, are becoming increasingly popular for large-scale distributed programming. New frameworks such as Apache Spark leverage functional techniques to provide hi ...

2015

Reduced basis multiscale finite element methods for elliptic problems

Jan Sickmann Hesthaven

In this paper, we propose reduced basis multiscale finite element methods (RB-MsFEM) for elliptic problems with highly oscillating coefficients. The method is based on multiscale finite element methods with local test functions that encode the oscillatory ...

Society for Industrial and Applied Mathematics2015

On Counter-Example Complete Verification for Higher-Order Functions

Viktor Kuncak, Etienne Kneuss, Nicolas Charles Yves Voirol

We present a verification procedure for pure higher-order functional Scala programs with parametric types. We show that our procedure is sound for proofs, as well as sound and complete for counter-examples. The procedure reduces the analysis of higher-orde ...

2015

Variational minimization of orbital-density-dependent functionals

Nicola Marzari, Giovanni Borghi, Andrea Ferretti

Orbital-density-dependent functionals, such as the Perdew-Zunger or the Koopmans-compliant functionals, are used to remove unphysical self-interaction energies and to restoremissing piece-wise linearity in approximate formulations of density-functional the ...

Amer Physical Soc2015

Thermo-mechanical Reliability of SOFC Stacks During Combined Long-term Operation and Thermal Cycling

Jan Van Herle, Zacharie Wuillemin, Arata Nakajo, Fabio Greco

Thermo-mechanical issues in solid oxide fuel cells (SOFC) must be understood and overcome to meet the reliability standards for market implementation. This study presents a thermo-mechanical model of an SOFC-stack SRU. The analysis starts with the simulati ...

2015

Deciding Conditional Termination

We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exis ...

Tech Univ Braunschweig2014

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Martin Odersky, Philipp Haller

Functional programming (FP) is regularly touted as the way forward for bringing parallel, concurrent, and distributed programming to the mainstream. The popularity of the rationale behind this viewpoint (immutable data transformed by function application) ...

2014

Electrochemical Characterization of TiO2 Blocking Layers for Dye-Sensitized Solar Cells

Michael Graetzel, Nicolas Tétreault, Ladislav Kavan, Thomas Moehl

Thin compact layers of TiO2 are grown by thermal oxidation of Ti, by spray pyrolysis, by electrochemical deposition, and by atomic layer deposition. These layers are used in dye-sensitized solar cells to prevent recombination of electrons from the substrat ...

American Chemical Society2014

BPX-preconditioning for isogeometric analysis

Annalisa Buffa

We consider elliptic PDEs (partial differential equations) in the framework of isogeometric analysis, i.e., we treat the physical domain by means of a B-spline or NURBS mapping which we assume to be regular. The numerical solution of the PDE is computed by ...

2013

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