There has been a general view articulated within the railway industry that there needs to be greater systems thinking and systems engineering applied to major projects within the industry (Network Rail, 2013 and Rail Safety and Standards Board, 2012). However, there are many dif…
"460" Result
Sort By:
Recently, political events, such as elections or referenda, have raised a lot of discussions on social media networks, in particular, Twitter. This brings new opportunities for social scientists to address social science tasks, such as understanding what communities said, identi…
The thesis summarizes the research on the feasibility investigation of Space-Surface (i.e. a spaceborne transmitter and an airborne receiver) Bistatic Synthetic Aperture Radar (SSBSAR)with a Global Navigation Satellite System (GNSS) which is used as a transmitter of opportunity.…
The definition of identity varies, and on the Internet it can be difficult to keep track of. Rather than trying to discuss the philosophical question of "who am I?", I like to define your digital identity as the information you place on the Internet (actively or passively). Mana…
Remote electronic voting has long been considered a panacea for many of the problems with existing, paper-based election mechanisms: assurance that one’s vote has been counted as cast; ability to vote without fear of coercion; fast and reliable tallying; improvement in voter tur…
This thesis presents a Cloud-based-Multi-Agent System (Clobmas) that uses multiple double auctions, to enable applications to self-adapt, based on their QoS requirements and budgetary constraints. We design a marketplace that allows applications to select services, in a decentra…
Game Semantics is an approach to denotational semantics that has been successful in providing accurate, fully abstract models for various programming languages. It has thereafter been applied, amongst other things, to model checking, access control analysis, information flow ana…
This thesis reports a new method for stability analysis and maximum time delay estimation in networked control systems with applications to distributed energy systems. The proposed new method is based on using finite difference approximation for the delay term and then the Lyapu…
Many approaches have been proposed for the recognition of mathematical formulae, traditionally using the results of optical character recognition over scanned documents. However, optical character recognition generally performs poorly when presented with mathematics, making it d…
Remote detection of body-worn concealed weapons or explosives (CWE) is a field of ongoing research. In this Thesis the feasibility of CWE detection by using the UWB radar is explored. The CWE detection is based on the analysis of the Late Time Response (LTR) of the human which h…
Let M\(_g\) be the moduli space of genus g curves. A Hurwitz locus in M\(_g\) is a locus of points representing G-covers of fixed genus g with a given ramification type. The classification of Hurwitz loci of complex curves admitting G is by the computation of orbits of a suitabl…
The perceived socio-economic significance of Information and Communication Technology (ICT) has dramatically expanded the domains in which this cluster of technologies is being discussed and acted upon. Action to promote the 'information society' has made its way into government…
This thesis details the design and implementation of an Interactive Storytelling Framework. Using software engineering methodology and framework development methods, we aim to design a full Interactive Storytelling system involving a story manager, a character engine, an action …
This thesis addresses the representation of, and reasoning on, musical knowledge in the Semantic Web. The Semantic Web is an evolving extension of the World Wide Web that aims at describing information that is distributed on the web in a machine-processable form. Existing approa…
The effective integration of knowledge representation, reasoning and learning into a robust computational model is one of the key challenges in Computer Science and Artificial Intelligence. In particular, temporal models have been fundamental in describing the behaviour of Compu…
Fault-tolerant architectures for software-based systems have been used in various practical applications, including Right control systems for commercial airliners (e.g. AIRBUS A340, A310) as part of an aircraft's so-called fiy-bY-'win: Right control system [1], the control syste…
Ongoing device miniaturization makes it possible to manufacture very small devices; therefore more of them can be embedded in one space. Pervasive computing con- cepts, envisioning computers distributed in a space and hidden from users' sight, presented by Weiser in 1991 are bec…
The perceived auditory environment is an increasingly important part of people's everyday interactive experiences. While sound design is an established discipline in media such as video games and cinema, this is not the case in Human-Computer Interaction (HCI). HCI designers are…