BlitzViews - lazy parallel operations for Scala collections
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.
Efficient use of energy is essential for today's supercomputing systems, as energy cost is generally a major component of their operational cost. Research into "green computing" is needed to reduce the environmental impact of running these systems. As such ...
We present an approach for using formal methods in embedded systems and its evaluation on a case study. In our approach, the developers describe the system in a restricted subset of the high-level programming language Scala. We then use 1) a verification s ...
Cyclic peptides are ring-shaped molecules that emerged as a promising class of therapeutics. While it is often difficult to find small molecule binders for challenging disease targets, cyclic peptides can bind to featureless surfaces or inhibit protein-pro ...
Tamaas: a library for elastic-plastic contact of periodic rough surfaces", published in the Journal of Open Source Softwares describes the free and open-source library Tamaas. More than five years in the making, Tamaas is a high performance C++/Python libr ...
Macrocycles are an attractive class of molecules due to their good binding properties and yet rather small size that allows, in many cases, crossing membranes to reach intracellular targets. In comparison to classical small molecule drugs, macrocycles are ...
Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model.
Furthermore, they need to interact with other languages targeting said runtimes.
A language targeting only one runtim ...
This report proposes an overview of the activities and services provided by the Library to the School of engineering (STI) in 2016, as well as the STI collection accessible at the Library. It also presents the main projects that will be continued or initia ...
The most successful systems for "big data'' processing have all adopted functional APIs. We present a new programming model we call function passing designed to provide a more principled substrate, or middleware, upon which to build data-centric distribute ...
LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing faciliti ...
In this thesis, we explore techniques for the development and verification of programs in a high-level, expressive, and safe programming language. Our programs can express problems over unbounded domains and over recursive and mutable data structures. We p ...
