×

Found 47 Software Packages (Results 1–47)

MPT

Software Authors:   M. Kvasnica; P. Grieder; M. Baoti; ETH Zürich; Borrelli, Francesco
Referenced in: 229 Publications (2004–2022)
Related Software: YALMIP; CPLEX; Matlab; Hybrid Toolbox; Gurobi; fast_mpc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Esterel

Software Authors:   Gérard Berry
Referenced in: 133 Publications (1985–2022)
Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

CVXGEN

Software Authors:   J. Mattingley; S. Boyd
Referenced in: 42 Publications (2010–2022)
Related Software: qpOASES; ECOS; fast_mpc; CVX; Gurobi; SeDuMi; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

PAT

Software Authors:   Jun Sun, Yang Liu , Jin Song Dong , Jun Pang
Referenced in: 32 Publications (2011–2022)
Related Software: Uppaal; SPIN; ProB; Coq; PVS; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

TOP/DOMDEC

Software Authors:   C. Farhat, S. Lanteri, H.D. Simon
Referenced in: 9 Publications (1994–2017)
Related Software: Chaco; FIVER; MESHPART; PARTY; Scotch; PLUM; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

GRAMPC

Software Authors:   Englert, Tobias; Völz, Andreas; Mesmer, Felix; Rhein, Sönke; Graichen, Knut
Referenced in: 8 Publications (2018–2022)
Related Software: VIATOC; ACADO; qpOASES; acados; GitHub; FORCES NLP; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

ROBOTRAN

Software Authors:   N. Docquier, A. Poncelet, P. Fisette
Referenced in: 7 Publications (1993–2020)
Related Software: Chrono; Pasimodo; SYMORO+; MuJoCo; OpenSYMORO; Bullet; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mechanics of particles and systems (70-XX)

TaxiSimulation

Software Authors:   Bertsimas, Dimitris; Jaillet, Patrick; Martin, Sébastien
Referenced in: 8 Publications (2019–2022)
Related Software: VRP; GitHub; CPLEX; MATPOWER; TSPTW
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SHARP

Software Authors:   Stefano Marchesini, Hari Krishnan, Benedikt J. Daurer, David A. Shapiro, Talita Perciano, James A. Sethian, Filipe R.N.C. Maia
Referenced in: 6 Publications (2019–2021)
Related Software: PtychoLib; PtyPy; CUDA; Regularization tools; LSQR; BlockPR
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Optics, electromagnetic theory (78-XX)

TSPAntSim

Software Authors:   Uğur, Aybars; Aydin, Doğan
Referenced in: 3 Publications (2009–2012)
Related Software: TSPLIB; ECJ; VRP; EOlib
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

APMonitor

Software Authors:   John Hedengren
Referenced in: 4 Publications (2017–2020)
Related Software: RODAS; SymPy; sbtoolbox; CellML; SUNDIALS; Python; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AutoBalancer

Software Authors:   Kagami, Satoshi; Kanehiro, Fumio; Tamiya, Yukiharu; Inaba, Masayuki; Inoue, Hirochika
Referenced in: 5 Publications (2000–2010)
Related Software:
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Soda

Software Authors:   Joel Wolf; Nikhil Bansal; Kirsten Hildrum; Sujay Parekh; Deepak Rajan; Rohit Wagle; Kun-Lung Wu; Lisa Fleischer
Referenced in: 1 Publication (2014)
Related Software: TelegraphCQ; Java CoG Kit; Pegasus; Taverna; GridSim; WebSphere; …
Main Fields: Computer science (68-XX)

Gene Designer

Software Authors:   Villalobos, A.; Ness, J. E.; Gustafsson, C.; Minshull, J.; Govindarajan, S.
Referenced in: 3 Publications (2008–2014)
Related Software: OPTIMIZER; Synthetic Gene Designer; GeMS; JCat; UpGene; EuGene; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

TopOpt 2D

Software Authors:   N. Aage, M.N. Jørgensen, C.S. Andreasen, O. Sigmund
Referenced in: 3 Publications (2004–2012)
Related Software: TopOpt 3D; top.m; top88.m; Matlab; Unity3D; NLPQL
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Torsche

