Ctrl K

All software

0Filters
Keywords
2417
Program languages
146
Licenses
42
421-432 of 973
Logo for Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Other
  • C
  • HTML
  • + 15
1
0
Logo for Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Markov decision process
  • + 1
  • Other
  • C
  • C++
  • + 4
1
0
Logo for Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator

Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator

Assets for JOAN: a framework for human-automated vehicle interaction experiments in a virtual reality driving simulator

  • Carla simulator
  • Driving simulation
  • JOAN simulator
  • + 1
    5
    0
    Logo for Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code

    Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code

    Attitudes Toward a Virtual Smoking Cessation Coach: Analysis Code

    • Acceptance
    • Behavior change support systems
    • Chatbot
    • + 7
      6
      0
      Logo for Automated xy calibration for 3D printers using a scanner

      Automated xy calibration for 3D printers using a scanner

      Automated xy calibration for 3D printers using a scanner

      • 3D printer
      • calibration
      • FDM
      • + 11
        3
        0
        Logo for Axies: Identifying and Evaluating Context Specific Values - code

        Axies: Identifying and Evaluating Context Specific Values - code

        Axies: Identifying and Evaluating Context Specific Values - code

        • Context
        • Ethics
        • NLP
        • + 1
          4
          0
          Logo for Bluesky software: underlying the publication “Improving Algorithm Conflict Resolution Manoeuvres with Reinforcement Learning”

          Bluesky software: underlying the publication “Improving Algorithm Conflict Resolution Manoeuvres with Reinforcement Learning”

          Bluesky software: underlying the publication “Improving Algorithm Conflict Resolution Manoeuvres with Reinforcement Learning”

          • Air traffic management (ATM)
          • BlueSky
          • Conflict detection and resolution
          • + 3
            1
            0
            Logo for Boundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows

            Boundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows

            Boundary-Layer-Program underlying the master thesis: Simulation of Two-Dimensional Steady State Boundary Layers Applied to Nonideal Gas Flows

            • algebraic turbulence model
            • boundary layer method
            • CS-model
            • + 6
              1
              0
              Logo for CEConv

              CEConv

              Code underlying the publication: Color Equivariant Convolutional Networks

              • color equivariance
              • color robustness
              • equivariance
              • + 1
              • Python
              • Markdown
              • Other
              5
              0
              Logo for CHI2025_Plan-then-Execute_LLMAgent

              CHI2025_Plan-then-Execute_LLMAgent

              User Interaction Dataset for CHI 2025 paper "Plan-Then-Execute: An Empirical Study of User Trust and Team Performance When Using LLM Agents As A Daily Assistant."

              • Daily Assistant
              • Human-AI Collaboration
              • large language models
              • + 2
              • JSON
              • Other
              • Python
              • + 7
              3
              0
              Logo for ChildsPlayAccessibility (Github) code repository: spatial analysis underlying the conference paper "Easy as child’s play? Co-designing a network-based metric for children’s access to play space"

              ChildsPlayAccessibility (Github) code repository: spatial analysis underlying the conference paper "Easy as child’s play? Co-designing a network-based metric for children’s access to play space"

              ChildsPlayAccessibility (Github) code repository: spatial analysis underlying the conference paper "Easy as child’s play? Co-designing a network-based metric for children’s access to play space"

              • Accessibility
              • Children
              • Co-design
              • + 2
                2
                0
                Logo for Cities for Citizens: Identification of Public Value Conflicts in Urban Spaces - Accompanying Code

                Cities for Citizens: Identification of Public Value Conflicts in Urban Spaces - Accompanying Code

                Cities for Citizens: Identification of Public Value Conflicts in Urban Spaces - Accompanying Code

                • Natural Language Processing
                • spatial analysis
                • Structural Topic Modelling
                • + 1
                  1
                  0