Addendum to "New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi"

This is an addendum to our technical report BUCS TR-94-014 of December 19, 1994. It clarifies some statements, adds information on some related research, includes a comparison with research be de Groote, and fixes two minor mistakes in a proof.

A New Version of Toom's Proof

There are several proofs now for the stability of Toom's example of a two-dimensional stable cellular automaton and its application to fault-tolerant computation. Simon and Berman simplified and strengthened Toom's original proof: the present report is simplified exposition of their proof.

Client-based Logging: A New Paradigm of Distributed Transaction Management

The proliferation of inexpensive workstations and networks has created a new era in distributed computing. At the same time, non-traditional applications such as computer-aided design (CAD), computer-aided software engineering (CASE), geographic-information systems (GIS), and office-information systems (OIS) have placed increased demands for high-performance transaction processing on database systems. The combination of these factors gives rise to significant challenges in the design of modern database systems. In this thesis, we propose novel techniques whose aim is to improve the performance and scalability of these new database systems. These techniques exploit client resources through client-based transaction management. Client-based transaction management is realized by providing logging facilities locally even when data is shared in a global environment. This thesis presents several recovery algorithms which utilize client disks for storing recovery related information (i.e., log records). Our algorithms work with both coarse and fine-granularity locking and they do not require the merging of client logs at any time. Moreover, our algorithms support fine-granularity locking with multiple clients permitted to concurrently update different portions of the same database page. The database state is recovered correctly when there is a complex crash as well as when the updates performed by different clients on a page are not present on the disk version of the page, even though some of the updating transactions have committed. This thesis also presents the implementation of the proposed algorithms in a memory-mapped storage manager as well as a detailed performance study of these algorithms using the OO1 database benchmark. The performance results show that client-based logging is superior to traditional server-based logging. This is because client-based logging is an effective way to reduce dependencies on server CPU and disk resources and, thus, prevents the server from becoming a performance bottleneck as quickly when the number of clients accessing the database increases.

The purification and characterization of the high and low molecular weight forms of rabbit intestinal adenosine deaminase

Accepted Version

Crystallisation and crystal forms of carbohydrate derivatives

This thesis is focused on the synthesis and solid state analysis of carbohydrate derivatives, including many novel compounds. Although the synthetic chemistry surrounding carbohydrates is well established in the literature, the crystal chemistry of carbohydrates is less well studied. Therefore this research aims to improve understanding of the solid state properties of carbohydrate derivatives through gaining more information on their supramolecular bonding. Chapter One focuses on an introduction to the solid state of organic compounds, with a background to crystallisation, including issues that can arise during crystal growth. Chapter Two is based on glucopyranuronate derivatives which are understudied in terms of their solid state forms. This chapter reports on the formation of novel glucuronamides and utilising the functionality of the amide bond for crystallisation. TEMPO oxidation was completed to form glucopyranuronates by oxidation of the primary alcohol groups of glucosides to the carboxylic acid derivatives, to increase functionality for enhanced crystal growth. Chapter Three reports on the synthesis of glucopyranoside derivatives by O-glycosylation reactions and displays crystal structures, including a number of previously unsolved acetate protected and deprotected crystal structures. More complex glycoside derivatives were also researched in an aim to study the resultant supramolecular motifs. Chapter Four contains the synthesis of aryl cellobioside derivatives including the novel crystal structures that were solved for the acetate protected and deprotected compounds. Research was carried out to determine if 1-deoxycellodextrins could act as putative isostructures for cellulose. Our research displays the presence of isostructural references with 1-deoxycellotriose shown to be similar to cellulose III11, 1-deoxycellotetraose correlates with cellulose IV11 and 1-deoxycellopentose shows isostructurality similar to that of cellulose II. Chapter Five contains the full experimental details and spectral characterisation of all novel compounds synthesised in this project and relevant crystallographic information.

Towards a new model of criminal justice system in the era of globalised criminality: the biggest challenges for criminal process legislation