Software Authors:   Roman Čapek; Zdeněk Hanzálek; Přemysl Šůcha; Michal Sojka
Referenced in: 3 Publications (2010–2012)
Related Software: TrueTime; MaRTE OS; Ptolemy; ATPDraw; EJS; LEKIN; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DuQuad

Software Authors:   I. Necoara, S. Kvamme
Referenced in: 3 Publications (2015–2022)
Related Software: qpOASES; VIATOC; GRAMPC; ACADO; HQP/OMUSES; Matlab; …
Main Fields: (04-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

FBstab

Software Authors:   Liao-McPherson, Dominic; Kolmanovsky, Ilya
Referenced in: 3 Publications (2020–2022)
Related Software: QPALM; OSQP; qpOASES; NASOQ; QPDO; SuperMann; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

jMetalPy

Software Authors:   Benítez-Hidalgo, A.; Nebro, AJ; García-Nieto, J.; Oregi, I.; Del Ser, J.
Referenced in: 1 Publication (2021)
Related Software: Python; PlatEMO; NumPy; Matplotlib; Platypus; MOEA; …
Main Fields: Operations research, mathematical programming (90-XX)

timed-pattern-matching

Software Authors:   Waga, Masaki; Akazaki, Takumi; Hasuo, Ichiro
Referenced in: 3 Publications (2016–2021)
Related Software: Montre; MONAA; Simulink; Pure
Main Fields: Computer science (68-XX)

TopOpt 3D

Software Authors:   N. Aage, M.N. Jørgensen, C.S. Andreasen, O. Sigmund
Referenced in: 2 Publications (2004–2012)
Related Software: TopOpt 2D; top88.m; top.m; Matlab; Unity3D; NLPQL
Main Fields: Mechanics of deformable solids (74-XX)

VOROPACK-D

Software Authors:   Ryu,J.,Lee,M.,Kim,D.,Kallrath,J.,Sugihara,K.,Kim,D.S
Referenced in: 3 Publications (2021–2022)
Related Software: CGAL; dynvorcuda; QTFier; MinPerim; QuickhullDisk
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

ALLopt

Software Authors:   Chen, Dewang; Chen, Long
Referenced in: 2 Publications (2013–2016)
Related Software: MPMopt; DCopt
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

BlueM.MPC

Software Authors:   bluemodel.org
Referenced in: 2 Publications (2012)
Related Software: Lamatto; SWMM5
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Operations research, mathematical programming (90-XX)

DCopt

Software Authors:   Chen, Dewang; Chen, Long
Referenced in: 2 Publications (2013–2016)
Related Software: MPMopt; ALLopt
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

DragonBreath

Software Authors:   Nareyek, A.
Referenced in: 2 Publications (2004–2005)
Related Software: Localizer; CPLEX; COMET; SALSA; OPL; EasyLocal++
Main Fields: Computer science (68-XX)

EMEuIA

Software Authors:   Dvorkin, Vladimir; Kazempour, Jalal; Pinson, Pierre
Referenced in: 2 Publications (2019–2022)
Related Software: GitHub; JuMP
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MPC Toolbox

Software Authors:   N.F. Gade-Nielsen, J.B. Jorgensen, B. Dammann
Referenced in: 2 Publications (2015)
Related Software: Matlab; PARSMI; Parallel Computing Toolbox; SIMPAR; OpenCL; CUBLAS; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

MPMopt

Software Authors:   Chen, Dewang; Chen, Long
Referenced in: 2 Publications (2013–2016)
Related Software: DCopt; ALLopt
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

OpEn

Software Authors:   Pantelis Sopasakis, Emil Fresk, Panagiotis Patrinos
Referenced in: 2 Publications (2022)
Related Software: GitHub; UNLocBoX; Alpaqa; ProximalAlgorithms.jl; ALGENCAN; HQP/OMUSES; …
Main Fields: (04-XX); Numerical analysis (65-XX); Computer science (68-XX)

PARTS

Software Authors:   Buy, U.; Sloan, R.H.
Referenced in: 2 Publications (2001–2006)
Related Software: Matlab; HyTech; Ada95
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

PRESAS

Software Authors:   Rien Quirynen, Stefano Di Cairano
Referenced in: 0 Publications
Related Software: qpOASES; QPDAS; HPIPM; OSQP; QPSchur; BLASFEO; …
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

VSIPL++

Software Authors:   Lebak, J.; Kepner, J.; Hoffmann, H.; Rudtledge, E.
Referenced in: 0 Publications
Related Software: CUDA; QUDA; PIMA(GE)2; MPI; PETSc; ScaLAPACK; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Anomalib

Software Authors:   Samet Akcay, Dick Ameln, Ashwin Vaidya, Barath Lakshmanan, Nilesh Ahuja, Utku Genc
Referenced in: 0 Publications
Related Software: CFLOW-AD; GANomaly; TensorFlow; PyTorch Lightning; Scikit; PaDiM; …
Main Fields:

COStar

Software Authors:   Liu, Xiaowu; Deng, Riqiang; Wang, Jinwen; Wang, Xunzhang
Referenced in: 1 Publication (2014)
Related Software: OPTIMIZER; EuGene; GeneOptimizer; GASCO; Synthetic Gene Designer; Gene Designer; …
Main Fields: Biology and other natural sciences (92-XX)

GAME-HDL

Software Authors:   Drechsler, Rolf; Drechsler, Nicole
Referenced in: 1 Publication (2003)
Related Software:
Main Fields: Computer science (68-XX)

GEKKO

Software Authors:   –
Referenced in: 1 Publication (2020)
Related Software: Python; PuLP; Pyomo; Matlab
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX)

