Software Highlights

All software

1Filter
Keywords
80
Program languages
26
Licenses
7
1-12 of 20
Logo for A Public Ground-Truth Dataset for Handwritten Circuit Diagram Images

A Public Ground-Truth Dataset for Handwritten Circuit Diagram Images

A Public Ground-Truth Dataset for Handwritten Circuit Diagram Images

  • CGHD
  • Circuit Diagram
  • CircuitGraph
  • + 4
  • XML
  • JSON
  • Python
  • + 2
1
9
Logo for Source code for INCS (Iterative Nonlinear Contrast Source)

Source code for INCS (Iterative Nonlinear Contrast Source)

Source code for INCS (Iterative Nonlinear Contrast Source)

  • INCS
  • medical ultrasound
  • microbubbles
  • + 1
  • Fortran
  • Other
  • Matlab
  • + 5
2
4
Logo for Code underlying the publication: "Video BagNet: short temporal receptive fields increase robustness in long-term action recognition"

Code underlying the publication: "Video BagNet: short temporal receptive fields increase robustness in long-term action recognition"

Code underlying the publication: "Video BagNet: short temporal receptive fields increase robustness in long-term action recognition"

  • 3D-CNN
  • Action recognition
  • BagNet
  • + 2
  • Python
  • Markdown
  • XML
  • + 1
4
1
Logo for longterm_datasets

longterm_datasets

Code underlying the publication: "Are current long-term video understanding datasets long-term?"

  • computer vision
  • deep learning
  • Long-term action recognition
  • HTML
  • Python
  • Other
  • + 2
3
1
Logo for OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies

OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies

OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies

  • dynamic parametric wake model
  • surrogate wake model
  • wind farm flow control
  • + 1
  • Other
  • YAML
  • HTML
  • + 7
2
1
Logo for Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Maximal End Components
  • + 3
  • Other
  • XML
  • JSON
  • + 6
3
0
Logo for Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Other
  • C
  • HTML
  • + 15
1
0
Logo for  Code to test the implementation of linear Bi-level Parent-Child MPC

Code to test the implementation of linear Bi-level Parent-Child MPC

Code to test the implementation of linear Bi-level Parent-Child MPC

  • Hierarchical MPC
  • Model predictive control
  • Robust optimization
  • + 1
  • Matlab
  • HTML
  • Other
  • + 4
1
0
Logo for  Code to test the implementation of nonlinear Bi-level Parent-Child MPC

Code to test the implementation of nonlinear Bi-level Parent-Child MPC

Code to test the implementation of nonlinear Bi-level Parent-Child MPC

  • Hierarchical MPC
  • Model predictive control
  • Robust optimization
  • + 1
  • Matlab
  • HTML
  • Other
  • + 4
1
0
Logo for Data underlying the BSc project:  "An analysis of Java release practices on GitHub"

Data underlying the BSc project: "An analysis of Java release practices on GitHub"

Data underlying the BSc project: "An analysis of Java release practices on GitHub"

  • GitHub
  • Java
  • Maven
  • + 2
  • Other
  • Rust
  • XML
  • + 1
1
0
Logo for Data underlying the MSc. thesis: An Evaluation of the Merging Interaction between Humans and Interaction-Aware Vehicles

Data underlying the MSc. thesis: An Evaluation of the Merging Interaction between Humans and Interaction-Aware Vehicles

Data underlying the MSc. thesis: An Evaluation of the Merging Interaction between Humans and Interaction-Aware Vehicles

  • Human-AV Interaction
  • Human-Human Interaction
  • Perceived Safety
  • + 1
  • Other
  • Python
  • XML
  • + 1
1
0
Logo for djehuty

djehuty

Source code of the 4TU.ResearchData and Nikhef data repository

  • 4TU.ResearchData
  • Data repository
  • Djehuty
  • Python
  • JavaScript
  • HTML
  • + 9
12
0