All Outputs (1974)

An Adaptive Memetic P System to Solve the 0/1 Knapsack Problem (2020)
Conference Proceeding
Dong, J., Rong, H., Neri, F., Yang, Q., Zhu, M., & Zhang, G. (2020). An Adaptive Memetic P System to Solve the 0/1 Knapsack Problem. In Proceedings of the 2020 IEEE Congress on Evolutionary Computation (1-8). https://doi.org/10.1109/CEC48606.2020.9185841

© 2020 IEEE. Memetic Algorithms are traditionally composed of an evolutionary framework and one or more local search elements. However, modern generation Memetic Algorithms do not necessarily follow a pre-established scheme and are hybrid structures... Read More about An Adaptive Memetic P System to Solve the 0/1 Knapsack Problem.

TransVis: Integrated Distant and Close Reading of Othello Translations (2020)
Journal Article
Alharbi, M. S., Laramee, R. S., & Cheesman, T. (2022). TransVis: Integrated Distant and Close Reading of Othello Translations. IEEE Transactions on Visualization and Computer Graphics, 28(2), 1397-1414. https://doi.org/10.1109/tvcg.2020.3012778

Studying variation among time-evolved translations is a valuable research area for cultural heritage. Understanding how and why translations vary reveals cultural, ideological, and even political influences on literature as well as author relations.... Read More about TransVis: Integrated Distant and Close Reading of Othello Translations.

Using Internet of Things to Reduce Office Workers’ Sedentary Behavior: Intervention Development Applying the Behavior Change Wheel and Human-Centered Design Approach (2020)
Journal Article
Huang, Y., Benford, S., Price, D., Patel, R., Li, B., Ivanov, A., & Blake, H. (2020). Using Internet of Things to Reduce Office Workers’ Sedentary Behavior: Intervention Development Applying the Behavior Change Wheel and Human-Centered Design Approach. JMIR mHealth and uHealth, 8(7), Article e17914. https://doi.org/10.2196/17914

Background: Sedentary behavior (SB) is associated with various adverse health outcomes. The prevalence of prolonged sitting at work among office workers makes a case for SB interventions to target this setting and population. Everyday mundane objects... Read More about Using Internet of Things to Reduce Office Workers’ Sedentary Behavior: Intervention Development Applying the Behavior Change Wheel and Human-Centered Design Approach.

Quality Assessment of Dental Photostimulable Phosphor Plates with Deep Learning (2020)
Conference Proceeding
Bermudez, A., Calderon-Ramirez, S., Thang, T., Tyrrell, P., Moemeni, A., Yang, S., & Torrents-Barrena, J. (2020). Quality Assessment of Dental Photostimulable Phosphor Plates with Deep Learning. . https://doi.org/10.1109/IJCNN48605.2020.9206779

Photostimulable Phosphor Plates are commonly used in digital X-ray imaging for dentistry. During its usage, these plates get damaged, influencing the diagnosis performance and confidence of the dentistry professional. We propose a deep learning based... Read More about Quality Assessment of Dental Photostimulable Phosphor Plates with Deep Learning.

Intention Progression under Uncertainty (2020)
Conference Proceeding
Yao, Y., Alechina, N., Logan, B., & Thangarajah, J. (2020). Intention Progression under Uncertainty. In C. Bessiere (Ed.), Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020) (10-16). https://doi.org/10.24963/ijcai.2020/2

A key problem in Belief-Desire-Intention agents is how an agent progresses its intentions, i.e., which plans should be selected and how the execution of these plans should be interleaved so as to achieve the agent’s goals. Previous approaches to the... Read More about Intention Progression under Uncertainty.

NottReal: A Tool for Voice-based Wizard of Oz studies (2020)
Conference Proceeding
Porcheron, M., Fischer, J. E., & Valstar, M. (2020). NottReal: A Tool for Voice-based Wizard of Oz studies. In CUI '20: Proceedings of the 2nd Conference on Conversational User Interfaces (1–3). https://doi.org/10.1145/3405755.3406168

We present NottReal, an application designed for simulating Voice User Interfaces (VUIs) in Wizard of Oz studies. We briefly discuss the premise and advantages of the Wizard of Oz method before moving onto introducing the design of the application, w... Read More about NottReal: A Tool for Voice-based Wizard of Oz studies.

