Skip to main content

Research Repository

Advanced Search

All Outputs (75)

Position Paper: The Usefulness of Data-driven, Intelligent Agent-Based Modelling for Transport Infrastructure Management (2018)
Conference Proceeding
Faboya, O., Figueredo, G. P., Ryan, B., & Siebers, P. (2018). Position Paper: The Usefulness of Data-driven, Intelligent Agent-Based Modelling for Transport Infrastructure Management. In The 21st IEEE International Conference on Intelligent Transportation Systems (144-149). https://doi.org/10.1109/ITSC.2018.8569946

The uneven utilisation of modes of transport has a big impact on traffic in transport pathway infrastrutures. For motor vehicles for instance, this situation explains rapid road deterioration and the large amounts of money invested in maintenance and... Read More about Position Paper: The Usefulness of Data-driven, Intelligent Agent-Based Modelling for Transport Infrastructure Management.

An Artificial Intelligence Method for Comfort Level Prediction (2018)
Conference Proceeding
Masoud Sajjadian, S. M., Jafari, M., & Siebers, P. (2019). An Artificial Intelligence Method for Comfort Level Prediction. In KES-SEB 2018: Sustainability in Energy and Buildings 2018 - Proceedings of the 10th International Conference in Sustainability on Energy and Buildings (169-177). https://doi.org/10.1007/978-3-030-04293-6_17

With the rapid demand for the energy efficient consumption in buildings, bridging the gap between predicted and measured performance is essential. However, recent studies show that there is a significant mismatch between predicted and actual building... Read More about An Artificial Intelligence Method for Comfort Level Prediction.

Interpretability and Complexity of Design in the Creation of Fuzzy Logic Systems - A User Study (2018)
Conference Proceeding
Rosli Razak, T. R., Garibaldi, J. M., Wagner, C., Pourabdollah, A., & Soria, D. (2018). Interpretability and Complexity of Design in the Creation of Fuzzy Logic Systems - A User Study. In Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence (IEEE-SSCI 2018) (420-426). https://doi.org/10.1109/SSCI.2018.8628924

In recent years, researchers have become increasingly more interested in designing an interpretable Fuzzy Logic System (FLS). Many studies have claimed that reducing the complexity of FLSs can lead to improved model interpretability. That is, reducin... Read More about Interpretability and Complexity of Design in the Creation of Fuzzy Logic Systems - A User Study.

Object-focused mixed reality storytelling: technology-driven content creation and dissemination for engaging user experiences (2018)
Conference Proceeding
Darzentas, D., Flintham, M., & Benford, S. (2018). Object-focused mixed reality storytelling: technology-driven content creation and dissemination for engaging user experiences. In PCI '18: Proceedings of the 22nd Pan-Hellenic Conference on Informatics (278-281). https://doi.org/10.1145/3291533.3291588

In this paper we present the creation and deployment of a concerted set of Mixed Reality Technologies designed for creating engaging public experiences and enhanced storytelling opportunities focused on artefacts. Under the title of the Mixed Reality... Read More about Object-focused mixed reality storytelling: technology-driven content creation and dissemination for engaging user experiences.

Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems (2018)
Conference Proceeding
Pekaslan, D., Garibaldi, J. M., & Wagner, C. (2018). Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems. In Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) ( 2960-2965). https://doi.org/10.1109/SMC.2018.00503

Real-world environments face a wide range of noise (uncertainty) sources and gaining insight into the level of noise is a critical part of many applications. While Non-Singleton Fuzzy Logic Systems (NSFLSs), in particular recently introduced advanced... Read More about Noise Parameter Estimation for Non-Singleton Fuzzy Logic Systems.

SyFSeL: generating synthetic fuzzy sets made simple (2018)
Conference Proceeding
McCulloch, J. (2018). SyFSeL: generating synthetic fuzzy sets made simple. In 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

