Ctrl K

All software

1Filter
Keywords
565
Program languages
29
Licenses
11
49-60 of 135
Logo for Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

Argon Laser-Plasma Thruster - Design and Test of a Laboratory Model - Processing and Analysis Code

  • argon
  • laser
  • laser-sustained plasma
  • + 4
  • Other
  • TeX
  • Jupyter Notebook
  • + 5
1
0
Logo for Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

Artifact for the paper "A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs"

  • Correct-by-construction
  • Floating-point
  • IEEE 754
  • + 6
  • Other
  • C
  • JSON
  • + 5
5
0
Logo for Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

Artifact for the paper "Efficient Formally Verified Maximal End Component Decomposition for MDPs"

  • Correct-by-construction
  • Interactive Theorem Proving
  • Maximal End Components
  • + 3
  • Other
  • XML
  • JSON
  • + 6
3
0
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 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 Cluster Analysis of Temporal Patterns of Travel Production

Cluster Analysis of Temporal Patterns of Travel Production

The codes associated with the publication: A Cluster Analysis of Temporal Patterns of Travel Production in the Netherlands: Dominant within-day and day-to-day patterns and their association with Urbanization Levels

  • demand pattern
  • land-use feature
  • temporal pattern
  • + 2
  • Jupyter Notebook
  • Python
  • Markdown
  • + 1
3
0
Logo for Code belonging to the publication: Closed-loop model-predictive wind farm flow control under time-varying inflow using FLORIDyn

Code belonging to the publication: Closed-loop model-predictive wind farm flow control under time-varying inflow using FLORIDyn

Code belonging to the publication: Closed-loop model-predictive wind farm flow control under time-varying inflow using FLORIDyn

  • dynamic engineering wake model
  • FLORIDyn
  • MATLAB
  • + 5
  • Other
  • Matlab
  • Markdown
  • + 1
1
0
Logo for Code for publication: A general partitioning strategy for non-centralized control

Code for publication: A general partitioning strategy for non-centralized control

Code for publication: A general partitioning strategy for non-centralized control

  • Complex Large-Scale Systems
  • Hybrid Systems
  • Non-Centralized Control
  • + 2
  • Other
  • Python
  • Markdown
3
0
Logo for Code for the Implementation of State-Dependent dynamic tube model predictive control

Code for the Implementation of State-Dependent dynamic tube model predictive control

Code for the Implementation of State-Dependent dynamic tube model predictive control

  • Fuzzy model
  • Model predictive control
  • Robust optimization
  • Matlab
  • Markdown
1
0
Logo for Code related to "Loudspeaker Beamforming to Enhance Speech Recognition Performance of Voice Driven Applications"

Code related to "Loudspeaker Beamforming to Enhance Speech Recognition Performance of Voice Driven Applications"

Code related to "Loudspeaker Beamforming to Enhance Speech Recognition Performance of Voice Driven Applications"

  • Auditory Masking
  • Beamforming
  • Speech Recognition
  • + 1
  • Matlab
  • Other
  • Markdown
1
0
Logo for Code to analyse winch sizing for ground-generator airborne wind energy systems

Code to analyse winch sizing for ground-generator airborne wind energy systems

Code to analyse winch sizing for ground-generator airborne wind energy systems

  • airborne wind energy
  • AWE
  • control
  • + 1
  • Matlab
  • Other
  • Markdown
1
0