• GpBiCg

  • Referenced in 52 articles [sw07030]
  • iterative method which is a hybrid of the BiCGSTAB and GPBiCG methods is proposed ... BiCGSTAB2 method which is a hybrid type method, two parameters of the BiCGSTAB method...
  • Ninf-G/MPI

  • Referenced in 43 articles [sw03461]
  • hybrid parallel method for large sparse eigenvalue problems on a grid computing environment using Ninf ... present paper, we propose a hybrid parallel method for large sparse eigenvalue problems ... parallel efficiency of the method, we propose a hybrid implementation using a GridRPC system Ninf ... examined the performance of the proposed method in an environment where several PC clusters...
  • Pueblo

  • Referenced in 26 articles [sw00743]
  • This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into ... approach include a light-weight and efficient hybrid learning and backjumping strategy for analyzing ... learned PB constraints are introduced. Overall, our method benefits significantly from the pruning power ... thorough comparison between them and our hybrid method. Experimental comparison of our method against other...
  • BiCGstab

  • Referenced in 100 articles [sw04022]
  • BiCGstab($l$) and other hybrid Bi-CG methods. Various implementations of the modification BiCGstab...
  • HYBRJ

  • Referenced in 33 articles [sw05309]
  • modification of the Powell hybrid method. The user must provide a subroutine which calculates...
  • 4D-VAR

  • Referenced in 11 articles [sw03477]
  • performed. Finally, a hybrid method is introduced, by considering a few iterations ... first iterations and also that the hybrid method can both improve notably the quality...
  • GSHMC

  • Referenced in 13 articles [sw02631]
  • method for molecular simulation. The hybrid Monte Carlo (HMC) method is a popular and rigorous ... Monte Carlo step, the generalized hybrid Monte Carlo (GHMC) method can be implemented with ... methods. The proposed generalized shadow hybrid Monte Carlo (GSHMC) method is applicable...
  • MALLBA

  • Referenced in 21 articles [sw00542]
  • three families of generic resolution methods: exact, heuristic and hybrid. Moreover, for each resolution method...
  • HAS-QAP

  • Referenced in 32 articles [sw20506]
  • reactive tabu search, hybrid genetic algorithm, and a simulated annealing method. Experimental results show that...
  • Beam-ACO

  • Referenced in 20 articles [sw11745]
  • Beam-ACO - hybridizing ant colony optimization with beam search: an application to open shop scheduling ... tree search method. Based on this observation, we hybridize the solution construction mechanism ... which is a well-known tree search method. We call this approach Beam...
  • Modulef

  • Referenced in 17 articles [sw01072]
  • type of finite element method, for example, conforming, non-conforming, hybrid, or mixed...
  • SONIC

  • Referenced in 4 articles [sw10883]
  • optimal linear programming preconditioners, extended Newton method, hybrid Newton method with probation approach...
  • ToOLS

  • Referenced in 4 articles [sw21244]
  • ToOLS: A library for partial and hybrid search methods. We present a library called ToOLS ... also, a specific class of hybrid local/global search methods called Large Neighborhood Search, which ... suited to CP technology. Variants of those methods are easy to implement with the ToOLS ... knapsack problem. Several partial and hybrid search methods are compared. The best results...
  • Benchmarks

  • Referenced in 20 articles [sw04612]
  • linear hybrid systems. We start from a classical method that uses interval arithmetic to check...
  • PPL

  • Referenced in 63 articles [sw05357]
  • languages and synchronization protocols, real-time and hybrid systems. Since the seminal work ... played an important role in the formal methods community and several critical tasks rely...
  • OPT++

  • Referenced in 15 articles [sw05203]
  • parallel direct search hybrid, and a wrapper to NPSOL. Between these methods, a wide range...
  • ERATO

  • Referenced in 37 articles [sw11922]
  • spectrum can be examined. Solution method: The variational form of the 2D ideal MHD equations ... treated by a finite hybrid element approach, which proves to be well suited to describe...
  • PHAVer

  • Referenced in 87 articles [sw04123]
  • exact verification of safety properties of hybrid systems with piecewise constant bounds on the derivatives ... complexity of the polyhedral computations, we propose methods to conservatively limit the number of bits...
  • d/dt

  • Referenced in 31 articles [sw10314]
  • d/dt which provides automatic safety verification of hybrid systems with linear continuous dynamics with uncertain ... verification procedure is based on a method for overapproximating reachable sets by orthogonal polyhedra...
  • Bonmin

  • Referenced in 123 articles [sw04766]
  • there is a need for developing new methods and software for solving large-scale problems ... optimization software. A class of hybrid algorithms, of which branch-and-bound and polyhedral outer...