Outputs (50)

Modeling and verifying context-aware non-monotonic reasoning agents (2015)
Presentation / Conference Contribution

© 2015 IEEE. This paper complements our previous work on formal modeling of resource-bounded context-aware systems, which handle inconsistent context information using defeasible reasoning, by focusing on automated analysis and verification. A case s... Read More about Modeling and verifying context-aware non-monotonic reasoning agents.

Autonomous and self controlling smart objects for the future internet (2015)
Presentation / Conference Contribution

Development of IoT applications relies heavily on middleware architectures. Multiple solutions have been proposed using service and agent paradigms, which consequently impose a specific application development model. We observe a trend towards a data... Read More about Autonomous and self controlling smart objects for the future internet.

Visualizing the insider threat: Challenges and tools for identifying malicious user activity (2015)
Presentation / Conference Contribution

One of the greatest challenges for managing organisational cyber security is the threat that comes from those who operate within the organisation. With entitled access and knowledge of organisational processes, insiders who choose to attack have the... Read More about Visualizing the insider threat: Challenges and tools for identifying malicious user activity.

From hiscore to high marks: Empirical study of teaching programming through gamification (2015)
Presentation / Conference Contribution

Unlike conventional taught learning, video games are very successful at keeping players constantly motivated and engaged on a set of tasks for many hours without apparent loss of focus. Additionally, when playing, gamers solve complex problems withou... Read More about From hiscore to high marks: Empirical study of teaching programming through gamification.

Visualising software as a particle system (2015)
Presentation / Conference Contribution

Current metrics-based approaches to visualise unfamiliar software systems face two key limitations: (1) They are limited in terms of the number of dimensions that can be projected, and (2) they use fixed layout algorithms where the resulting position... Read More about Visualising software as a particle system.

Simple synchronisation for open sound control (2015)
Presentation / Conference Contribution

Clock synchronisation is a mature and important aspect of distributed computing systems. Despite the importance of accurate timing in music, there are relatively few widely applicable synchronisation solutions available to computer music practitioner... Read More about Simple synchronisation for open sound control.

Quasi-Hamming distances: An overarching concept for measuring glyph similarity (2015)
Presentation / Conference Contribution

In many applications of spatial or temporal visualization, glyphs provide an effective means for encoding mul- tivariate data objects. However, because glyphs are typically small, they are vulnerable to various perceptual errors. In data communicatio... Read More about Quasi-Hamming distances: An overarching concept for measuring glyph similarity.

Energy harvesting aware relay node addition for power-efficient coverage in wireless sensor networks (2015)
Presentation / Conference Contribution

© 2015 IEEE. This paper deals with power-efficient coverage in wireless sensor networks (WSN) by taking advantage of energy-harvesting capabilities. A general scenario is considered for deployed networks with two types of sensor nodes, harvesting ena... Read More about Energy harvesting aware relay node addition for power-efficient coverage in wireless sensor networks.

A mobile homeostat with three degrees of freedom (2015)
Presentation / Conference Contribution

In the foundational cybernetics text, Design for a Brain, W. Ross Ashby introduces an adaptive system called the homeostat, and speculates about the possibility of creating a mobile homeostat “with its critical states set so that it seeks situations... Read More about A mobile homeostat with three degrees of freedom.

Comportamiento colectivo no trivial en sistemas complejos con mini-robots (2015)
Presentation / Conference Contribution

Se discutirá el problema del fenómeno "comportamiento colectivo no trivial", frecuentemente referido como auto-organización, en sistemas complejos analizado a través de mini-robots. Durante la conferencia se presentarán algunos prototipos desarrollad... Read More about Comportamiento colectivo no trivial en sistemas complejos con mini-robots.