The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

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...