Skip to main content

Research Repository

Advanced Search

All Outputs (126)

Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory (2020)
Presentation / Conference Contribution
Kraus, N., & Von Raumer, J. (2020, June). Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory. Presented at ACM International Conference Proceeding Series, Saarbrücken Germany (held online)

Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent of inducti... Read More about Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory.

A Multiobjective Computation Offloading Algorithm for Mobile Edge Computing (2020)
Journal Article
Song, F., Xing, H., Luo, S., Zhan, D., Dai, P., & Qu, R. (2020). A Multiobjective Computation Offloading Algorithm for Mobile Edge Computing. IEEE Internet of Things Journal, 7(9), 8780 -8799. https://doi.org/10.1109/jiot.2020.2996762

In mobile edge computing (MEC), smart mobile devices (SMDs) with limited computation resources and battery lifetime can offload their computing-intensive tasks to MEC servers, thus to enhance the computing capability and reduce the energy consumption... Read More about A Multiobjective Computation Offloading Algorithm for Mobile Edge Computing.

Agent programming in the cognitive era (2020)
Journal Article
Bordini, R. H., El Fallah Seghrouchni, A., Hindriks, K., Logan, B., & Ricci, A. (2020). Agent programming in the cognitive era. Autonomous Agents and Multi-Agent Systems, 34(2), Article 37. https://doi.org/10.1007/s10458-020-09453-y

It is claimed that, in the nascent ‘Cognitive Era’, intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that machine learning has limitations, and, taken... Read More about Agent programming in the cognitive era.

Multi-behaviors coordination controller design with enzymatic numerical P systems for robots (2020)
Journal Article
Wang, X., Zhang, G., Gou, X., Paul, P., Neri, F., Rong, H., Yang, Q., & Zhang, H. (2021). Multi-behaviors coordination controller design with enzymatic numerical P systems for robots. Integrated Computer-Aided Engineering, 28(2), 119-140. https://doi.org/10.3233/ica-200627

Membrane computing models are parallel and distributed natural computing models. These models are often referred to as P systems. This paper proposes a novel multi-behaviors coordination controller model using enzymatic numerical P systems for autono... Read More about Multi-behaviors coordination controller design with enzymatic numerical P systems for robots.

Soma Design and Sensory Misalignment (2020)
Presentation / Conference Contribution
Tennent, P., Marshall, J., Tsaknaki, V., Windlin, C., Höök, K., & Alfaras, M. (2020, April). Soma Design and Sensory Misalignment. Presented at 2020 CHI Conference on Human Factors in Computing Systems (CHI’20), Honolulu HI USA

We report on a workshop bringing together researchers working in soma design and sensory misalignment. Creating experiences that make use of sensory misalignment has become increasingly common, often associated with virtual reality research. However,... Read More about Soma Design and Sensory Misalignment.

The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration (2020)
Presentation / Conference Contribution
Issak, I., & Kucukyilmaz, A. (2020, April). The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration. Presented at UKRAS20 Conference: “Robots into the real world”, Lincoln, UK

One of the challenges in collaborative human-robot object transfer is the robot’s ability to infer about the interaction state and adapt to it in real time. During joint object transfer humans communicate about the interaction states through mul- tip... Read More about The Goods and Bads in Dyadic Co-Manipulation: Identifying Conflict-Driven Interaction Behaviours in Human-Human Collaboration.

The General Combinatorial Optimization Problem: Towards Automated Algorithm Design (2020)
Journal Article
Qu, R., Kendall, G., & Pillay, N. (2020). The General Combinatorial Optimization Problem: Towards Automated Algorithm Design. IEEE Computational Intelligence Magazine, 15(2), 14-23. https://doi.org/10.1109/mci.2020.2976182

This paper defines a new combinatorial optimisation problem, namely General Combinatorial Optimisation Problem (GCOP), whose decision variables are a set of parametric algorithmic components, i.e. algorithm design decisions. The solutions of GCOP, i.... Read More about The General Combinatorial Optimization Problem: Towards Automated Algorithm Design.

