• Bonmin

  • Referenced in 211 articles [sw04766]
  • algorithmic framework for convex mixed integer nonlinear programs. This paper is motivated by the fact ... optimization software. A class of hybrid algorithms, of which branch-and-bound and polyhedral outer...
  • SpaceEx

  • Referenced in 74 articles [sw10939]
  • Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine, non-deterministic ... over-approximation of the reachable states. The algorithm improves over previous work by using variable ... algorithm is implemented as part of SpaceEx, a new verification platform for hybrid systems, available...
  • HIFOO

  • Referenced in 62 articles [sw05188]
  • optimization problems. It depends on a hybrid algorithm for nonsmooth, nonconvex optimization based on quasi...
  • HAS-QAP

  • Referenced in 37 articles [sw20506]
  • namely, robust and reactive tabu search, hybrid genetic algorithm, and a simulated annealing method. Experimental ... show that HAS-QAP and the hybrid genetic algorithm perform best on real world, irregular...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • paradigms such as local search, yielding hybrid algorithms with constraints. Such combinations lack a language ... dedicated to specifying (local, global or hybrid) search algorithms. We illustrate...
  • MPT

  • Referenced in 230 articles [sw04732]
  • hybrid systems. Efficiency of the code is guaranteed by the extensive library of algorithms from...
  • MAGMA

  • Referenced in 55 articles [sw12741]
  • will themselves have to hybridize, combining the strengths of different algorithms within a single framework ... design linear algebra algorithms and frameworks for hybrid manycore and GPU systems that can enable...
  • HyTech

  • Referenced in 331 articles [sw04125]
  • linear hybrid system satisfies a temporal requirement. Hybrid systems are specified as collections of automata ... trace. The standard reference to the HyTech algorithm is [1], and the standard reference...
  • bnlearn

  • Referenced in 74 articles [sw08265]
  • Tabu Search) and hybrid (MMHC and RSMAX2) structure learning algorithms for both discrete and Gaussian...
  • AbYSS

  • Referenced in 22 articles [sw09881]
  • propose the use of a new algorithm to solve multiobjective optimization problems. Our proposal adapts ... multiobjective domain. The result is a hybrid metaheuristic algorithm called Archive-Based hYbrid Scatter Search ... uses mutation and crossover operators from evolutionary algorithms. AbYSS incorporates typical concepts from the multiobjective...
  • HANSO

  • Referenced in 18 articles [sw05271]
  • HANSO: Hybrid Algorithm for Non-Smooth Optimization A MATLAB package based on the BFGS...
  • NAPHEAP

  • Referenced in 11 articles [sw23701]
  • efficient hybrid algorithm for the separable convex quadratic knapsack problem. This article considers the problem ... version of the variable fixing algorithm is developed that is convergent even when the objective ... strictly positive definite. The hybrid algorithm NAPHEAP that uses a Newton-type method (variable fixing...
  • AntHocNet

  • Referenced in 14 articles [sw28057]
  • networks. It is a hybrid algorithm, which combines reactive path setup with proactive path probing...
  • ForWaRD

  • Referenced in 55 articles [sw12296]
  • propose an efficient, hybrid Fourier-wavelet regularized deconvolution (ForWaRD) algorithm that performs noise regularization...
  • Scilab

  • Referenced in 173 articles [sw00834]
  • modeling Control System Design & Analysis: Standard algorithms and tools for control system study Signal Processing ... manage data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical...
  • EVE-OPT

  • Referenced in 5 articles [sw02695]
  • hybrid algorithm for the capacitated vehicle routing problem. This paper presents EVE-OPT, a Hybrid ... Capacitated Vehicle Routing Problem. Several hybrid algorithms have been proposed in recent years for solving ... need to be considered. The algorithm described here hybridizes two very simple heuristics and introduces ... very complex state-of-the art algorithms...
  • HTab

  • Referenced in 12 articles [sw12427]
  • logic. A variety of proof mechanisms for hybrid logic exist, but the only widely available ... logics. Tableaux algorithms have also been developed for a number of hybrid logics ... implementation of a terminating tableaux algorithm for the hybrid logic...
  • Elkhound

  • Referenced in 8 articles [sw00236]
  • these problems. First, we present a hybrid algorithm that chooses between GLR and ordinary...
  • RFCM

  • Referenced in 8 articles [sw02668]
  • RFCM: a hybrid clustering algorithm using rough and fuzzy sets. A hybrid unsupervised learning algorithm...
  • MLD2P4

  • Referenced in 13 articles [sw07206]
  • multi-level additive and hybrid Schwarz algorithms. In the multi-level case, a purely algebraic...