Outputs (122)

Engineering improved ethylene production: Leveraging systems Biology and adaptive laboratory evolution (2021)
Journal Article
Vaud, S., Pearcy, N., Hanževački, M., Van Hagen, A. M., Abdelrazig, S., Safo, L., Ehsaan, M., Jonczyk, M., Millat, T., Craig, S., Spence, E., Fothergill, J., Bommareddy, R. R., Colin, P.-Y., Twycross, J., Dalby, P., Minton, N., Jäger, C. M., Kim, D.-H., Yu, J., …Bryan, S. J. (2021). Engineering improved ethylene production: Leveraging systems Biology and adaptive laboratory evolution. Metabolic Engineering, 67, 308-320. https://doi.org/10.1016/j.ymben.2021.07.001

Ethylene is a small hydrocarbon gas widely used in the chemical industry. Annual worldwide production currently exceeds 150 million tons, producing considerable amounts of CO2 contributing to climate change. The need for a sustainable alternative is... Read More about Engineering improved ethylene production: Leveraging systems Biology and adaptive laboratory evolution.

Intrusion Detection System Based on an Updated ANN Model (2021)
Presentation / Conference Contribution
Xue, Y., Onzo, B.-M., & Neri, F. (2021, July). Intrusion Detection System Based on an Updated ANN Model. Presented at 12th International Conference, ICSI 2021, Qingdao, China

An intrusion detection system (IDS) is a software application or hardware appliance that monitors traffic on networks and systems to search for suspicious activity and known threats, sending up alerts when it finds such items. In these recent years,... Read More about Intrusion Detection System Based on an Updated ANN Model.

Teachers’ Perspectives on the Adoption of an Adaptive Learning System Based on Multimodal Affect Recognition for Students with Learning Disabilities and Autism (2021)
Presentation / Conference Contribution
Standen, P. J., Brown, D. J., Kwiatkowska, G. M., Belmonte, M. K., Galvez Trigo, M. J., Boulton, H., Burton, A., Hallewell, M. J., Shopland, N., Blanco Gonzalez, M. A., Milli, E., Cobello, S., Mazzucato, A., & Traversi, M. (2021, July). Teachers’ Perspectives on the Adoption of an Adaptive Learning System Based on Multimodal Affect Recognition for Students with Learning Disabilities and Autism. Presented at 23rd HCI International Conference, HCII 2021, Online

Adoption of e-learning for those with special needs lags that for mainstream learners. Not much is known about barriers and facilitators that drive this disparity. The present study used focus groups and interviews to collect the views of 21 t... Read More about Teachers’ Perspectives on the Adoption of an Adaptive Learning System Based on Multimodal Affect Recognition for Students with Learning Disabilities and Autism.

Placing AI in the Creative Industries: The Case for Intelligent Music Production (2021)
Presentation / Conference Contribution
McGarry, G., Chamberlain, A., Crabtree, A., & Greenhalgh, C. (2021, July). Placing AI in the Creative Industries: The Case for Intelligent Music Production. Presented at 23rd HCI International Conference, HCII 2021, Proceedings, Part I, Virtual Event

The digital transformation of the recording industry is one of the most well-known in recent times, with the Digital Audio Workstation (DAW) making new methods of music production available to amateurs and professionals in almost any setting beyond t... Read More about Placing AI in the Creative Industries: The Case for Intelligent Music Production.

Developing a cyber security culture: Current practices and future needs (2021)
Journal Article
Uchendu, B., Nurse, J. R., Bada, M., & Furnell, S. (2021). Developing a cyber security culture: Current practices and future needs. Computers and Security, 109, Article 102387. https://doi.org/10.1016/j.cose.2021.102387

While the creation of a strong security culture has been researched and discussed for decades, it continues to elude many businesses. Part of the challenge faced is distilling pertinent, recent academic findings and research into useful guidance. In... Read More about Developing a cyber security culture: Current practices and future needs.

The Digital Network of Networks: Regulatory Risk and Policy Challenges of Vaccine Passports (2021)
Journal Article
Wilford, S. H., McBride, N., Brooks, L., Eke, D. O., Akintoye, S., Owoseni, A., Leach, T., Flick, C., Fisk, M., & Stacey, M. (2021). The Digital Network of Networks: Regulatory Risk and Policy Challenges of Vaccine Passports. European Journal of Risk Regulation, 12(2), 393-403. https://doi.org/10.1017/err.2021.35

The extensive disruption to and digital transformation of travel administration across borders largely due to COVID-19 mean that digital vaccine passports are being developed to resume international travel and kick-start the global economy. Currently... Read More about The Digital Network of Networks: Regulatory Risk and Policy Challenges of Vaccine Passports.

Comonadic semantics for guarded fragments (2021)
Presentation / Conference Contribution
Abramsky, S., & Marsden, D. (2021, June). Comonadic semantics for guarded fragments. Presented at 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Rome, Italy

In previous work, it has been shown how a range of model comparison games which play a central role in finite model theory, including Ehrenfeucht-Fraïssé, pebbling, and bisimulation games, can be captured in terms of resource-indexed comonads on the... Read More about Comonadic semantics for guarded fragments.

Martin Hofmann’s Contributions to Type Theory: Groupoids and Univalence (2021)
Journal Article
Altenkirch, T. (2021). Martin Hofmann’s Contributions to Type Theory: Groupoids and Univalence. Mathematical Structures in Computer Science, 31(9), 953-957. https://doi.org/10.1017/S0960129520000316

My goal is to give an accessible introduction to Martin’s work on the groupoid model and how it is related to the recent notion of univalence in Homotopy Type Theory while sharing some memories of Martin.

Necrotic Behavioral Control of Agent Behavior in the Iterated Prisoner’s Dilemma (2021)
Presentation / Conference Contribution
Saunders, A., Ashlock, D., & Greensmith, J. (2021, June). Necrotic Behavioral Control of Agent Behavior in the Iterated Prisoner’s Dilemma. Presented at 2021 IEEE Congress on Evolutionary Computation (CEC), Kraków, Poland

As the Covid-19 pandemic of 2020 illustrates, controlling the behavior of social agents is a difficult problem. This study examines the potential for an immune-inspired technique called necrosis to steer the behavior of agent populations that are evo... Read More about Necrotic Behavioral Control of Agent Behavior in the Iterated Prisoner’s Dilemma.

Sounding out the System: Multidisciplinary Web Science Platforms for Creative Sonification (2021)
Presentation / Conference Contribution
Emsley, I., & Chamberlain, A. (2021, June). Sounding out the System: Multidisciplinary Web Science Platforms for Creative Sonification. Presented at 13th ACM Web Science Conference 2021, Virtual

In this paper, we present our initial findings in using digital methods to consider the way that different devices can connect to the same object. We take a more experimental view of the ways in which network data might be used in compositions to hel... Read More about Sounding out the System: Multidisciplinary Web Science Platforms for Creative Sonification.