Results 1  10
of
44
Adaptive mesh methods for one and twodimensional hyperbolic conservation laws
 SIAM J. Numer. Anal
"... Abstract. We develop efficient moving mesh algorithms for one and twodimensional hyperbolic systems of conservation laws. The algorithms are formed by two independent parts: PDE evolution and meshredistribution. The first part can be any appropriate highresolution scheme, and the second part is ..."
Abstract

Cited by 44 (8 self)
 Add to MetaCart
is based on an iterative procedure. In each iteration, meshes are first redistributed by an equidistribution principle, and then on the resulting new grids the underlying numerical solutions are updated by a conservativeinterpolation formula proposed in this work. The iteration for the mesh
Nonperturbative formulas for central functions of supersymmetric gauge theories
 Nucl. Phys. B
, 1998
"... For quantum field theories that flow between ultraviolet and infrared fixed points, central functions, defined from twopoint correlators of the stress tensor and conserved currents, interpolate between central charges of the UV and IR critical theories. We develop techniques that allow one to calcu ..."
Abstract

Cited by 164 (27 self)
 Add to MetaCart
For quantum field theories that flow between ultraviolet and infrared fixed points, central functions, defined from twopoint correlators of the stress tensor and conserved currents, interpolate between central charges of the UV and IR critical theories. We develop techniques that allow one
UvADARE (Digital Academic Repository) Positive Formulas in Intuitionistic and Minimal Logic Link to publication Citation for published version (APA): Positive Formulas in Intuitionistic and Minimal Logic
"... Abstract. In this article we investigate the positive, i.e. ¬, ⊥free formulas of intuitionistic propositional and predicate logic, IPC and IQC, and minimal logic, MPC and MQC. For each formula ϕ of IQC we define the positive formula ϕ + that represents the positive content of ϕ. The formulas ϕ and ..."
Abstract
 Add to MetaCart
the uniform interpolation theorem for IPC, that both the positive fragment of IPC and MPC respect a revised version of uniform interpolation. In propositional logic the wellknown theorem that KC is conservative over the positive fragment of IPC is shown to generalize to many logics with positive axioms
Z.: Positive formulas in intuitionistic and minimal logic. Submitted to this volume (2014) On duality and universal models 19
"... Abstract. In this article we investigate the positive, i.e. ¬, ⊥free formulas of intuitionistic propositional and predicate logic, IPC and IQC, and minimal logic, MPC and MQC. For each formula ϕ of IQC we define the positive formula ϕ + that represents the positive content of ϕ. The formulas ϕ and ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
interpolation theorem for IPC, that both the positive fragment of IPC and MPC respect a revised version of uniform interpolation. In propositional logic the wellknown theorem that KC is conservative over the positive fragment of IPC is shown to generalize to many logics with positive axioms. In first
Avariational Approach to Nonlinear Estimation
, 2003
"... We consider estimation problems, in which the estimand, X, and observation, Y , take values in measurable spaces. Regular conditional versions of the forward and inverse Bayes formula have variational characterisations involving the minimisation of an apparent information, and the maximisation of a ..."
Abstract

Cited by 30 (4 self)
 Add to MetaCart
and observation fit. This leads to a differential formula for the pathwise nonlinear interpolator. Local versions of the variational characterisations are developed, which quantify information flow in the estimators. In this context, the information conserving property of bayesian estimators coincides
Modularization and Interpolation
, 1998
"... Interpolation does not hold for first order arithmetic, but this does not affect modularization theorem due to Maibaum and Turski (dealing with pushouts of conservative extensions) for theories containing arithmetic, since this theorem does not in fact use Interpolation Theorem. We present a short p ..."
Abstract
 Add to MetaCart
Interpolation does not hold for first order arithmetic, but this does not affect modularization theorem due to Maibaum and Turski (dealing with pushouts of conservative extensions) for theories containing arithmetic, since this theorem does not in fact use Interpolation Theorem. We present a short
Difference Approximations for the Second Order Wave Equation
 Center for Applied Scientific Computing, Lawrence Livermore National Lab
, 2001
"... Abstract. Difference approximations are derived for the second order wave equation in one and two space dimensions, without first writing it as a first order system. Both the Dirichlet and the Neumann problems are treated for the onedimensional case. Relations between the boundary error and the int ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
Cartesian grid and the boundary conditions are approximated by interpolation. A stable conservative scheme is derived where the time step is determined only by the interior discretization formula. Discretization cells cut by the boundary are treated implicitly, but the resulting scheme becomes explicit
Constructive interpolation in hybrid logic
 The Journal of Symbolic Logic
"... Abstract Craig's interpolation lemma (if ϕ → ψ is valid, then ϕ → θ and θ → ψ are valid, for θ a formula constructed using only primitive symbols which occur both in ϕ and ψ) fails for many propositional and first order modal logics. The interpolation property is often regarded as a sign of we ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
Abstract Craig's interpolation lemma (if ϕ → ψ is valid, then ϕ → θ and θ → ψ are valid, for θ a formula constructed using only primitive symbols which occur both in ϕ and ψ) fails for many propositional and first order modal logics. The interpolation property is often regarded as a sign
ACCURATE TWO AND THREE DIMENSIONAL INTERPOLATION FOR PARTICLE MESH CALCULATIONS
"... Abstract. We present accurate two and three dimensional methods for interpolating singular or smoothed force fields. The methods are meant to be used in particle mesh or particleparticle particlemesh calculations so that the resulting schemes conserve momentum. The interpolation weights, which hav ..."
Abstract
 Add to MetaCart
Abstract. We present accurate two and three dimensional methods for interpolating singular or smoothed force fields. The methods are meant to be used in particle mesh or particleparticle particlemesh calculations so that the resulting schemes conserve momentum. The interpolation weights, which
Extending ILM with an operator for Σ_1ness
, 2003
"... In this paper we formulate a logic #ILM. This logic extends ILM and contains a new unary modal operator #1 . The formulas of this logic can be evaluated on Veltman frames. We show that #ILM is modally sound and complete with respect to a certain class of Veltman frames. An arithmetical interpretatio ..."
Abstract
 Add to MetaCart
interpretation of the modal formulas can be obtained by reading the #1 operator as formalized #1ness in PA and # as formalized #1conservativity between finite extensions of PA. We show that under this arithmetically interpretation #ILM is sound and complete. The main motivation for formulating #ILM at all
Results 1  10
of
44