Ctrl K

All software

0Filters
Keywords
2897
Program languages
156
Licenses
45
241-252 of 1154

xtas

the eXtensible Text Analysis Suite

  • Text analysis & natural language processing
  • (Java)
  • (Python)
  • (Shell)
2
7
Logo for [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

  • Deductive verification
  • embedded systems
  • parameterized systems
  • + 2
    6
    6
    Logo for Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"

    Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"

    Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"

    • Clutch
    • Electroadhesion
    • self-reinforcement
    • + 2
      3
      6
      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
        6
        Logo for Data/software underlying the publication: Robust quantum-network memory based on spin qubits in isotopically engineered diamond

        Data/software underlying the publication: Robust quantum-network memory based on spin qubits in isotopically engineered diamond

        Data/software underlying the publication: Robust quantum-network memory based on spin qubits in isotopically engineered diamond

        • distributed quantum computation
        • entanglement distillation
          12
          6
          Logo for dmpcrl-concept

          dmpcrl-concept

          Software for publication: Multi-agent reinforcement learning via distributed MPC as a function approximator

          • ADMM
          • alternating direction method of multipliers
          • distributed model predictive control
          • + 2
          • (Markdown)
          • (Other)
          • (Python)
          1
          6
          Logo for group-trip-planning

          group-trip-planning

          Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance

          • Empirical Studies
          • Group Decision-Making
          • Human-AI Decision-Making
          • + 5
          • (CSS)
          • (HTML)
          • (JavaScript)
          • + 4
          2
          6
          Logo for Learning_on_SCs

          Learning_on_SCs

          Code underlying: Hodge-Aware Convolutional Learning on Simplicial Complexes

          • Hodge theorem
          • neural networks
          • simplicial complexes
          • (Markdown)
          • (Other)
          • (Python)
          • + 1
          1
          6
          Logo for MATLAB script and COMSOL models of the article "An efficient multiscale method for subwavelength transient analysis of acoustic metamaterials"

          MATLAB script and COMSOL models of the article "An efficient multiscale method for subwavelength transient analysis of acoustic metamaterials"

          MATLAB script and COMSOL models of the article "An efficient multiscale method for subwavelength transient analysis of acoustic metamaterials"

          • Equivalent fluid model
          • Homogenisation
          • Locally resonant acoustic metamaterials
          • + 1
          • (Markdown)
          • (Matlab)
          • (Other)
          4
          6
          Logo for MATLAB scripts created during the work on "Design of experiments: a statistical tool for PIV uncertainty quantification"

          MATLAB scripts created during the work on "Design of experiments: a statistical tool for PIV uncertainty quantification"

          MATLAB scripts created during the work on "Design of experiments: a statistical tool for PIV uncertainty quantification"

          • Design of Experiement (DOE)
          • Particle Image Velocimetry
          • systematic uncertainty
          • + 1
            2
            6
            Logo for np_heating

            np_heating

            Code for the modeling of heating around plasmonic core–shell nanoparticles

            • Heat transfer
            • Photothermal effect
            • Plasmonic nanoparticles
            • + 1
            • (Markdown)
            • (Other)
            • (Python)
            2
            6
            Logo for Script for: AID-PRIGSHARE: Automation of Indicator Development for Green Space Health Research in QGIS

            Script for: AID-PRIGSHARE: Automation of Indicator Development for Green Space Health Research in QGIS

            Script for: AID-PRIGSHARE: Automation of Indicator Development for Green Space Health Research in QGIS

            • buffer
            • gis
            • greenness
            • + 2
            • (Markdown)
            • (Other)
            • (Python)
            1
            6