All software
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
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)
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
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
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
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
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)
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
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
learningcurvefitting
Code supporting the publication: Learning Learning Curves
- expected error
- extrapolation
- Interpolation
- + 2
- (Markdown)
- (Other)
- (Python)
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
AiiDA-Spirit
AiiDA plugin for FAIR high-throughput spin-dynamics simulations with the Spirit code (http://spirit-code.github.io/).
- data managment
- Data Visualization
- FAIR Data
- + 5
- JavaScript
- Python
- HTML
- + 1