Lazy evaluation | EPFL Graph Search

In programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation) and which also avoids repeated evaluations (by the use of sharing). The benefits of lazy evaluation include:

The ability to define control flow (structures) as abstractions instead of primitives.
The ability to define potentially infinite data structures. This allows for more straightforward implementation of some algorithms.
The ability to define partially-defined data structures where some elements are errors. This allows for rapid prototyping.

Lazy evaluation is often combined with memoization, as described in Jon Bentley's Writing Efficient Programs. After a function's value is computed for that parameter or set of parameters, the result is stored in a lookup table that is indexed by the values of those parameters; the next time the function is called, the table is consulted to determine

District scale prediction of subsurface waste heat flows

Due to increasing urbanization and scarcity of land, the need to include the underground in urban planning is growing, especially in cities. The human-made underground structures generate an anthropogenic heat flow which has a significant impact on the ground temperature and leads to the creation of urban underground heat islands (UUHI). In parallel with the urbanization, the consumption of energy increases and the interest in sustainable energy production from thermal energy sources is growing. The UUHI have a high geothermal potential and are therefore of great interest for energy production. A sustainable evaluation of the geothermal potential in cities depends however on many factors and is therefore a complex procedure in which different scenarios must be assessed. This master thesis proposes a machine learning (ML) based approach for the evaluation of the underground waste heat flow of buildings. ML techniques are suitable to very quick and accurate modeling and can therefore be of great interest in the field of complex geothermal potential evaluation. In this project we will focus on the ground temperature change due to heat losses of basements. To this effect, 2D heat maps are created for a given depth and a given simulation time period. In this study, a comprehensive validation of the proposed ML model (random forest algorithm) is presented for different small scale scenarios, using various heat source geometries, locations, numbers and thermal loads. Furthermore, we study the heat maps for diverse depths and simulation time periods. To do so, we assume only a conductive heat flow mode and constant boundary conditions. The proposed methodology involves having access to fully solved numerical simulation to create a data set which is used to train and test the ML algorithm. For this purpose, the finite element software package COMSOL is used. We evaluate and discuss the accuracy of the proposed ML approach on each studied scenario. The results promise a big potential all while requiring only few solved FE models. We obtain a root mean squared error of always less than 5 to 10% depending on the scenario. At the end of this paper a district scale application of the proposed ML technique is presented on the Loop district in Downtown Chicago, US. It will be shown that 25% of the total Loop data from the FE model is sufficient to learn the ML model and to predict the whole district with a root mean squared error of less than 5%.

2020

Function Passing: A Model for Typed, Distributed Functional Programming

Jocelyn Boullier, Philipp Haller

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 on which to build data-centric distributed systems. A key idea is to build up a persistent functional data structure representing transformations on distributed immutable data by passing well-typed serializable functions over the wire and applying them to this distributed data. Thus, the function passing model can be thought of as a persistent functional data structure that is distributed, where transformations to data are stored in its nodes rather than the distributed data itself. The model simplifies failure recovery by design–data is recovered by replaying function applications atop immutable data loaded from stable storage. Deferred evaluation is also central to our model; by incorporating deferred evaluation into our design only at the point of initiating network communication, the function passing model remains easy to reason about while remaining efficient in time and memory. We formalize our programming model in the form of a small-step operational semantics which includes a semantics of functional fault recovery, and we provide an open-source implementation of our model in and for the Scala programming language, along with a case study of several example frameworks and end-user programs written atop of this model.

Assoc Computing Machinery2016

Improving the arm-hand coordination in neuroprosthetics control with prior information from muscle activity

Iason Batzianoulis

Humans use their hands mainly for grasping and manipulating objects, performing simple and dexterous tasks. The loss of a hand may significantly affect one's working status and independence in daily life. A restoration of the grasping ability is important to improve the quality of the daily life of the patients with motion disorders. Although neuroprosthetic devices restore partially the lost functionality, the user acceptance is low, possibly due to the artificial and unnatural operation of the devices. This thesis addresses this problem in reach-to-grasp motions with the development of shared control approaches that enable a seamless and more natural operation of hand prosthesis. In the first part, we focus on the identification of the grasping intention during the reach-to-grasp motion with able-bodied individuals. We propose an Electromyographic (EMG)-based learning approach that decodes the grasping intention at an early stage of reach-to-grasp motion, i.e. before the final grasp/hand pre-shape takes place. In this approach, the utilization of Echo State Networks encloses efficiently the dynamics of the muscle activation enabling a fast identification of the grasp type in real-time. We also examine the impact of different object distance and speed on the detection time and accuracy of the classifier. Although the distance from the object has no significant effect, fast motions influence significantly the performance. In the second part, we evaluate and extend our approach on four real end-users, i.e. individuals with below the elbow amputation. For addressing the variability of the EMG signals, we separate the reach-to-grasp motion into three phases, with respect to the arm extension. A multivariate analysis of variance on the muscle activity reveals significant differences among the motion phases. Additionally, we examine the classification performance on these phases and compare the performance of different pattern recognition methods. An on-line evaluation with an upper-limb prosthesis shows that the inclusion of the reaching motion in the training of the classifier improves importantly classification accuracy. In the last part of the thesis, we explore further the concept of motion phases on the EMG signals and its potentials on addressing the variability of the signals. We model the dynamic muscle contractions of each class with Gaussian distributions over the different phases of the overall motion. We extend our previous analysis providing insights on the LDA projection and quantifying the similarity of the distributions of the classes (i.e grasp types) with the Hellinger distance. We notice larger values of the Helinger distance and, thus, smaller overlaps among the classes with the segmentation to motion phases. A Linear Discriminant Analysis classifier with phase segmentation affects positively the classification accuracy.

EPFL2019

District scale prediction of subsurface waste heat flows

2020

Improving the arm-hand coordination in neuroprosthetics control with prior information from muscle activity

Iason Batzianoulis

EPFL2019