Empirical tests can help determine if methods developed for fuzzy sets work correctly. However, finding a large enough data set with suitable properties to conduct thorough tests can be challenging. This paper presents a new library named SyFSeL (Syn... Read More about SyFSeL: generating synthetic fuzzy sets made simple.

Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification (2018)
Conference Proceeding
Song, S., Zhang, S., Schuller, B. W., Shen, L., & Valstar, M. (2018). Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification. In Proceedings of the 2018 International Joint Conference on Neural Networks (IJCNN). https://doi.org/10.1109/IJCNN.2018.8489497

The performance of speaker-related systems usually degrades heavily in practical applications largely due to the presence of background noise. To improve the robustness of such systems in unknown noisy environments, this paper proposes a simple pre-p... Read More about Noise Invariant Frame Selection: A Simple Method to Address the Background Noise Problem for Text-independent Speaker Verification.

A preliminary study on Hybrid Spill-Tree Fuzzy k-Nearest Neighbors for big data classification (2018)
Conference Proceeding
Maillo, J., Luengo, J., Garcia, S., Herrera, F., & Triguero, I. (2018). A preliminary study on Hybrid Spill-Tree Fuzzy k-Nearest Neighbors for big data classification. In 2018 IEEE International Conference on Fuzzy Systems (FUXX-IEEE) (1-8). https://doi.org/10.1109/FUZZ-IEEE.2018.8491595

The Fuzzy k Nearest Neighbor (Fuzzy kNN) classifier is well known for its effectiveness in supervised learning problems. kNN classifies by comparing new incoming examples with a similarity function using the samples of the training set. The fuzzy ver... Read More about A preliminary study on Hybrid Spill-Tree Fuzzy k-Nearest Neighbors for big data classification.

IoT App Development: Supporting Data Protection by Design and Default (2018)
Conference Proceeding
Lodge, T., Crabtree, A., & Brown, A. (2018). IoT App Development: Supporting Data Protection by Design and Default. In UbiComp '18: Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers, 901-910. doi:10.1145/3267305.3274151

In the domestic IoT domain, data is often collected by phys- ical sensors and actuators embedded in the household and used to provide contextually relevant services to end users. Given that this data is often personal, the EU’s General Data Protectio... Read More about IoT App Development: Supporting Data Protection by Design and Default.

Iteration-related various learning particle swarm optimization for quay crane scheduling problem (2018)
Conference Proceeding
Yu, M., Cong, X. C., Niu, B., & Qu, R. (2018). Iteration-related various learning particle swarm optimization for quay crane scheduling problem. In Bio-inspired computing: theories and applications: 13th International Conference, BIC-TA 2018, Beijing, China, November 2–4, 2018, Proceedings, Part II (201-212). https://doi.org/10.1007/978-981-13-2829-9_19

Quay crane scheduling is critical in reducing operation costs at container terminals. Designing a schedule to handling containers in an efficient order can be difficult. For this problem which is proved NP-hard, heuristic algorithms are effective to... Read More about Iteration-related various learning particle swarm optimization for quay crane scheduling problem.

Modified mixed-dimension chaotic particle swarm optimization for liner route planning with empty container repositioning (2018)
Conference Proceeding
Yu, M., Chen, Z., Chen, L., Qu, R., & Niu, B. (2018). Modified mixed-dimension chaotic particle swarm optimization for liner route planning with empty container repositioning. In Bio-inspired Computing: Theories and Applications (296-307). https://doi.org/10.1007/978-981-13-2829-9_27

Empty container repositioning has become one of the important issues in ocean shipping industry. Researchers often solve these problems using linear programming or simulation. For large-scale problems, heuristic algorithms showed to be preferable due... Read More about Modified mixed-dimension chaotic particle swarm optimization for liner route planning with empty container repositioning.

OPTIMISED – Developing a State of the Art System for Production Planning for Industry 4.0 in the Construction Industry -Based Optimisation (2018)
Conference Proceeding
Teufl, S., Owa, K., Steinhauer, D., Castro, E., Herries, G., John, R., & Ratchev, S. (2018). OPTIMISED – Developing a State of the Art System for Production Planning for Industry 4.0 in the Construction Industry -Based Optimisation. In M. Peruzzini, M. Pellicciari, C. Bil, J. Stjepandić, & N. Wognum (Eds.), Transdisciplinary Engineering Methods for Social Innovation of Industry 4.0 : Proceedings of the 25th ISPE Inc. International Conference on Transdisciplinary Engineering, July 3 – 6, 2018 (731-740). https://doi.org/10.3233/978-1-61499-898-3-731

© 2018 The authors and IOS Press. Although it is not uncommon to have a predictive model of a factory, these models are often simplistic in nature. Such models rarely reflect the current operating performance of the system, use simple and separate da... Read More about OPTIMISED – Developing a State of the Art System for Production Planning for Industry 4.0 in the Construction Industry -Based Optimisation.

An agent based modelling approach for the office space allocation problem (2018)
Conference Proceeding
Dediu, A., Landa-Silva, D., & Siebers, P. (2018). An agent based modelling approach for the office space allocation problem.

This paper describes an agent based simulation model to create solutions for the office space allocation (OSA) problem. OSA is a combinatorial optimization problem concerned with the allocation of available office space to a set of entities such as p... Read More about An agent based modelling approach for the office space allocation problem.

AutoBench: comparing the time performance of Haskell programs (2018)
Conference Proceeding
HANDLEY, M., & HUTTON, G. (2018). AutoBench: comparing the time performance of Haskell programs. In Proceedings of the 11th ACM SIGPLAN Haskell Symposium (Haskell '18). , (26-37). https://doi.org/10.1145/3242744.3242749

Two fundamental goals in programming are correctness (producing the right results) and efficiency (using as few resources as possible). Property-based testing tools such as QuickCheck provide a lightweight means to check the correctness of Haskell pr... Read More about AutoBench: comparing the time performance of Haskell programs.

Theorem proving for all: equational reasoning in Liquid Haskell (Functional Pearl) (2018)
Conference Proceeding
Vazou, N., Breitner, J., Kunkel, R., Van Horn, D., & Hutton, G. (2018). Theorem proving for all: equational reasoning in Liquid Haskell (Functional Pearl). In Proceedings of the 11th ACM SIGPLAN Haskell Symposium (Haskell '18) (132-144). https://doi.org/10.1145/3242744.3242756

Equational reasoning is one of the key features of pure functional languages such as Haskell. To date, however, such reasoning always took place externally to Haskell, either manually on paper, or mechanised in a theorem prover. This article shows ho... Read More about Theorem proving for all: equational reasoning in Liquid Haskell (Functional Pearl).

When size matters: Towards evaluating perceivability of choropleths (2018)
Conference Proceeding
McNabb, L., Laramee, R. S., & Wilson, M. L. (2018). When size matters: Towards evaluating perceivability of choropleths. In G. Tam, & F. Vidal (Eds.), EG UK Computer Graphics & Visual Computing (163-171). https://doi.org/10.2312/cgvc.20181221

Choropleth maps are an invaluable visualization type for mapping geo-spatial data. One advantage to a choropleth map over other geospatial visualizations such as cartograms is the familiarity of a non-distorted landmass. However, this causes challeng... Read More about When size matters: Towards evaluating perceivability of choropleths.

An AI-based design framework to support musicians' practices (2018)
Conference Proceeding
Martinez-Avila, J., Hazzard, A., Chamberlain, A., Greenhalgh, C., & Benford, S. (2018). An AI-based design framework to support musicians' practices. In AM '18: Proceedings of the Audio Mostly 2018 on Sound in Immersion and Emotion (1–5). https://doi.org/10.1145/3243274.3275381

The practice of working musicians extends beyond the act of performing musical works at a concert. Rather, a significant degree of individual and collaborative preparation is necessitated prior to the moment of presentation to an audience. Increasing... Read More about An AI-based design framework to support musicians' practices.

Developing GDPR Compliant Apps For The Edge (2018)
Conference Proceeding
Lodge, T., Brown, A., & Crabtree, A. (2018). Developing GDPR Compliant Apps For The Edge. In DPM 2018, CBT 2018: Data Privacy Management, Cryptocurrencies and Blockchain Technology (313-328). https://doi.org/10.1007/978-3-030-00305-0_22

We present an overview of the Databox application devel- opment environment or SDK as a means of enabling trusted IoT app development at the network edge. The Databox platform is a dedicated domestic platform that stores IoT, mobile and cloud data an... Read More about Developing GDPR Compliant Apps For The Edge.

Model checking for Coalition Announcement Logic (2018)
Conference Proceeding
Galimullin, R., Alechina, N., & van Ditmarsch, H. (2018). Model checking for Coalition Announcement Logic. In F. Trollmann, & A. Turhan (Eds.), KI 2018: Advances in Artificial Intelligence, 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings (11-23). https://doi.org/10.1007/978-3-030-00111-7_2

Coalition Announcement Logic (CAL) studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents. The logic is useful to model imperfect information ga... Read More about Model checking for Coalition Announcement Logic.