Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

119

Program languages

Licenses

13-24 of 36

InteractiveVis

The InteractiveVis software framework provides a blueprint for evaluating 3D datasets with convolutional neural networks (CNNs), and for deriving and visualizing CNN relevance maps. This tool was developed and tested for disease detection in MRI scans. We plan to extend it to other domains.

Data Visualization
MRI
open source
+ 1

Jupyter Notebook
HTML
MATLAB
+ 5

JPlag

JPlag is one of the most used software plagiarism detectors in universities around the world.

clone detection
Java
open source
+ 4

Java
ANTLR
Rust
+ 15

423

JURI

JURI (Jülich Reporting Interface) provides a template-driven fully client-based web framework to visualise data lists and associated data graphs.

JavaScript
HTML
CSS
+ 5

Kaapana

Kaapana is an open source toolkit for state of the art platform provisioning in the field of medical data analysis. The applications comprise AI-based workflows and federated learning scenarios with a focus on radiological and radiotherapeutic imaging.

data managment
Federated Learning
Image processing
+ 2

Python
Shell
Vue
+ 12

Kadi4Mat

Kadi4Mat is an open-source software for managing research data, which supports close cooperation between experimenters, theorists, and simulators, especially in the field of materials science.

Earth & Environment
Electronic Lab Notebook
Energy
+ 10

Python
Vue
HTML
+ 2

KeY

KeY is a deductive verification system for Java programs

Deductive Verification
First-Order Logic
Formal Verification
+ 3

Java
HTML
ANTLR
+ 14

952

KeYmaera X

An aXiomatic Tactical Theorem Prover for Hybrid Systems

Axiom
Differential Dynamic Logic
Hybrid Systems
+ 3

Scala
JavaScript
Mathematica
+ 7

LiberTEM

LiberTEM is an open source platform for high-throughput distributed processing of large-scale binary data sets and live data streams using a stream-based programming model. The current focus is pixelated scanning transmission electron microscopy (4DSTEM) and scanning electron beam diffraction data.

4D STEM
electron microscopy
high-throughput
+ 3

Python
TypeScript
JavaScript
+ 6

me-compute

me-compute: a Python software to download events and data from FDSN web services and compute their energy magnitude (Me)

energy magnitude
FDSN
seismic data
+ 1

Python
HTML

Medical Imaging Interaction Toolkit (MITK)

A free and open-source software for the development of interactive medical image processing applications. MITK provides a powerful and free application called the MITK Workbench, which allows users to view, process, and segment medical images.

Artificial Intelligence
C++
Data Visualization
+ 7

C++
CMake
C
+ 8

mmpxrt

Raytracing code for x-ray spectrometers with (not only) mossaic crystals Helps with design and analysis of x-ray spectrometers. Useful tool for (rather) experienced physicist.

Python
CSS
HTML
+ 2

MSS - Mission Support System

For discussion of the possibilites of research flights, the Mission Support System (MSS) was developed. This software helps to review a big amount of metereological and model data by viewing the forecasted parameters of interest along possible regions of a proposed flight path.

Data Visualization
Earth & Environment
Flight Planning
+ 2

Python
HTML
Shell
+ 2