Skip to main content
Ctrl K

All software

1407 software items. Page 20 of 118. 12 items per page.
229-240 of 1407

[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

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

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

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

scv_sparse_data

Code: Calculate Supply Chain Visibility with Sparse Data

  • sparse data
  • supply chain
  • supply chain visibility
  • Jupyter Notebook
  • Other
  • Python
1
9

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

Bacting

Bacting is an open-source platform for chemo- and bioinformatics based on Bioclipse that defines a number of common domain objects and wraps common functionality, providing a toolkit independent, scriptable solution to handle data from the life sciences.

  • bioinformatics
  • Cheminformatics
  • Java
  • TeX
1
9

orbitN

Symplectic integrator for near-Keplerian planetary systems

  • astronomical solution
  • astronomy
  • N-body
  • + 2
1
9