Recently, Wadler presented a continuation-passing translation from a session-typed functional language, GV, to a process calculus based on classical linear logic, CP. However, this translation is one-way: CP is more expressive than GV. We propose an extension of GV, called HGV, and give translations showing that it is as expressive as CP. The new translations shed light both on the original tra...

To study the incidence and outcome of GB virus C (GBV-C) infection in blood recipients. Serum samples collected in a prospective study were examined for GBV-C RNA by a nested polymerase chain reaction assay. Among the 400 adults who underwent cardiac surgery, 40 were positive for GBV-C RNA, including six whose pretransfusion sera were already positive and seven coinfected with hepatitis C virus...

Liposomes have been used primarily as a model system for studying biological membranes. Numerous chemical, biochemical and biophysical methods have been used to elucidate the various aspects of the interaction between proteins or peptides and phospholipids. Having in mind the potential use of synthetic lipopeptides as antiviral therapies and aiming for a better understanding of the molecular in...

The spread and origins of hepatitis C virus (HCV) in human populations have been the subject of extensive investigations, not least because of the importance this information would provide in predicting clinical outcomes and controlling spread of HCV in the future. However, in the absence of historical and archaeological records of infection, the evolution of HCV and other human hepatitis virus...

The basic assumption in visual angle car following models is that the following distance between successive vehicles is a function of the object (i.e. leading vehicle) width. This paper examines the validity of this assumption using two types of data. Published real traffic data from instrumented vehicles in the USA and Germany have been used to check the ability of these models to replicate re...