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 ...
EPFL2024Innovative 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/Balkema2018Exterior 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 A2016The 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-Blackwell2016A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings
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