- UHRA Home
- Browsing by Author
Browsing by Author "Centre for Computer Science and Informatics Research"
Now showing items 81-100 of 1210
-
Automated formal verification and testing of C programs for embedded systems
Kandl, Susanne; Kirner, Raimund; Puschner, Peter (Institute of Electrical and Electronics Engineers (IEEE), 2007)In this paper, we introduce an approach for automated verification and testing of ANSI C programs for embedded systems. We automatically extract an automaton model from the C code of the SUT (system under test). This ... -
Automatic calculation of coverage profiles for coverage-based testings
Kirner, Raimund; Haas, W. (2009)Code-coverage-based testing is a widely-used testing strategy with the aim of providing a meaningful decision criterion for the adequacy of a test suite. Code-coverage-based testing is also used for the development of ... -
Automatic differentiation of computer programs in a parallel computing environment
Brown, S.; Christianson, B. (Computational Mechanics, 1997)This paper gives an introduction to a number of methods collectively known as Automatic Differentiation (AD). AD is the systematic application of the rules of calculus to computer programs yielding, as output, programs ... -
Automatic Emotion Recognition in Children with Autism: A Systematic Literature Review
Landowska, Agnieszka; Karpus, Aleksandra; Zawadzka, Teresa; Robins, Ben; Barkana, Duygun Erol; Kose, Hatice; Zorcec, Tatjana; Cummins, Nicholas (2022-02-20)The automatic emotion recognition domain brings new methods and technologies that might be used to enhance therapy of children with autism. The paper aims at the exploration of methods and tools used to recognize emotions ... -
Automatic Hessians by reverse accumulation
Christianson, B. (1992)Let n be the number of independent variables of a function f, and let W and S respectively be the time and space bounds for the joint evaluation of {f, f} using automatic differentiation with reverse accumulation. In this ... -
An automatic taxonomy of galaxy morphology using unsupervised machine learning
Hocking, Alex; Geach, James E.; Sun, Yi; Davey, Neil (2017-09-15)We present an unsupervised machine learning technique that automatically segments and labels galaxies in astronomical imaging surveys using only pixel data. Distinct from previous unsupervised machine learning approaches ... -
Automatic timing model generation by CFG partitioning and model checking
Wenzel, I; Rieder, B; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2005)We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of ... -
Automotive Forensics - Can You Trust Your Car? (Keynote Talk)
Kirner, Raimund (2021-11-17)The issue We tend to have good memories of our exploits and adventures in our car, as our car became a close companion in our daily life. However, have you thought about what your car knows about you, perhaps even secrets ... -
An Autonomous Proxemic System for a Mobile Companion Robot
Asghari Oskoei, Mohammedreza; Walters, Michael; Dautenhahn, K. (The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB), 2010)This paper presents an Autonomous Proxemic System (APS) for a mobile robot. It detects people in the surroundings and manipulates the robot’s motions to approach them keeping an acceptable proxemic distance. The APS sensing ... -
Average BER analysis of SCM-based free-space optical systems by considering the effect of IM3 with OSSB signals under turbulence channels
Lim, Wansu; Cho, Teasik; Yun, Changho; Kim, Kiseon (2009-11)In this paper, we derive the average bit error rate (BER) of subcarrier multiplexing (SCM)-based free space optics (FSO) systems using a dual-drive Mach-Zehnder modulator (DD-MZM) for optical single-sideband (OSSB) signals ... -
Avoiding the uncanny valley : robot appearance, personality and consistency of behavior in an attention-seeking home scenario for a robot companion
Walters, M.L.; Syrdal, D.S.; Dautenhahn, K.; Te Boekhorst, R.; Koay, K.L. (2008)This article presents the results of video-based Human Robot Interaction (HRI) trials which investigated people’s perceptions of different robot appearances and associated attention-seeking features and behaviors displayed ... -
Avoiding timing anomalies using code transformations
Kadlec, A.; Kirner, Raimund; Puschner, P. (Institute of Electrical and Electronics Engineers (IEEE), 2010)Divide-and-conquer approaches to worst-case execution-time analysis (WCET analysis) pose a safety risk when applied to code for complex modern processors: Interferences between the hardware acceleration mechanisms of these ... -
Avoiding timing problems in real-time software
Puschner, P.; Kirner, Raimund (Institute of Electrical and Electronics Engineers (IEEE), 2003)To safely establish the correct timing of a real-time processing node, adequate architectural structures have to be used. This refers to the hardware architecture of the processing node as well as the software architecture ... -
Bacterial colony counting could be rapid, adaptive and automated
Zheng, Minghua; Helian, Na; Lane, Peter; Sun, Yi; Donald, Allen (2022-12-04)Although many attempts have been made to automate bacterial colony counting, little has tackled the counting of clustered colonies and adaptations to handle different bacteria species. In this work, we explore the counting ... -
Benchmark-driven performance modelling for multi-core architectures
Osprey, A.; Riley, G. D.; Lawrence, B. N.; Manjunathaiah, Manju (2013-07-10) -
The benefits and challenges of large-scale deployment of electronic voting systems : University student views from across different subject groups
Cubric, Marija; Jefferies, Amanda (2015-09-01)Electronic Voting System (EVS) is a classroom technology that provides a means to increase students’ engagement, attention and attendance. The purpose of this paper is to provide a deeper insight into students’ views on ... -
BER performance analysis of radio over free-space optical systems considering laser phase noise under Gamma-Gamma turbulence channels
Lim, Wansu; Yun, Changho; Kim, Kiseon (2009-03)This paper analytically investigates a bit error rate (BER) performance of radio over free space optical (FSO) systems considering laser phase noise under Gamma-Gamma turbulence channels. An external modulation using a ... -
The beta component of gamma-band auditory steady-state responses in patients with schizophrenia
Metzner, Christoph; Steuber, Volker (2021-10-14)Abstract: The mechanisms underlying circuit dysfunctions in schizophrenia (SCZ) remain poorly understood. Auditory steady-state responses (ASSRs), especially in the gamma and beta band, have been suggested as a potential ... -
Better be reactive at the beginning. Implications of the first seconds of an encounter for the tutoring style in human-robot-interaction
Pitsch, K.; Wrede, B.; Lohan, K.S.; Rohlfing, K.; Saunders, J.; Nehaniv, C.L. (Institute of Electrical and Electronics Engineers (IEEE), 2012)The paper investigates the effects of a robot's on-line feedback during a tutoring situation with a human tutor. Analysis is based on a study conducted with an iCub robot that autonomously generates its feedback (gaze, ... -
Beyond loop bounds : comparing annotation languages for worst-case execution time analysis
Kirner, Raimund; Knoop, Jens; Prantl, Adrian; Schordan, Markus; Kadlec, Albrecht (2011-07)Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take. This information is indispensable for developing safety-critical ...