4TU
4TU.ResearchData is an international data repository for science, engineering and design. We offer research dataset curation, sharing, long-term access and preservation services to anyone, anywhere. You can find our archive at https://data.4tu.nl/
Partile filter code with an example of weight collapse in importance sampling methods
Partile filter code with an example of weight collapse in importance sampling methods
- Data assimilation
- Importance sampling
- Particle method
- + 2
- Markdown
- Other
- Python
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
point-based-occluder
Code accompanying the paper: Performance verification of human field of view occluders for light measurement and simulation
- corneal light exposure
- FOV occlusion
- goniophotometry
- + 2
- Markdown
- Other
- Python
port_data_graphs
Code: Generating Graphs based on Real-World Port Data
- Data
- graph
- port
- JSON
- Jupyter Notebook
- large-text-file
- + 2
PPC_code
Code underlying the publication: Anomalous Change Point Detection Using Probabilistic Predictive Coding
- Anomaly detection
- change point detection
- deep learning
- + 2
- Markdown
- Other
- Python
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
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
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
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
- Markdown
- Matlab
- Other
Programs to evaluate superoptimizer STOKE.
Programs to evaluate superoptimizer STOKE.
- compiler
- optimization
- stochastic