All Outputs (231)

Reinforcement learning of normative monitoring intensities (2016)
Journal Article
Li, J., Meneguzzi, F., Fagundes, M., & Logan, B. (2016). Reinforcement learning of normative monitoring intensities. Lecture Notes in Artificial Intelligence, 9628, 209-223. https://doi.org/10.1007/978-3-319-42691-4_12

Choosing actions within norm-regulated environments involves balancing achieving one’s goals and coping with any penalties for non-compliant behaviour. This choice becomes more complicated in environments where there is uncertainty. In this paper, we... Read More about Reinforcement learning of normative monitoring intensities.

The future as a design problem (2016)
Journal Article
Reeves, S., Goulden, M., & Dingwall, R. (2016). The future as a design problem. Design Issues, 32(3), 6-17. https://doi.org/10.1162/DESI_a_00395

An often unacknowledged yet foundational problem for design is how ‘futures‘ are recruited for design practice. This problem saturates considerations of what could or should be designed. We distinguish two intertwined approaches to this: ‘pragmatic p... Read More about The future as a design problem.

A PBIL for load balancing in network coding based multicasting (2016)
Journal Article
Xing, H., Xu, Y., Qu, R., & Xu, L. (2016). A PBIL for load balancing in network coding based multicasting. Lecture Notes in Artificial Intelligence, 9787, 34-44. https://doi.org/10.1007/978-3-319-42108-7_3

One of the most important issues in multicast is how to achieve a balanced traffic load within a communications network. This paper formulates a load balancing optimization problem in the context of multicast with network coding and proposes a modifi... Read More about A PBIL for load balancing in network coding based multicasting.

Cross-system Recommendation: User-modelling via Social Media versus Self-Declared Preferences (2016)
Presentation / Conference Contribution
Alanazi, S., Goulding, J., & McAuley, D. (2016). Cross-system Recommendation: User-modelling via Social Media versus Self-Declared Preferences. In HT '16: Proceedings of the 27th ACM Conference on Hypertext and Social Media (183-188). https://doi.org/10.1145/2914586.2914640

© 2016 ACM. It is increasingly rare to encounter aWeb service that doesn't engage in some form of automated recommendation, with Collaborative Filtering (CF) techniques being virtually ubiquitous as the means for delivering relevant content. Yet seve... Read More about Cross-system Recommendation: User-modelling via Social Media versus Self-Declared Preferences.

Constructions with Non-Recursive Higher Inductive Types (2016)
Presentation / Conference Contribution
Kraus, N. (2016). Constructions with Non-Recursive Higher Inductive Types. In LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (595-604). https://doi.org/10.1145/2933575.2933586

© 2016 ACM. Higher inductive types (HITs) in homotopy type theory are a powerful generalization of inductive types. Not only can they have ordinary constructors to define elements, but also higher constructors to define equalities (paths). We say tha... Read More about Constructions with Non-Recursive Higher Inductive Types.

CHAMP: Creating Heuristics via Many Parameters for online bin packing (2016)
Journal Article
Asta, S., Özcan, E., & Parkes, A. J. (2016). CHAMP: Creating Heuristics via Many Parameters for online bin packing. Expert Systems with Applications, 63, 208-221. https://doi.org/10.1016/j.eswa.2016.07.005

The online bin packing problem is a well-known bin packing variant which requires immediate decisions to be made for the placement of a lengthy sequence of arriving items of various sizes one at a time into fixed capacity bins without any overflow. T... Read More about CHAMP: Creating Heuristics via Many Parameters for online bin packing.

Parallel behavior composition for manufacturing (2016)
Presentation / Conference Contribution
Felli, P., Logan, B., & Sardina, S. (2016). Parallel behavior composition for manufacturing.

A key problem in the manufacture of highlycustomized products is the synthesis of controllers able to manufacture any instance of a given product type on a given production or assembly line. In this paper, we extend classical AI behavior composition... Read More about Parallel behavior composition for manufacturing.

Enaction in adaptive architecture (2016)
Journal Article
Jäger, N. (2016). Enaction in adaptive architecture

Our life is becoming increasingly computerised at nearly all scales, a trend evident in terms such as the Smart City, the Smart Home, or the Internet of Things. The introduction of digital technology enables environments to respond to data gathered f... Read More about Enaction in adaptive architecture.

When sports rules go awry (2016)
Journal Article
Kendall, G., & Lenten, L. J. (2017). When sports rules go awry. European Journal of Operational Research, 257(2), https://doi.org/10.1016/j.ejor.2016.06.050

Wright (Wright, M. OR analysis of sporting rules - A survey. European Journal of Operational Research, 232(1):1-8, 2014) recently presented a survey of sporting rules from an Operational Research (OR) perspective. He surveyed 21 sports, which conside... Read More about When sports rules go awry.

Nine questions for HCI researchers in the making (2016)
Journal Article
Bødker, S., Hornbaek, K., Oulasvirta, A., & Reeves, S. (2016). Nine questions for HCI researchers in the making. https://doi.org/10.1145/2949686

Harnessing the digital records of everyday things (2016)
Presentation / Conference Contribution
Darzentas, D., Hazzard, A., Brown, M., Flintham, M., & Benford, S. (2016). Harnessing the digital records of everyday things.

