Abstract. The paper is concerned with the simulation of inviscid and viscous compressible flow in time dependent domains. The motion of the boundary of the domain occupied by the fluid is taken into account with the aid of the ALE (Arbitrary Lagrangian-Eulerian) formulation of the Euler and Navier-Stokes equations describing compressible flow. They are discretized by the discontinuous Galerkin ...

The objective of the present work is to develop a new numerical framework for simulations involving deformable domains, in specific context high-order meshes consistent with Computer-Aided Design (CAD) representations. Thus, proposed approach combines ideas from isogeometric analysis, able handle exactly CAD-based geometries, and Discontinuous Galerkin (DG) methods an Arbitrary Lagrangian-Euler...

We derive an expression for the dimension of the moduli space of SU(n) kinstantons on an r-centred ALE metric in terms of the triple (n, k, r). It is shown that if k mod r > n then no k-instantons exist. This implies that the corresponding Higgs branch of vacua representing marginally bound Dp-D(p+4) branes on an ALE background is zero dimensional.

One of Semantic Web strengths is the ability to address incomplete knowledge. However, at present, it cannot handle incomplete knowledge directly. Also, it cannot handle non-monotonic reasoning. In this paper, we extend ALC− Defeasible Description Logic with existential quantifier, i.e., ALE Defeasible Description Logic. Also, we modify some parts of the logic, resulting in an increasing effici...

Our goal is to formally verify work begun by Gollamudi and Chong, who introduce ImpE, a security-typed calculus that models low-level imperative programs that can directly use enclaves (a sort of private memory region), and provide a translation from a higher-level, enclave-agnostic calculus, ImpS, to ImpE [1]. Our project naturally falls into two parts: proving that every well-typed program in...