Modified approach to estimating daily methane emissions of dairy cows by measuring filtered eructations during milking (2020)
Journal Article
Bell, M. J., Garnsworthy, P., Mallis, D., Eckard, R., Moate, P., & Yan, T. (2020). Modified approach to estimating daily methane emissions of dairy cows by measuring filtered eructations during milking. Landbauforschung, 69(1), 47-56. https://doi.org/10.3220/LBF15841062570004

The aim of this study was to compare metrics for quantifying enteric methane (CH4) emissions from individual cows during milking using frequent spot measurements and peak analysis methods. An infrared gas analyser was used to measure the CH4 emitted... Read More about Modified approach to estimating daily methane emissions of dairy cows by measuring filtered eructations during milking.

A Comprehensive Study of the Efficiency of Type-Reduction Algorithms (2020)
Journal Article
Chen, C., Wu, D., Garibaldi, J. M., John, R. I., Twycross, J., & Mendel, J. M. (2021). A Comprehensive Study of the Efficiency of Type-Reduction Algorithms. IEEE Transactions on Fuzzy Systems, 29(6), 1556 -1566. https://doi.org/10.1109/tfuzz.2020.2981002

Improving the efficiency of type-reduction algorithms continues to attract research interest. Recently, there have been some new type-reduction approaches claiming that they are more efficient than the well-known algorithms such as the enhanced Karni... Read More about A Comprehensive Study of the Efficiency of Type-Reduction Algorithms.

A Similarity Measure Based on Bidirectional Subsethood for Intervals (2020)
Journal Article
Kabir, S., Wagner, C., Havens, T. C., & Anderson, D. T. (2020). A Similarity Measure Based on Bidirectional Subsethood for Intervals. IEEE Transactions on Fuzzy Systems, 28(11), 2890-2904. https://doi.org/10.1109/tfuzz.2019.2945249

With a growing number of areas leveraging interval-valued data—including in the context of modelling human uncertainty (e.g., in Cyber Security), the capacity to accurately and systematically compare intervals for reasoning and computation is increas... Read More about A Similarity Measure Based on Bidirectional Subsethood for Intervals.

Should consent for data processing be privileged in health research? A comparative legal analysis (2020)
Journal Article
Dove, E. S., & Chen, J. (2020). Should consent for data processing be privileged in health research? A comparative legal analysis. International Data Privacy Law, 10(2), 117–131. https://doi.org/10.1093/idpl/ipz023

Several recent data protection laws appear to afford a privileged position to scientific research, including health research. Provisions that might otherwise apply to data subjects and data controllers, including rights exercisable by data subjects a... Read More about Should consent for data processing be privileged in health research? A comparative legal analysis.

Evaluating Automated Machine Learning on Supervised Regression Traffic Forecasting Problems (2020)
Book Chapter
Angarita-Zapata, J. S., Masegosa, A. D., & Triguero, I. (2020). Evaluating Automated Machine Learning on Supervised Regression Traffic Forecasting Problems. In O. Llanes Santiago, C. Cruz Corona, A. J. Silva Neto, & J. L. Verdegay (Eds.), Computational intelligence in emerging technologies for engineering applications (187-204). Springer. https://doi.org/10.1007/978-3-030-34409-2_11

© Springer Nature Switzerland AG 2020. Traffic forecasting is a well-known strategy that supports road users and decision-makers to plan their movements on the roads and to improve the management of traffic, respectively. Current data availability an... Read More about Evaluating Automated Machine Learning on Supervised Regression Traffic Forecasting Problems.

A brief overview on an air transportation system (ATS) (2020)
Preprint / Working Paper
Arif, S., Atkin, J., & De Maere, G. A brief overview on an air transportation system (ATS). Nottingham

The worldwide Air Transport System (ATS) has a huge impact on the global economy and is expected to grow annually in size and operational costs. This impact has led the ATS to attract the attention of researchers worldwide. This article aims to provi... Read More about A brief overview on an air transportation system (ATS).

