Software | Research Software Directory

Software supporting the article: Community Detection for Temporal Weighted Bipartite Networks

Bipartite Network
Bipartite Networks
Community Detection
+ 4

Jupyter Notebook
Markdown
Other
+ 1

4

1

supervised-learning-pwa-mpc

Software underlying the publication: Learning-based model predictive control for piecewise affine systems with feasibility guarantees

Feasibility
Hybrid Systems
Machine learning
+ 1

Markdown
Matlab
Other
+ 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

Markdown
Matlab
Other
+ 1

1

0

abstraction-mpc-integration

Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization

Abstraction
formal methods
Hybrid Systems
+ 3

CSS
HTML
JavaScript
+ 4

5

0

ACPV-Net

Source code for “ACPV-Net: All-Class Polygonal Vectorization for Seamless Vector Map Generation from Aerial Imagery”

ACPV-Net
aerial imagery
all-class polygonal vectorization
+ 4

C
C++
Markdown
+ 3

4

0

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

Citizen Science
Climate change
Cloud computing
+ 4

Markdown
Other
Python

2

0

AmpliDiff

Code underlying the publication: "AmpliDiff: An Optimized Amplicon Sequencing Approach to Estimating Lineage Abundances in Viral Metagenomes"

Abundance Estimation
Amplicon Sequencing
Primer Design
+ 1

C
Markdown
Other
+ 3

3

0

Application of SDDTMPC to control a unicycle

MPC
nonlinear control
robotics
+ 2

Markdown
Matlab

1

0

APS

APS: Asses Pedestrian model Speed framework

Computational Complexity
Model assessment framework
Pedestrian models
+ 1

JSON
Markdown
Other
+ 1

1

0

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

argon
laser
laser-sustained plasma
+ 4

JSON
Jupyter Notebook
Markdown
+ 5

1

0

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Deductive verification
formal methods
GPU
+ 2

C
C++
Markdown
+ 4

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

C
C++
JSON
+ 5

5

0