Concept

Short-circuit evaluation

Publications associées (122)

Scalable Logic Rewriting Using Don’t Cares

Giovanni De Micheli, Alessandro Tempia Calvino

Logic rewriting is a powerful optimization technique that replaces small sections of a Boolean network with better implementations. Typically, exact synthesis is used to compute optimum replacement on-the-fly, with possible support for Boolean don't cares. ...

2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Estrogenic, Genotoxic, and Antibacterial Effects of Chemicals from Cryogenically Milled Tire Tread

Kristin Schirmer, Florian Frédéric Vincent Breider, Benoît Jean Dominique Ferrari, Thibault Béranger Masset

Tire and road wear particles (TRWP) contain complex mixtures of chemicals and release them to the environment,and potential toxic effects of these chemicals still need to be characterized. We used a standardized surrogate for TRWP,cryogenically milled tire ...

2024

, , , ,

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

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

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

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

, , ,

The ability of dataflow circuits to implement dynamic scheduling promises to overcome the conservatism of static scheduling techniques that high-level synthesis tools typically rely on. Yet, the same distributed control mechanism that allows dataflow circu ...

IEEE COMPUTER SOC2022

Decoding of error-related potentials in continuous feedback protocols for personalized human computer interaction

Fumiaki Iwane

The ability to notice erroneous behavior is crucial for effective training. Within the framework of neuroprosthetics, numerous studies in electroencephalography (EEG) confirm the existence of neural correlates when humans perceive the erroneous actions of ...

EPFL2021

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search