Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as games on which proofs induce strategies. We are specifically interested here in relating two such semantics of linear logic, of very different flavor, which both take in account concurrent features of the proofs: asyn...

Immunofixation following electrophoresis or isoelectric focusing has proven to be a powerful tool for the phenotyping of plasma proteins, the identification of proteins such as M-components and the study of conversion or breakdown products of proteins such as C3. One of the major advantages is the ability to compare, side by side, the mobilities of relatively low-concentration proteins. The tec...

A new method called dynamic kinetic capillary isoelectric focusing (DK-CIEF) is presented for the study of protein-DNA interactions. The method is based on CIEF with laser-induced fluorescence-whole column imaging detection in which protein-DNA complexes are separated with spatial resolution while dissociations of the complexes are dynamically monitored using a CCD camera with temporal resoluti...

Newly-developed gel isoelectric focusing techniques provide for rapid and correct identification of human hemoblobins. With this technique, we examined samples previously identified by the National Hemoglobinopathy Standardization Laboratory of the Center for Disease Control. A wide variety of both normal and abnormal hemoglobins was included in the 134 different specimens examined. The isoelec...

Conalbumin complexes containing one, and only one, specifically bound metal ion were isolated by the isoelectric focusing technique. This made possible the preparation of a series of mixed metal or mixed isotope complexes: GaoFeiconalbumin, Fe,Gaiconalbumin, S6Fezconalbumin, 5Te05Teiconalbumin, “FeoS6Feiconalbumin, and 57Fezconalbumin. The appropriate species were studied by EPR, Mijssbauer, an...

A new technique is described for the concentration and separation of ionic species in solution within microchannels or capillaries. Concentration is achieved by balancing the electrophoretic velocity of an analyte against the bulk flow of solution in the presence of a temperature gradient. With an appropriate buffer, the temperature gradient can generate a corresponding gradient in the electrop...

We propose new sequent calculus systems for orthologic (also known as minimal quantum logic) which satisfy the cut elimination property. The first one is a very simple system relying on the involutive status of negation. The second one incorporates the notion of focusing (coming from linear logic) to add constraints on proofs and thus to facilitate proof search. We demonstrate how to take benef...

Beale SC (1998) Capillary electrophoresis. Analytical Chemistry 70: 279. (This journal prints every two years a review on capillary electrophoresis. The article is written by an expert in the Reld and covers more or less all developments in CE including CGE of the preceding years.) Grossmann PD and Colburn JC (eds) (1996) Capillary Electrophoresis: Theory and Practice. San Diego: Academic Press...

The bacteriocins lactococcin B and pediocin PA-1 were purified by ethanol precipitation, preparative isoelectric focusing, and ultrafiltration. The procedure reproducibly leads to high final yields in comparison to the generally low yields obtained by column chromatography. Specifically, during isoelectric focusing no loss of activity occurs. The method, in general, should be applicable to smal...

Factitious proteinuria is an unusual finding. We present a case in which clinical suspicion was aroused by the disparity between the clinical history and findings and the 24-h excretion of protein in urine. Electrophoresis of the patient's serum and urine confirmed the presence of an unusual protein. By isoelectric focusing we identified it as egg-white, a finding confirmed by immunofixation wi...