Evaluation strategy

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

Related publications (32)

About
Privacy
Disclaimer

Graph Chatbot

Reinforcement learning approach to control an inverted pendulum: A general framework for educational purposes

Jesus Sanchez Rodriguez

Machine learning is often cited as a new paradigm in control theory, but is also often viewed as empirical and less intuitive for students than classical model-based methods. This is particularly the case for reinforcement learning, an approach that does n ...

PUBLIC LIBRARY SCIENCE2023

Correspondence functors and duality

Jacques Thévenaz, Serge Bouc

A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. By means of a suitably defined duality, new correspondence functors are constructed, having remarkable p ...

ACADEMIC PRESS INC ELSEVIER SCIENCE2023

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

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

DISCO: Distilling Counterfactuals with Large Language Models

Antoine Bosselut, Zeming Chen, Qiyue Gao

Models trained with counterfactually augmented data learn representations of the causal structure of tasks, enabling robust generalization. However, high-quality counterfactual data is scarce for most tasks and not easily generated at scale. When crowdsour ...

Assoc Computational Linguistics-Acl2023

The predictive capacity of in vitro preclinical models to evaluate drugs for the treatment of retinoblastoma

Paul Joseph Dyson, Irina Sinenko, Roland Christopher Turnell-Ritson

Retinoblastoma is a rare childhood cancer of the eye. Of the small number of drugs are used to treat retinoblastoma, all have been repurposed from drugs developed for other conditions. In order to find drugs or drug combinations better suited to the improv ...

ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD2023

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

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

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

Page 2 of 4

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

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

Amer Chemical Soc2023