Displaying similar documents to “Mixed discontinuous Galerkin approximation of the Maxwell operator: The indefinite case”

Stabilization methods in relaxed micromagnetism

Stefan A. Funken, Andreas Prohl (2010)

ESAIM: Mathematical Modelling and Numerical Analysis

Similarity:

The magnetization of a ferromagnetic sample solves a non-convex variational problem, where its relaxation by convexifying the energy density resolves relevant macroscopic information. The numerical analysis of the relaxed model has to deal with a constrained convex but degenerated, nonlocal energy functional in mixed formulation for magnetic potential and magnetization . In [C. Carstensen and A. Prohl, (2001) 65–99], the conforming -element in spatial dimensions...

Undecidability of infinite post correspondence problem for instances of size 8

Jing Dong, Qinghui Liu (2012)

RAIRO - Theoretical Informatics and Applications

Similarity:

The infinite Post Correspondence Problem (PCP) was shown to be undecidable by Ruohonen (1985) in general. Blondel and Canterini [ (2003) 231–245] showed that PCP is undecidable for domain alphabets of size 105, Halava and Harju [ (2006) 551–557] showed that PCP is undecidable for domain alphabets of size 9. By designing a special coding, we delete a letter from Halava and Harju’s construction. So we prove that PCP is undecidable for domain alphabets of size...