The main objective of this thesis is the critical analysis of the evolution of the criminal justice systems throughout the past decade, with special attention to the fight against transnational terrorism. It is evident – for any observer - that such threats and the associated risk that terrorism entails, has changed significantly throughout the past decade. This perception has generated answers – many times radical ones – by States, as they have committed themselves to warrant the safety of their populations and to ease a growing sentiment of social panic. This thesis seeks to analyse the characteristics of this new threat and the responses that States have developed in the fight against terrorism since 9/11, which have questioned some of the essential principles and values in place in their own legal systems. In such sense, freedom and security are placed into perspective throughout the analysis of the specific antiterrorist legal reforms of five different States: Israel, Portugal, Spain, the United Kingdom and the United States of America. On the other hand, in light of those antiterrorist reforms, it will be questioned if it is possible to speak of the emergence of a new system of criminal justice (and of a process of a convergence between common law and civil law systems), built upon a control and preventive security framework, significantly different from traditional models. Finally, this research project has the fundamental objective to contribute to a better understanding on the economic, social and civilization costs of those legal reforms regarding human rights, the rule of law and democracy in modern States.

Community workers' understandings and practices of resistance

This research is focused on Community Workers located in Southern Ireland, and their understandings and practices of resistance. It is an attempt to explore the ways in which community workers’ understandings and practices of resistance are formed and, in turn, inform their sense of identity and their responses to the wider context of community development work in Ireland today. This study is specifically located but also has wider application and relevance because of the extended international reach of neo-liberal and managerial rationalities, and their implications for politics, policy and practice. The study considers resistance in a number of inter-related ways: as a collective oppositional position (with negative and positive dimensions); a personal and/or professional value (associated with the ‘expansion of contention’); a strategy for negotiating unequal power relations (in a range of levels and spaces of power); an identity (in relation to the sustaining of ‘reflexive subjectivities’); a set of practices, (which take into account the interplay between economic, political and cultural influences); and an educational process through which practitioners assess and enact personal and professional agency. Critical theorisations of community development and of the Irish state over time, trace the ways in which neo-liberalism and managerialism has inflected community development practice and the positions of community workers and communities in that process. The study draws on James C. Scott, Gramsci, Barnes and Prior, among others, which enabled the interrogation of resistance in relation to everyday practices through engaging with ‘hidden transcripts’ and spaces. The method chosen was focus group discussions with three groups of community workers located in different counties in Southern Ireland. This method facilitated a deep discourse analysis of practitioners’ encounters with resistance in the field of community work. Key findings relate to the various interpretations of the role of resistance, practices of resistance (including current restrictions), the value of resistance work and the conditions that may be conducive to practising resistance.

Disciplined Seeing: Forms of Christianity and Forms of Life

The price of innovation: new estimates of drug development costs.

The research and development costs of 68 randomly selected new drugs were obtained from a survey of 10 pharmaceutical firms. These data were used to estimate the average pre-tax cost of new drug development. The costs of compounds abandoned during testing were linked to the costs of compounds that obtained marketing approval. The estimated average out-of-pocket cost per new drug is 403 million US dollars (2000 dollars). Capitalizing out-of-pocket costs to the point of marketing approval at a real discount rate of 11% yields a total pre-approval cost estimate of 802 million US dollars (2000 dollars). When compared to the results of an earlier study with a similar methodology, total capitalized costs were shown to have increased at an annual rate of 7.4% above general price inflation.

Measurements of Epidural Space Depth Using Preexisting CT Scans Correlate with Loss of Resistance Depth during Thoracic Epidural Catheter Placement.

