Constraint programming is a generalised framework designed to solve combinatorial problems. This framework is made up of a set of predefined independent components and generalised algorithms. This is a very versatile structure which allows for a variety of rich combinatorial pro…
"460" Result
Sort By:
This portfolio document is intended to present the work carried out in order to meet the requirements of the Engineering Doctorate (EngD) program undertaken at the Institute for System Level Integration (ISLI). This program was undertaken in partnership with the Universities of …
The growing popularity of analogue and mixed-signal (AMS) ASIC and SoC designs for communication applications has led to an increasing requirement for high efficiency performance modelling and optimisation methodologies in AMS synthesis systems. Recently, the support vector mach…
In this thesis, novel Foutain codes are proposed for transmission over wireless channels. The thesis concentrates on a specific version of Fountain codes, namely on Luby transform codes. More specifically, we consider their concatenation with classic error correction codes, yiel…
Wireless Sensor Networks (WSNs) allow the remote and distributed monitoring of parameters in their deployed environment. WSNs are receiving increasing research interest, due to their ability to enable a wide range of applications, and their potential to have a major impact on ub…
The most studied region in the mammalian brain for multisensory integration is the deep superior colliculus (DSC). Neurophysiological experiments have revealed many response properties of DSC neurons, such as cross-modal enhancement (CME) and sub-additive/additive/super-additive…
The presence of irrelevant features in training data is a significant obstacle for many machine learning tasks, since it can decrease accuracy, make it harder to understand the learned model and increase computational and memory requirements. One approach to this problem is to e…
In relay-assisted direct-sequence code-division multiple-access (DS-CDMA) systems, the distance between the relay and the destination receiver may be significantly shorter than that between the source transmitter and the destination receiver. Therefore, the transmission power of…
This thesis describes thermally induced bubble behaviour changes in liquid nitrogen (LN2) under electric fields. Cryogenic liquids such as LN2 have been used not only as the coolant but also as the electrical insulator in superconducting and cryogenic apparatus. However, bubbles…
Since the completion of the Human Genome Project in 2003, it has become increasingly apparent that while genomics has a major role to play in the understanding of human biology, information from other disciplines is necessary to explain the web of interacting signals that allow …
Writing software is a difficult and expensive task. Its automation is hence very valuable. Search algorithms have been successfully used to tackle many software engineering problems. Unfortunately, for some problems the traditional techniques have been of only limited scope, and…
Multi-core CPU architectures have become prevalent in recent years. A number of multi-core CPUs consist of not only multiple processing cores, but multiple different types of processing cores, each with different capabilities and specialisations. These heterogeneous multi-core a…
This research exploits a collection of more than 2,500,000 programs, written to over 1,500 specifications (problems), the Online Judge programming competition. This website invites people all over the world to submit programs to these specifications, and automatically checks the…
The growing requirement of reliability for an insulation system gives researchers greater responsibility to investigate new techniques for monitoring and diagnosing dielectrics subjected to an electric field. It is well known that the presence of space charge is one of the impor…
Understanding the human faculty for speech presents a fundamental and complex problem. We do not know how humans decode the rapid speech signal and the origins and evolution of speech remain shrouded in mystery. Speakers generate a continuous stream of sounds apparently devoid o…
Lifelong User Modelling is an area that aims at harvesting the massive volume of web-based user information, so that it can be used for educational long-term services. Although an amount of research has addressed this issue from an educational angle, by finding ways for educatio…
The World Wide Web has developed into an important platform for social interactions with the rise of social networking applications of dierent kinds. Collaborative tagging systems, as prominent examples of these applications, allow users to share their resources and to interact …
Research in the last few years has indicated that, despite modern algorithms being secure against all published mathematical attacks and being far too complex to break by brute force, secret key data can be gathered by monitoring the power consumption. This is known as a power a…
Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit (RODIN, 2009) for Event-B is used for modelling requirements, specifying refinements and verification. In order to extend the ability to model graphically requirements for the real…