
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 spaceefficient discreteevent 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]
 secondorder 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 phasespace 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...

ABCSubSim
 Referenced in 12 articles
[sw10099]
 with the technique of subset simulation for efficient rareevent 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 depthfirst 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 selforganize and adapt...

UPPAAL TIGA
 Referenced in 40 articles
[sw12913]
 until now been a lack of efficient and truly onthefly algorithms for their ... statespace. 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...