Physical means of securing information, such as sealed envelopes and scratch cards, can be used to achieve cryptographic objectives, including ones that are hard or impossible by electronic means. So far, descriptions of such mechanisms have been informal, and as a consequence so has the associated reasoning. This paper3 takes a formal methods approach to these physical cryptography primitives....

TAP is responsible for the transit of peptides from the cytosol to the lumen of the endoplasmic reticulum. In an immunological context, this event is followed by the binding of peptides to MHC molecules before export to the cell surface and recognition by T cells. Because TAP transport precedes MHC binding, TAP preferences may make a significant contribution to epitope selection. To assess the ...

OBJECTIVE To establish, in a case-control study, the early mortality and long-term survival after surgical correction of sealed rupture abdominal aortic aneurysm, compared to controls who underwent standard, nonruptured abdominal aortic aneurysm repair. PATIENTS AND METHODS From January 1992 to December 2002, 465 patients underwent infrarenal abdominal aortic aneurysm repair. Of those, 13 had...

background: it is considered that if radon gas is inhaled and ingested, it is the primary health risks for lung and stomach cancers. this paper presents the measurement results of radon activity concentrations both residential tap water and dam water for kastamonu city centre-turkey. materials and methods: the radon activity concentrations of water samples collected from 60 tap waters at four l...