BlitzViews - lazy parallel operations for Scala collections
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
