Publications associées à Évaluation paresseuse

Toroidal families and averages of L-functions, I

We initiate the study of certain families of L-functions attached to characters of subgroups of higher-rank tori, and of their average at the central point. In particular, we evaluate the average of the values L( 2 1 , chi a )L( 21 , chi b ) for arbitrary ...

Polish Acad Sciences Inst Mathematics-Impan2024

Periodic and aperiodic NiFe nanomagnet/ferrimagnet hybrid structures for 2D magnon steering and interferometry with high extinction ratio

Dirk Grundler, Sho Watanabe, Andrea Mucchietto, Shixuan Shan, Elif Nur Dayi, Vinayak Shantaram Bhat

File formats are described in read_me files in the concerning folder. For plotting and data evaluation, Python 2.7 was used. Example scripts for plotting are provided. ...

Zenodo2023

Cooperative Concurrency Control for Write-Intensive Key-Value Workloads

Babak Falsafi, Alexandros Daglis, Mark Johnathon Sutherland

Key-Value Stores (KVS) are foundational infrastructure components for online services. Due to their latency-critical nature, today’s best-performing KVS contain a plethora of full-stack optimizations commonly targeting read-mostly, popularity-skewed worklo ...

ACM2023

DatAFLow: Toward a Data-flow-guided Fuzzer

Mathias Josef Payer

This Replicating Computational Report (RCR) describes (a) our datAFLow fuzzer and (b) how to replicate the results in "datAFLow: Toward a Data-Flow-Guided Fuzzer." Our primary artifact is the datAFLow fuzzer. Unlike traditional coverage-guided greybox fuzz ...

2023

Evaluation and digitalization: what are the key challenges for evaluation processes and evaluators?

Omar Ballester Gonzalez

Public policy evaluation has traditionally been conducted in a context constrained by legal, institutional and political red tape. The arrival of digitalisation adds a new layer to public policy evaluation processes. Assessing the quality of technologies, ...

Edward Elgar Publishing2023

On algebraic array theories

Viktor Kuncak, Rodrigo Raya

Automatic verification of programs manipulating arrays relies on specialised decision procedures. A methodology to classify the theories handled by these procedures is introduced. It is based on decomposition theorems in the style of Feferman and Vaught. T ...

Elsevier Science Inc2023

1(st) Workshop on Maritime Computer Vision (MaCVi) 2023: Challenge Results

Alexandre Massoud Alahi, Christophe De Vleeschouwer, Siddharth Gupta, Yang Song, Alexandre Bernardino

The 1st Workshop on Maritime Computer Vision (MaCVi) 2023 focused on maritime computer vision for Unmanned Aerial Vehicles (UAV) and Unmanned Surface Vehicle (USV), and organized several subchallenges in this domain: (i) UAV-based Maritime Object Detection ...

IEEE COMPUTER SOC2023

Towards Novel Evaluation Methods for Social Dialog Systems

Ekaterina Svikhnushina

Language has shaped human evolution and led to the desire to endow machines with language abilities. Recent advancements in natural language processing enable us to achieve this breakthrough in human-machine interaction. However, introducing conversational ...

EPFL2023

Traversing Time Dependent Light Fields for Daylight Glare Evaluation

Stephen William Wasilewski

To understand how daylight gives shape and life to architectural spaces, whether existing or imagined, requires quantifying its dynamism and energy. Maintaining these details presents a challenge to simulation and analysis methods that flatten data into di ...

EPFL2023

Insights into Electrocatalyst Transformations Studied in Real Time with Electrochemical Liquid-Phase Transmission Electron Microscopy

Vasiliki Tileli, Tzu-Hsien Shen, Robin Pierre Alain Girod

The value of operando and in situ characterization methodologies for understanding electrochemical systems under operation can be inferred from the upsurge of studies that have reported mechanistic insights into electrocatalytic processes based on such mea ...

Amer Chemical Soc2023

Morphology of Nanostructured Tantalum Oxide Controls Stem Cell Differentiation and Improves Corrosion Behavior

Ece Uslu

Tantalum is receiving increasing attention in the biomedical field due to its biocompatible nature and superior mechanical properties. However, the bioinert nature of tantalum still poses a challenge and limits its integration into the bone tissue. To addr ...

Amer Chemical Soc2023

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

Formula Normalizations in Verification

Viktor Kuncak, Simon Guilloud, Mario Bucev, Dragana Milovancevic

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 ...

2023

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 ...

Zenodo2022

Dynamic SIMD Parallel Execution on GPU from High-Level Dataflow Synthesis

Marco Mattavelli, Simone Casale Brunet, Aurélien François Gilbert Bloch

Developing and fine-tuning software programs for heterogeneous hardware such as CPU/GPU processing platforms comprise a highly complex endeavor that demands considerable time and effort of software engineers and requires evaluating various fundamental comp ...

MDPI2022

Reduced basis methods for numerical room acoustic simulations with parametrized boundaries

Jan Sickmann Hesthaven, Hermes Sampedro Llopis

The use of model-based numerical simulations of wave propagation in rooms for engineering applications requires that acoustic conditions for multiple parameters are evaluated iteratively, which is computationally expensive. We present a reduced basis metho ...

ACOUSTICAL SOC AMER AMER INST PHYSICS2022

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

Robust design using multiobjective optimisation and artificial neural networks with application to a heat pump radial compressor

Jürg Alexander Schiffmann, Soheyl Massoudi, Cyril Picard

Although robustness is an important consideration to guarantee the performance of designs under deviation, systems are often engineered by evaluating their performance exclusively at nominal conditions. Robustness is sometimes evaluated a posteriori throug ...

2022