Ctrl K

All software

1Filter
Keywords
1040
Program languages
136
Licenses
29
229-240 of 509
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 auction-tas

auction-tas

Truck Appointment Systems - Auction Based

  • Auction
  • competition
  • Scheduling
  • + 2
  • Other
  • Jupyter Notebook
  • Python
  • + 2
1
0
Logo for Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

Bayesian Ensembles for Exploration in Deep Reinforcement Learning; Code underlying the dissertation "Bayesian Model-Free Deep Reinforcement Learning"

  • Bayesian modelling
  • Deep Reinforcement Learning (DRL)
  • Ensemble model
  • + 2
  • Python
  • Markdown
1
0
Logo for bounded-private-cycle-detection

bounded-private-cycle-detection

Source code underlying the publication: Privacy-Preserving Peer-to-Peer Cycle Detection

  • cycle detection
  • multi-party computation
  • privacy-preserving
  • + 1
  • C++
  • C
  • Other
  • + 2
2
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 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 Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs

Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs

Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs

  • glob imports
  • haskell
  • lm
  • + 5
  • Other
  • Haskell
  • Python
  • + 1
3
0
Logo for Code for project: Approximate Edge AI Components for energy-aware adaptive framework

Code for project: Approximate Edge AI Components for energy-aware adaptive framework

Code for project: Approximate Edge AI Components for energy-aware adaptive framework

  • approximation
  • edge devices
  • Energy-aware computing
  • + 2
  • Python
  • Markdown
  • YAML
  • + 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 underlying the publication: From pixels to perceptions: using human similarity judgments to enrich urban space embeddings

Code underlying the publication: From pixels to perceptions: using human similarity judgments to enrich urban space embeddings

Code underlying the publication: From pixels to perceptions: using human similarity judgments to enrich urban space embeddings

  • human perceptions
  • similarity judgments
  • street-level imagery
  • + 1
  • Python
  • Markdown
  • Jupyter Notebook
  • + 2
3
0
Logo for Code underlying the publication: Using and Abusing Equivariance

Code underlying the publication: Using and Abusing Equivariance

Code underlying the publication: Using and Abusing Equivariance

  • computer vision
  • data efficient deep learning
  • equivariance
  • + 1
  • Python
  • Other
  • Markdown
3
0
Logo for complex_stylized_supply_chain_model_generator

complex_stylized_supply_chain_model_generator

Code: Complex Stylized Supply Chain Model - Automatic Graph Generator

  • graph generator
  • model
  • Simulation
  • + 1
  • Python
  • Other
  • JSON
  • + 1
1
0