Browsing by Subject "Computer Sciences::Artificial intelligence::Machine learning, Automated reasoning"
Now showing items 1-4 of 4
-
Benchmarks and solvers for the Workflow Satisfiability Problem
(The University of Nottingham, 2021-05-06)The Workflow Satisfiability Problem is an important problem in access control. This dataset includes the instances, instance generator and source codes of the solvers used in Daniel Karapetyan, Gregory Gutin, Solving the ... -
Improving the segmentation of scanning probe microscope images using convolutional neural networks
(The University of Nottingham, 2020-09-01)Training/Testing images and trained UNet model for the paper "Improving the Segmentation of Scanning Probe Microscope Images using Convolutional Neural Networks", Farley et al. -
A linear, binary classifier to predict bacterial biofilm formation on polyacrylates
(The University of Nottingham, 2022-09-08)Datafiles, in Microsoft Excel format, associated with the manuscript "A linear, binary classifier to predict bacterial biofilm formation on polyacrylates" These files contain ToF-SIMS ion peaks and the bacterial attachment ... -
Numerical data for publication "Tracking the Consumption of Home Essentials"
(University of Nottingham, 2019-12-03)This spreadsheet contains the data used for the statistical analysis for the ACM CHI 2019 paper "Tracking the Consumption of Home Essentials". This work was published by the Association of Computing Machinery and presented ...