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
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
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