Systems and Control · Computer Science
Verifying Digital Systems with MATLAB
Lennon Chaves, Iury Bessa, Lucas Cordeiro, Daniel Kroening +1
2017-02-21
Programming Languages · Computer Science
Towards Fixed-Point Formats Determination for Faust Programs
Agathe Herrou, Florent de Dinechin, Stéphane Letz, Yann Orlarey +1
2024-03-12
Mathematical Software · Computer Science
How good are MatLab, Octave and Scilab for Computational Modelling?
Eliana S. de Almeida, Antonio C. Medeiros, Alejandro C. Frery
2012-07-10
Optimization and Control · Mathematics
SOStab: a Matlab Toolbox for Transient Stability Analysis
Stéphane Drobot, Matteo Tacchi, Carmen Cardozo, Colin N. Jones
2024-04-03
Numerical Analysis · Mathematics
FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part I: Diffusion operator
Florian Frank, Balthasar Reuter, Vadym Aizinger, Peter Knabner
2018-06-12
Numerical Analysis · Mathematics
FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part II: Advection operator and slope limiting
Balthasar Reuter, Vadym Aizinger, Manuel Wieland, Florian Frank +1
2018-06-12
Systems and Control · Computer Science
MATMPC - A MATLAB Based Toolbox for Real-time Nonlinear Model Predictive Control
Yutao Chen, Mattia Bruschetta, Enrico Picotti, Alessandro Beghi
2019-09-24
Numerical Analysis · Mathematics
FESTUNG: A MATLAB /GNU Octave toolbox for the discontinuous Galerkin method. Part IV: Generic problem framework and model-coupling interface
Balthasar Reuter, Andreas Rupp, Vadym Aizinger, Florian Frank +1
2020-05-27
Numerical Analysis · Mathematics
FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part III: Hybridized discontinuous Galerkin (HDG) formulation
Alexander Jaust, Balthasar Reuter, Vadym Aizinger, Jochen Schütz +1
2018-06-12
Numerical Analysis · Mathematics
An open-source finite volume toolbox for solid mechanics and fluid-solid interaction simulations
P. Cardiff, A. Karač, P. De Jaeger, H. Jasak +3
2018-09-05
Robotics · Computer Science
The Control Toolbox - An Open-Source C++ Library for Robotics, Optimal and Model Predictive Control
Markus Giftthaler, Michael Neunert, Markus Stäuble, Jonas Buchli
2018-07-04
Machine Learning · Computer Science
OpenBox: A Python Toolkit for Generalized Black-box Optimization
Huaijun Jiang, Yu Shen, Yang Li, Beicheng Xu +4
2024-05-17
High Energy Physics - Phenomenology · Physics
A Proof of Concept for Matchete: An Automated Tool for Matching Effective Theories
Javier Fuentes-Martín, Matthias König, Julie Pagès, Anders Eller Thomsen +1
2023-07-31