Browsing by Title
Now showing items 1-20 of 2029
-
Abductive proofs in dynamic databases
(2013-11-27) -
An Abstract Look at Realizability
(2013-12-10) -
Abstract Model Counting: A Novel Approach for Quantification of Information Leaks
(ACM, 2014)We present a novel method for Quantitative Information Flow analysis. We show how the problem of computing information leakage can be viewed as an extension of the Satisfiability Modulo Theories (SMT) problem. This view ... -
Accelerated wear testing methodologies for total hip replacements.
(2001)Over the last three decades tribological studies of polyethylene total hip replacements have been undertaken using a simplified model of normal walking. As hip prostheses are being implanted in younger and more active ... -
Access to Medicines and the Right to (Cultural) Life
(Ashgate Pub Co, 2010-07-01)This groundbreaking book is the first collection to investigate together the law, political science and ethical perspectives on the right and value of life. -
Acetylation: a critical factor in maintaining intestinal inflammation?
(2010)In inflammatory bowel disease (IBD), both chronic pro-inflammatory pathways and failure of anti-inflammatory (healing) mechanisms sustain disease. The two major anti-inflammatory gut cytokines are transforming growth factor ... -
Achieving regulatory efficiency: a study of the Greek telecommunications authority
(2009)This thesis is an original examination of the structural characteristics that render an administrative agency, entrusted with the regulation of the telecommunications sector, ‘efficient’ or ‘better’ in the sense of the ... -
Actions as processes: a position on planning
(2013-12-09) -
Actions, Ramifications and Linear Modalities
(2013-11-27) -
The activation energy for GaAs/AlGaAs interdiffusion
(1997-11-15) -
Activism in the European Court of Justice and changing options for Turkish citizen migrants in the United Kingdom
(Union of Turkish Bar Associations (Türkiye Barolar Birliği), 2010)Since the early days of their recruitment as workers into Western Europe, Turkish citizens’ immigration and residence rights have been curtailed by EU Member States even though the migration of Turkish citizens has not ... -
Activity understanding and unusual event detection in surveillance videos
(2010)Computer scientists have made ceaseless efforts to replicate cognitive video understanding abilities of human brains onto autonomous vision systems. As video surveillance cameras become ubiquitous, there is a surge in ... -
Actualising economic development through privatisation legal reform: a general assessment of privatisation in Africa with a specific case study of Nigeria and sub focus on the Nigerian electricity sector
(2009)This dissertation analysed the outcome of the adoption and implementation of privatisation by Nigeria, of which a legal framework has been put in place by the government to legalise the process of transferring the ownership ...
