All Outputs (2083)

Using Information Theory to Improve the Robustness of Trust Systems
Presentation / Conference Contribution
Wang, D., Muller, T., Irissappane, A. A., Zhang, J., & Liu, Y. (2015, May). Using Information Theory to Improve the Robustness of Trust Systems. Presented at AAMAS'15: International Conference on Autonomous Agents and Multiagent Systems, Istanbul Turkey

Unfair rating attacks to trust systems can affect the accuracy of trust evaluation when trust ratings (recommendations) about trustee agents are sought by truster agents from others (advisor agents). A robust trust system should remain accurate, even... Read More about Using Information Theory to Improve the Robustness of Trust Systems.

The Fallacy of Endogenous Discounting of Trust Recommendations
Presentation / Conference Contribution
Muller, T., Liu, Y., & Zhang, J. (2015, May). The Fallacy of Endogenous Discounting of Trust Recommendations. Presented at 2015 International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey

Recommendations are widely used in recommender systems, reputation systems, and trust-based security systems. Some existing reputation systems and trust-based security systems use the flawed notion of endogenous discounting. Endogenous discounting is... Read More about The Fallacy of Endogenous Discounting of Trust Recommendations.

An Unforeseen Equivalence between Uncertainty and Entropy
Presentation / Conference Contribution
Muller, T. (2019, July). An Unforeseen Equivalence between Uncertainty and Entropy. Presented at 13th IFIP WG 11.11 International Conference on Trust Management, Copenhagen, Denmark

Uncertainty and entropy are related concepts, so we would expect there to be some overlap, but the equality that is shown in this paper is unexpected. In Beta models, interactions between agents are evidence used to construct Beta distributions. In m... Read More about An Unforeseen Equivalence between Uncertainty and Entropy.

Card Mapper: Enabling Data-Driven Reflections on Ideation Cards
Presentation / Conference Contribution
Darzentas, D., Velt, R., Wetzel, R., Craigon, P. J., Wagner, H. G., Urquhart, L. D., & Benford, S. (2019, May). Card Mapper: Enabling Data-Driven Reflections on Ideation Cards. Presented at 2019 CHI Conference on Human Factors in Computing Systems (CHI '19), Glasgow, Scotland Uk

We explore how usage data captured from ideation cards can enable reflection on design. We deployed a deck of ideation cards on a Masters level module over two years, developing the means to capture the students’ designs into a digital repository. We... Read More about Card Mapper: Enabling Data-Driven Reflections on Ideation Cards.

The Performative Mirror Space
Presentation / Conference Contribution
Jacobs, R., Schnadelbach, H., Jaeger, N., Leal, S., Shackford, R., Benford, S., & Patel, R. (2019, May). The Performative Mirror Space. Presented at CHI '19: CHI Conference on Human Factors in Computing Systems, Glasgow, Scotland, UK

Interactive mirrors, typically combining semi-transparent mirrors, digital screens and interaction mechanisms have been developed for a variety of application areas. Drawing on existing techniques to create interactive mirror spaces, we investigated... Read More about The Performative Mirror Space.

Decidable Model Checking with Uniform Strategies
Presentation / Conference Contribution
Alechina, N., Logan, B., & Dastani, M. (2019, May). Decidable Model Checking with Uniform Strategies. Presented at 18th International Conference on Autonomous Agent and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada

The logic of strategic ability Resource-Bounded Alternating Time Syntactic Epistemic Logic (RB+-ATSEL) has a decidable model-checking problem for coalition uniform strategies. A strategy is coalition uniform if agents in a coalition select the same j... Read More about Decidable Model Checking with Uniform Strategies.

DECSYS - Discrete and Ellipse-based response Capture SYStem
Presentation / Conference Contribution
Ellerby, Z., McCulloch, J., Young, J., & Wagner, C. (2019, June). DECSYS - Discrete and Ellipse-based response Capture SYStem. Presented at 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), New Orleans, LA, USA

