background: linear dermatitis is endemic in iran where most cases occur in the caspian sea coast and fars prov­ince. the disease is caused by beetles of the genus paederus which are active from early spring to beginning of au­tumn although its incidence rises from may to august. the classic taxonomy of paederus spp. is based on the male genitalia that is very complex and needs expertise. in thi...

The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Selinger (2003) on quantum flow-charts. We define a call-by-value operational semantics, and we develop a type system using affine intuitionistic linear logic. The main result of this preprint is the subject-reduction of the...

We present an extension of a statically typed language with a special type Dynamic and explicit type tagging and checking operations (coercions). Programs in run-time typed languages are viewed as incomplete programs that are to be completed to well-typed programs by explicitly inserting coercions into them. Such completions are generally not unique. If the meaning of an incomplete program is t...

[Purpose] This study showed the effects of different computer typing speeds on acceleration and peak contact pressure of the fingertips during computer typing. [Subjects] Twenty-one male computer workers voluntarily consented to participate in this study. They consisted of 7 workers who could type 200-300 characteristics/minute, 7 workers who could type 300-400 characteristics/minute, and 7 wor...

OBJECTIVES To use a molecular typing method (opa-typing) to characterise gonococcal isolates obtained from men who have sex with men (MSM) attending a genitourinary medicine (GUM) clinic in Edinburgh during 2001. To compare the results of opa-typing with A/S (auxotype/serovar) phenotyping, and with epidemiological information obtained by contact tracing. METHODS Isolates were opa-typed by a P...

Sixty-nine Staphylococcus aureus isolates from two epidemiologically unrelated sources were typed by pulsed-field gel electrophoresis after SmaI digestion of chromosomal DNA (genome typing), and the results were compared with those obtained by other typing methods: phage typing with the international set of phages, capsular serotyping with monoclonal antibodies against capsular polysaccharides ...