Concept

Calcul des séquents

Publications associées (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

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