Certifying and reasoning on cost annotations in C programs

More precisely, if the CHSH score exceeds this value, there exists local extraction maps which output a state, when applied to the actual state, with a fidelity larger than 1/2 with

In this work we consider the general question: for a given algebraic formal power series with coefficients in a finite field, what kind of regularity (if any) can be expected for

Consider an infinite sequence of equal mass m indexed by n in Z (each mass representing an atom)... Conclude that E(t) ≤ Ce −γt E(0) for any solution y(x, t) of the damped

A diagram of analytic spaces is an object of Dia(AnSpc) where AnSpc is the category of analytic spaces.. Cohomological motives and Artin motives. all finite X-schemes U ). an

Acting on the advice of the advisory committee on university affairs, The Department of University Affairs will make special grants to the University of Western Ontario,

First introduced by Faddeev and Kashaev [7, 9], the quantum dilogarithm G b (x) and its variants S b (x) and g b (x) play a crucial role in the study of positive representations

If there is no nonconstant invariant rational function under f , then there exists a closed point in the plane whose orbit under f is Zariski dense1. This result gives us a

We prove that arbitrary actions of compact groups on finite dimensional C ∗ -algebras are equivariantly semiprojec- tive, that quasifree actions of compact groups on the Cuntz