All software
pdb2sql
Fast and versatile Python package that leverages SQL queries to parse, manipulate and process biomolecular structure files. The structure files should be in the PDB format and are available on www.rcsb.org.
- Big data
- Optimized data handling
- (Makefile)
- (Python)
- (TeX)
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)
- (Python)
- + 3
WRFpy
WRFpy is a python application that provides an easy way to set up, run, and monitor Weather Research and Forecasting simulations
- Data Simulation
- python
- (Python)
Xenon command line interface
A command line interface for the Xenon library that allows you to use remote machines to do your computations.
- High performance computing
- (Batchfile)
- ("Common Workflow Language")
- (Dockerfile)
- + 2
[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 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
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)
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)
MATLAB scripts created during the work on "Multi-Δt approach for peak-locking error correction and uncertainty quantification in PIV"
MATLAB scripts created during the work on "Multi-Δt approach for peak-locking error correction and uncertainty quantification in PIV"
- PIV (Particle Image Velocimetry)
- Uncertainty Quantification
Sample dataset and software for FAST-EM array tomography
Sample dataset and software for FAST-EM array tomography
- array tomography
- FAST-EM
- Image processing
- + 1
Shoreline Evolution Model and Appendix A - Supplementary data to the manuscript Challenges and new strategies in assessing multidecadal shore platform sandy beach evolution from aerial imagery
Shoreline Evolution Model and Appendix A - Supplementary data to the manuscript Challenges and new strategies in assessing multidecadal shore platform sandy beach evolution from aerial imagery
- beach change
- beach toe
- beach volume
- + 4
Software and data underlying the publication: Faithful Model Explanations through Energy-Constrained Conformal Counterfactuals
Software and data underlying the publication: Faithful Model Explanations through Energy-Constrained Conformal Counterfactuals
- Classification and Regression
- Deep Generative Models & Autoencoders
- Humanities & Computational Social Science
- + 1
- (JavaScript)
- (JSON)
- (Julia)
- + 6