We address how, framed by the Internet of Things, digitally-enabled physical objects may acquire rich digital records throughout their lifetimes, and how these might enhance their value, meaning and utility. We reflect on emerging findings from two c... Read More about Harnessing the digital records of everyday things.

Normalisation by evaluation for dependent types (2016)
Presentation / Conference Contribution
Altenkirch, T., & Kaposi, A. (2016). Normalisation by evaluation for dependent types.

We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated using internal type theory using quotient inductive types. We use a typed presentation hence there are no preterms or realiz... Read More about Normalisation by evaluation for dependent types.

KI67 and DLX2 predict increased risk of metastasis formation in prostate cancer: a targeted molecular approach (2016)
Journal Article
Green, W. J., Ball, G., Hulman, G., Johnson, C., Van Schalwyk, G., Ratan, H. L., …Powe, D. G. (in press). KI67 and DLX2 predict increased risk of metastasis formation in prostate cancer: a targeted molecular approach. British Journal of Cancer, https://doi.org/10.1038/bjc.2016.169

Background:There remains a need to identify and validate biomarkers for predicting prostate cancer (CaP) outcomes using robust and routinely available pathology techniques to identify men at most risk of premature death due to prostate cancer. Previo... Read More about KI67 and DLX2 predict increased risk of metastasis formation in prostate cancer: a targeted molecular approach.

How does Parelli measure up? (poster) (2016)
Presentation / Conference Contribution
North, S., Hemingway, A., McLean, A., Laurie, H., & Ellis-Hill, C. (2016). How does Parelli measure up? (poster).

Poster presented at 12th International Society for Equitation Science Conference (ISES2016) to accompany: Steve North, Ann Hemingway, Andrew McLean, Harriet Laurie and Caroline Ellis-Hill. 2016. Evaluating a natural horsemanship program in relation... Read More about How does Parelli measure up? (poster).

Evaluating a natural horsemanship program in relation to the ISES first principles of horse training (2016)
Presentation / Conference Contribution
North, S., Hemingway, A., McLean, A., Harriet, L., & Caroline, E.-H. (2016). Evaluating a natural horsemanship program in relation to the ISES first principles of horse training. In Proceedings of The 12th International Society for Equitation Science Conference (ISES2016. https://doi.org/10.5281/zenodo.54733

The ISES training principles provide an excellent starting point for professionals and horse owners. Currently, there does not seem to be an accepted protocol for evaluating horse training programs against the ISES principles. We suggest an approach... Read More about Evaluating a natural horsemanship program in relation to the ISES first principles of horse training.

Verifying systems of resource-bounded agents (2016)
Journal Article
Alechina, N., & Logan, B. (2016). Verifying systems of resource-bounded agents. Lecture Notes in Artificial Intelligence, 9709, 3-12. https://doi.org/10.1007/978-3-319-40189-8_1

Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions... Read More about Verifying systems of resource-bounded agents.

kNN-IS: an iterative spark-based design of the k-nearest neighbors classifier for big data (2016)
Journal Article
Maillo, J., Ramirez, S., Triguero, I., & Herrera, F. (2017). kNN-IS: an iterative spark-based design of the k-nearest neighbors classifier for big data. Knowledge-Based Systems, 117, 3-15. https://doi.org/10.1016/j.knosys.2016.06.012

The k-Nearest Neighbors classifier is a simple yet effective widely renowned method in data mining. The actual application of this model in the big data domain is not feasible due to time and memory restrictions. Several distributed alternatives base... Read More about kNN-IS: an iterative spark-based design of the k-nearest neighbors classifier for big data.

Affect theory and autoethnography in ordinary information systems (2016)
Presentation / Conference Contribution
Bødker, M., & Chamberlain, A. (2016). Affect theory and autoethnography in ordinary information systems.

This paper uses philosophical theories of affect as a lens for exploring autoethnographic renderings of everyday experience with information technology. Affect theories, in the paper, denote a broad trend in post-humanistic philosophy that explores s... Read More about Affect theory and autoethnography in ordinary information systems.

Ghosts! A location-based Bluetooth LE mobile game for museum exploration (2016)
Book Chapter
Nilsson, T., Blackwell, A. F., Hogsden, C., & Scruton, D. (2016). Ghosts! A location-based Bluetooth LE mobile game for museum exploration. In L. Joyce, & B. Quinn (Eds.), Mapping the digital: cultures and territories of play. Inter-Disciplinary Press

BLE (Bluetooth Low Energy) is a new wireless communication technology that, thanks to reduced power consumption, promises to facilitate communication between computing devices and help us harness their power in environments and contexts previously un... Read More about Ghosts! A location-based Bluetooth LE mobile game for museum exploration.

Fuzzy integral for rule aggregation in fuzzy inference systems (2016)
Journal Article
Tomlin, L., Anderson, D. T., Wagner, C., Havens, T. C., & Keller, J. M. (in press). Fuzzy integral for rule aggregation in fuzzy inference systems. Communications in Computer and Information Science, 610, https://doi.org/10.1007/978-3-319-40596-4_8

The fuzzy inference system (FIS) has been tuned and re-vamped many times over and applied to numerous domains. New and improved techniques have been presented for fuzzification, implication, rule composition and defuzzification, leaving one key compo... Read More about Fuzzy integral for rule aggregation in fuzzy inference systems.