2137 search results - page 33 / 428 » Proving Abstract Non-interference |
JUCS
2010
14 years 4 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
MOC
2010
14 years 4 months ago
2010
Abstract. The aim of this paper is to present and analyze a class of hpversion discontinuous Galerkin (DG) discretizations for the numerical approximation of linear elliptic proble...
MSS
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract We study the structure of unstable local effectivity functions defined for n players and p alternatives. A stability index based on the notion of cycle is introduced. In t...
SIAMIS
2010
14 years 4 months ago
2010
Abstract. The linear inverse source and scattering problems are studied from the perspective of compressed sensing, in particular the idea that sufficient incoherence and sparsity ...
SIAMMA
2010
14 years 4 months ago
2010
Abstract. We prove the existence of an infinite discrete set of transmission eigenvalues corresponding to the scattering problem for isotropic and anisotropic inhomogeneous media f...