MOOC

Functional Programming

Related publications (953)

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.

Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)

Christoph Koch, Amir Shaikhha, Vojin Jovanovic

In this paper, we present a framework for generating optimizing compilers for performance-oriented embedded DSLs (EDSLs). This framework provides facilities to automatically generate the boilerplate code required for building DSL compilers on top of the ex ...

ASSOC COMPUTING MACHINERY2019

Speculative Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic

With FPGAs facing broader application domains, the conversion of imperative languages into dataflow circuits has been recently revamped as a way to overcome the conservatism of statically scheduled high-level synthesis. Apart from the ability to extract pa ...

ASSOC COMPUTING MACHINERY2019

Learning from Demonstration (Programming by Demonstration)

Sylvain Calinon

Learning from Demonstration (LfD), also called Programming by Demonstration (PbD), refers to the process used to transfer new skills to a machine by relying on demonstrations from a user. It is inspired by the imitation capability developed by humans and a ...

Springer2019

The asymmetric multitype contact process

Thomas Mountford, Daniel Rodrigues Valesin

We study the multitype contact process on Z(d) under the assumption that one of the types has a birth rate that is larger than that of the other type, and larger than the critical value of the standard contact process. We prove that, if initially present, ...

ELSEVIER SCIENCE BV2019

Software training for the next generation of physicists: joint experience of LHCb and ALICE

Violaine Bellée

The need for good software training is essential in the HEP community. Unfortunately, current training is non -homogeneous and the definition of a common baseline is unclear, making it difficult for newcomers to proficiently join large collaborations such ...

E D P SCIENCES2019

Rational design of ionic compounds for electrocatalytic reduction of carbon dioxide

Dmitry Vasilyev

Electrochemical reduction of carbon dioxide is one of the plausible approaches towards renewable energy carriers. When coupled with electricity, which can be provided by sustainable technologies, it becomes a method of high importance with potential value ...

EPFL2019

PyLandStats: An open-source Pythonic library to compute landscape metrics

Martí Bosch Padrós

Quantifying the spatial pattern of landscapes has become a common task of many studies in landscape ecology. Most of the existing software to compute landscape metrics is not well suited to be used in interactive environments such as Jupyter notebooks nor ...

2019

Discrete choice and machine learning: Thomson and Thompson?

Michel Bierlaire

Classification methods from machine learning are receiving a lot of attention in the transportation modelling community. This is motivated by the access to large databases, and to various success stories reported in this research community. Discrete choice ...

2019

Improving Main-memory Database System Performance through Cooperative Multitasking

Georgios Psaropoulos

Database systems access memory either sequentially or randomly. Contrary to sequential access and despite the extensive efforts of computer architects, compiler writers, and system builders, random access to data larger than the processor cache has been s ...

EPFL2019

Demand forecasting for a novel transportation mode

Denis Aloyse Joseph Steffen

The vehicle sharing systems (VSSs) are becoming more and more popular due to both economic and environmental effects. However, these systems mainly focus on two specific types of vehicles: bicycles and cars. Recently, some other types of vehicles (e.g. lig ...

2019