L^{2}-restriction bounds for eigenfunctions along curves in the quantum completely integrable case

We show that for a quantum completely integrable system in two dimensions,the $L^{2}$-normalized joint eigenfunctions of the commuting semiclassical pseudodifferential operators satisfy restriction bounds ofthe form $\int_{\gamma} |\phi_{j}^{\hbar}|^2 ds = {\mathcal O}(|\log \hbar|)$ for generic curves $\gamma$ on the surface. We also prove that the maximal restriction bounds of Burq-Gerard-Tzvetkov are always attained for certain exceptional subsequences of eigenfunctions.Comment: Correct some typos and added some more detail in section

Towards a Formal Verification Methodology for Collective Robotic Systems

We introduce a UML-based notation for graphically modeling systems’ security aspects in a simple and intuitive way and a model-driven process that transforms graphical specifications of access control policies in XACML. These XACML policies are then translated in FACPL, a policy language with a formal semantics, and the resulting policies are evaluated by means of a Java-based software tool

Singularities of bi-Hamiltonian systems

We study the relationship between singularities of bi-Hamiltonian systems and algebraic properties of compatible Poisson brackets. As the main tool, we introduce the notion of linearization of a Poisson pencil. From the algebraic viewpoint, a linearized Poisson pencil can be understood as a Lie algebra with a fixed 2-cocycle. In terms of such linearizations, we give a criterion for non-degeneracy of singular points of bi-Hamiltonian systems and describe their types