Ctrl K

All software

1Filter
Keywords
827
Program languages
123
Licenses
53
157-168 of 351

HIPSTA

The HIPpocampal Shape and Thickness Analysis Toolbox (HIPSTA) present a geometry-based method for the analysis of local hippocampal thickness and curvature and constructs an intrinsic coordinate system (unrolling/flattening) for statistical analysis across multiple participants.

  • MRI
  • Neuroimaging
  • open source
  • + 1
  • Python
  • Dockerfile
1
3

LinMOG

LinMOG is a collection of tools for the generation of linear models for univariate and multivariate functions. Furthermore, the linear model can be automatically transformed into a MILP optimization formulation.

  • Energy
  • ESD
  • ESD - Topic 2
  • + 3
  • Python
1
3

PyAPI-RTS

A Python library to read and manipulate RSCAD® draft files, used for power system modeling and simulation on RTDS simulators.

  • Energy
  • ESD
  • Modelling
  • + 1
  • Python
5
3
Logo for supersonic-effects

supersonic-effects

A Python package to model ozone column changes and radiative effects in response to various aircraft emissions at different altitudes over specific regions. The model combines empirical emission sensitivities to estimate effects of supersonic transport on ozone and radiation.

  • aircraft
  • Earth & Environment
  • Earth System Modelling
  • + 4
  • Python
3
3
Logo for Tamarin Prover

Tamarin Prover

The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.

  • Cryptographic Protocols
  • Formal Verification
  • Information
  • Haskell
  • Python
  • JavaScript
  • + 11
1
3
Logo for TBT-Segmentation

TBT-Segmentation

Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.

  • CPS
  • Formal Specification
  • monitoring
  • + 2
  • Rust
  • Python
  • Shell
  • + 2
6
3
Logo for PaN Training Catalogue for the Photon & Neutron Community

PaN Training Catalogue for the Photon & Neutron Community

The PaN Training Catalogue is a fork from the TeSS Training Catalogue (ELIXIR) and was initially developed in our Photon and Neutron (PaN) projects ExPaNDS and PaNOSC.

  • catalogue
  • e-learning
  • metadata
  • + 3
  • Ruby
  • HTML
  • JavaScript
  • + 4
5
3

ULTImodel

A universal transport distribution model written in Python.

  • Transport Distribution
  • transport modelling
  • Python
2
3
Logo for ehrapy

ehrapy

ehrapy is a modular open-source Python framework designed for exploratory end-to-end analysis of heterogeneous epidemiology and electronic health record data.

  • Data analysis
  • open source
  • python
  • Python
0
2
Logo for ELECTRODE

ELECTRODE

ELECTRODE extends the atomistic simulation tool LAMMPS to model different types of electrochemical situations. Simulations are performed at constant potential or constant charge using different approaches to control potential or charge at the electrodes.

  • Constant Potential Method
  • Electrochemistry
  • Molecular Dynamics
  • C++
  • Tcl
  • C
  • + 26
4
2

Independent Parallel Particle Layer (IPPL)

IPPL is a C++ library to develop performance portable code for fully Eulerian, Lagrangian or hybrid Eulerian-Lagrangian methods. IPPL supports simulations in one to six dimensions, mixed precision, and asynchronous execution in different execution spaces (e.g. CPUs and GPUs).

  • Computational Fluid Dynamics
  • GPU
  • High performance computing
  • + 5
  • C++
  • CMake
  • Shell
  • + 3
23
2
Logo for METABOLATOR

METABOLATOR

Analysis of Microcalorimetric Metabolic Data Using Monod's Equation.

  • curve fitting
  • Data Science
  • metabolic load
  • + 1
  • Python
  • HTML
  • Jupyter Notebook
8
2