Neurons are the basic units in nervous systems. They transmit signals along neurites and at synapses in electrical and chemical forms. Neuronal morphology, mainly dendritic geometry, is famous for anatomical diversity, and names of many neuronal types reflect their morphologies …
"47" Result
Sort By:
We begin by introducing an extension to the software package Dune (a C++ based toolbox for solving PDEs with the finite element method) which has the main objective of providing a Python user interface to it. First of all we explain how we have structured the interface and go in…
This thesis differs from the technological perspective of SPI by identifying and analysing the organisational features of process improvement. A theoretical understanding is developed of how and why software process improvements occur and what are the consequences of the change …
This dissertation is to provide empirical evidence as well as in-depth discussions to reflect the theme of new technologies like the Internet and its impact and implications on the political systems and public opinion in the Chinese context. It is the premise that technology can…
Social and organisation theorists have become increasingly interested in studying information and communication technologies over the last two decades. This thesis examines how information and communication technologies are organised, and what is organised by information and com…
Computer systems are ubiquitous in most aspects of our daily lives, as such the reliance of end users upon their correct and timely functioning is on the rise. With technology advancement, the functionality of these systems is increasingly being defined in software. On the other…
References and citations form a basis for scientific research and creation/discovery of knowledge. However literature reviews had indicated that many errors are present in scholarly papers published in journals and conferences as well as in books and articles. Furthermore, cours…
Social media offers researchers vast amount of unstructured text as a source to discover hidden knowledge and insights. However, social media poses new challenges to text mining and knowledge discovery due to its short length, temporal nature and informal language. In order to i…
In the march towards exascale, supercomputer architectures are undergoing a significant change. Limited by power consumption and heat dissipation, future supercomputers are likely to be built around a lower-power many-core model. This shift in supercomputer design will require s…
A semantics of the ƛ-calculus is presented which is different from any of the lattice models, so far analysed, of Scott and the term models of Morris and Barendregt. The original motivation was to do for ƛ-expressions what Scott had done for flow-diagrams, namely construct a 'sy…
Plants can be characterised by a range of attributes, and measuring these attributes accurately and reliably is a major challenge for the horticulture industry. The measurement of those plant characteristics that are most relevant to a grower has previously been tackled almost e…
This thesis explores the potential of statistical inference methodologies in their applications in functional genomics. In essence, it summarises algorithmic findings in this field, providing step-by-step analytical methodologies for deciphering biological knowledge from large-s…
This thesis describes model checking techniques for protocols arising in quantum information theory and quantum cryptography. We discuss the theory and implementation of a practical model checker, QMC, for quantum protocols. In our framework, we assume that the quantum operation…
Today, modern computers are based on digital technology. However, during the decades after 1940, digital computers were complemented by the separate technology of analog computing. But what was analog computing, what were its merits, and who were its users? This thesis investiga…
This thesis is concerned with the methods used to reduce the data volume required to represent still images and video sequences. The number of disparate still image and video coding methods increases almost daily. Recently, two new strategies have emerged and have stimulated wid…
This thesis is concerned with the use of intelligent system techniques (IST) within a large distributed software system, specifically the ATLAS TDAQ system which has been developed and is currently in use at the European Laboratory for Particle Physics(CERN). The overall aim is …
This thesis discusses the idea of using domain specific languages for program transformation, and the application, implementation and analysis of one such domain specific language that combines rewrite rules for transformation and uses temporal logic to express its side conditio…
Security within the Web services technology field is a complex and very topical issue. When considering using this technology suite to support interacting e-businesses, literature has shown that the challenge of achieving security becomes even more elusive. This is particularly …
The generation of high-fidelity imagery is a computationally expensive process and parallel computing has been traditionally employed to alleviate this cost. However, traditional parallel rendering has been restricted to expensive shared memory or dedicated distributed processor…