Skip to main content

Research Repository

Advanced Search

All Outputs (3680)

A user defined taxonomy of factors that divide online information retrieval sessions (2014)
Presentation / Conference Contribution
Ye, C., & Wilson, M. L. A user defined taxonomy of factors that divide online information retrieval sessions. Presented at Proceedings of the 5th Information Interaction in Context Symposium

Although research is increasingly interested in session-based retrieval, comparably little work has focused on how best to divide web histories into sessions. Most automated attempts to divide web histories into sessions have focused on dividing web... Read More about A user defined taxonomy of factors that divide online information retrieval sessions.

Predicting unexpected influxes of players in EVE online (2014)
Presentation / Conference Contribution
Garnett, R., Gartner, T., Ellersiek, T., Guðmondsson, E., & Óskarsson, P. (2014, August). Predicting unexpected influxes of players in EVE online. Presented at IEEE Conference on Computational Intelligence and Games, Dortmund, Germany

EVE Online is a massively multiplayer online role-playing game (MMORPG) taking place in a large galaxy consisting of about 7 500 star systems. In comparison to many other online role-playing games, the users interact in the same instance of a persist... Read More about Predicting unexpected influxes of players in EVE online.

The Effects of the Planning Horizon on Heathrow TSAT Allocation (2014)
Presentation / Conference Contribution
De Maere, G., Atkin, J., & Burke, E. (2014, August). The Effects of the Planning Horizon on Heathrow TSAT Allocation. Presented at 10th International Conference of the Practice and Theory of Automated Timetabling, York, UK

Preface (2014)
Presentation / Conference Contribution
(2014, August). Preface. Presented at 10th International Conference on the Practice and Theory of Automated Timetabling, York

Decidable model-checking for a resource logic with production of resources (2014)
Presentation / Conference Contribution
Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2014, August). Decidable model-checking for a resource logic with production of resources. Presented at ECAI 2014 : 21st European Conference on Artificial Intelligence, Prague, Czech Republic

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 produced or consume... Read More about Decidable model-checking for a resource logic with production of resources.

Review of food toxicological issues associated in rubber products (2014)
Presentation / Conference Contribution
Ng, M. X., Ong, S., Hii, C., Chin, N., Chuah, L., & Law, C. Review of food toxicological issues associated in rubber products. Presented at The 3rd International Symposium on Processing of Foods, Vegetables and Fruits

Over the centuries, rubber latex gained its popularity in machinery application due to its unique thermal properties, high elasticity and excellent impact resistance. It is widely accepted in food industry as rubber has good resistance to chemicals,... Read More about Review of food toxicological issues associated in rubber products.

Built-in reliability design of a high-frequency SiC MOSFET power module (2014)
Presentation / Conference Contribution
Li, J., Gurpinar, E., Lopez Arevalo, S., Castellazzi, A., & Mills, L. Built-in reliability design of a high-frequency SiC MOSFET power module. Presented at 7th International Power Electronics Conference (IPEC Hiroshima 2014 ECCE- ASIA)

A high frequency SiC MOSFET-based three-phase, 2-level power module has been designed, simulated, assembled and tested. The design followed a built-in reliability approach, involving extensive finite-element simulation based analysis of the electro-t... Read More about Built-in reliability design of a high-frequency SiC MOSFET power module.

Programming by Example Using Least General Generalizations (2014)
Presentation / Conference Contribution
Raza, M., Gulwani, S., & Milic-Frayling, N. (2014, July). Programming by Example Using Least General Generalizations. Presented at Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14), Québec City, Québec, Canada

Recent advances in Programming by Example (PBE) have supported new applications to text editing, but existing approaches are limited to simple text strings. In this paper we address transformations in richly formatted documents, using an approach bas... Read More about Programming by Example Using Least General Generalizations.

Some constructions on ω-groupoids (2014)
Presentation / Conference Contribution
Altenkirch, T., Li, N., & Ondřej, R. (2014, July). Some constructions on ω-groupoids. Presented at International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP '14), Vienna, Austria

Weak ω-groupoids are the higher dimensional generalisation of setoids and are an essential ingredient of the construc- tive semantics of Homotopy Type Theory [10]. Following up on our previous formalisation [3] and Brunerie’s notes [5], we present a... Read More about Some constructions on ω-groupoids.

Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytics and Open-Source Data to Combat Organized Crime (2014)
Presentation / Conference Contribution
Brewster, B., Polovina, S., Rankin, G., & Andrews, S. (2014, July). Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytics and Open-Source Data to Combat Organized Crime. Presented at 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania

