Outputs (166)

Development of a pre-operative scoring system for predicting risk of post-operative paediatric cerebellar mutism syndrome (2018)
Journal Article
Liu, J.-F., Dineen, R. A., Avula, S., Chambers, T., Dutta, M., Jaspan, T., MacArthur, D. C., Howarth, S., Soria, D., Quinlan, P., Harave, S., Ong, C. C., Mallucci, C. L., Kumar, R., Pizer, B., & Walker, D. A. (in press). Development of a pre-operative scoring system for predicting risk of post-operative paediatric cerebellar mutism syndrome. British Journal of Neurosurgery, https://doi.org/10.1080/02688697.2018.1431204

BACKGROUND: Despite previous identification of pre-operative clinical and radiological predictors of post-operative paediatric cerebellar mutism syndrome (CMS), a unifying pre-operative risk stratification model for use during surgical consent is cur... Read More about Development of a pre-operative scoring system for predicting risk of post-operative paediatric cerebellar mutism syndrome.

Hybrid learning for interval type-2 intuitionistic fuzzy logic systems as applied to identification and prediction problems (2018)
Journal Article
Eyoh, I., John, R., de Maere, G., & Kayacan, E. (2018). Hybrid learning for interval type-2 intuitionistic fuzzy logic systems as applied to identification and prediction problems. IEEE Transactions on Fuzzy Systems, 26(5), 2672-2685. https://doi.org/10.1109/TFUZZ.2018.2803751

This paper presents a novel application of a hybrid learning approach to the optimisation of membership and non-membership functions of a newly developed interval type-2 intuitionistic fuzzy logic system (IT2 IFLS) of a Takagi-Sugeno-Kang (TSK) fuzzy... Read More about Hybrid learning for interval type-2 intuitionistic fuzzy logic systems as applied to identification and prediction problems.

Synthesis of orchestrations of transducers for manufacturing (2018)
Presentation / Conference Contribution
De Giacomo, G., Vardi, M. Y., Felli, P., Alechina, N., & Logan, B. (2018). Synthesis of orchestrations of transducers for manufacturing.

In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestratio... Read More about Synthesis of orchestrations of transducers for manufacturing.

On the complexity of resource-bounded logics (2018)
Journal Article
Alechina, N., Bulling, N., Demri, S., & Logan, B. S. (2018). On the complexity of resource-bounded logics. Theoretical Computer Science, 750, 69-100. https://doi.org/10.1016/j.tcs.2018.01.019

We revisit decidability results for resource-bounded logics and use decision problems on vector addition systems with states (VASS) in order to establish complexity characterisations of (decidable) model checking problems. We show that the model chec... Read More about On the complexity of resource-bounded logics.

Fuzzy C-means-based scenario bundling for stochastic service network design (2018)
Presentation / Conference Contribution
Jiang, X., Bai, R., Landa-Silva, D., & Aickelin, U. (2018). Fuzzy C-means-based scenario bundling for stochastic service network design. In 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 - Proceedings (1-8). https://doi.org/10.1109/SSCI.2017.8280905

Stochastic service network designs with uncertain demand represented by a set of scenarios can be modelled as a large-scale two-stage stochastic mixed-integer program (SMIP). The progressive hedging algorithm (PHA) is a decomposition method for solvi... Read More about Fuzzy C-means-based scenario bundling for stochastic service network design.

Preface (2018)
Journal Article
Hanzalek, Z., Kendall, G., McCollum, B., Sucha, P., & Berghe, G. V. (2018). Preface. Journal of Scheduling, 21, 129-130. https://doi.org/10.1007/s10951-018-0557-1

This is a Preface to a special of the journal that contains 8 selected papers from the 2015 Multidisciplinary International Scheduling Conference: Theory and Applications (MISTA) that was held in Prague, Czech Republic (25–28 August 2015).

A Method for Evaluating Options for Motif Detection in Electricity Meter Data (2018)
Journal Article
Dent, I., Craig, T., Aickelin, U., & Rodden, T. (2018). A Method for Evaluating Options for Motif Detection in Electricity Meter Data. International Journal of Data Science, 16(1), 1-28. https://doi.org/10.6339/jds.201801_16%281%29.0001

Investigation of household electricity usage patterns, and matching the patterns to behaviours, is an important area of research given the centrality of such patterns in addressing the needs of the electricity industry. Additional knowledge of househ... Read More about A Method for Evaluating Options for Motif Detection in Electricity Meter Data.

Building accountability into the Internet of Things: the IoT Databox model (2018)
Journal Article
Crabtree, A., Lodge, T., Colley, J., Greenhalgh, C., Glover, K., Haddadi, H., …McAuley, D. (2018). Building accountability into the Internet of Things: the IoT Databox model. Journal of Reliable Intelligent Environments, 4(1), 39-55. https://doi.org/10.1007/s40860-018-0054-5

© 2018, The Author(s). This paper outlines the IoT Databox model as a means of making the Internet of Things (IoT) accountable to individuals. Accountability is a key to building consumer trust and is mandated by the European Union’s general data pro... Read More about Building accountability into the Internet of Things: the IoT Databox model.

Using goal programming on estimated Pareto fronts to solve multiobjective problems (2018)
Presentation / Conference Contribution
Pinheiro, R. L., Landa-Silva, D., Laesanklang, W., & Constantino, A. A. (2018). Using goal programming on estimated Pareto fronts to solve multiobjective problems. In n Proceedings of the 7th International Conference on Operations Research and Enterprise Systems ICORES - Volume 1 (132-143). https://doi.org/10.5220/0006718901320143

Modern multiobjective algorithms can be computationally inefficient in producing good approximation sets for highly constrained many-objective problems. Such problems are common in real-world applications where decision-makers need to assess multiple... Read More about Using goal programming on estimated Pareto fronts to solve multiobjective problems.

Programming agent deliberation using procedural reflection (2018)
Journal Article
Leask, S., & Logan, B. (in press). Programming agent deliberation using procedural reflection. Fundamenta Informaticae, 158, https://doi.org/10.3233/FI-2018-1643

A key advantage of BDI-based approaches to agent programming, is that agents can deliberate about which course of action to adopt to achieve a goal or respond to an event. However, while state-of-the-art BDI-based agent programming languages allow th... Read More about Programming agent deliberation using procedural reflection.