Search
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 ...
Inter-ALTCAI: Interactive Agents with Literacy, Trust, and Comprehension-aware Artificial Intelligence
(The University of Nottingham, 2021-07-30)
SPSS file containing the participants' responses to the questionnaires used during the project.
During Inter-ALTCAI we designed an Embodied Conversation Agent (ECA) to provide informal health and well-being advice to ...
Mind uploading - freedom or slavery?
(The University of Nottingham, 2021-07-28)
This online survey aimed to explore the public's awareness of and attitudes to the hypothetical concept of mind uploading.
Instance generator and solvers for the Valued Authorization Policy Existence Problem
(The University of Nottingham, 2021-07-13)
Python code of the instance generator and two mixed-integer-programming solvers (User-Profile and Naive) for the Valued Authorization Policy Existence Problem. Related to the paper "Valued Authorization Policy Existence ...