Software | Research Software Directory

HCOMP2022_ARCHIE

Analogy-based explanation evaluation dataset for HCOMP 2022 paper "It Is Like Finding a Polar Bear in the Savannah! Concept-level AI Explanations with Analogical Inference from Commonsense Knowledge."

Analogy
Commonsense Knowledge
Concept-level Explanation
+ 1

Markdown
Other
Python

5

11

Numerical models and datasets concerning the publication:"Electrocatalytic reaction-driven flow"

COMSOL multiphysics software
Simulation

1

11

SIMULINK model for Lifetime Analysis of IGBT Power Modules in Passively Cooled Tidal Turbine Converters

IGBT modules
lifetime analysis
power electronic converters
+ 1

1

11

DALES

DALES is a large-eddy simulation code designed for studies of the physics of the atmospheric boundary layer, including convective and stable boundary layers as well as cloudy boundary layers.

C
CMake
Fortran
+ 8

24

11

ExploreASL

ExploreASL is a pipeline and toolbox for image processing and statistics of arterial spin labeling perfusion MR images. It is designed as a multi-OS, open-source, collaborative framework that facilitates cross-pollination between image processing method developers and clinical investigators.

ASL
Image processing
MRI

C
MATLAB
Python

7

11

FastMLC

Detect clusters in for example large collections of DNA or protein sequences, and visualize the results in a web browser.

Big data
Machine learning
Visualization

C
C++
CMake
+ 5

5

11

SIGA.py

Make genome annotations semantically interoperable

Inter-operability & linked data

Python

2

11

ML-MoCap - Controller and Camera module Images

human movement
markerless
MarkerLess Motion Capture (ML-MoCap)
+ 1

1

10

MDStudio

A tool to run molecular dynamics workflows.

High performance computing
Real time data analysis
Workflow technologies

CSS
Dockerfile
HTML
+ 5

4

10

Virtual Human Platform

The Virtual Human Platform (VHP) was developed through the VHP4Safety project to support chemical and pharmaceutical safety testing. VHP provides you with human-relevant tools and models for precision safety evaluation, helping you reduce reliance on laboratory animals.

toxicology

CSS
Dockerfile
HTML
+ 4

0

10

[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

Deductive verification
embedded systems
parameterized systems
+ 2

6

9

Code and data underlying the publication: Symmetrization of 2D Polygonal Shapes Using Mixed-Integer Programming

Design
Digitalization
Shape optimization
+ 1

Automake
C
C++
+ 3

3

9