All software
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
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
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
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
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
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
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
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
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
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
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
djehuty
Source code of the 4TU.ResearchData and Nikhef data repository
- 4TU.ResearchData
- Data repository
- Djehuty
- Python
- JavaScript
- HTML
- + 9