Ctrl K

All software

0Filters
Keywords
2748
Program languages
153
Licenses
44
265-276 of 1093
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
    • Python
    • Other
    • Markdown
    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
      • Python
      • Markdown
      • Other
      4
      4
      Logo for Code for the publication: Vibration-induced friction modulation for a general frequency of excitation

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

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

        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”

        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
          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 Code underlying the publication: Maintenance Optimization for Multi-Component Systems with a Single Sensor

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

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

            • Condition-based maintenance
            • Inspection planning
            • Maintenance
            • + 2
            • Python
            • Other
            4
            4
            Logo for ColorIce: Automated in-plane ice thin section analysis tool

            ColorIce: Automated in-plane ice thin section analysis tool

            ColorIce: Automated in-plane ice thin section analysis tool

            • birefringence
            • crossed-polarization
            • grain boundary
            • + 5
              2
              4
              Logo for Data underlying the publication: Fabrication and Characterization of Pneumatic Unit Cell Actuators

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

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

              • characterization
              • fabrication
              • haptic display
              • + 4
              • Markdown
              3
              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
              • Other
              • HTML
              • JSON
              • + 8
              3
              4
              Logo for Matlab scripts and MuseScore scripts accompanying the book "The Perceptual Structure of Sound"

              Matlab scripts and MuseScore scripts accompanying the book "The Perceptual Structure of Sound"

              Matlab scripts and MuseScore scripts accompanying the book "The Perceptual Structure of Sound"

              • sound design
                1
                4