Publications associées à Validation of Visual Contracts for Services

Orthologic with Axioms

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

LISA – A Modern Proof System

Viktor Kuncak, Simon Guilloud, Sankalp Gambhir

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023

Technology Mapping Using Multi-output Library Cells

Giovanni De Micheli, Alessandro Tempia Calvino

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. Even if technology libraries contain multi-output cells, state-of-the-art techniques fully exploit single-output cells only. Mul ...

2023

Thermo-hydro-mechanical behavior of energy barrettes: Field experiments and numerical simulations

Lyesse Laloui, Elena Ravera, Alessandro Francesco Rotta Loria

Over the past two decades, the thermo-hydro-mechanical behavior of earth-contact structures such as piles, walls, slabs, and tunnels, which simultaneously provide structural support and energy supply, has been studied through various field experiments and ...

ELSEVIER2023

A Versatile Mapping Approach for Technology Mapping and Graph Optimization

Giovanni De Micheli, Heinz Riener, Alessandro Tempia Calvino, Shubham Rai, Akash Kumar

This paper proposes a versatile mapping approach that has three objectives: i) it can map from one technology-independent graph representation to another; ii) it can map to a cell library; iii) it supports logic rewriting. The method is cut-based, mitigate ...

IEEE2022

Slim: Explicit Slot-Intent Mapping With Bert For Joint Multi-Intent Detection And Slot Filling

Boi Faltings, Fei Mi, Fengyu Cai, Wanhao Zhou

Utterance-level intent detection and token-level slot filling are two key tasks for spoken language understanding (SLU) in task-oriented systems. Most existing approaches assume that only a single intent exists in an utterance. However, there are often mul ...

IEEE2022

Micro-addition of Fe in highly alloyed Cu-Ti alloys to improve both formability and strength

Roland Logé, Cyril Cayron, Baptiste Thomas Jean Rouxel

Cu-Be alloys provide excellent electrical and mechanical properties, but present serious health hazards during manufacturing. Among alternative alloys, the Cu-Ti system has the highest yield strength; however, Ti cannot be easily solutionized at concentrat ...

ELSEVIER SCI LTD2022

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

Orchestration of oscillatory activity to improve visual motion discrimination

Roberto Felipe Salamanca Giron

This thesis describes advances in the use of novel configurations of non-invasive brain stimulation over the visual system allowing to modulate of modifying electro-physiological activity, interregional interactions and by it, visual behavior such as motio ...

EPFL2021

On the adjustment, calibration and orientation of drone photogrammetry and laser-scanning

Emmanuel Pierre Quentin Clédat

Centimetre level precision mapping is essential for many applications such as land-use, infrastructure inspection, cultural heritage preservation, and construction site monitoring. However, the acquisition and its preparation (in particular the setting of ...

EPFL2020