A denotational semantics of quantum Turing machines having a quantum control is defined in the dagger compact closed category of finite dimensional Hilbert spaces. Using the Moore-Penrose generalized inverse, a new additive trace is introduced on the restriction of this category to isometries, which trace is carried over to directed quantum Turing machines as monoidal automata. The JoyalStreet-...

BPEL (Business Process Execution Language) is proposed as a standard language to describe Web service fl ows. A fl ow may contain multiple activities that are executed concurrently, and thus removing faults such as deadlocks or violations of application-specifi c properties is not easy. This paper proposes techniques to extract a behavioral specifi cation from the BPEL program and to verity it ...

Bradley M. Tebo,1 John R. Bargar,2 Brian G. Clement,1 Gregory J. Dick,1 Karen J. Murray,1 Dorothy Parker,1 Rebecca Verity,1 Samuel M. Webb2 1Scripps Institution of Oceanography, University of California, San Diego, La Jolla, California 92093–0202; email: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected] 2Stanford Synchrotron Radiation Labo...

Ebstein’s anomaly is very rare (0.5 %) cardiac anomaly seen in patient of congenital rubella syndrome. Epidemiology and clinical data are lacking to guide management strategy. Congenital rubella syndrome is manifestation of rubella infection in foetus during period of embryogenesis. A verity of structural heart defect are known to occur with CRS but Ebstein’s anomaly has not been described in a...

Verified intracranial deposits of Hodgkin's disease are rare. Thus there was only one among 125 cases reported by John and Nabarro (1955). In the monograph by Williams, Diamond, Craver, and Parsons (1959) there were four among 1,992 cases. Todd (1967) reported two among 1,339 cases. The deposits are usually subdural, intracerebral metastases being exceptional. This rarity contrasts with the inc...

BACKGROUND The aim of this study was to assess and compare the effective doses (ICRP 103) in the ankle region of X-ray imaging resulting from a multi slice computed tomography (MSCT) device, two cone beam CT (CBCT) devices and one conventional x-ray device. METHODS Organ dose measurements were performed using 20 metal oxide field effect transistor (MOSFET) dosimeters that were placed in a cus...

Recent studies of mammalian transcriptomes have identified numerous RNA transcripts that do not code for proteins; their identity, however, is largely unknown. Here we explore an approach based on sequence randomness patterns to discern different RNA classes. The relative z-score we use helps identify the known ncRNA class from the genome, intergene and intron classes. This leads us to a fracti...

Presenting information on a geopolitical map can offer powerful insight into a problem by leveraging an individual's innate capacity to discover patterns and to use map-related cues to incorporate pre-existing knowledge. This mode of presentation is not without its flaws, however, as the act of placing information at specific coordinates can imply a false sense of the data's geo-spatial certain...

Uterine sarcoma is a rare verity of smooth muscle tumor, accounting for 2 to 6% uterine malignancies. Leiomyosarcoma (LMS) represents ∼1% overall tumors and ∼25 36% sarcomas. Here we present case LMS in 34-year-old nulliparous woman presented with huge distension abdomen which was confused be an ovarian malignancy. She underwent total abdominal hysterectomy bilateral salpingo-oophorectomy. The ...