
KeYmaera
 Referenced in 41 articles
[sw03709]
 valued firstorder 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 branchandbound 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...

TCHAT
 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 TCHAT, to perform bifurcation analysis of systems ... time events, often referred to as hybrid dynamical systems. Boundaryvalueproblem 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]
 domainspecific 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 multithreaded software distributed ... passing primitives to make it a hybridprogramming 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...

NinfG/MPI
 Referenced in 45 articles
[sw03461]
 present paper, we propose a hybrid parallel method for large sparse eigenvalue problems ... suitable for masterworker 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 ... easyblockdecomposition hybrid proximal extragradient method called 2EBDHPE by R. Monteiro ... solving twoeasyblock 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 multilocus 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 largescale quadratic programming problems (QPs) we develop a structure exploiting ... multiple shooting structure, and a hybrid language programming paradigm to minimize setup and solution time...

GPSCLHYB
 Referenced in 4 articles
[sw18221]
 Hybrid OpenMP/MPI programs for solving the timedependent GrossPitaevskii equation in a fully anisotropic ... hybrid OpenMP/MPI (Open MultiProcessing/Message Passing Interface) parallelized versions of earlier published C programs ... condensates at ultracold 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 mixedinteger quadraticallyconstrained quadratic programs (MIQCQP) include quality blending in process networks ... sequences, wastewater treatment and total water systems, hybrid energy systems, heat exchanger networks, reactorseparator...