Publications related to Validation of Visual Contracts for Services

Related publications (29)

From Preprocessing to Evaluation: The Role of External Knowledge in Advancing Language Models and Machine Translation

Machine translation (MT) systems and language models (LMs) have demonstrated impressive performance in recent years, driven by advances in architecture, algorithms, and the scaling of parameters and training data. Despite the ability of these models to int ...

EPFL2025

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

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

Action Levers towards Sustainable Wellbeing: Re-Thinking Negative Emissions, Sufficiency, Deliberative Democracy

Sascha Nick

Systems theory defines leverage points as places to intervene in order to change a system. Points with high impact on system behavior are notoriously hard to act upon, and indeed most policy intervention is based at the lowest level (#12 in Donella Meadows ...

EPFL2023

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, Alessandro Francesco Rotta Loria, Elena Ravera

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

Spiking Network Models and Theory: Overview

Marc-Oliver Gewaltig

Springer Science+Business Media2022

A Versatile Mapping Approach for Technology Mapping and Graph Optimization

Giovanni De Micheli, Heinz Riener, Alessandro Tempia Calvino, 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

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

Biomimetic adaptive control of a deployable tensegrity structure

Ann Christine Sychterz

Biomimetic behavior includes aspects such as learning from previous experience, self-diagnosis, and adaptation. This thesis describes control methodologies that are essential to development towards biomimetic behavior of a complex deployable structure. Sim ...

EPFL2018

A toolkit for multi-scale mapping of the solar energy-generation potential of buildings in urban environments under uncertainty

Marilyne Andersen, Emmanuel Rey, Giuseppe Peronato, Parag Rastogi

Many municipalities and public authorities have supported the creation of solar cadastres to map the solar energy-generation potential of existing buildings. Despite advancements in modelling solar potential, most of these tools provide simple evaluations ...

2018

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

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

Type Soundness Proofs with Definitional Interpreters

Tiark Rompf, Nada Amin

While type soundness proofs are taught in every graduate PL class, the gap between realistic languages and what is accessible to formal proofs is large. In the case of Scala, it has been shown that its formal model, the Dependent Object Types (DOT) calculu ...

Assoc Computing Machinery2017

A Historical Review of Diachrony and Semantic Dimensions of Trace in Neurosciences and Lacanian Psychoanalysis

Pierre Magistretti

Experience leaves a trace in the nervous system through plasticity. However, the exact meaning of the mnesic trace is poorly defined in current literature. This article provides a historical review of the term trace in neuroscience and psychoanalysis liter ...

Frontiers Media2017

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

Essays in Bank Financing

Yalda Sigrist

This thesis examines the optimal mode of financing for banks and financial institutions. The first chapter, which is a joint work with Prof. Jean-Charles Rochet, investigates how Systemically Important Financial Institutions (SIFIs) should be financed. The ...

EPFL2017

Better Patch Stitching for Parametric Surface Reconstruction

Zhantao Deng, Pascal Fua, Mathieu Salzmann, Jan Bednarík

Recently, parametric mappings have emerged as highly effective surface representations, yielding low reconstruction error. In particular, the latest works represent the target shape as an atlas of multiple mappings, which can closely encode object parts. A ...

IEEE2020

SLA: to Sign or Not to Sign

Alain Wegmann, Gil Regev, Gorica Tapandjieva Sekulovska

We present our experience of a three-week fieldwork in the form of a contextual inquiry with a service manager at the EPFL IT department. During these three weeks, we encounter a refusal of a user committee to sign a service-level agreement (SLA). We descr ...

CEUR Workshop Proceedings2016