Results 271 to 280 of about 64,000 (305)
Some of the next articles are maybe not open access.
Embedding formulae in diffraction theory
Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, 2003Summary: Embedding formulae are remarkable as they allow one to decompose scattering problems apparently dependent upon several angular variables (angles of incidence and observation) into those dependent upon fewer angular variables. In terms of facilitating rapid computations across considerable parameter regimes, this is a considerable advantage ...
Craster, R. V. +2 more
openaire +1 more source
Embedding theory for excited states
The Journal of Chemical Physics, 2010Using the technique of Perdew and Levy [Phys. Rev. B 31, 6264 (1985)], it is shown that both the density function theory (DFT)-in-DFT and wave function theory (WFT)-in-DFT embedding approaches are formally correct in studying not only the ground state but also a subset of the excited states of the total system.
Yuriy G, Khait, Mark R, Hoffmann
openaire +2 more sources
Embedding a logical theory of constructions in Agda
Proceedings of the 3rd workshop on Programming languages meets program verification, 2009We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-Lof's intuitionistic type theory. We show how to embed an external programming logic, Aczel's Logical Theory of Constructions (LTC) inside Agda.
Ana Bove +2 more
openaire +2 more sources
Embedding justification theory in approximation fixpoint theory
Artificial IntelligencezbMATH Open Web Interface contents unavailable due to conflicting licenses.
Simon Marynissen +2 more
openaire +3 more sources
Embedded Multireference Coupled Cluster Theory
Journal of Chemical Theory and Computation, 2018Internally contracted multireference coupled cluster (icMRCC) theory is embedded within multireference perturbation theory (MRPT) to calculate energy differences in large strongly correlated systems. The embedding scheme is based on partitioning the orbital spaces of a complete active space self-consistent field (CASSCF) wave function, with a truncated
David J. Coughtrie +4 more
openaire +2 more sources
Embedding wave function theory in density functional theory
The Journal of Chemical Physics, 2006We present a framework for embedding a highly accurate coupled-cluster calculation within a larger density functional calculation. We use a perturbative buffer to help insulate the coupled-cluster region from the rest of the system. Regions are defined, not in real space, but in Hilbert space, though connection between the two can be made by spatial ...
openaire +2 more sources
Embedded Model Control: Outline of the theory
ISA Transactions, 2007Embedded Model Control allows one to proceed systematically from fine plant dynamics and control requirements to the Embedded Model (EM), which is the core of control design and algorithms. The model defines three interconnected parts: the controllable dynamics, the disturbance class to be rejected and the neglected dynamics.
openaire +2 more sources
RECENT DEVELOPMENTS ON EMBEDDING THEORIES OF SPACETIME
International Journal of Modern Physics A, 2005We review two recent developments on five-dimensional embedding theories of the spacetime: the embedding of branes, which is related to the Campbell-Magaard theorem, and the dynamics of particles in the context of the induced-matter theory. In the latter case, we show that there are two different ways of treating the anomalous acceleration of ...
Romero, C., Dahia, F.
openaire +2 more sources
Theory and algorithms for face hypercube embedding
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all faces of minimum length. Increasing dimensions of the Boolean space are explored; for a given dimension constraints are satisfied one at a time.
E. Goldberg +3 more
openaire +2 more sources
Optimal Embeddings and Eigenvalues in Support Theory
SIAM Journal on Matrix Analysis and Applications, 2007Support theory is a methodology for bounding eigenvalues and generalized eigenvalues of matrices and matrix pencils; such bounds have been stated both in algebraic terms and in combinatorial terms based on embeddings of the underlying graphs of the matrices.
Erik G. Boman +2 more
openaire +1 more source