Skip to main content

Research Repository

Advanced Search

Outputs (2355)

A Direct Approach for Determining the Switch Points in the Karnik–Mendel Algorithm (2017)
Journal Article
Chen, C., John, R., Twycross, J., & Garibaldi, J. M. (2018). A Direct Approach for Determining the Switch Points in the Karnik–Mendel Algorithm. IEEE Transactions on Fuzzy Systems, 26(2), 1079-1085. https://doi.org/10.1109/tfuzz.2017.2699168

The Karnik-Mendel algorithm is used to compute the centroid of interval type-2 fuzzy sets, determining the switch points needed for the lower and upper bounds of the centroid, through an iterative process. It is commonly acknowledged that there is n... Read More about A Direct Approach for Determining the Switch Points in the Karnik–Mendel Algorithm.

International Portfolio Optimisation with Integrated Currency Overlay Costs and Constraints (2017)
Journal Article
Chatsanga, N., & Parkes, A. J. (2017). International Portfolio Optimisation with Integrated Currency Overlay Costs and Constraints. Expert Systems with Applications, 83, 333-349. https://doi.org/10.1016/j.eswa.2017.04.009

International financial portfolios can be exposed to substantial risk from variations of the exchange rates between the countries in which they hold investments. Nonetheless, foreign exchange can both generate extra return as well as loss to a portfo... Read More about International Portfolio Optimisation with Integrated Currency Overlay Costs and Constraints.

Model-checking for Resource-Bounded ATL with production and consumption of resources (2017)
Journal Article
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2017). Model-checking for Resource-Bounded ATL with production and consumption of resources. Journal of Computer and System Sciences, 88, 126-144. https://doi.org/10.1016/j.jcss.2017.03.008

© 2017 The Authors Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources... Read More about Model-checking for Resource-Bounded ATL with production and consumption of resources.

We should be just a number, and we should embrace it (2017)
Journal Article
Kendall, G., Yee, A., & Hardy, S. (2017). We should be just a number, and we should embrace it. Electronic Library, 35(2), 348-357. https://doi.org/10.1108/EL-04-2016-0090

Purpose - This viewpoint article supports the use of unique identifiers for the authors of scientific publications. This, we believe, aligns with the views of many others as it would solve the problem of author disambiguation. If every researcher had... Read More about We should be just a number, and we should embrace it.

ES-Rank: evolution strategy learning to rank approach (2017)
Presentation / Conference Contribution
Ibrahim, O. A. S., & Landa-Silva, D. (2017, April). ES-Rank: evolution strategy learning to rank approach. Presented at 32nd ACM Symposium on Applied Computing (SAC 2017), Marrakech, Morocco

Learning to Rank (LTR) is one of the current problems in Information Retrieval (IR) that attracts the attention from researchers. The LTR problem is mainly about ranking the retrieved documents for users in search engines, question answering and prod... Read More about ES-Rank: evolution strategy learning to rank approach.

Detecting collusive spamming activities in community question answering (2017)
Presentation / Conference Contribution
Liu, Y., Liu, Y., Zhou, K., Zhang, M., & Ma, S. (2017, April). Detecting collusive spamming activities in community question answering. Presented at 26th International Conference on World Wide Web, Perth, Australia

Community Question Answering (CQA) portals provide rich sources of information on a variety of topics. However, the authenticity and quality of questions and answers (Q&As) has proven hard to control. In a troubling direction, the widespread growth o... Read More about Detecting collusive spamming activities in community question answering.

Failing faster: overlapping patterns for property-based testing (2017)
Presentation / Conference Contribution
Fowler, J., & Hutton, G. (2017, January). Failing faster: overlapping patterns for property-based testing. Presented at 19th International Symposium on Practical Aspects of Declarative Languages

In property-based testing, a key problem is generating input data that satisfies the precondition of a property. One approach is to attempt to do so automatically, from the definition of the precondition itself. This idea has been realised using the... Read More about Failing faster: overlapping patterns for property-based testing.

New directions in information technology law: learning from human–computer interaction (2017)
Journal Article
Urquhart, L., & Rodden, T. (in press). New directions in information technology law: learning from human–computer interaction. International Review of Law, Computers and Technology, 31(2), https://doi.org/10.1080/13600869.2017.1298501

Effectively regulating the domestic Internet of Things (IoT) requires a turn to technology design. However, the role of designers as regulators still needs to be situated. By drawing on a specific domain of technology design, human–computer interacti... Read More about New directions in information technology law: learning from human–computer interaction.