All software
O3as
The O3as service provides tools to extract essential information on ozone trends from large climate prediction model data and allows the production of scientifically valuable figures coherently.
- Earth & Environment
- Ozone recovery
- Stratospheric ozone
PanVA
Variant Analysis within Pangenomes.
- API
- Data Analysis
- pangenomics
- (CSS)
- (Dockerfile)
- (HTML)
- + 6
pkgndep
A new metric named 'dependency heaviness' is proposed that measures the number of additional dependency packages that a parent package brings to its child package and are unique to the dependency packages imported by all other parents.
- Data analysis
- Data Visualization
- FAIR Data
- + 3
- R
- HTML
- JavaScript
- + 1
SPOT
SPOT is an interactive visualization tool for multi-dimensional data. It allows quick analysis of complex datasets and easy identification of correlations between variables.
- Big data
- Visualization
- (CSS)
- (Dockerfile)
- (JavaScript)
- + 2
t8code
t8code (spoken as "tetcode") is a C/C++ library to manage parallel adaptive meshes with various element types. t8code uses a collection (a forest) of multiple connected adaptive space-trees in parallel and scales to at least one million MPI ranks and over 1 trillion mesh elements.
- data managment
- Data Visualization
- exascale
- + 3
- C++
- C
- CMake
- + 3
xtas
the eXtensible Text Analysis Suite
- Text analysis & natural language processing
- (Java)
- (Python)
- (Shell)
![Logo for [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC](https://research-software-directory.org/image/rpc/get_image?uid=6152d3b815a994f5db839bb481b43e882138f86d "Logo for [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC")
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
- Deductive verification
- embedded systems
- parameterized systems
- + 2
Code and data belonging to the publication "Data-Driven LIDAR Feedforward Predictive Wind Turbine Control"
Code and data belonging to the publication "Data-Driven LIDAR Feedforward Predictive Wind Turbine Control"
- Data-driven control
- Feedforward Control
- Predictive Control
- + 2
- (Markdown)
- (Matlab)
- (Other)
Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"
Code complementing the paper "Feasibility Analysis of a Self-Reinforcing Electroadhesive Rotational Clutch"
- Clutch
- Electroadhesion
- self-reinforcement
- + 2
Data/software underlying the publication: Robust quantum-network memory based on spin qubits in isotopically engineered diamond
Data/software underlying the publication: Robust quantum-network memory based on spin qubits in isotopically engineered diamond
- distributed quantum computation
- entanglement distillation
Data underlying the publication: Fabrication and Characterization of Pneumatic Unit Cell Actuators
Data underlying the publication: Fabrication and Characterization of Pneumatic Unit Cell Actuators
- characterization
- fabrication
- haptic display
- + 4
- (Markdown)
group-trip-planning
Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance
- Empirical Studies
- Group Decision-Making
- Human-AI Decision-Making
- + 5
- (CSS)
- (HTML)
- (JavaScript)
- + 4