Report on the EU-US Workshop on Large Scientific Databases

This joint workshop was set up under the auspices of the Joint European Commission/National Science Foundation Strategy Group that met in Budapest in September 1998. The meeting derived from a joint collaboration agreement between the EC and NSF, signed by Dr. George Metakides (Director of Information Technologies for the EC) and Prof. Juris Hartmanis (Director of Computer and Information Science and Engineering at the NSF). Some themes that were identified include: digital libraries human-centered computing and virtual environments large scientific databases, and intelligent implants This report expresses the conclusions and recommendations of the Workshop on Large Scientific Databases, held in Annapolis, Maryland, USA in September 1999. The purpose of the workshop was to develop a report to the funding agencies outlining a possible solicitation to the research community, with emphasis on joint European-US work on Large Scientific Databases. Before the workshop, each participant submitted a position paper (these are available at the web site http://www.cacr.caltech.edu/euus). The results of the position papers, presentations, and group discussion are summarized in this report. There were 12 participants from Europe and 12 from the United States, and they are listed at the end of this report. The last section of this report describes possible funding mechanisms

The state of workplace union reps organisation in Britain today

This article provides a brief evaluation of the state of workplace union reps’ organization in Britain as we approach the second decade of the 2000s. It documents the severe weakening of workplace union organization over the last 25 years, which is reflected in the declining number of reps, reduced bargaining power and the problem of bureaucratization. But it also provides evidence of the continuing resilience, and even combativity in certain areas of employment, of workplace union reps organization, and considers the future potential for a revival of fortunes

Mechanical Translation

Contains research objectives and reports on four research projects.National Science Foundation (Grant G-24047

Using Middle-Out Reasoning to Control the Synthesis of Tail-Recursive Programs

We describe a novel technique for the automatic synthesis of tail-recursive programs. The technique is to specify the required program using the standard equations and then synthesise the tail-recursive program using the proofs as programs technique. This requires the specification to be proved realisable in a constructive logic. Restrictions on the form of the proof ensure that the synthesised program is tail-recursive. Th

Nominal Logic Programming

Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, alpha-equivalence). This article investigates logic programming based on nominal logic. We describe some typical nominal logic programs, and develop the model-theoretic, proof-theoretic, and operational semantics of such programs. Besides being of interest for ensuring the correct behavior of implementations, these results provide a rigorous foundation for techniques for analysis and reasoning about nominal logic programs, as we illustrate via examples.Comment: 46 pages; 19 page appendix; 13 figures. Revised journal submission as of July 23, 200

Stomatin-like Protein 2 Links Mitochondria to T-Cell Receptor Signalosomes at the Immunological Synapse and Enhances T-Cell Activation

T cell activation through the antigen receptor (TCR) requires sustained signalling from microclusters in the peripheral region of the immunological synapse (IS). The bioenergetics of such prolonged signaling have been linked to the redistribution of mitochondria to the IS. Here, we report that stomatin-like protein-2 (SLP-2) plays an important role in this process by bridging polarized mitochondria to these signaling TCR microclusters or signalosomes in the IS in a polymerized actin-dependent manner. In this way, SLP-2 helps to sustain TCR-dependent signalling and enhances T cell activation

The KATRIN Pre-Spectrometer at reduced Filter Energy

The KArlsruhe TRItium Neutrino experiment, KATRIN, will determine the mass of the electron neutrino with a sensitivity of 0.2 eV (90% C.L.) via a measurement of the beta-spectrum of gaseous tritium near its endpoint of E_0 =18.57 keV. An ultra-low background of about b = 10 mHz is among the requirements to reach this sensitivity. In the KATRIN main beam-line two spectrometers of MAC-E filter type are used in a tandem configuration. This setup, however, produces a Penning trap which could lead to increased background. We have performed test measurements showing that the filter energy of the pre-spectrometer can be reduced by several keV in order to diminish this trap. These measurements were analyzed with the help of a complex computer simulation, modeling multiple electron reflections both from the detector and the photoelectric electron source used in our test setup.Comment: 22 pages, 12 figure

A Transcriptomic Signature of Mouse Liver Progenitor Cells

Liver progenitor cells (LPCs) can proliferate extensively, are able to differentiate into hepatocytes and cholangiocytes, and contribute to liver regeneration. The presence of LPCs, however, often accompanies liver disease and hepatocellular carcinoma (HCC), indicating that they may be a cancer stem cell. Understanding LPC biology and establishing a sensitive, rapid, and reliable method to detect their presence in the liver will assist diagnosis and facilitate monitoring of treatment outcomes in patients with liver pathologies. A transcriptomic meta-analysis of over 400 microarrays was undertaken to compare LPC lines against datasets of muscle and embryonic stem cell lines, embryonic and developed liver (DL), and HCC. Three gene clusters distinguishing LPCs from other liver cell types were identified. Pathways overrepresented in these clusters denote the proliferative nature of LPCs and their association with HCC. Our analysis also revealed 26 novel markers, LPC markers, including Mcm2 and Ltbp3, and eight known LPC markers, including M2pk and Ncam. These markers specified the presence of LPCs in pathological liver tissue by qPCR and correlated with LPC abundance determined using immunohistochemistry. These results showcase the value of global transcript profiling to identify pathways and markers that may be used to detect LPCs in injured or diseased liver

Union renewal in historical perspective

This article revisits contemporary union renewal/revival debates through comparison with the late 1930s resurgence of trade unionism in the UK’s engineering industry. It is argued that the 1930s union renewal arose from more favourable contextual conditions than those currently obtaining. It was led by political activists, with better-articulated organisation and greater resonance in the working class than their contemporary counterparts, and who were assisted by state policy and pro-worker forces. Conclusions are drawn in relation to current debates