All software
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
Software accompanying paper: Refinement of Parallel Algorithms down to LLVM
- Concurrent Separation Logic
- Isabelle
- LLVM
- + 1
Software accompanying the publication: Surrogate DC Microgrid Models for Optimization of Charging Electric Vehicles under Partial Observability
Software accompanying the publication: Surrogate DC Microgrid Models for Optimization of Charging Electric Vehicles under Partial Observability
- DC microgrid
- Electric vehicles (EV),
- Optimization Algorithms
Software and code for the research project: Interdependence and Communication Style in Human-Agent/Robot Teamwork
Software and code for the research project: Interdependence and Communication Style in Human-Agent/Robot Teamwork
- Explainable AI (XAI)
- GitHub page
- Human-Robot Teamwork
Software code in R for a cluster analysis to cluster and characterize autonomous last mile concepts in a standardized and holistic manner
Software code in R for a cluster analysis to cluster and characterize autonomous last mile concepts in a standardized and holistic manner
- autonomous fulfillment concepts
- autonomous last mile concepts
- Cluster Analysis
Software for 3D particle averaging of SMLM data
Software for 3D particle averaging of SMLM data
- Localization microscopy
- Single Molecule Localization Microscopy
- SMLM methods
- + 1
Software for Detecting Structural Heterogeneity in Single-Molecule Localization Microscopy Data
Software for Detecting Structural Heterogeneity in Single-Molecule Localization Microscopy Data
- classification approach
- Single Molecule Localization Microscopy
- SMLM
- + 1
Software for Industrial Mobile Manipulation Virtual Micro Challenge 2022
Software for Industrial Mobile Manipulation Virtual Micro Challenge 2022
- Mobile manipulation
- robotics
- Robot Operating System (ROS)
- + 1
Software for self-adaptive and on-the-fly mapping of coastal parameters from video of a wave field
Software for self-adaptive and on-the-fly mapping of coastal parameters from video of a wave field
- bathymetry
- coast
- cocos
- + 8
Software for Simultaneous orientation and 3D localization microscopy with a Vortex point spread function
Software for Simultaneous orientation and 3D localization microscopy with a Vortex point spread function
- fixed dipole emission
- Fluorescence
- single-molecule localization microscopy
- + 3
Software needed in Data Availability Statement about Resonant waves play an important role in the increasing heat waves in Northern Hemisphere mid-latitudes under global warming
Software needed in Data Availability Statement about Resonant waves play an important role in the increasing heat waves in Northern Hemisphere mid-latitudes under global warming
- heat extreme, planetary waves
Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species
Software supporting: Analysis of natural variation in photosynthesis in a panel of Brassicaceae species
- Brassicaceae
- High-throughput phenotyping
- Hirschfeldia incana
- + 1
- Other
- Python
- Markdown
Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances
Software supporting: RNA-Seq analysis of Brassicaceae species under different irradiances
- Brassicaceae
- Hirschfeldia incana
- photosynthesis
- + 1
- Python
- R
- Other
- + 1