GESOP

Software Authors:   Astos Solutions GmbH
Referenced in: 0 Publications
Related Software: SOCS; PROPT; OTIS; DIRCOL; DIDO; CasADi; …
Main Fields:

Leo

Software Authors:   Cornia R, Patterson OV, Ginter T, Duvall SL.
Referenced in: 0 Publications
Related Software: HITEx; cTAKES; NLTK; Moonstone; QuickUMLS; RuSH; …
Main Fields:

MMOpt

Software Authors:   Salem, Khadija Hadj; Kieffer, Yann; Mancini, St'ephane
Referenced in: 1 Publication (2018)
Related Software:
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

muAO-MPC

Software Authors:   Zometa, P., Kögel, M., Findeisen, R.
Referenced in: 1 Publication (2022)
Related Software: HQP/OMUSES; Matlab; PANOC; OpEn; FORCES NLP; qpSWIFT; …
Main Fields: (04-XX); Computer science (68-XX)

ODYS QP Solver

Software Authors:   Cimini, G., Bemporad, A., Bernardini, D
Referenced in: 1 Publication (2020)
Related Software: MultiMin; lhsdesigncon; GLIS; GPyOpt; auto-sklearn; RBFOpt; …
Main Fields: Operations research, mathematical programming (90-XX)

PIXOR

Software Authors:   Bin Yang, Wenjie Luo, Raquel Urtasun
Referenced in: 0 Publications
Related Software: Faster R-CNN; VoxelNet; HDNET; PointFusion; OctNet; YOLO; …
Main Fields:

Pocketsphinx

Software Authors:   D. Huggins-Daines, M. Kumar, A. Chan, A. W. Black, M. Ravishankar, A. I. Rudnicky
Referenced in: 0 Publications
Related Software: Espresso; PyTorch-Kaldi; k2; VoxPopuli; ContextNet; Libri-Light; …
Main Fields:

WORHP Zen

Software Authors:   Kuhlmann, Renke; Geffken, Sören; Büskens, Christof
Referenced in: 1 Publication (2018)
Related Software: WORHP
Main Fields: Operations research, mathematical programming (90-XX)

fnord

Software Authors:   spotspot
Referenced in: 0 Publications
Related Software:
Main Fields:

StreamFlex

Software Authors:   Spring JH, Privat J, Guerraoui R, Vitek J.
Referenced in: 0 Publications
Related Software:
Main Fields: