Skip to main content
Ctrl K

All software

118 software items. Page 6 of 10. 12 items per page. 1 filters active.
61-72 of 118

Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem

Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem

  • Approximate MPC
  • Robust optimization
  • Spiking neural networks
  • C
  • HTML
  • Jupyter Notebook
  • + 7
1
0

Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"

Implementation Regarding Publication "Fuzzy-Logic-based model predictive control: A paradigm integrating optimal and common-sense decision making"

  • fuzzy logic
  • Model predictive control
  • multi robot system
  • C
  • HTML
  • Markdown
  • + 4
1
0

MLATjs

MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas

  • Aerospace
  • data visualization
  • Localization
  • + 2
  • Automake
  • C
  • C#
  • + 14
2
0

monotonicity

Code supporting the publication: On Sample-Wise Strict Monotonicity with a Gradient Update

  • expected error
  • Learning Curve
  • Linear Regression
  • + 2
  • C
  • C++
  • Markdown
  • + 2
3
0

perm_map_circuits

Code underlying: Efficient Circuits for Permuting and Mapping Packed Values Across Leveled Homomorphic Ciphertexts

  • cryptography
  • graph coloring
  • homomorphic encryption
  • + 1
  • C
  • C++
  • Markdown
  • + 2
2
0

Predictive_Traffic_Signal_Control

Real-Time Predictive Traffic Signal Control Application for Prototyping

  • Model predictive control
  • prediction error
  • prediction uncertainty
  • + 3
  • C
  • C++
  • large-text-file
  • + 3
1
0

PyNOMAD: A microscopic pedestrian simulation model

PyNOMAD: A microscopic pedestrian simulation model

  • Crowd dynamics
  • Microscopic pedestrian model
  • Pedestrian modelling
  • C
  • Markdown
  • Other
  • + 1
4
0

pystreed

Source code and data for the paper "Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming"

  • dynamic programming
  • group fairness
  • optimal decision trees
  • + 1
  • C
  • C++
  • large-text-file
  • + 3
3
0

VeriABI

Software supporting the MSc thesis "Binary Interface Compatibility for Library Integration in C++": VeriABI, a machine-checked ABI compatibility checker

  • ABI
  • API
  • Application Binary Interface
  • + 6
  • C
  • C++
  • Markdown
  • + 2
1
0

Abinit

Abinit is a software package based on density functional theory for calculating the properties of solids.

  • C
  • C++
  • CMake
  • + 15
3
0

Arpra

Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.

  • Affine Arithmetic
  • Arbitrary Precision
  • Interval Arithmetic
  • + 2
  • C
  • M4
  • Makefile
1
0

asrlitcompare

A tool written in rmarkdown for assessing the level of agreement between two raters following screening in ASReview. Users only need the two .csv files downloaded from ASReview, and the tool will automatically compile a summary report as an HTML file, viewable in your web browser.

  • ASReview
  • inter-rater reliability
  • literature screening
  • + 1
  • AppleScript
  • Awk
  • Batchfile
  • + 14
2
0