• Dirac_Laczos

  • Referenced in 5 articles [sw16747]
  • Lanczos algorithm can yield very precise eigenenergies and allows very precise time propagation of relativistic ... hinder the applicability of the Lanczos algorithm. As the Lanczos algorithm requires only matrix-vector ... parallel implementation of the Dirac Lanczos propagator utilizing the Message Passing Interface standard...
  • GraphLab

  • Referenced in 24 articles [sw12830]
  • like MapReduce by compactly expressing asynchronous iterative algorithms with sparse computational dependencies while ensuring data ... designing and implementing parallel versions of belief propagation, Gibbs sampling, Co-EM, Lasso and Compressed...
  • Skyblue

  • Referenced in 11 articles [sw07280]
  • incremental constraint solver that uses local propagation to maintain a set of constraints as individual ... more general successor to the DeltaBlue algorithm that satisfies cycles of methods by calling external...
  • LabelRankT

  • Referenced in 5 articles [sw20731]
  • Community Detection in Dynamic Networks via Label Propagation. An increasingly important challenge in network analysis ... stream. There is a need for algorithms that can incrementally update and monitor communities whose ... algorithm for detection of communities in large-scale dynamic networks through stabilized label propagation. Results ... much lower computational costs than other algorithms. It also improves the quality of the detected...
  • STR

  • Referenced in 6 articles [sw32183]
  • powers of propagators and the spacetime dimension. In our algorithm we include both identities...
  • SATLike

  • Referenced in 2 articles [sw36041]
  • techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability. Maximum Satisfiability ... methods for Partial MaxSAT. Nevertheless, local search algorithms have been dominated by SAT-based algorithms ... MaxSAT benchmarks. We propose a local search algorithm, called SATLike, which exploits the structure ... SATLike by integrating a unit propagation based decimation algorithm to generate initial solutions, leading...
  • diffusr

  • Referenced in 2 articles [sw17900]
  • Implementation of network diffusion algorithms such as insulated heat propagation or Markov random walks. Network ... diffusion algorithms generally spread information in the form of node weights along the edges ... internet. The information (node weights) is iteratively propagated to other nodes until a equilibrium state...
  • RALF

  • Referenced in 4 articles [sw33955]
  • exploration criteria for label propagation as well as other algorithms such...
  • MGRIT

  • Referenced in 19 articles [sw30280]
  • equivalent to the widely known parareal algorithm. The goal of this paper is twofold. First ... that the coarse and fine time-grid propagators can be diagaonalized by the same ... time grids. In many cases, the MGRIT algorithm is guaranteed to converge, and we demonstrate...
  • amodMC

  • Referenced in 6 articles [sw06614]
  • method similar to Algorithmic Differentiation (AD) is presented which allows the propagation of, in general ... performs the automatic propagation of the relaxation and of corresponding subgradients based on the principles ... used in a deterministic global optimization algorithm based on a branch-and-bound method...
  • NSLPCD

  • Referenced in 1 article [sw39118]
  • using node significance Based label propagation community detection algorithm. Social networks like Twitter, Facebook have ... widely used communication platforms for people to propagate information rapidly. Fast diffusion of information creates ... approach - Node Significance based Label Propagation Community Detection (NSLPCD) algorithm, which detects the topic faster...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • Algorithm 852 Realpaver: nonlinear constraint solving & rigorous global optimization. Problems: Realpaver allows modeling and solving ... various fields: interval fixed-point operators, constraint propagation and local consistency techniques, local optimization using...
  • POEM

  • Referenced in 7 articles [sw03469]
  • some powerful partial order based model checking algorithms. POEM consists of a set of modules ... constant propagation, model transformation, transition generation including dependency analysis for partial order algorithms...
  • gprMax

  • Referenced in 3 articles [sw25219]
  • that simulates electromagnetic wave propagation. It uses Yee’s algorithm to solve Maxwell’s equations ... also be used to model electromagnetic wave propagation for many other applications. gprMax is command...
  • MaxSolver

  • Referenced in 20 articles [sw01990]
  • most competitive exact algorithms for solving max-SAT. In this paper, we propose and investigate ... first strategy is a set of unit propagation or unit resolution rules...
  • ARCTIC

  • Referenced in 7 articles [sw22339]
  • beam propagating in a straight ionized channel through a background plasma. The implicit algorithm used...
  • coco_gop_ex

  • Referenced in 4 articles [sw10850]
  • conditions, etc.) and algorithmic elements (inclusion/exclusion boxes, local search, constraint propagation). This resulted ... that gave empirical answers to long-lasting algorithmic questions (such as whether to use interval...
  • fairness

  • Referenced in 1 article [sw35210]
  • reinforce existing social biases. While unfair algorithms can propagate such biases and offer prediction ... socioeconomic status, physical or mental disabilities), fair algorithms possess the underlying foundation that these groups...
  • LRP toolbox

  • Referenced in 1 article [sw17849]
  • neural networks. The Layer-wise Relevance Propagation (LRP) algorithm explains a classifier’s prediction specific...
  • NICO

  • Referenced in 1 article [sw27599]
  • networks and training with the back-propagation learning algorithm. The network topology is very flexible...