Data-driven techniques that capture uncertainty through intervals or fuzzy sets can substantially improve systematic reasoning about uncertain information. Recent years have seen renewed interest in the capture of intervals from a variety of sources-... Read More about DECSYS - Discrete and Ellipse-based response Capture SYStem.

Strategic Responsibility Under Imperfect Information
Presentation / Conference Contribution
Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., & Logan, B. (2019, May). Strategic Responsibility Under Imperfect Information. Presented at 18th International Conference on Autonomous Agent and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada

A central issue in the specification and verification of autonomous agents and multiagent systems is the ascription of responsibility to individual agents and groups of agents. When designing a (multi)agent system, we must specify which agents or gro... Read More about Strategic Responsibility Under Imperfect Information.

Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL
Presentation / Conference Contribution
French, T., Galimullin, R., Van Ditmarsch, H., & Alechina, N. (2019, June). Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. Presented at 18th International Conference on Autonomous Agent and MultiAgent Systems, AAMAS '19, Montreal, QC, Canada

Direct Application of Convolutional Neural Network Features to Image Quality Assessment
Presentation / Conference Contribution
Hou, X., Sun, K., Liu, B., Gong, Y., Garibaldi, J., & Qiu, G. (2018, December). Direct Application of Convolutional Neural Network Features to Image Quality Assessment. Presented at IEEE Visual Communications and Image Processing (VCIP 2018), Taichung, Taiwan

© 2018 IEEE. We take advantage of the popularity of deep con-volutional neural networks (CNNs) and have developed a very simple image quality assessment method that rivals state of the art. We show that convolutional layer outputs (deep features) of... Read More about Direct Application of Convolutional Neural Network Features to Image Quality Assessment.

Improvising a Live Score to an Interactive Brain-Controlled Film
Presentation / Conference Contribution
Ramchurn, R., Martinez-Avila, J., Martindale, S., Chamberlain, A., Wilson, M. L., & Benford, S. (2019, June). Improvising a Live Score to an Interactive Brain-Controlled Film. Presented at International Conference on New Interfaces for Musical Expression (NIME), Porto Alegre, Brazil

We report on the design and deployment of systems for the performance of live score accompaniment to an interactive movie by a Networked Musical Ensemble. In this case, the audiovisual content of the movie is selected in real time based on user input... Read More about Improvising a Live Score to an Interactive Brain-Controlled Film.

Scalable Learning in Reproducing Kernel Kreĭn Spaces
Presentation / Conference Contribution
Oglic, D., & Gärtner, T. (2019, June). Scalable Learning in Reproducing Kernel Kreĭn Spaces. Presented at 36th International Conference on Machine Learning (ICML 2019), Long Beach, California

We provide the first mathematically complete derivation of the Nyström method for low-rank approximation of indefinite kernels and propose an efficient method for finding an approximate eigen-decomposition of such kernel matrices. Building on this re... Read More about Scalable Learning in Reproducing Kernel Kreĭn Spaces.

MeMa: Designing the Memory Machine
Presentation / Conference Contribution
Price, D., Jacobs, R., Darzentas, D., Perez Vallejos, E., Chadborn, N., Martindale, S., & Urquhart, L. (2019, June). MeMa: Designing the Memory Machine. Presented at DIS '19: Designing Interactive Systems Conference 2019, San Diego CA USA

The Memory Machine is an ambitious project that aims to develop a device to capture people's memories to create a blend of personal and factual data that builds identities, and contextualizes personal recollections. The Memory Machine has been guided... Read More about MeMa: Designing the Memory Machine.

The Reputation Lag Attack
Presentation / Conference Contribution
Sirur, S., & Muller, T. (2019, July). The Reputation Lag Attack. Presented at 13th IFIP WG 11.11 International Conference on Trust Management, Copenhagen, Denmark

Reputation systems and distributed networks are increasingly common. Examples are electronic marketplaces, IoT and ad-hoc networks. The propagation of information through such networks may suffer delays due to, e.g., network connectivity, slow report... Read More about The Reputation Lag Attack.

