Ctrl K

All software

0Filters
Keywords
2919
Program languages
156
Licenses
45
289-300 of 1164

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
    Logo for 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

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

    • concurrent systems
    • Deductive verification
    • formal methods
    • + 3
      5
      4
      Logo for AutoEncodersDLSCA

      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
      Logo for 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

      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
        Logo for Code for Detecting Anomalous Misconfigurations in AWS Identity and Access Management Policies

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

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

        • Identity and Access Management
        • Misconfiguration Detection
        • Security
        • (Markdown)
        • (Other)
        • (Python)
        4
        4
        Logo for 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”

        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
          Logo for 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

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

          • biophysics
          • Coral Reef Ecology
          • hydrodynamics
            1
            4
            Logo for 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"

            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
            Logo for 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

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

            • doppler signature
            • fmcw radar
            • gait
            • + 4
              4
              4
              Logo for endogenous-macrodynamics-in-algorithmic-recourse

              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
              Logo for 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"

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

              • acceleration
              • anisotropic
              • preconditioning
              • + 3
                3
                4
                Logo for SNAPWF

                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
                4