Software | Research Software Directory

Livestock demography

This submodel simulates livestock herd demography and slaughter effects. Initially part of the ROMFARMS model for animal husbandry on the Dutch Roman frontier, it focused on cattle, sheep, and horses. However, the code is adaptable for various animals, regions, and historical periods.

2

4

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

Dwell Time Analysis
magnetic tweezers
RdRP activity
+ 1

3

4

Code for Detecting Anomalous Misconfigurations in AWS Identity and Access Management Policies

Identity and Access Management
Misconfiguration Detection
Security

(Markdown)
(Other)
(Python)

4

Code for the publication: Vibration-induced friction modulation for a general frequency of excitation

Average friction
Mechanical vibration
Method of direct separation of motion
+ 1

1

4

Code to produce the results of the publication: “Disentangling acceleration-, velocity- and duration-dependency of the short- and medium-latency stretch reflexes in the ankle plantarflexors”

Group Ia afferents
M1-M2 stretch reflex
Motoneuron pool
+ 1

1

4

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

Code underlying the publication: Maintenance Optimization for Multi-Component Systems with a Single Sensor

Condition-based maintenance
Inspection planning
Maintenance
+ 2

(Other)
(Python)

4

ColorIce: Automated in-plane ice thin section analysis tool

birefringence
crossed-polarization
grain boundary
+ 5

2

4

Data underlying the publication: Fabrication and Characterization of Pneumatic Unit Cell Actuators

characterization
fabrication
haptic display
+ 4

(Markdown)

3

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

All software