Background. Thoracic epidural catheters provide the best quality postoperative pain relief for major abdominal and thoracic surgical procedures, but placement is one of the most challenging procedures in the repertoire of an anesthesiologist. Most patients presenting for a procedure that would benefit from a thoracic epidural catheter have already had high resolution imaging that may be useful to assist placement of a catheter. Methods. This retrospective study used data from 168 patients to examine the association and predictive power of epidural-skin distance (ESD) on computed tomography (CT) to determine loss of resistance depth acquired during epidural placement. Additionally, the ability of anesthesiologists to measure this distance was compared to a radiologist, who specializes in spine imaging. Results. There was a strong association between CT measurement and loss of resistance depth (P < 0.0001); the presence of morbid obesity (BMI > 35) changed this relationship (P = 0.007). The ability of anesthesiologists to make CT measurements was similar to a gold standard radiologist (all individual ICCs > 0.9). Conclusions. Overall, this study supports the examination of a recent CT scan to aid in the placement of a thoracic epidural catheter. Making use of these scans may lead to faster epidural placements, fewer accidental dural punctures, and better epidural blockade.

Low Molecular Weight Opioid Peptide Esters Could be Developed as a New Class of Analgesics.

Low molecular weight opioid peptide esters (OPE) could become a class of analgesics with different side effect profiles than current opiates. OPE may have sufficient plasma stability to cross the blood brain barrier (BBB), undergo ester hydrolysis and produce analgesia. OPE of dipeptides, tyr-pro and tyr-gly conjugated to ethanol have a structure similar to the anesthestic agent, etomidate. Based upon the analgesic activity of dipeptide opioids, Lipinski's criteria, and permeability of select GABA esters to cross the BBB, opioid peptides (OP) conjugated to ethanol, cholesterol or 3-glucose are lead recommendations. Preliminary animal data suggests that tyr-pro-ethyl ester crosses the BBB and unexpectedly produces hyperalgesia. Currently, there are no approved OP analgesics available for clinical use. Clinical trials of good manufacturing practice OP administered to patients suffering from chronic pain with indwelling intrathecal pumps could resolve the issue that OP may be superior to opiates and may redirect research.

Adiantumshastense, a new species of maidenhair fern from California.

A new species of Adiantum is described from California. This species is endemic to northern California and is currently known only from Shasta County. We describe its discovery after first being collected over a century ago and distinguish it from Adiantumjordanii and Adiantumcapillus-veneris. It is evergreen and is sometimes, but not always, associated with limestone. The range of Adiantumshastense Huiet & A.R.Sm., sp. nov., is similar to several other Shasta County endemics that occur in the mesic forests of the Eastern Klamath Range, close to Shasta Lake, on limestone and metasedimentary substrates.

Cannibal Animal Games: A new variant of Tic-Tac-Toe

This paper presents a new partial two-player game, called the cannibal animal game, which is a variant of Tic-Tac-Toe. The game is played on the infinite grid, where in each round a player chooses and occupies free cells. The first player Alice can occupy a cell in each turn and wins if she occupies a set of cells, the union of a subset of which is a translated, reflected and/or rotated copy of a previously agreed upon polyomino P (called an animal). The objective of the second player Bob is to prevent Alice from creating her animal by occupying in each round a translated, reflected and/or rotated copy of P. An animal is a cannibal if Bob has a winning strategy, and a non-cannibal otherwise. This paper presents some new tools, such as the bounding strategy and the punching lemma, to classify animals into cannibals or non-cannibals. We also show that the pairing strategy works for this problem.

Effects of different molecular forms of FHA on IL-10 and IL-12 secretions by human dendritic cells.

info:eu-repo/semantics/nonPublished

A new parameterization of Johnson's SB distribution with application to fitting forest tree diameter data

The SB distributional model of Johnson's 1949 paper was introduced by a transformation to normality, that is, z ~ N(0, 1), consisting of a linear scaling to the range (0, 1), a logit transformation, and an affine transformation, z = γ + δu. The model, in its original parameterization, has often been used in forest diameter distribution modelling. In this paper, we define the SB distribution in terms of the inverse transformation from normality, including an initial linear scaling transformation, u = γ′ + δ′z (δ′ = 1/δ and γ′ = �γ/δ). The SB model in terms of the new parameterization is derived, and maximum likelihood estimation schema are presented for both model parameterizations. The statistical properties of the two alternative parameterizations are compared empirically on 20 data sets of diameter distributions of Changbai larch (Larix olgensis Henry). The new parameterization is shown to be statistically better than Johnson's original parameterization for the data sets considered here.