Related papers: Modified associate formalism without entropy parad…
Often in Software Engineering, a modeling formalism has to support scenarios of inconsistency in which several requirements either reinforce or contradict each other. Paraconsistent transition systems are proposed in this paper as one such…
Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…
The paper presents a numerical study for the finite element method with anisotropic meshes. We compare the accuracy of the numerical solutions on quasi-uniform, isotropic, and anisotropic meshes for a test problem which combines several…
For the associated Legendre and Ferrers functions of the first and second kind, we obtain new multi-derivative and multi-integral representation formulas. The multi-integral representation formulas that we derive for these functions…
For exchangeable data, mixture models are an extremely useful tool for density estimation due to their attractive balance between smoothness and flexibility. When additional covariate information is present, mixture models can be extended…
A finite element model and its equivalent electronic analogue circuit of hydraulic transmission lines have been developed. Basic equations are approximated to be a set of ordinary differential equations that can be represented in state…
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…
A modified spin-fermion model is proposed to describe the physics of the underdoped phase of the t-J model of strongly correlated electrons
We construct a second-quantized representation with a structure of balanced ternary formalism, which involves three substances in organic molecular materials, namely electron, hole and charge-transfer exciton, into a uniform framework. The…
A class of two-dimensional globally scale-invariant, but not conformally invariant, theories is obtained. These systems are identified in the process of discussing global and local scaling properties of models related by duality…
We propose a new formalism of quantum subsystems which allows to unify the existing and new methods of reduced description of quantum systems. The main mathematical ingredients are completely positive maps and correlation functions. In this…
Large-N field systems are considered from an unusual point of view. The Hamiltonian is presented in a third-quantized form analogously to the second-quantized formulation of the quantum theory of many particles. The semiclassical…
A new class of matching condition between the atomistic and continuum regions is presented for the multi-scale modeling of crystals. They ensure the accurate passage of large scale information between the atomistic and continuum regions and…
We consider a constructive modification of quantum-mechanical formalism. Replacement of a general unitary group by unitary representations of finite groups makes it possible to reproduce quantum formalism without loss of its empirical…
We define an abstract framework called {\it discrete finite differences embedding} which can be used to obtain discrete analogue of formal functional relations in the spirit of category theory. For ordinary differential equations we exhibit…
It is proposed that a non-Abelian adjoint two-form in BF type theories transform inhomogeneously under the gauge group. The resulting restrictions on invariant actions are discussed. The auxiliary one-form which is required for maintaining…
We show that entanglement-assisted transformations of bipartite entangled states can be more efficient than catalysis [D. Jonathan and M. B. Plenio, Phys. Rev. Lett. 83, 3566 (1999)}, i.e., given two incomparable bipartite states not only…
Density functional theory can be extended to excited states by means of a unified variational approach for passive state ensembles. This extension overcomes the restriction of the typical density functional approach to ground states, and…
Semiclassical approximations for quantum dynamic simulations in complex chemical systems range from rigorously accurate methods that are computationally expensive to methods that exhibit near-classical scaling with system size but are…
The present work pursues the aim to draw attention to unique possibilities of the skew-symmetric differential forms. At present the theory of skew-symmetric exterior differential forms that possess invariant properties has been developed.…