Skip to main content
Ctrl K

All software

1428 software items. Page 71 of 119. 12 items per page.
841-852 of 1428

source-code-phd-dissertation

Code repository for Ph.D. dissertation "Safer Causal Inference: Theory & Algorithms for Falsification, Trial Augmentation and Policy Evaluation"

  • causality
  • computer science
  • Machine learning
  • + 1
  • JSON
  • Jupyter Notebook
  • large-text-file
  • + 4
1
0

Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning

Source code underlying the publication: Topology-Based Reconstruction Prevention for Decentralised Learning

  • decentralised learning
  • graph girth
  • privacy-preserving summation
  • + 2
  • Markdown
  • Matlab
  • Other
3
0

spacevlbi

Python package for simulating and optimising a space-based VLBI mission

  • astronomy
  • Spacecraft Optimisation
  • Space Mission Design
  • + 1
  • Markdown
  • Other
  • Python
  • + 1
1
0

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

Spatial rendering cost profiling and visualization framework using spherical harmonics cost probes

Spatial rendering cost profiling and visualization framework using spherical harmonics cost probes

  • data visualization
  • Performance analysis
  • Performance measurement
  • + 4
1
0

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

Specification Translator: Tool to Translate Specifications for Deductive Verifiers

Specification Translator: Tool to Translate Specifications for Deductive Verifiers

  • Annotations
  • Deductive verification
  • Semantics
  • + 3
  • Other
3
0

Speed Robust Scheduling Supplemental Material

Speed Robust Scheduling Supplemental Material

  • Combinatorial optimization
  • Computer assisted proof
  • Data Structures
  • + 1
6
0

SpinControl.jl, a numerical package written in Julia

SpinControl.jl, a numerical package written in Julia

  • Monte-Carlo
  • Noisy Quantum Simulation
  • Open System
  • + 2
1
0

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

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

structure_calibration_sparse_data

Code: Structural Calibration for Supply Chain Simulation Models with Sparse Data

  • Simulation
  • sparse data
  • structure
  • + 2
  • Automake
  • Other
  • Python
  • + 2
1
0