• ARPACK

  • Referenced in 806 articles [sw04218]
  • specified features such as those of largest real part or largest magnitude. Storage requirements ... vectors for the desired k-dimensional eigen-space is computed which is numerically orthogonal...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • means of rectangular regions from the real Euclidean space. It can prove the problem insatisfiability...
  • PARSEC

  • Referenced in 19 articles [sw22333]
  • expressing electron wave-functions directly in real space, without the use of explicit basis sets...
  • Wannier90

  • Referenced in 13 articles [sw01010]
  • total spread of the MLWF in real space. This is done in the space ... include analysis of chemical bonding in real space; calculation of dielectric properties via the modern...
  • Java PathFinder

  • Referenced in 121 articles [sw07658]
  • operating system for the Deep-Space 1 space craft, and of previous work in applying ... existing model checkers and theorem provers to real applications...
  • Algorithm 719

  • Referenced in 41 articles [sw13183]
  • supports multiprecision integer, real, and complex datatypes. The required array space for multiprecision data types...
  • Hyperopt

  • Referenced in 28 articles [sw19219]
  • parallel optimization over awkward search spaces, which may include real-valued, discrete, and conditional dimensions...
  • energy

  • Referenced in 70 articles [sw08072]
  • distances between statistical observations in metric spaces. Thus even if the observations are complex objects ... like functions, one can use their real valued nonnegative distances for inference. Theory and application...
  • MIKA

  • Referenced in 6 articles [sw08891]
  • electronic structure calculations. A general real-space multigrid-based program package MIKA (Multigrid Instead...
  • CLICAL

  • Referenced in 17 articles [sw20733]
  • Clifford algebras Clp,q of real non-degenerate quadratic spaces Rp,q. Clifford algebras...
  • MiKM

  • Referenced in 7 articles [sw30272]
  • algorithm (MiKM) for nonexpansive operators in real Hilbert spaces. We give the convergence...
  • Colibri

  • Referenced in 8 articles [sw12043]
  • over time, efficiently and within limited storage. Real graphs typically have thousands or millions ... typically produce overcomplete bases, which wastes both space and time. In this paper we propose ... while achieving significant savings in space and time: on real data, Colibri-S requires much ... less space and is orders of magnitude faster (in proportion to the square...
  • RESCU

  • Referenced in 2 articles [sw18285]
  • RESCU: A real space electronic structure method. In this work we present RESCU, a powerful ... than 5000 atoms when using a real space grid discretization. The scaling is better...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • variables [WPD94, LPW97b]. Typical application areas include real-time controllers and communication protocols in particular ... reachability analysis of the symbolic state-space. Since version 3.2 it can also check liveness ... traces in case verification of a particular real-time system fails. The diagnostic traces...
  • ShengBTE

  • Referenced in 3 articles [sw17641]
  • initio calculations, using a real-space finite-difference approach, is also publicly available for download...
  • SPARC

  • Referenced in 3 articles [sw22290]
  • SPARC (Simulation Package for Ab-initio Real-space Calculations), we present an accurate and efficient...
  • Gross-Pitaevskii

  • Referenced in 29 articles [sw12711]
  • step Crank-Nicholson method by discretizing in space and time. The discretized equation is then ... solved by propagation, in either imaginary or real time, over small time steps. The method...
  • SMOTE

  • Referenced in 136 articles [sw34239]
  • categories are not approximately equally represented. Often real-world data sets are predominately composed ... achieve better classifier performance (in ROC space) than only under-sampling the majority class. This...
  • GOLEM

  • Referenced in 52 articles [sw24695]
  • systems. It has been applied successfully on real-world problems such as protein structure prediction ... because it avoids searching a large hypothesis space for consistent hypotheses as, for instance, FOIL...
  • ATLAS

  • Referenced in 1 article [sw18242]
  • ATLAS: a real-space finite-difference implementation of orbital-free density functional theory. Orbital-free ... implemented software. Here we develop a real-space finite-difference (FD) method for the numerical ... equation. Our approach engages both the real-space finite-difference method and a direct energy...