Developing a measure of online wellbeing and user trust (2020)
Conference Proceeding
Dowthwaite, L., Perez Vallejos, E., Creswick, H., Portillo, V., Patel, M., & Zhao, J. (2020). Developing a measure of online wellbeing and user trust. In Paradigm Shifts in ICT Ethics: Proceedings of the ETHICOMP 2020 18th International Conference on the Ethical and Social Impacts of ICT (26-28)

This paper describes the first stage of the ongoing development of two scales to measure online wellbeing and trust, based on the results of a series of workshops with younger and older adults. The first, the Online Wellbeing Scale includes subscales... Read More about Developing a measure of online wellbeing and user trust.

The Integers as a Higher Inductive Type (2020)
Conference Proceeding
Altenkirch, T., & Scoccola, L. (2020). The Integers as a Higher Inductive Type. In LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (67-73). https://doi.org/10.1145/3373718.3394760

We consider the problem of defining the integers in Homotopy Type Theory (HoTT). We can define the type of integers as signed natural numbers (i.e., using a coproduct), but its induction principle is very inconvenient to work with, since it leads to... Read More about The Integers as a Higher Inductive Type.

Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home (2020)
Conference Proceeding
Nilsson, T., Fischer, J. E., Crabtree, A., Goulden, M., Spence, J., & Costanza, E. (2020). Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (827–839). https://doi.org/10.1145/3357236.3395476

UbiComp has been envisioned to bring about a future dominated by calm computing technologies making our everyday lives ever more convenient. Yet the same vision has also attracted criticism for encouraging a solitary and passive lifestyle. The aim of... Read More about Visions, Values, and Videos: Revisiting Envisionings in Service of UbiComp Design for the Home.

Exploring Problem State Transformations to Enhance Hyper-heuristics for the Job-Shop Scheduling Problem (2020)
Conference Proceeding
Garza-Santisteban, F., Amaya, I., Cruz-Duarte, J., Ortiz-Bayliss, J. C., Ozcan, E., & Terashima-Marin, H. (2020). Exploring Problem State Transformations to Enhance Hyper-heuristics for the Job-Shop Scheduling Problem. In 2020 IEEE Congress on Evolutionary Computation (CEC) (1-8). https://doi.org/10.1109/CEC48606.2020.9185709

This study presents an offline learning Simulated Annealing approach to generate a constructive hyper-heuristic evaluated through training and testing on a set of instances for solving the Job-Shop Scheduling problem. The generated hyperheuristic use... Read More about Exploring Problem State Transformations to Enhance Hyper-heuristics for the Job-Shop Scheduling Problem.

Provably Robust Decisions based on Potentially Malicious Sources of Information (2020)
Conference Proceeding
Muller, T., Wang, D., & Sun, J. (2020). Provably Robust Decisions based on Potentially Malicious Sources of Information. In 2020 IEEE 33rd Computer Security Foundations Symposium (CSF) (411-425). https://doi.org/10.1109/csf49147.2020.00036

Sometimes a security-critical decision must be made using information provided by peers. Think of routing messages, user reports, sensor data, navigational information, blockchain updates. Attackers manifest as peers that strategically report fake in... Read More about Provably Robust Decisions based on Potentially Malicious Sources of Information.

"It's your private information. it's your life.": young people's views of personal data use by online technologies (2020)
Conference Proceeding
Dowthwaite, L., Creswick, H., Portillo, V., Zhao, J., Patel, M., Perez Vallejos, E., …Jirotka, M. (2020). "It's your private information. it's your life.": young people's views of personal data use by online technologies. In IDC '20: Proceedings of the Interaction Design and Children Conference (121-134). https://doi.org/10.1145/3392063.3394410

Children and young people make extensive and varied use of digital and online technologies, yet issues about how their personal data may be collected and used by online platforms are rarely discussed. Additionally, despite calls to increase awareness... Read More about "It's your private information. it's your life.": young people's views of personal data use by online technologies.

A study on offshore wind farm siting criteria using a novel interval-valued fuzzy-rough based Delphi method (2020)
Journal Article
Deveci, M., Özcan, E., John, R., Covrig, C., & Pamucar, D. (2020). A study on offshore wind farm siting criteria using a novel interval-valued fuzzy-rough based Delphi method. Journal of Environmental Management, 270, Article 110916. https://doi.org/10.1016/j.jenvman.2020.110916

This study investigates the degree of importance of criteria affecting the optimal site selection of offshore wind farms. Firstly, forty two different influential criteria have been selected by reviewing the scientific literature on offshore wind far... Read More about A study on offshore wind farm siting criteria using a novel interval-valued fuzzy-rough based Delphi method.

