Non-autonomous functionals, borderline cases and related function classes
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.
Despite the large amount of work on Transactional Memory (TM), little is known about how much liveness it could provide. This paper presents the first formal treatment of the question. We prove that no TM implementation can ensure local progress, the analo ...
The invention is related to a method allowing a prover holding a secret key (x) to prove its identity to a verifier and to prove to this verifier that he is within a predetermined distance of this verifier, said method comprising an initialization phase du ...
We consider the continuity equation with a nonsmooth vector field and a damping term. In their fundamental paper, DiPerna and Lions (Invent Math 98:511-547, 1989) proved that, when the damping term is bounded in space and time, the equation is well posed i ...
We consider a family of degenerate elliptic equations of the form div(del F(del u)) = f, where F is an element of C-1,C-1 is a convex function which is elliptic outside a ball. We prove an excess-decay estimate at points where del u is close to a nondegene ...
We consider a family of elliptic equations introduced in the context of traffic congestion. They have the form del . (del F(del u)) = f where F is a convex function which vanishes inside some convex set and is elliptic outside. Under some natural assumptio ...
Low-frequency electromagnetic scattering from conductive and permeable bodies is the main principle of detection devices. To be able to classify the objects in the base material, a fast forward model based on the dipolar approximation was developed and ver ...
Increased physical activity is positively associated with better health in community-dwelling older persons. It is unclear whether physical activity also influences success of inpatient rehabilitation. For the assessment of physical activity in inpatient r ...
In this poster and demo, we showcase a new class of problems that can occur due to inconsistent packet processing at an OpenFlow controller. We proceed to outline a potential solution. ...
Let Q denote a smooth manifold acted upon smoothly by a Lie group G. The G-action lifts to an action on the total space TQ of the cotangent bundle of Q and hence on the standard symplectic Poisson algebra of smooth functions on TQ. The Poisson algebra of ...
