
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 branchandbound and polyhedral outer...

SpaceEx
 Referenced in 74 articles
[sw10939]
 Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine, nondeterministic ... overapproximation 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...

HASQAP
 Referenced in 37 articles
[sw20506]
 namely, robust and reactive tabu search, hybrid genetic algorithm, and a simulated annealing method. Experimental ... show that HASQAP 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 ArchiveBased 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 NonSmooth 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 Newtontype 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 Fourierwavelet 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...

EVEOPT
 Referenced in 5 articles
[sw02695]
 hybrid algorithm for the capacitated vehicle routing problem. This paper presents EVEOPT, 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 stateofthe 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]
 multilevel additive and hybrid Schwarz algorithms. In the multilevel case, a purely algebraic...