All software
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
- Other
- TeX
- Julia
- + 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
- YAML
- Python
- Other
- + 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
SWMM_GNN_Component_Evaluation_and_Transferability_Analysis
Code for paper "Evaluation of Graph Neural Networks for Urban Drainage Metamodeling: Key Components and Transferability Analysis"
- Graph Neural Network
- Hyperparameter Tuning
- Stormwater management model (SWMM)
- + 3
- Other
- Python
- Markdown
- + 2
TESTER GHG abatement option selection Tool
TESTER GHG abatement option selection Tool
- Concept design
- emission abatement technologies
- Greenhouse gas (GHG) emmisions
- + 2