Skip to main content
Ctrl K

All software

1297 software items. Page 26 of 109. 12 items per page.
301-312 of 1297

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

  • concurrent systems
  • Deductive verification
  • formal methods
  • + 3
5
4

AutoEncodersDLSCA

Code underlying the publication: Autoencoder-enabled model portability for reducing hyperparameter tuning efforts in side-channel analysis

  • Autoencoders
  • Hyperparameter Tuning
  • Portability
  • + 3
  • (Markdown)
  • (Other)
  • (Python)
1
4

Code and test data set underlying the publication: Characterizing single-molecule dynamics of viral RNA-dependent RNA polymerases with a multiplexed magnetic tweezers

Code and test data set underlying the publication: Characterizing single-molecule dynamics of viral RNA-dependent RNA polymerases with a multiplexed magnetic tweezers

  • Dwell Time Analysis
  • magnetic tweezers
  • RdRP activity
  • + 1
3
4

Code for the publication: Parametric excitation and friction modulation for a forced 2-dof system

Code for the publication: Parametric excitation and friction modulation for a forced 2-dof system

  • effective friction
  • Friction-induced oscillations
  • Negative damping
  • + 2
1
4

Code to produce the results of the publication: “Neurophysiological Validation of Simultaneous Intrinsic and Reflexive Joint Impedance Estimates”

Code to produce the results of the publication: “Neurophysiological Validation of Simultaneous Intrinsic and Reflexive Joint Impedance Estimates”

  • Electromyography
  • Joint resistance
  • Parallel-Cascade model
  • + 2
1
4

CoralModel: A Python-based model that resembles the biophysical interactions on a coral reef

CoralModel: A Python-based model that resembles the biophysical interactions on a coral reef

  • biophysics
  • Coral Reef Ecology
  • hydrodynamics
1
4

Data and code underlying Chapter 4 of the PhD thesis "Advanced Magnetocaloric Regenerators for Heat Pump Applications"

Data and code underlying Chapter 4 of the PhD thesis "Advanced Magnetocaloric Regenerators for Heat Pump Applications"

  • active magnetocaloric regenerator
  • layered AMR
  • magnetocaloric heat pump
  • + 5
  • (Other)
  • (Python)
4
4

Dataset of human gait in a domestic setup collected with an LFMCW MIMO radar

Dataset of human gait in a domestic setup collected with an LFMCW MIMO radar

  • doppler signature
  • fmcw radar
  • gait
  • + 4
4
4

endogenous-macrodynamics-in-algorithmic-recourse

Software and data underlying the publication: Endogenous Macrodynamics in Algorithmic Recourse

  • Algorithmic Recourse
  • Counterfactual Explanations
  • Dynamic Systems
  • + 1
  • (CSS)
  • (HTML)
  • (JavaScript)
  • + 8
3
4

learningcurvefitting

Code supporting the publication: Learning Learning Curves

  • expected error
  • extrapolation
  • Interpolation
  • + 2
  • (Markdown)
  • (Other)
  • (Python)
4
4

Script underlying the paper "On Robustly Convergent and Efficient Iterative Methods for Anisotropic Radiative Transfer"

Script underlying the paper "On Robustly Convergent and Efficient Iterative Methods for Anisotropic Radiative Transfer"

  • acceleration
  • anisotropic
  • preconditioning
  • + 3
3
4

AstronomicAL

An interactive dashboard for visualisation, integration and classification of data using Active Learning.

  • Active Learning
  • Classification
  • Data Analysis
  • + 11
  • (Python)
  • (TeX)
1
4