• PSwarm

  • Referenced in 70 articles [sw00742]
  • PSwarm: a hybrid solver for linearly constrained global derivative-free optimization. PSwarm was developed originally...
  • HIFOO

  • Referenced in 63 articles [sw05188]
  • performance optimization problems. It depends on a hybrid algorithm for nonsmooth, nonconvex optimization based...
  • SDPNAL+

  • Referenced in 63 articles [sw13239]
  • easy-block-decomposition hybrid proximal extragradient method called 2EBD-HPE by R. Monteiro...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • tool for reachability analysis of continuous and hybrid systems with linear differential inclusions. The d/dt ... tool for verification of hybrid systems. We describe the tool d/dt which provides automatic safety ... verification of hybrid systems with linear continuous dynamics with uncertain input. The verification procedure...
  • HAS-QAP

  • Referenced in 37 articles [sw20506]
  • problem. This paper presents HAS-QAP, a hybrid ant colony system coupled with a local ... search, namely, robust and reactive tabu search, hybrid genetic algorithm, and a simulated annealing method ... results show that HAS-QAP and the hybrid genetic algorithm perform best on real world...
  • Pueblo

  • Referenced in 34 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 ... thorough comparison between them and our hybrid method. Experimental comparison of our method against other ... hybrid approaches is also demonstrated. Additionally, we provide details of the MiniSAT-based implementation...
  • Mfold

  • Referenced in 42 articles [sw12672]
  • server for nucleic acid folding and hybridization prediction. The abbreviated name, ‘mfold web server’, describes ... access to RNA and DNA folding and hybridization software to the scientific community at large...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • version of Clean offers a hybrid type system with both static as well as dynamic...
  • DISCOVERER

  • Referenced in 58 articles [sw07719]
  • generation of programs, and reachability computation of hybrid systems...
  • DifferentialEquations.jl

  • Referenced in 58 articles [sw23910]
  • equations, algebraic differential equations, delay differential equations, hybrid differential equations, jump diffusions, and (stochastic) partial...
  • DENFIS

  • Referenced in 57 articles [sw24183]
  • time series prediction. DENFIS evolve through incremental, hybrid (supervised/unsupervised), learning, and accommodate new input data...
  • WASP

  • Referenced in 56 articles [sw09565]
  • branching heuristics, WASP adopts the BerkMin criterion hybridized with look-ahead techniques. The paper also...
  • Bison

  • Referenced in 40 articles [sw17681]
  • Bison: A fast hybrid procedure for exactly solving the one-dimensional bin packing problem ... bins. For solving BPP-1, an exact hybrid solution procedure, called BISON, is proposed...
  • ForWaRD

  • Referenced in 55 articles [sw12296]
  • conditioned systems. We propose an efficient, hybrid Fourier-wavelet regularized deconvolution (ForWaRD) algorithm that performs...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • HYSDEL allows modeling a class of hybrid systems described by interconnections of linear dynamic systems ... else and propositional logic rules. Once a hybrid system is modeled in a human-readable...
  • Hybrid Toolbox

  • Referenced in 28 articles [sw15053]
  • Hybrid Toolbox is a MATLAB/Simulink toolbox for modeling, simulating, and verifying hybrid dynamical systems ... designing and simulating model predictive controllers for hybrid systems subject to constraints, and for generating ... linear and hybrid MPC control laws in piecewise affine form that can be directly embedded...
  • Mesquite

  • Referenced in 37 articles [sw10590]
  • surface meshes, adapt to surface curvature, Improve hybrid meshes (including pyramids & wedges), Smooth meshes with ... volume meshes which are structured, unstructured, hybrid, or non-comformal. A variety of element types...
  • mfem

  • Referenced in 50 articles [sw22316]
  • flexible and short MATLAB programs. The first, hybrid, implementation (LMmfem) is based on Lagrange multiplier...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • environment, whether on-premise, virtual, or hybrid cloud environments. Support is included for many popular...
  • FPINNs

  • Referenced in 49 articles [sw40570]
  • novel element of the fPINNs is the hybrid approach that we introduce for constructing...