Concept

Sequent calculus

Related publications (15)

To Infinity, and Beyond (Coverage)

The pursuit of software security and reliability hinges on the identification and elimination of software vulnerabilities, a challenge compounded by the vast and evolving complexity of modern systems. Fuzzing has emerged as an indispensable technique for b ...

EPFL2024

A new set of analytical formulae for the computation of the bootstrap current and the neoclassical conductivity in tokamaks

Olivier Sauter

A new set of analytical formulae for calculating the bootstrap current and the neoclassical conductivity in tokamak experiments is presented. Previous works comparing the widely used Sauter model with results of recently developed numerical neoclassical so ...

AMER INST PHYSICS2021

An Ink–and–Paper Automaton: The Conceptual Mechanization of Cognition and the Practical Automation of Reasoning in Leibniz’s De Affectibus (1679)

Simon François Dumas Primbault

On ten loose handwritten folios dating back from April 1679, Leibniz gradually devised, in the course of three days, a full-blown theory of thought that nonetheless remained unpublished and still has received little attention from scholars. Conceiving of a ...

2020

Bottom slope influence on flow and bedload transfer through contractions

Anton Schleiss, Mário Jorge Rodrigues Pereira Da Franca, Sebastian Schwindt

In-stream open check dams are essential for flood protection at mountain rivers that are characterized by steep slopes (>1%) and sediment-laden flood discharges. These structures comprise an opening acting as a lateral or vertical flow contraction to force ...

2019

Innovative methods to release fine sediments from seasonal reservoirs

Anton Schleiss, Giovanni De Cesare, Pedro Filipe De Almeida Manso, Azin Amini, Sabine Chamoun, Sebastián Guillén Ludeña

The papers present three innovative solutions for fine sediment manage- ments in seasonal reservoirs, which are at different stages of maturity. Operational reservoir stirring using jet-like inflows may facilitate sediment routing, at no addi- tional cost ...

CRC Press/Balkema2018

Exterior Convexity And Classical Calculus Of Variations

Saugata Bandyopadhyay, Swarnendu Sil

We study the relation between various notions of exterior convexity introduced in [S. Bandyopadhyay, B. Dacorogna and S. Sil, J. Eur. Math. Soc. 17 (2015) 1009-1039.] with the classical notions of rank one convexity, quasiconvexity and polyconvexity. To th ...

Edp Sciences S A2016

The consequences of not accounting for background selection in demographic inference

Jeffrey David Jensen, Gregory Bruce Ewing

Recently, there has been increased awareness of the role of background selection (BGS) in both data analysis and modelling advances. However, BGS is still difficult to take into account because of tractability issues with simulations and difficulty with no ...

Wiley-Blackwell2016

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings

Andrew Joseph Reynolds

We prove that the quantifier-free fragment of the theory of character strings with regular language membership constraints and linear integer constraints over string lengths is decidable. We do that by describing a sound, complete and terminating tableaux ...

Springer-Verlag Berlin2015

Detection of Local Wall Stiffness Drop in Steel-Lined Pressure Tunnels and Shafts of Hydroelectric Power Plants Using Steep Pressure Wave Excitation and Wavelet Decomposition

Anton Schleiss, Fadi Hachem

A new monitoring approach for detecting, locating, and quantifying structurally weak reaches of steel-lined pressure tunnels and shafts is presented. These reaches arise from local deterioration of the backfill concrete and the rock mass surrounding the li ...

2012

Methods for Designing Reliable Probe Arrays

Giovanni De Micheli, Luca Benini, Abhishek Garg

Recent advances in biosensing technologies have led to applications of biosensor probe arrays for rapid identification of biological agents such as drugs, gene expressions, proteins, cholesterol and fats in an input sample. However, monitoring the simultan ...

IEEE2010

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.