All software
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
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
complex_stylized_supply_chain_model_generator
Code: Complex Stylized Supply Chain Model - Automatic Graph Generator
- graph generator
- model
- simulation
- + 1
- Python
- Other
- JSON
- + 1
Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"
Data and code underlying the paper: "Can we predict the Most Replayed data of video streaming platforms?"
- computer vision
- Most Replayed Data
- Video streaming
- + 1
- Python
- JSON
- HTML
- + 4
GSI_ToolBox
GSI ToolBox underlying the publication: A Wave Scattering Approach to Modelling Surface Roughness in Orbital Aerodynamics
- aerodynamic drag
- gas-surface interaction
- scattering dynamics
- + 1
- HTML
- TeX
- Other
- + 7
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
Implementation of approximate SDD-TMPC (state-dependent dynamic tube model predictive control) for a nonlinear problem
- Approximate MPC
- Robust optimization
- Spiking neural networks
- Matlab
- HTML
- Other
- + 7
IntervalMDPAbstractions.jl_ReproducibilityPackage
Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions
- embedded systems
- Markov processes
- Stochastic control and optimization
- JSON
- C++
- HTML
- + 10
MLATjs
MLAT application - an application designed to visualize accuracy of MLAT measurments over large areas
- Aerospace
- data visualization
- Localization
- + 2
- JavaScript
- HTML
- Markdown
- + 14
ML-bias-prediction-MW-Radiances
Code underlying: Bias prediction of microwave radiance observations using machine learning methods
- Bias correction
- Data science
- HARMONIE-AROME
- + 3
- Other
- Python
- Shell
- + 2
Morality is Non-Binary: Building a Pluralist Moral Sentence Embedding Space using Contrastive Learning - code
Morality is Non-Binary: Building a Pluralist Moral Sentence Embedding Space using Contrastive Learning - code
- Contrastive Learning
- Morality
- Natural Language Processing
- + 1
- Python
- Other
- Markdown
- + 6
oraqle
Oraqle: A Depth-Aware Secure Computation Compiler
- arithmetization
- compiler
- cryptography
- + 1
- Python
- Other
- Markdown
- + 4
perm_map_circuits
Code underlying: Efficient Circuits for Permuting and Mapping Packed Values Across Leveled Homomorphic Ciphertexts
- cryptography
- graph coloring
- homomorphic encryption
- + 1
- C++
- C
- Markdown
- + 2