Concept
Lemme de l'étoile
Publications associées (4)
Free Boundary Regularity for Almost Every Solution to the Signorini Problem
We investigate the regularity of the free boundary for the Signorini problem in Rn+1. It is known that regular points are (n−1)-dimensional and C∞. However, even for C∞ obstacles φ, the set of non-regular (or degenerate) points could be very large—e.g. wit ...
2021Deductive Synthesis and Repair
In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...
EPFL2016Effect Analysis for Programs with Callbacks
Viktor Kuncak, Etienne Kneuss, Philippe Paul Henri Suter
We introduce a precise interprocedural effect analysis for programs with mutable state, dynamic object allocation, and dynamic dispatch. Our analysis is precise even in the presence of dynamic dispatch where the context-insensitive estimate on the number o ...
Springer Berlin Heidelberg2013A flexible motif search technique based on generalized profiles
A flexible motif search technique is presented which has two major components: (1) a generalized profile syntax serving as a motif definition languaje; and (2) a motif search method specifically adapted to the problem of finding multiple instances of a mot ...
1996