Software | Research Software Directory

Permission-based Verification of Red-Black Trees and Their Merging - Code

Deductive verification
magic wand
producer-consumer pattern
+ 3

1

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

port_data_graphs

Code: Generating Graphs based on Real-World Port Data

Data
graph
port

(JSON)
("Jupyter Notebook")
(large-text-file)
+ 2

1

0

Prediction of Trip Production

The codes associated with the publication: The Role of Spatial Features and Adjacency in Data-driven Short-term Prediction of Trip Production: An Exploratory Study in the Netherlands

demand prediction
graph convolution
residual analysis
+ 3

("Jupyter Notebook")
(large-text-file)
(Markdown)
+ 1

5

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

private-logic-and-mpso

Code underlying: Fast Multi-party Private Set Operations in the Star Topology from Secure ANDs and ORs

cryptography
privacy enhancing technologies
private logic
+ 2

(Markdown)
(Other)
(Rust)

1

0

Proactive Motion Planning Codes for Emergency Collision Avoidance in Highway Scenarios

automated driving
Collision Avoidance
Emergency Scenarios
+ 5

1

0

Probabilistic-adequacy-constrained-planning-of-offshore-MMC-HVDC-based-wind-power-systems

Source code underlying the publication: Probabilistic adequacy constrained planning of offshore MMC-HVDC-based wind power systems

MATLAB
open-data
Open-source
+ 1

(Markdown)
(Matlab)
(Other)

1

0

Programs to evaluate superoptimizer STOKE.

compiler
optimization
stochastic

1

0

Propagation model and PIE model, underlying the master thesis: Knowledge in Building with Nature pilot projects

Building with Nature
diffusion
Pilot projects
+ 4

1

0

propeller_airspeed_sensor

Data and Code for Unmanned Aerial Vehicles airspeed estimation using propeller feedback.

BEM
ESC feedback
flight data
+ 4

(Julia)
(Markdown)
(Matlab)
+ 1

3

0

PSI_dust_size_distribution

Code underlying the publication "Polydisperse Formation of Planetesimals: The dust size distribution in clumps"

hydrodynamics
instabilities
methods: numerical
+ 2

(Markdown)
(Other)
(Python)
+ 1

3

0