• KeYmaera

  • Referenced in 41 articles [sw03709]
  • valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata...
  • mfem

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

  • Referenced in 55 articles [sw07719]
  • invariant generation of programs, and reachability computation of hybrid systems...
  • HSolver

  • Referenced in 42 articles [sw07419]
  • HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER...
  • Bonmin

  • Referenced in 190 articles [sw04766]
  • previous work in mixed integer nonlinear programming, this work represents the first step ... optimization software. A class of hybrid algorithms, of which branch-and-bound and polyhedral outer...
  • Scilab

  • Referenced in 168 articles [sw00834]
  • mathematical functions. It has a high level programming language allowing access to advanced data structures ... manage data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical...
  • TC-HAT

  • Referenced in 27 articles [sw13068]
  • continuation of periodic trajectories in hybrid dynamical systems. This paper describes the underlying formulation ... functionality of the newly developed software program TC-HAT, to perform bifurcation analysis of systems ... time events, often referred to as hybrid dynamical systems. Boundary-value-problem formulations corresponding ... program are illustrated by performing bifurcation analysis of a few example hybrid dynamical systems...
  • SALSA

  • Referenced in 30 articles [sw02661]
  • Constraint Programming is recognized as an efficient technique for solving hard combinatorial optimization problems. However ... optimization paradigms such as local search, yielding hybrid algorithms with constraints. Such combinations lack ... Logic Programming. We propose a language, SALSA, dedicated to specifying (local, global or hybrid) search...
  • Yampa

  • Referenced in 11 articles [sw13681]
  • domain-specific embedded language for the programming of hybrid (discrete and continuous time) systems using...
  • ParADE

  • Referenced in 5 articles [sw14959]
  • clusters. It is an OpenMP programming environment on top of a multi-threaded software distributed ... passing primitives to make it a hybrid-programming environment. Collective communication primitives are used ... between the OpenMP abstraction and the hybrid programming interfaces of the runtime system. The experiments...
  • TSPTW

  • Referenced in 36 articles [sw04709]
  • propose a hybrid approach for solving the TSPTW that merges Constraint Programming propagation algorithms...
  • Ninf-G/MPI

  • Referenced in 45 articles [sw03461]
  • present paper, we propose a hybrid parallel method for large sparse eigenvalue problems ... suitable for master-worker type parallel programming models. In order to improve the parallel efficiency ... method, we propose a hybrid implementation using a GridRPC system Ninf...
  • SDPNAL+

  • Referenced in 41 articles [sw13239]
  • SDPAD by Z. Wen et al. [Math. Program. Comput ... easy-block-decomposition hybrid proximal extragradient method called 2EBD-HPE by R. Monteiro ... solving two-easy-block structured semidefinite programs”, Math. Program. Comput...
  • Ogen

  • Referenced in 25 articles [sw18283]
  • algorithm. The ogen program can also be used to build unstructured hybrid grids where...
  • STRUCTURE

  • Referenced in 71 articles [sw13672]
  • program structure is a free software package for using multi-locus genotype data to investigate ... distinct populations, assigning individuals to populations, studying hybrid zones, identifying migrants and admixed individuals...
  • Liszt

  • Referenced in 4 articles [sw20275]
  • computing. However, it is difficult to program hybrid architectures and there is no commonly accepted...
  • MUSCOP

  • Referenced in 7 articles [sw06143]
  • solution of the occurring large-scale quadratic programming problems (QPs) we develop a structure exploiting ... multiple shooting structure, and a hybrid language programming paradigm to minimize setup and solution time...
  • GP-SCL-HYB

  • Referenced in 4 articles [sw18221]
  • Hybrid OpenMP/MPI programs for solving the time-dependent Gross-Pitaevskii equation in a fully anisotropic ... hybrid OpenMP/MPI (Open Multi-Processing/Message Passing Interface) parallelized versions of earlier published C programs ... condensates at ultra-cold temperatures. Hybrid versions of programs use the same algorithms...
  • UNAFold

  • Referenced in 8 articles [sw12671]
  • integrated collection of programs that simulate folding, hybridization, and melting pathways ... Images of secondary structures, hybridizations, and dot plots may be computed using common formats. Similarly ... package is “command line” driven. Underlying compiled programs may be used individually, or in special ... bioinfo.​rpi.​edu/​applications/​hybrid/​download...
  • GloMIQO

  • Referenced in 72 articles [sw06266]
  • applications of mixed-integer quadratically-constrained quadratic programs (MIQCQP) include quality blending in process networks ... sequences, wastewater treatment and total water systems, hybrid energy systems, heat exchanger networks, reactor-separator...