Skip to main content
Ctrl K

All software

1428 software items. Page 20 of 119. 12 items per page.
229-240 of 1428

OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies

OFF framework, code underlying the publication A dynamic open-source model to investigate wake dynamics in response to wind farm flow control strategies

  • dynamic parametric wake model
  • surrogate wake model
  • wind farm flow control
  • + 1
  • CSS
  • HTML
  • JavaScript
  • + 7
2
10

Scripts and data accompanying publication: "Manure matters: Prospects for regional banana-livestock integration for sustainable intensification in South-West Uganda"

Scripts and data accompanying publication: "Manure matters: Prospects for regional banana-livestock integration for sustainable intensification in South-West Uganda"

  • cattle
  • crop-livestock integration
  • East African Highland Banana
  • + 5
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

Turing Data Safe Haven

Data Safe Haven is an open-source framework for creating Trusted Research Environments (TREs) to analyse sensitive data. It provides a set of scripts that will allow you to deploy, administer and use your own TRE on Microsoft Azure cloud.

  • Cloud
  • cloud storage
  • Infrastructure as code
  • + 3
  • Dockerfile
  • Jinja
  • PLpgSQL
  • + 4
29
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

[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

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

Code supporting the paper: A Bayesian finite-element trained machine learning approach for predicting post-burn contraction

Code supporting the paper: A Bayesian finite-element trained machine learning approach for predicting post-burn contraction

  • Feed-forward neural network
  • Machine learning
  • MATLAB
  • + 5
3
9

Code underlying the publication: Maintenance Optimization for Multi-Component Systems with a Single Sensor

Code underlying the publication: Maintenance Optimization for Multi-Component Systems with a Single Sensor

  • Condition-based maintenance
  • Inspection planning
  • Maintenance
  • + 2
  • Other
  • Python
4
9

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
3
9

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
2
9

Hydrodynamic Analysis of Marine Structures-Marine Renewable Energies Lab (HAMS-MREL)

Hydrodynamic Analysis of Marine Structures-Marine Renewable Energies Lab (HAMS-MREL)

  • BIEM
  • HAMS
  • HAMS-MREL
  • + 4
5
9