Constrained Interval Type-2 Fuzzy Sets (2020)
Journal Article
Dalterio, P., Garibaldi, J. M., John, R., & Pourabdollah, A. (2021). Constrained Interval Type-2 Fuzzy Sets. IEEE Transactions on Fuzzy Systems, 29(5), 1212-1225. https://doi.org/10.1109/tfuzz.2020.2970911

In many contexts, type-2 fuzzy sets are obtained from a type-1 fuzzy set to which we wish to add uncertainty. However, in the current type-2 representation there is no restriction on the shape of the footprint of uncertainty and the embedded sets tha... Read More about Constrained Interval Type-2 Fuzzy Sets.

A Multimodal Particle Swarm Optimization-based Approach for Image Segmentation (2020)
Journal Article
Farshi, T. R., Drake, J. H., & Özcan, E. (2020). A Multimodal Particle Swarm Optimization-based Approach for Image Segmentation. Expert Systems with Applications, 149, Article 113233. https://doi.org/10.1016/j.eswa.2020.113233

Color image segmentation is a fundamental challenge in the field of image analysis and pattern recognition. In this paper, a novel automated pixel clustering and color image segmentation algorithm is presented. The proposed method operates in three s... Read More about A Multimodal Particle Swarm Optimization-based Approach for Image Segmentation.

Towards infield, live plant phenotyping using a reduced-parameter CNN (2019)
Journal Article
Atanbori, J., French, A. P., & Pridmore, T. P. (2020). Towards infield, live plant phenotyping using a reduced-parameter CNN. Machine Vision and Applications, 31, Article 2. https://doi.org/10.1007/s00138-019-01051-7

There is an increase in consumption of agricultural produce as a result of the rapidly growing human population, particularly in developing nations. This has triggered high-quality plant phenotyping re- search to help with the breeding of high yieldi... Read More about Towards infield, live plant phenotyping using a reduced-parameter CNN.

CNN-Based Cassava Storage Root Counting Using Real and Synthetic Images (2019)
Journal Article
Atanbori, J., Montoya, M., Selvaraj, M., French, A. P., & Pridmore, T. P. (2019). CNN-Based Cassava Storage Root Counting Using Real and Synthetic Images. Frontiers in Plant Science, 10, Article 1516. https://doi.org/10.3389/fpls.2019.01516

Cassava roots are complex structures comprising several distinct types of root. The number and size of the storage roots are two potential phenotypic traits reflecting crop yield and quality. Counting and measuring the size of cassava storage roots a... Read More about CNN-Based Cassava Storage Root Counting Using Real and Synthetic Images.

Migration threshold tuning in the deterministic dendritic cell algorithm (2019)
Book Chapter
Greensmith, J. (2019). Migration threshold tuning in the deterministic dendritic cell algorithm. In C. Martín-Vide, G. Pond, & M. A. Vega-Rodríguez (Eds.), Theory and Practice of Natural Computing: 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019: proceedings (122-133). Springer. https://doi.org/10.1007/978-3-030-34500-6_8

In this paper we explore the sensitivity of the migration threshold parameter in the Deterministic Dendritic Cell Algorithm (dDCA), one of the four main types of Artificial Immune System. This is with a view to the future construction of a DCA augmen... Read More about Migration threshold tuning in the deterministic dendritic cell algorithm.

Setoid Type Theory—A Syntactic Translation (2019)
Presentation / Conference Contribution
Altenkirch, T., Boulier, S., Kaposi, A., & Tabereau, N. (2019, October). Setoid Type Theory—A Syntactic Translation. Presented at 13th International Conference on Mathematics of Program Construction (MPC 2019), Porto, Portugal

We introduce setoid type theory, an intensional type theory with a proof-irrelevant universe of propositions and an equality type satisfying functional extensionality and propositional extensionality. We justify the rules of setoid type theory by a s... Read More about Setoid Type Theory—A Syntactic Translation.