• bootlib

  • Referenced in 426 articles [sw40642]
  • processes. Chapter 9 describes how variance reduction techniques such as balanced simulation can be adapted...
  • Knapsack

  • Referenced in 488 articles [sw04723]
  • with respect to relaxations, bounds, reductions and other algorithmic techniques for the exact solution. Computational...
  • UMAP

  • Referenced in 30 articles [sw34900]
  • novel manifold learning technique for dimension reduction. UMAP is constructed from a theoretical framework based ... viable as a general purpose dimension reduction technique for machine learning...
  • Maude-NPA

  • Referenced in 35 articles [sw12159]
  • State space reduction in the Maude-NRL protocol analyzer. The Maude-NRL Protocol Analyzer (Maude ... infinite search paths. In order for the techniques to prove useful, they need not only ... paper we describe some state space reduction techniques that we have implemented in Maude...
  • VTK

  • Referenced in 120 articles [sw10593]
  • methods; and advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring...
  • na12

  • Referenced in 29 articles [sw11490]
  • solving queueing problems. The cyclic reduction technique (Buzbee et al., 1970), rephrased in functional form ... step of cyclic reduction (Bini and Meini,1996). This new technique allows us to devise...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • correct and terminating. The two major techniques are the lazy intruder, which is a symbolic ... differentiation, which is a general search-reduction technique that integrates the lazy intruder with ideas ... from partial-order reduction. Moreover, OFMC allows one to analyze security protocols with respect ... ongoing integration of fixed-point-based techniques for protocol verification for an unbounded number...
  • SINDy

  • Referenced in 29 articles [sw30277]
  • driven modelling framework that uses sparse regression techniques to identify nonlinear low-order models. With ... combine this approach with dimensionality reduction techniques (e.g. proper orthogonal decomposition) and extend...
  • redbKIT

  • Referenced in 255 articles [sw12977]
  • techniques, investigate their approximation properties and analyze offline-online decomposition strategies aimed at the reduction...
  • SuitSparseQR

  • Referenced in 35 articles [sw07592]
  • supports anti-time aliasing and reduction velocity technique. Different attenuation mechanisms can easily be implemented...
  • GLOPT

  • Referenced in 19 articles [sw00359]
  • minimizer. \parGLOPT uses a branch and bound technique to split the problem recursively into subproblems ... this paper we discuss a new reduction technique for boxes and new ways for generating...
  • GAP

  • Referenced in 19 articles [sw26294]
  • than conventional graphical methods when dimension reduction techniques fail or when data is of ordinal...
  • CALMA

  • Referenced in 106 articles [sw03235]
  • techniques including a variety of local search methods, genetic algorithms, neural networks, and potential reduction...
  • ORB5

  • Referenced in 12 articles [sw10369]
  • field solver and several numerical noise reduction techniques. A particular feature ... coordinates and a field-aligned Fourier filtering technique that dramatically improves the performance ... terms of both the numerical noise reduction and the maximum time step allowed. Another feature...
  • CeTA

  • Referenced in 47 articles [sw06584]
  • dependency graphs, and reduction pairs. Second, for each of these techniques we developed an executable...
  • rsvd

  • Referenced in 10 articles [sw16104]
  • component analysis (PCA), a linear dimensionality reduction technique. Randomized PCA (rpca) uses the approximated singular...
  • MONA

  • Referenced in 133 articles [sw06170]
  • tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager ... cache-conscious data structures. We describe these techniques and quantify their respective effects by experimenting...
  • dr

  • Referenced in 7 articles [sw11746]
  • demonstration presents the Matlab Toolbox for Dimensionality Reduction. The toolbox is publicly available and contains ... state-of-the-art techniques for dimensionality reduction and intrinsic dimensionality estimation. It provides ... implementations of 27 techniques for dimensionality reduction, 6 techniques for intrinsic dimensionality estimation, and additional ... state-of-the-art techniques for dimensionality reduction...
  • UNU.RAN

  • Referenced in 9 articles [sw09367]
  • made. random variates for variance reduction techniques are used. fast generators of predictable quality...
  • Rebeca

  • Referenced in 9 articles [sw09422]
  • verification, abstraction, symmetry and partial order reduction techniques for reducing the state space. Simple message...