Skip to main content

Research Repository

Advanced Search

Outputs (166)

Coevolutionary fuzzy attribute order reduction with complete attribute-value space tree (2018)
Journal Article
Ding, W., Triguero, I., & Lin, C.-T. (2018). Coevolutionary fuzzy attribute order reduction with complete attribute-value space tree. IEEE Transactions on Emerging Topics in Computational Intelligence, https://doi.org/10.1109/tetci.2018.2869919

Since big data sets are structurally complex, high-dimensional, and their attributes exhibit some redundant and irrelevant information, the selection, evaluation, and combination of those large-scale attributes pose huge challenges to traditional met... Read More about Coevolutionary fuzzy attribute order reduction with complete attribute-value space tree.

Gsmodutils: A python based framework for test-driven genome scale metabolic model development (2018)
Other
Gilbert, J. P., Pearcy, N., Norman, R., Millat, T., Winzer, K., King, J., …Twycross, J. (2018). Gsmodutils: A python based framework for test-driven genome scale metabolic model development

Motivation Genome scale metabolic models (GSMMs) are increasingly important for systems biology and metabolic engineering research as they are capable of simulating complex steady-state behaviour. Constraints based models of this form can include tho... Read More about Gsmodutils: A python based framework for test-driven genome scale metabolic model development.

Integrating aerial and street view images for urban land use classification (2018)
Journal Article
Cao, R., Zhu, J., Tu, W., Li, Q., Cao, J., Liu, B., …Qiu, G. (2018). Integrating aerial and street view images for urban land use classification. Remote Sensing, 10(10), Article 1553. https://doi.org/10.3390/rs10101553

Urban land use is key to rational urban planning and management. Traditional land use classification methods rely heavily on domain experts, which is both expensive and inefficient. In this paper, deep neural network-based approaches are presented to... Read More about Integrating aerial and street view images for urban land use classification.

OPTIMISED – Developing a State of the Art System for Production Planning for Industry 4.0 in the Construction Industry -Based Optimisation (2018)
Presentation / Conference Contribution
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.

HEART-IS: A novel technique for evaluating human error-related information security incidents (2018)
Journal Article
Evans, M., He, Y., Maglaras, L., & Janicke, H. (2019). HEART-IS: A novel technique for evaluating human error-related information security incidents. Computers and Security, 80, 74-89. https://doi.org/10.1016/j.cose.2018.09.002

Organisations continue to suffer information security incidents and breaches as a result of human error even though humans are recognised as the weakest link with regard to information security. Despite this level of understanding organisations conti... Read More about HEART-IS: A novel technique for evaluating human error-related information security incidents.

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) (2018)
Presentation / Conference Contribution
Vazou, N., Breitner, J., Kunkel, R., Van Horn, D., & Hutton, G. (2018, September). Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). Presented at ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming, St. Louis MO USA

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).

AutoBench: comparing the time performance of Haskell programs (2018)
Presentation / Conference Contribution
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.

An agent based modelling approach for the office space allocation problem (2018)
Presentation / Conference Contribution
Dediu, A., Landa-Silva, D., & Siebers, P.-O. (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.

A study on rotation invariance in differential evolution (2018)
Journal Article
Caraffini, F., & Neri, F. (2019). A study on rotation invariance in differential evolution. Swarm and Evolutionary Computation, 50, Article 100436. https://doi.org/10.1016/j.swevo.2018.08.013

Epistasis is the correlation between the variables of a function and is a challenge often posed by real-world optimisation problems. Synthetic benchmark problems simulate a highly epistatic problem by performing a so-called problem's rotation.

Mut... Read More about A study on rotation invariance in differential evolution.