Global Rate-distortion Optimization of Video-based Point Cloud Compression with Differential Evolution
Presentation / Conference Contribution
Yuan, H., Hamzaoui, R., Neri, F., Yang, S., & Wang, T. (2021, October). Global Rate-distortion Optimization of Video-based Point Cloud Compression with Differential Evolution. Presented at IEEE 23rd International Workshop on Multimedia Signal Processing, Tampere, Finland

In video-based point cloud compression (V-PCC), one geometry video and one color video are generated from a dynamic point cloud. Then, the two videos are compressed independently using a state-of-the-art video coder. In the Moving Picture Experts Gro... Read More about Global Rate-distortion Optimization of Video-based Point Cloud Compression with Differential Evolution.

Identifying Aircraft Passenger Postures and Factors Influencing Body Part Discomfort
Presentation / Conference Contribution
Sharafkhani, M., Argyle, E., Cobb, S., Tennent, P., & Houghton, R. (2019, August). Identifying Aircraft Passenger Postures and Factors Influencing Body Part Discomfort. Presented at International Comfort Congress 2019, Delft, The Netherlands

Aircraft passengers’ physical activity levels are often limited during flight for extended periods of time, which can have serious impact on health, comfort, and passenger experience. Passengers are generally advised to walk around the plane and do c... Read More about Identifying Aircraft Passenger Postures and Factors Influencing Body Part Discomfort.

Exploring How Component Factors and Their Uncertainty Affect Judgements of Risk in Cyber-Security
Presentation / Conference Contribution
Ellerby, Z., McCulloch, J., Wilson, M., & Wagner, C. (2019, September). Exploring How Component Factors and Their Uncertainty Affect Judgements of Risk in Cyber-Security. Presented at CRITIS 2019 : 14th International Conference on Critical Information Infrastructures Security, Linköping, Sweden

Subjective judgements from experts provide essential information when assessing and modelling threats in respect to cyber-physical systems. For example, the vulnerability of individual system components can be described using multiple factors, such a... Read More about Exploring How Component Factors and Their Uncertainty Affect Judgements of Risk in Cyber-Security.

Modelling Reactive and Proactive Behaviour in Simulation: A Case Study in a University Organisation
Presentation / Conference Contribution
Abdul Majid, M., Siebers, P.-O., & Aickelin, U. (2011, September). Modelling Reactive and Proactive Behaviour in Simulation: A Case Study in a University Organisation. Presented at GAMEON Arabia 2011, Arab Open University, Amman, Jordan

Simulation is a well established what-if scenario analysis tool in Operational Research (OR). While traditionally Discrete Event Simulation (DES) and System Dynamics Simulation (SDS) are the predominant simulation techniques in OR, a new simulation t... Read More about Modelling Reactive and Proactive Behaviour in Simulation: A Case Study in a University Organisation.

Path Spaces of Higher Inductive Types in Homotopy Type Theory
Presentation / Conference Contribution
Kraus, N., & von Raumer, J. (2019, June). Path Spaces of Higher Inductive Types in Homotopy Type Theory. Presented at 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vancouver, BC, Canada

The study of equality types is central to homotopy type theory. Characterizing these types is often tricky, and various strategies, such as the encode-decode method, have been developed. We prove a theorem about equality types of coequalizers and pus... Read More about Path Spaces of Higher Inductive Types in Homotopy Type Theory.

Towards modelling cost and risks of infrequent events in the cargo screening process
Presentation / Conference Contribution
Sherman, G., Menachof, D., Aickelin, U., & Siebers, P.-O. (2010, March). Towards modelling cost and risks of infrequent events in the cargo screening process. Presented at UK OR Society Simulation Workshop 2010 (SW10), Worcestershire, UK

We introduce a simulation model of the port of Calais with a focus on the operation of immigration controls. Our aim is to compare the cost and benefits of different screening policies. Methodologically, we are trying to understand the limits of disc... Read More about Towards modelling cost and risks of infrequent events in the cargo screening process.