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/
spacevlbi
Python package for simulating and optimising a space-based VLBI mission
- astronomy
- Spacecraft Optimisation
- Space Mission Design
- + 1
- (Markdown)
- (Other)
- (Python)
- + 1
spacy-extensions
Code for Threat Intelligence Processing - Unleashing the Real Power of Natural Language Processing for Cyber Threat Intelligence
- Cyber Threat Intelligence
- Natural Language Processing
- Security
- (JSON)
- (Markdown)
- (Other)
- + 1
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
- Annotations
- Deductive verification
- Specifications
- + 1
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
Specification Translator: Tool to Translate Specifications for Deductive Verifiers
- Annotations
- Deductive verification
- Semantics
- + 3
- (Other)
Speed Robust Scheduling Supplemental Material
Speed Robust Scheduling Supplemental Material
- Combinatorial optimization
- Computer assisted proof
- Data Structures
- + 1
SpinControl.jl, a numerical package written in Julia
SpinControl.jl, a numerical package written in Julia
- Monte-Carlo
- Noisy Quantum Simulation
- Open System
- + 2
spurious_sentience
Software and data underlying the publication: "Position: Stop Making Unscientific AGI Performance Claims"
- Artificial General Intelligence
- Artificial intelligence
- interpretability
- + 1
- (HTML)
- (Julia)
- (Markdown)
- + 2
Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia
Structural dynamics model to find the dynamic behaviour as a response of the wave loading of the Tidal Bridge in Indonesia
- Dynamic structure
- Hydraulic loading
- Morison equation
- + 1
structure_calibration_sparse_data
Code: Structural Calibration for Supply Chain Simulation Models with Sparse Data
- Simulation
- sparse data
- structure
- + 2
- (Automake)
- (Other)
- (Python)
- + 2
Stumblemeter: App and MATLAB code
Stumblemeter: App and MATLAB code
- Accelerometer
- gyroscope
- Machine learning
- + 3
Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming
Supplementary code to the paper: Flexible Enterprise Optimization With Constraint Programming
- Constraint programming (Computer science)
- deep learning
- Enterprise engineering
- + 2
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
Supporting software for the paper: Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller
- Conformance testing
- Model-based testing
- Programmable logic controllers
- + 7