Home

Concept

Short-circuit evaluation

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

About
Privacy
Disclaimer

Graph Chatbot

Related publications (28)

Page 1 of 2

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

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

Alexandre Massoud Alahi, Alexandre Bernardino, Siddharth Gupta, Vladimir Dominic K. Somers

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

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

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, Dragana Milovancevic, 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 ...

2023

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

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

Silvestro Micera

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

A Comprehensive Timing Model for Accurate Frequency Tuning in Dataflow Circuits

Paolo Ienne, Andrea Guerrieri, Lana Josipovic

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

Une approche computationnelle du cadastre napoléonien de Venise

Frédéric Kaplan, Isabella Di Lenardo, Raphaël Barman, Federica Pardini

At the beginning of the 19th century, the Napoleonic administration introduced a new standardised description system to give an objective account of the form and functions of the city of Venice. The cadastre, deployed on a European scale, was offering for ...

2021

Laser-induced liquid micro-jets for drug delivery

Jan Krizek

Jet injection devices have been studied and developed for transdermal drug delivery to avoid the use of needles. Such contact-less devices provide several advantages such as better dose control, lateral and depth localisation, lower collateral damage than ...

EPFL2021

Automated Design: A Journey Across Modelling, Optimization, and Education

Cyril Picard

Machine intelligence greatly impacts almost all domains of our societies. It is profoundly changing the field of mechanical engineering with new technical possibilities and processes. The education of future engineers also needs to adapt in terms of techni ...

EPFL2021

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

Does scaling player size skew one’s ability to correctly evaluate object sizes in a virtual environment?

Ronan Boulic, Bruno Herbelin, Mathias Guy Delahaye

This paper presents the results of a study performed in order to evaluate whether a navigation technique, based on scaling the user’s avatar, impacts the user’s ability to correctly assess the size of virtual objects in a virtual environment. This study wa ...

Association for Computing Machinery2020

Flexure-based mecano-optical multi-degree-of-freedom transducers dedicated to medical force sensing instruments

Sebastian Krzysztof Fifanski

This thesis develops novel multi-degrees-of-freedom flexure-based force sensors by exploiting white light interferometry. Fabry-Pérot interferometry measurement has nanometric accuracy which yields sub milli-Newton force sensing accuracy. Such force sensin ...

EPFL2020

Window Size Effects on Subjective Impressions of Daylit Spaces: Indoor Studies at High Latitudes Using Virtual Reality

Marilyne Andersen, Jan Wienold, Kynthia Chamilothori

Daylight provision to the indoor space is affected by different building elements that cannot be fully controlled by the users, such as the window size of a space. The dimensions of the fenestration not only affect the lighting levels, but they also affect ...

2021

Evaluation and robotic simulation of the glenohumeral joint

Matteo Mancuso

The shoulder is the joint with the largest range of motion in the human body. It is composed of three articulations, the glenohumeral articulation providing about two thirds of its mobility which is, also the most complex and fragile of the three. For this ...

EPFL2020

Amplitude analysis for the measurement of the photon polarisation in B rightarrow K pi pi gamma decays

Violaine Bellée

This work proposes a method to measure the photon polarisation in

B^+ \rightarrow K^+ \pi^- \pi^+ \gamma

decays and prepares the necessary elements for this measurement using the data sets collected by the LHCb experiment at CERN in

2011

2012

, $2016 ...

EPFL2020

Adaptive Design of Experiments for Conservative Estimation of Excursion Sets

We consider the problem of estimating the set of all inputs that leads a system to some particular behavior. The system is modeled by an expensive-to-evaluate function, such as a computer experiment, and we are interested in its excursion set, that is, the ...

2021

Rational design of ionic compounds for electrocatalytic reduction of carbon dioxide

Dmitry Vasilyev

Electrochemical reduction of carbon dioxide is one of the plausible approaches towards renewable energy carriers. When coupled with electricity, which can be provided by sustainable technologies, it becomes a method of high importance with potential value ...

EPFL2019