Concept

Lazy evaluation

Related publications (404)

Combinatory Array Logic with Sums

We prove an NP upper bound on a theory of integer-indexed integer-valued arrays that extends combi- natory array logic with an ordering relation on the index set and the ability to express sums of elements. We compare our fragment with seven other fragment ...

2023

Revisiting Evaluation Metrics for Semantic Segmentation: Optimization and Evaluation of Fine-grained Intersection over Union

Devis Tuia, Zifu Wang

Semantic segmentation datasets often exhibit two types of imbalance: \textit{class imbalance}, where some classes appear more frequently than others and \textit{size imbalance}, where some objects occupy more pixels than others. This causes traditional eva ...

2023

Mixed-precision explicit stabilized Runge-Kutta methods for single- and multi-scale differential equations

Giacomo Rosilho De Souza, Matteo Croci

Mixed-precision algorithms combine low-and high-precision computations in order to benefit from the performance gains of reduced-precision without sacrificing accuracy. In this work, we design mixed-precision Runge-Kutta-Chebyshev (RKC) methods, where high ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2022

Les Cahiers de l'Ibois 3 / Ibois Notebook 3

Petras Vestartas, Sandra Vuilleumier

Before the twentieth century and concrete modernity, it was stone that embodied the “well built”. Could sustainable wood one day replace concrete as the archetypal material? Will it find a place on the scale of values that gives archi- tecture its referenc ...

EPFL PRESS2022

On Polynomial Algorithms for Normalizing Formulas

Viktor Kuncak, Simon Guilloud, Mario Bucev

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2022

Deploying an Instance Segmentation Algorithm to Implement Social Distancing for Prosthetic Vision

Silvestro Micera, Daniela De Luca

The COVID-19 pandemic outbreak is causing a dramatic worsening in the already complicated living conditions of blind and visually impaired individuals. Social distancing is the most effective strategy to limit virus spread, but is extremely difficult for b ...

IEEE2022

Large-Eddy Simulation of Wind Turbine Flows: A New Evaluation of Actuator Disk Models - Dataset

Fernando Porté Agel, Tristan Revaz

Main data used in the following paper: Revaz, T.; Porté-Agel, F. Large-Eddy Simulation of Wind Turbine Flows: A New Evaluation of Actuator Disk Models. Energies 2021, 14, 3745. https://doi.org/10.3390/en14133745 ...

EPFL Infoscience2022

Monitoring weekly progress of front crawl swimmers using IMU-based performance evaluation goal metrics

Kamiar Aminian, Farzin Dadashi, Fabien Massé, Mahdi Hamidi Rad, Vincent Gremeaux

Technical evaluation of swimming performance is an essential factor in preparing elite swimmers for their competitions. Inertial measurement units (IMUs) have attracted much attention recently because they can provide coaches with a detailed analysis of sw ...

FRONTIERS MEDIA SA2022

Auto-tuning ensemble models for estimating shear resistance of headed studs in concrete

Xianlin Wang, Yuqing Liu

The shear resistance of headed studs is of paramount importance for the design of steel-concrete composite structures and an accurate predictive model is highly needed. Ensemble learning is expected to be a powerful solution while it relies on laborious se ...

2022

Columnar Storage Optimization and Caching for Data Lakes

Haoqiong Bian

As a unified data repository, data lake plays a vital role in enterprise data management and analysis. It composes the raw files into tables that are processed in-situ by various computation engines and applications. Therefore, the read performance of the ...

2022

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.