
ETPS
 Referenced in 157 articles
[sw06302]
 prover for firstorder logic and type theory. The latter is a cutdown version ... systems, and to some extent under Windows. Potential applications of automated theorem proving include hardware ... various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive...

energy
 Referenced in 70 articles
[sw08072]
 elegant relation to the notion of potential energy between statistical observations. Energy statistics are functions ... their real valued nonnegative distances for inference. Theory and application of energy statistics are discussed ... illustrated. Finally, we explore the notion of potential and kinetic energy of goodness...

WIEN2k
 Referenced in 43 articles
[sw04975]
 using density functional theory (DFT). It is based on the fullpotential (linearized) augmented plane...

TPS
 Referenced in 71 articles
[sw00973]
 prover for firstorder logic and type theory. The latter is a cutdown version ... systems, and to some extent under Windows. Potential applications of automated theorem proving include hardware ... various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive...

EnviroStat
 Referenced in 25 articles
[sw11048]
 fourth part shows how to use the theory in practice. With the help of software ... estimated and potential new monitoring sites are selected. The mathematical theory for the suggested methods...

rbminer
 Referenced in 12 articles
[sw00783]
 appeared to support these new theories, thus relegating the potential of the area only ... introduces rbminer, a tool that combines the theory of regions with linear algebra to compute...

BenderWu
 Referenced in 12 articles
[sw22948]
 perturbation theory of an arbitrary, locally harmonic 1D quantum mechanical potential as well ... form a prototype for regularized quantum field theory. We first generalize the method of Bender...

QTest
 Referenced in 8 articles
[sw30779]
 Cumulative Prospect Theory.” A major asset of the approach is the potential to distinguish decision...

exciting
 Referenced in 4 articles
[sw22331]
 exciting is a fullpotential allelectron densityfunctionaltheory package implementing the families...

GAMESS
 Referenced in 38 articles
[sw03002]
 approaches, as well as the Density Functional Theory approximation. Excited states can be computed ... modeled by the discrete Effective Fragment potentials, or continuum models such as the Polarizable Continuum...

PDENet
 Referenced in 31 articles
[sw36963]
 filters (an important concept originated from wavelet theory). We also discuss relations ... show that the PDENet has the potential to uncover the hidden...

A502
 Referenced in 1 article
[sw19889]
 subsonic or supersonic speeds, using linearized potential flow theory. The A502 code was never intended...

cyclogpl.m
 Referenced in 1 article
[sw26770]
 Threeloop effective potential of general scalar theory via differential equations. We consider the scalar ... general renormalizable theory and evaluate the effective potential through three loops analytically. We encounter three...

WIEN97
 Referenced in 10 articles
[sw14850]
 structure calculations of solids using the fullpotential linearizedaugmentedplanewave (LAPW) method ... calculations. It is based on density functional theory and uses the local (spin) density approximation...

VASP
 Referenced in 15 articles
[sw19550]
 ACFDTRPA) and manybody perturbation theory (2ndorder MøllerPlesset) are available in VASP ... electronic charge density, and the local potential are expressed in plane wave basis sets...

FHIaims
 Referenced in 2 articles
[sw26731]
 aims: FullPotential, AllElectron Electronic Structure Theory with Numeric AtomCentered Basis Functions. Fritz ... efficient, accurate allelectron, fullpotential electronic structure code package for computational molecular and materials ... semilocal and hybrid) and manybody perturbation theory. FHIaims is particularly efficient for molecular...

Capytaine
 Referenced in 1 article
[sw29102]
 solver Nemoh for the linear potential flow wave theory...

nlmeU
 Referenced in 4 articles
[sw07431]
 potential applications of the LMMs but also emphasise the features of both theory and chosen...

SPEEDUP
 Referenced in 2 articles
[sw21743]
 addition to the general 1D quantum theory, developed Mathematica codes are capable of calculating effective ... potentials, as well as for a general manybody theory in arbitrary number of spatial...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 also obtained by internalizing automata as theories. The toolkit, freely available from Microsoft Research ... context of web security for analysis of potentially malicious data over Unicode characters...