Outputs (2326)

Examples of user algorithms implementing ARAIM techniques for integrity performance prediction, procedures development and pre-flight operations (2017)
Presentation / Conference Contribution
Paternostro, S., Moore, T., Hill, C., Atkin, J., De Maere, G., & Morvan, H. (2016, December). Examples of user algorithms implementing ARAIM techniques for integrity performance prediction, procedures development and pre-flight operations. Presented at 2016 8th ESA Workshop on Satellite Navigation Technologies and European Workshop on GNSS Signals and Signal Processing, NAVITEC 2016, Noordwijk, Netherlands

Advanced Receiver Autonomous Integrity Monitoring (ARAIM) is a new Aircraft Based Augmentation System (ABAS) technique, firstly presented in the two reports of the GNSS Evolutionary Architecture Study (GEAS). The ARAIM technique offers the opportunit... Read More about Examples of user algorithms implementing ARAIM techniques for integrity performance prediction, procedures development and pre-flight operations.

R-fuzzy sets and grey system theory (2017)
Presentation / Conference Contribution
Singh Khuman, A., Yang, Y., John, R., & Liu, S. (2016, October). R-fuzzy sets and grey system theory. Presented at 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016)

This paper investigates the use of grey theory to en- hance the concept of an R-fuzzy set, with regards to the precision of the encapsulating set of returned significance values. The use of lower and upper approximations from rough set theory, allow... Read More about R-fuzzy sets and grey system theory.

Active search in intensionally specified structured spaces (2017)
Presentation / Conference Contribution
Oglic, D., Garnett, R., & Gärtner, T. Active search in intensionally specified structured spaces. Presented at Thirty-First AAAI Conference (AAAI 17)

We consider an active search problem in intensionally specified structured spaces. The ultimate goal in this setting is to discover structures from structurally different partitions of a fixed but unknown target class. An example of such a process is... Read More about Active search in intensionally specified structured spaces.

RevManHAL: towards automatic text generation in systematic reviews (2017)
Journal Article
Torres Torres, M., & Adams, C. E. (2017). RevManHAL: towards automatic text generation in systematic reviews. Systematic Reviews, 6(1), Article 27. https://doi.org/10.1186/s13643-017-0421-y

Background: Systematic reviews are a key part of healthcare evaluation. They involve important painstaking but repetitive work. A major producer of systematic reviews, the Cochrane Collaboration, employs Review Manager (RevMan) programme—a software w... Read More about RevManHAL: towards automatic text generation in systematic reviews.

On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets (2017)
Journal Article
Li, J., John, R., Coupland, S., & Kendall, G. (2018). On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets. IEEE Transactions on Fuzzy Systems, 26(2), 1036-1039. https://doi.org/10.1109/TFUZZ.2017.2666842

Type-reduction of type-2 fuzzy sets is considered to be a defuzzification bottleneck because of the computational complexity involved in the process of type-reduction. In this research, we prove that the closed-form Nie-Tan operator, which outputs th... Read More about On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets.

Multi-objective optimisation in inventory planning with supplier selection (2017)
Journal Article
Turk, S., Özcan, E., & John, R. (2017). Multi-objective optimisation in inventory planning with supplier selection. Expert Systems with Applications, 78, https://doi.org/10.1016/j.eswa.2017.02.014

Supplier selection and inventory planning are critical and challenging tasks in Supply Chain Management. There are many studies on both topics and many solution techniques have been proposed dealing with each problem separately. In this study, we pre... Read More about Multi-objective optimisation in inventory planning with supplier selection.

Incentivising monitoring in open normative systems (2017)
Presentation / Conference Contribution
Alechina, N., Halpern, J. Y., Kash, I. A., & Logan, B. Incentivising monitoring in open normative systems. Presented at The Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)

We present an approach to incentivising monitoring for norm violations in open multi-agent systems such as Wikipedia. In such systems, there is no crisp definition of a norm violation; rather, it is a matter of judgement whether an agent’s behaviour... Read More about Incentivising monitoring in open normative systems.

Does document relevance affect the searcher's perception of time? (2017)
Presentation / Conference Contribution
Luo, C., Liu, Y., Sakai, T., Zhou, K., Zhang, F., Li, X., & Ma, S. (2017, February). Does document relevance affect the searcher's perception of time?. Presented at 10th ACM International Conference on Web Search and Data Mining, Cambridge, UK

Time plays an essential role in multiple areas of Information Retrieval (IR) studies such as search evaluation, user behavior analysis, temporal search result ranking and query understanding. Especially, in search evaluation studies, time is usually... Read More about Does document relevance affect the searcher's perception of time?.

Capturing residents’ values for urban green space: Mapping, analysis and guidance for practice (2017)
Journal Article
Ives, C. D., Oke, C., Hehir, A., Gordon, A., Wang, Y., & Bekessy, S. A. (2017). Capturing residents’ values for urban green space: Mapping, analysis and guidance for practice. Landscape and Urban Planning, 161, 32-43. https://doi.org/10.1016/j.landurbplan.2016.12.010

Planning for green space is guided by standards and guidelines but there is currently little understanding of the variety of values people assign to green spaces or their determinants. Land use planners need to know what values are associated with di... Read More about Capturing residents’ values for urban green space: Mapping, analysis and guidance for practice.

Improved local search approaches to solve the post enrolment course timetabling problem (2017)
Journal Article
Goh, S. L., Kendall, G., & Sabar, N. R. (2017). Improved local search approaches to solve the post enrolment course timetabling problem. European Journal of Operational Research, 261(1),

In this work, we are addressing the post enrollment course timetabling (PE-CTT) problem. We combine different local search algorithms into an iterative two stage procedure. In the first stage, Tabu Search with Sampling and Perturbation (TSSP) is used... Read More about Improved local search approaches to solve the post enrolment course timetabling problem.