- UHRA Home
- Browsing by Author
Browsing by Author "Centre for Computer Science and Informatics Research"
Now showing items 121-140 of 1210
-
Burst-polling based dynamic bandwidth allocation using adaptive minimum guaranteed bandwidth for EPONs
Lim, Wansu; Yun, Changho; Yang, Yeon-Mo; Lee, Hyunju; Kim, Kiseon (2009-12)The enhanced burst-polling dynamic bandwidth allocation (EBDBA) method is proposed to support broadband access networks based on quality of service for Ethernet passive optical networks (EPONs). EBDBA adaptively increases ... -
Calculating WCET Estimates from Timed Traces
Zolda, Michael; Kirner, Raimund (2015-09-01)Real-time systems engineers face a daunting duty: They must ensure that each task in their system can always meet its deadline. To analyse schedulability they must know the worst-case execution time (WCET) of each task. ... -
Can models of agents be transferred between different areas
Aylett, R.; Dautenhahn, K.; Doran, J.; Luck, M.; Moss, S.; Tennenholtz, M. (2000)One of the main reasons for the sustained activity and interest in the field of agent-based systems, apart from the obvious recognition of its value as a natural and intuitive way of understanding the world, is its reach ... -
Can Real-time, Adaptive Human-Robot Motor Coordination Improve Humans’ Overall Perception of a Robot?
Shen, Qiming; Dautenhahn, K.; Saunders, Joe; Kose, Hatice (2015-03)Previous research on social interaction among humans suggested that interpersonal motor coordination can help to establish social rapport. Our research addresses the question of whether, in a human-humanoid interaction ... -
Can Social Interaction Skills Be Taught by a Social Agent? The Role of a Robotic Mediator in Autism Therapy
Werry, I.; Dautenhahn, K.; Ogden, B.; Harwin, W. (2001)Increasingly socially intelligent agents (software or robotic) are used in education, rehabilitation and therapy. This paper discusses the role of inter-active, mobile robots as social mediators in the particular domain ... -
Can you trust your robotic assistant?
Amirabdollahian, F.; Dautenhahn, K.; Dixon, C.; Eder, K.; Fisher, M.; Koay, K.L.; Magid, E.; Pipe, T.; Salem, M.; Saunders, J.; Webster, M. (Springer Nature, 2013-10)Robotic assistants are being developed to assist with a range of tasks at work and home. Besides designing and developing such robotic assistants, a key issue that needs to be addressed is showing that they are both safe ... -
A Candour-based Trust and Reputation Management System for Mobile Ad Hoc Networks
Chiejina, Eric; Xiao, Hannan; Christianson, B. (University of York, 2013)The decentralized administrative controlled-nature of mobile ad hoc networks (MANETs) presents security vulnerabilities which can lead to attacks such as malicious modification of packets. To enhance security in MANETs, ... -
Care-O-bot® 3 - Vision of a robot butler
Reiser, U.; Jacobs, T.; Arbeiter, G.; Parlitz, C.; Dautenhahn, K. (Springer Nature, 2013)This chapter promotes the idea of a robot butler and investigates the advantages and disadvantages of embodiment for the proposed scenario,Tina and her butler". In order to make the discussion more tangible, Care-O-bot® 3 ... -
A Case for Redundant Arrays of Hybrid Disks (RAHD)
Wang, F.; Helian, N.; Wu, S.; Guo, Y.K.; Deng, D.; Khare, V.; Liao, C.; Rashidi, M.; Parker, A. (2008)Hybrid Hard Disk Drive was originally concepted by Samsung, which incorporates a Flash memory in a magnetic disk. The combined ultra-high-density benefits of magnetic storage and the low-power and fast read access of NAND ... -
Case Study Research in Software Engineering : Guidelines and Examples
Runeson, Per; Host, Martin; Rainer, Austen; Regnell, Bjorn (Wiley-Blackwell, 2012)Gives detailed practical guidelines on the preparation, conduct, design and reporting of case studies of software engineering -
Caterpillar duality for constraint satisfaction problems
Carvalho, Catarina; Dalmau, Víctor; Krokhin, Andrei (Institute of Electrical and Electronics Engineers (IEEE), 2008) -
Causal blankets : Theory and algorithmic framework
Rosas, Fernando E.; Mediano, Pedro A.M.; Biehl, Martin; Chandaria, Shamil; Polani, Daniel (Springer Nature, 2020-12-18)We introduce a novel framework to identify perception-action loops (PALOs) directly from data based on the principles of computational mechanics. Our approach is based on the notion of causal blanket, which captures sensory ... -
A CCS case study: a safety-critical system
Baillie, J. (University of Hertfordshire, 1990)A level crossing control system is specified in CCS, motivated by a temporal logic specification of the safety requirements. We show that with certain reservations, these can be satisfactorily stated entirely within CCS. ... -
CD(4) has bounded width
Carvalho, Catarina; Dalmau, Víctor; Marković, Petar; Maróti, Miklós (2009)We prove that the constraint languages invariant under a short sequence of J\'onsson terms (containing at most three non-trivial ternary terms) are tractable by showing that they have bounded width. This improves the ... -
Centrosomin represses dendrite branching by orienting microtubule nucleation
Yalgin, Cagri; Ebrahimi, Saman; Delandre, Caroline; Yoong, Li Foong; Akimoto, Saori; Tran, Heidi; Amikura, Reiko; Spokony, Rebecca; Torben-Nielsen, Ben; White, Kevin P.; Moore, Adrian W. (2015-10-01)Neuronal dendrite branching is fundamental for building nervous systems. Branch formation is genetically encoded by transcriptional programs to create dendrite arbor morphological diversity for complex neuronal functions. ... -
Cerebellar LTD and pattern recognition by Purkinje cells
Steuber, Volker; Mittmann, W.; Hoebeek, F.E.; Silver, R.A.; De Zeeuw, C.I.; Hausser, M.; De Schutter, E. (2007) -
Cerebellar Nuclear Neurons Use Time and Rate Coding to Transmit Purkinje Neuron Pauses
Sudhakar, Shyam Kumar; Torben-Nielsen, Ben; De Schutter, Erik (2015-12-02)Neurons of the cerebellar nuclei convey the final output of the cerebellum to their targets in various parts of the brain. Within the cerebellum their direct upstream connections originate from inhibitory Purkinje neurons. ... -
Cerebellar output controls generalized spike-and-wave discharge occurence
Kros, Lieke; Eelkman Rooda, Oscar; Spanke, Jochen; Alva, Parimala; van Dongen, Marijn; Karapatis, Athanasios; Tolner, Else; Strydis, Christos; Davey, N.; Winkelman, Beerend; Negrello, Mario; Serdijn, Wouter; Steuber, Volker; van den Maagdenberg, Arn; De Zeeuw, Chris I.; Hoebeek, Freek E. (2015-06-01)Disrupting thalamocortical activity patterns has proven to be a promising approach to stop generalized spike-and-wave discharges (GSWDs) characteristic of absence seizures. Here, we investigated to what extent modulation ... -
Challenges in Extending the Virtual Learning Environment into Social Networks : Keeping Staff and Students Together
Saward, Guy (Academic Conferences Ltd., 2012) -
Changing the Environment Based on Empowerment as Intrinsic Motivation
Salge, Christoph; Glackin, Cornelius; Polani, D. (2014-05-21)One aspect of intelligence is the ability to restructure your own environment so that the world you live in becomes more beneficial to you. In this paper we investigate how the information-theoretic measure of agent ...