Software | Research Software Directory

Hodge-Edge-GP

Code underlying: Hodge-Compositional Edge Gaussian Processes

edge space
forex
Gaussian process
+ 2

Jupyter Notebook
Python
Other
+ 3

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

3

1

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

P1-data-combination-code

Code to paper "Changing Sea Level, Changing Shorelines: Integration of Remote Sensing Observations at the Terschelling Barrier Island"

coastline
Remote sensing
sea level
+ 1

Jupyter Notebook
Other
Markdown
+ 1

3

1

swinging-kite

Swinging Motion of a Kite with Suspended Control Unit Flying Turning Manoeuvres (Code)

Airborne Wind Energy (AWE)
Flight data analysis
Kite power
+ 2

Python
Other
YAML
+ 1

1

Absorption Coefficient Estimator using Domain Adaptation

Code underlying the research project: Extracting absorption coefficients from a room impulse response using a convolutional neural network with domain adaptation

Absorption Coefficient
domain adaptation
Machine learning
+ 3

Other
Python
Markdown
+ 1

1

0

agda-core

Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language

core language
Dependent Types
type-checking
+ 2

Other
Haskell
YAML
+ 1

2

0

A high spatial resolution Extended Spring Indices database over American and European regions

Citizen Science
Climate change
Cloud computing
+ 4

Python
Markdown
Other

2

0

Application of SDDTMPC to control a unicycle

MPC
nonlinear control
robotics
+ 2

Matlab
Markdown

1

0

APS

APS: Asses Pedestrian model Speed framework

Computational Complexity
Model assessment framework
Pedestrian models
+ 1

Python
Other
Markdown
+ 1

1

0

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

argon
laser
laser-sustained plasma
+ 4

Other
TeX
Jupyter Notebook
+ 5

1

0

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Correct-by-construction
Floating-point
IEEE 754
+ 6

Other
C
JSON
+ 5

5

0

All software