Skip to main content
Ctrl K

All software

27 software items. Page 1 of 3. 12 items per page. 1 filters active.
1-12 of 27

A Public Ground-Truth Dataset for Handwritten Circuit Diagram Images

A Public Ground-Truth Dataset for Handwritten Circuit Diagram Images

  • CGHD
  • Circuit Diagram
  • CircuitGraph
  • + 4
  • JSON
  • Markdown
  • Other
  • + 2
1
18

Code and data supporting the publication: ZIMFLUX: Single molecule localization microscopy with patterned illumination in 3D

Code and data supporting the publication: ZIMFLUX: Single molecule localization microscopy with patterned illumination in 3D

  • modulated excitation
  • SMLM
  • Super-Resolution Microscopy
  • + 2
  • C
  • C#
  • C++
  • + 7
8
5

SNAPWF

Code underlying the publication: Automated Python workflow for generating Sentinel-1 PSI and SBAS interferometric stacks using SNAP on Geospatial Computing Platform

  • InSAR
  • Interferometric Stacks
  • Open-Source Tools
  • + 2
  • Jupyter Notebook
  • Markdown
  • Python
  • + 1
7
5

Source code for INCS (Iterative Nonlinear Contrast Source)

Source code for INCS (Iterative Nonlinear Contrast Source)

  • INCS
  • medical ultrasound
  • microbubbles
  • + 1
  • Automake
  • C
  • Fortran
  • + 5
2
5

OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies

OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies

  • dynamic parametric wake model
  • surrogate wake model
  • wind farm flow control
  • + 1
  • CSS
  • HTML
  • JavaScript
  • + 7
2
2

Code underlying the publication: "Video BagNet: short temporal receptive fields increase robustness in long-term action recognition"

Code underlying the publication: "Video BagNet: short temporal receptive fields increase robustness in long-term action recognition"

  • 3D-CNN
  • Action recognition
  • BagNet
  • + 2
  • Markdown
  • Other
  • Python
  • + 1
4
1

longterm_datasets

Code underlying the publication: "Are current long-term video understanding datasets long-term?"

  • computer vision
  • deep learning
  • Long-term action recognition
  • HTML
  • Markdown
  • Other
  • + 2
3
1

Pbox Code, supporting the publication: Macro-element refinement schemes for THB-splines: Applications to Bézier projection and structure-preserving discretizations

Pbox Code, supporting the publication: Macro-element refinement schemes for THB-splines: Applications to Bézier projection and structure-preserving discretizations

  • adaptive refinement
  • finite element method
  • isogeometric analysis
  • + 1
  • Markdown
  • Matlab
  • Other
  • + 2
1
1

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

Artefact for doctoral thesis "Verifying Optimised Parallel Code"

  • Deductive verification
  • formal methods
  • GPU
  • + 2
  • C
  • C++
  • Markdown
  • + 4
1
0

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Maximal End Components
  • + 3
  • C
  • C++
  • JSON
  • + 6
3
0

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Automake
  • C
  • C++
  • + 15
1
0

BEWARE

BEWARE Artifact: Code and Datasets for "Robust and Automated Reconfiguration of Byzantine Wide-Area Replication"

  • BFT-SMaRt
  • Byzantine fault tolerance
  • consensus latency
  • + 7
  • Java
  • JSON
  • Markdown
  • + 5
4
0