
Bonmin
 Referenced in 198 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 57 articles
[sw05188]
 optimization problems. It depends on a hybrid algorithm for nonsmooth, nonconvex optimization based on quasi...

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...

HASQAP
 Referenced in 35 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...

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

MAGMA
 Referenced in 54 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 330 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...

AbYSS
 Referenced in 21 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...

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

HANSO
 Referenced in 16 articles
[sw05271]
 HANSO: Hybrid Algorithm for NonSmooth Optimization A MATLAB package based on the BFGS...

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

NAPHEAP
 Referenced in 9 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...

ForWaRD
 Referenced in 54 articles
[sw12296]
 propose an efficient, hybrid Fourierwavelet regularized deconvolution (ForWaRD) algorithm that performs noise regularization...

Scilab
 Referenced in 172 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...

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

HTab
 Referenced in 11 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...

MLD2P4
 Referenced in 12 articles
[sw07206]
 multilevel additive and hybrid Schwarz algorithms. In the multilevel case, a purely algebraic...

hABCDE
 Referenced in 7 articles
[sw14869]
 hABCDE: a hybrid evolutionary algorithm based on artificial bee colony algorithm and differential evolution. Artificial ... competitive with other population based algorithms. However, there is still an insufficiency in ABC regarding ... explanation, this paper presents a novel hybrid evolutionary algorithm named hABCDE, which integrates a modified...