• ETPS

  • Referenced in 157 articles [sw06302]
  • prover for first-order logic and type theory. The latter is a cut-down 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 full-potential (linearized) augmented plane...
  • TPS

  • Referenced in 71 articles [sw00973]
  • prover for first-order logic and type theory. The latter is a cut-down 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 full-potential all-electron density-functional-theory 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...
  • PDE-Net

  • Referenced in 31 articles [sw36963]
  • filters (an important concept originated from wavelet theory). We also discuss relations ... show that the PDE-Net 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]
  • Three-loop 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 full-potential linearized-augmented-plane-wave (LAPW) method ... calculations. It is based on density functional theory and uses the local (spin) density approximation...
  • VASP

  • Referenced in 15 articles [sw19550]
  • ACFDT-RPA) and many-body perturbation theory (2nd-order Møller-Plesset) are available in VASP ... electronic charge density, and the local potential are expressed in plane wave basis sets...
  • FHI-aims

  • Referenced in 2 articles [sw26731]
  • aims: Full-Potential, All-Electron Electronic Structure Theory with Numeric Atom-Centered Basis Functions. Fritz ... efficient, accurate all-electron, full-potential electronic structure code package for computational molecular and materials ... semilocal and hybrid) and many-body perturbation theory. FHI-aims 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 many-body 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...