The Ethical Balance of Using Smart Information Systems for Promoting the United Nations’ Sustainable Development Goals (2020)
Journal Article
Ryan, M., Antoniou, J., Brooks, L., Jiya, T., Macnish, K., & Stahl, B. (2020). The Ethical Balance of Using Smart Information Systems for Promoting the United Nations’ Sustainable Development Goals. Sustainability, 12(12), Article 4826. https://doi.org/10.3390/su12124826

The Sustainable Development Goals (SDGs) are internationally agreed goals that allow us to determine what humanity, as represented by 193 member states, finds acceptable and desirable. The paper explores how technology can be used to address the SDGs... Read More about The Ethical Balance of Using Smart Information Systems for Promoting the United Nations’ Sustainable Development Goals.

Artificial intelligence ethics guidelines for developers and users: clarifying their content and normative implications (2020)
Journal Article
Ryan, M., & Stahl, B. C. (2021). Artificial intelligence ethics guidelines for developers and users: clarifying their content and normative implications. Journal of Information, Communication and Ethics in Society, 19(1), 61-86. https://doi.org/10.1108/JICES-12-2019-0138

Purpose: The purpose of this paper is clearly illustrate this convergence and the prescriptive recommendations that such documents entail. There is a significant amount of research into the ethical consequences of artificial intelligence (AI). This i... Read More about Artificial intelligence ethics guidelines for developers and users: clarifying their content and normative implications.

State of the art in logics for verification of resource-bounded multi-agent systems (2020)
Book Chapter
Alechina, N., & Logan, B. (2020). State of the art in logics for verification of resource-bounded multi-agent systems. In A. Blass, P. Cégielski, N. Dershowitz, M. Droste, & B. Finkbeiner (Eds.), Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of his 80th Birthday (9-29). Springer. https://doi.org/10.1007/978-3-030-48006-6_2

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions... Read More about State of the art in logics for verification of resource-bounded multi-agent systems.

Addressing Examination Timetabling Problem Using a Partial Exams Approach in Constructive and Improvement (2020)
Journal Article
Mandal, A. K., Kahar, M. N. M., & Kendall, G. (2020). Addressing Examination Timetabling Problem Using a Partial Exams Approach in Constructive and Improvement. Computation, 8(2), https://doi.org/10.3390/computation8020046

The paper investigates a partial exam assignment approach for solving the examination timetabling problem. Current approaches involve scheduling all of the exams into time slots and rooms (i.e., produce an initial solution) and then continuing by imp... Read More about Addressing Examination Timetabling Problem Using a Partial Exams Approach in Constructive and Improvement.

A Fuzzy-Logic Approach to Dynamic Bayesian Severity Level Classification of Driver Distraction Using Image Recognition (2020)
Journal Article
Fasanmade, A., He, Y., Al-Bayatti, A. H., Morden, J. N., Aliyu, S. O., Alfakeeh, A. S., & Alsayed, A. O. (2020). A Fuzzy-Logic Approach to Dynamic Bayesian Severity Level Classification of Driver Distraction Using Image Recognition. IEEE Access, 8, 95197-95207. https://doi.org/10.1109/access.2020.2994811

Detecting and classifying driver distractions is crucial in the prevention of road accidents. These distractions impact both driver behavior and vehicle dynamics. Knowing the degree of driver distraction can aid in accident prevention techniques, inc... Read More about A Fuzzy-Logic Approach to Dynamic Bayesian Severity Level Classification of Driver Distraction Using Image Recognition.

Using unsupervised learning to partition 3D city scenes for distributed building energy microsimulation (2020)
Journal Article
Zakhary, S., Rosser, J., Siebers, P., Mao, Y., & Robinson, D. (2020). Using unsupervised learning to partition 3D city scenes for distributed building energy microsimulation. Environment and Planning B: Urban Analytics and City Science, 48(5), https://doi.org/10.1177/2399808320914313

Redundancy and Complexity Metrics for Big Data Classification: Towards Smart Data (2020)
Journal Article
Maillo, J., Triguero, I., & Herrera, F. (2020). Redundancy and Complexity Metrics for Big Data Classification: Towards Smart Data. IEEE Access, 1-1. https://doi.org/10.1109/access.2020.2991800

It is recognized the importance of knowing the descriptive properties of a dataset when tackling a data science problem. Having information about the redundancy, complexity and density of a problem allows us to make decisions as to which data preproc... Read More about Redundancy and Complexity Metrics for Big Data Classification: Towards Smart Data.