• EnKF

  • Referenced in 346 articles [sw02066]
  • proven to efficiently handle strongly nonlinear dynamics and large state spaces and is now used ... summer 2003 could have been more efficiently forecast if the EnKF had been used...
  • Möbius

  • Referenced in 24 articles [sw04098]
  • their problem domains, and then accurately and efficiently solve the systems using the solution techniques ... systems’ size and complexity. Time- and space-efficient discrete-event simulation and numerical solution, based...
  • Manopt

  • Referenced in 84 articles [sw08493]
  • geometry of the search space can be leveraged to design efficient numerical algorithms. In particular...
  • HdBCS

  • Referenced in 76 articles [sw29884]
  • implementing a an efficient stochastic search algorithm for for exploring spaces of Gaussian Graphical Models...
  • MooNMD

  • Referenced in 71 articles [sw00592]
  • arbitrary finite element spaces can be implemented easily and computed efficiently...
  • SIGREF

  • Referenced in 15 articles [sw00859]
  • generic building blocks, which naturally correspond to efficient BDD operations. Thus, the definition ... where our framework can handle state spaces efficiently that are far too large to handle ... tool that requires an explicit state space description...
  • SDPT3

  • Referenced in 609 articles [sw04009]
  • second-order cones, nonnegative orthants and Euclidean spaces; and whose objective function ... SQLP solver. Various techniques to improve the efficiency and stability of the algorithm are incorporated...
  • GOLEM

  • Referenced in 52 articles [sw24695]
  • achieves this efficiency because it avoids searching a large hypothesis space for consistent hypotheses...
  • Algorithm 447

  • Referenced in 137 articles [sw12877]
  • Algorithm 447: effcient algorithms for graph manipulation. Efficient algorithms are presented for partitioning a graph ... edges, each algorithm requires time and space proportional to max (V, E) when executed...
  • VAMPIRE

  • Referenced in 237 articles [sw02918]
  • techniques are used for pruning the search space: subsumption, tautology deletion (optionally modulo commutativity), subsumption ... used for this CASC. A number of efficient indexing techniques are used to implement...
  • MadEvent

  • Referenced in 31 articles [sw07194]
  • mappings needed for an efficient integration over the phase space, and passes them to MadEvent...
  • SAFARI

  • Referenced in 9 articles [sw28669]
  • invariants to prune the search space efficiently...
  • PHEGAS

  • Referenced in 30 articles [sw02242]
  • section computation. A phase-space generation algorithm, capable to efficiently integrate the squared amplitude...
  • CHomP

  • Referenced in 46 articles [sw09358]
  • state space and in parameter space. Somewhat paradoxically, this points to the need ... efficient. Algebraic Topology is the classical mathematical tool for the global analysis of nonlinear spaces ... ongoing effort to develop and apply efficient and effective topologically based methods to the analysis...
  • ABC-SubSim

  • Referenced in 12 articles [sw10099]
  • with the technique of subset simulation for efficient rare-event simulation, first developed ... actual data vector in observation space. The efficiency of the algorithm is demonstrated...
  • Korat

  • Referenced in 31 articles [sw07259]
  • bounded input space of the predicate but does so efficiently by monitoring the predicate ... from Java predicates, even when the search space for inputs is very large. This paper...
  • METEOR

  • Referenced in 16 articles [sw26327]
  • significant mathematical theorems. Although very efficient with storage space, the depth-first implementations that take...
  • Pastry

  • Referenced in 107 articles [sw11775]
  • message and a key, a Pastry node efficiently routes the message to the node with ... immediate neighbors in the nodeId space, and notifies applications of new node arrivals, node failures ... nodes confirm Pastry’s scalability and efficiency, its ability to self-organize and adapt...
  • UPPAAL TIGA

  • Referenced in 40 articles [sw12913]
  • until now been a lack of efficient and truly on-the-fly algorithms for their ... state-space. Also the individual steps of the algorithm are carried out efficiently...
  • Waldmeister

  • Referenced in 44 articles [sw19568]
  • that efficiency has been reached in terms of time as well as of space. Within...