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