Globalization, the ubiquity of mobile communications and the rise of the web have all expanded the environment in which organized criminal entities are conducting their illicit activities, and as a result the environment that law enforcement agencies... Read More about Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytics and Open-Source Data to Combat Organized Crime.

Environmental Scanning and Knowledge Representation for the Detection of Organised Crime Threats (2014)
Presentation / Conference Contribution
Brewster, B., Andrews, S., Polovina, S., Hirsch, L., & Akhgar, B. (2014, July). Environmental Scanning and Knowledge Representation for the Detection of Organised Crime Threats. Presented at 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania

ePOOLICE aims at developing an efficient and effective strategic early warning system that utilises environmental scanning for the early warning and detection of current, emergent and future organised crime threats. Central to this concept is the use... Read More about Environmental Scanning and Knowledge Representation for the Detection of Organised Crime Threats.

System-wide assessment of intervention strategies for railway infrastructure (2014)
Presentation / Conference Contribution
Rama, D., & Andrews, J. D. System-wide assessment of intervention strategies for railway infrastructure. Presented at 8th International Conference on Modelling in Industrial Maintenance and Reliability (MIMAR)

The existing railway infrastructure exhibits faster degradation rates and requires more maintenance effort as a result of increased utilisation. At the same time, due to increased numbers of freight and commuter trains obtaining access to the railway... Read More about System-wide assessment of intervention strategies for railway infrastructure.

A fuzzy directional distance measure (2014)
Presentation / Conference Contribution
McCulloch, J., Hinde, C., Wagner, C., & Aickelin, U. A fuzzy directional distance measure. Presented at 2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

The measure of distance between two fuzzy sets is a fundamental tool within fuzzy set theory, however, distance measures currently within the literature use a crisp value to represent the distance between fuzzy sets. A real valued distance measure is... Read More about A fuzzy directional distance measure.

Tuning a multiple classifier system for side effect discovery using genetic algorithms (2014)
Presentation / Conference Contribution
Reps, J. M., Aickelin, U., & Garibaldi, J. M. (2014, July). Tuning a multiple classifier system for side effect discovery using genetic algorithms. Presented at Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014, Beijing, China

In previous work, a novel supervised framework implementing a binary classifier was presented that obtained excellent results for side effect discovery. Interestingly, unique side effects were identified when different binary classifiers were used wi... Read More about Tuning a multiple classifier system for side effect discovery using genetic algorithms.

Do subject specialists produce more useful feedback than non-specialists when observing mathematics lessons? (2014)
Presentation / Conference Contribution
Evans, S., Jones, I., & Dawson, C. Do subject specialists produce more useful feedback than non-specialists when observing mathematics lessons?. Presented at 38th Conference of the International Group for the Psychology of Mathematics Education and the 36th Conference of the North American Chapter of the Psychology of Mathematics Education

Schools, districts and inspectorates routinely use non-specialists to observe lessons for accountability and professional development purposes. However, there is little empirical research on how well non-specialists observe lessons. We describe two p... Read More about Do subject specialists produce more useful feedback than non-specialists when observing mathematics lessons?.

A support vector-based interval type-2 fuzzy system (2014)
Presentation / Conference Contribution
Uslan, V., Seker, H., & John, R. A support vector-based interval type-2 fuzzy system. Presented at IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

In this paper, a new fuzzy regression model that is supported by support vector regression is presented. Type-2 fuzzy systems are able to tackle applications that have significant uncertainty. However general type-2 fuzzy systems are more complex tha... Read More about A support vector-based interval type-2 fuzzy system.

Understanding issues in mathematical problem solving and modeling: lessons from lesson study (2014)
Presentation / Conference Contribution
Wake, G., Foster, C., & Swan, M. Understanding issues in mathematical problem solving and modeling: lessons from lesson study. Presented at 38th Conference of the International Group for the Psychology of Mathematics Education and the 36th Conference of the North American Chapter of the Psychology of Mathematics Education

At the heart of our concern, and research, has been to understand how, in classroom learning, students might develop capabilities towards mathematical literacy (Steen, 2001). We have sought to gain insight into how to teach students to be able to app... Read More about Understanding issues in mathematical problem solving and modeling: lessons from lesson study.