All software
Permission-based Verification of Red-Black Trees and Their Merging - Code
Permission-based Verification of Red-Black Trees and Their Merging - Code
- Deductive verification
- magic wand
- producer-consumer pattern
- + 3
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
port_data_graphs
Code: Generating Graphs based on Real-World Port Data
- Data
- graph
- port
- Jupyter Notebook
- JSON
- Python
- + 2
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
- Other
- Markdown
- + 1
Predictive_Traffic_Signal_Control
Real-Time Predictive Traffic Signal Control Application for Prototyping
- Model predictive control
- prediction error
- prediction uncertainty
- + 3
- Other
- C++
- C
- + 3
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
- Rust
- Other
- Markdown
Proactive Motion Planning Codes for Emergency Collision Avoidance in Highway Scenarios
Proactive Motion Planning Codes for Emergency Collision Avoidance in Highway Scenarios
- automated driving
- Collision Avoidance
- Emergency Scenarios
- + 5
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
- Matlab
- Other
- Markdown
Programs to evaluate superoptimizer STOKE.
Programs to evaluate superoptimizer STOKE.
- compiler
- optimization
- stochastic
Propagation model and PIE model, underlying the master thesis: Knowledge in Building with Nature pilot projects
Propagation model and PIE model, underlying the master thesis: Knowledge in Building with Nature pilot projects
- Building with Nature
- diffusion
- Pilot projects
- + 4
propeller_airspeed_sensor
Data and Code for Unmanned Aerial Vehicles airspeed estimation using propeller feedback.
- BEM
- ESC feedback
- flight data
- + 4
- Other
- Matlab
- Markdown
- + 1
PSI_dust_size_distribution
Code underlying the publication "Polydisperse Formation of Planetesimals: The dust size distribution in clumps"
- hydrodynamics
- instabilities
- methods: numerical
- + 2
- Python
- Other
- Markdown
- + 1