Duration Calculus with Iteration (DC∗) has been used as an interface between original Duration Calculus and Timed Automata, but has not been studied rigorously. In this paper, we study a subset of DC∗ formulas consisting of so-called simple ones which corresponds precisely with the class of Timed Automata. We give a complete proof system and the decidability results for the subset.

Laser milling provides a new method of producing components for the micro tool manufacturing industry. This paper considers the technical capabilities of laser milling when applied to the machining of components for micro tooling. Characteristics important for laser milling as a micro tooling manufacturing process are reviewed. These characteristics are surface finish, aspect ratio, dimensional...

We prove that the particularly narrow subset of the duration calculus which is defined by the BNF φ ::= ⊥ | dSe | A | φ ⇒ φ | (φ; φ) is not recursively axiomatisable or, in other words, incomplete.

BACKGROUND Conventional open repair is a suboptimal therapy for blunt traumatic aortic injury (BTAI) due to the high postoperative mortality and morbidity rates. Recent advances in the thoracic endovascular repair technique may improve outcomes so that it becomes an attractive therapeutic option. MATERIALS AND METHODS From August 2003 to March 2012, 21 patients (mean age, 45.81 years) with BT...

OBJECTIVE To compare the efficacy of EMLA cream and lidocaine injection to reduce pain during episiotomy repair. MATERIALS AND METHODS A total of 46 primiparous women with normal pregnancy who referred for normal vaginal delivery and needed episiotomy repair were selected and randomly divided into two groups. For EMLA group, one hour before the estimated time of delivery, 5g of EMLA cream was...

Background: An incisional hernia is a bulge or protrusion that occurs near or directly along a prior abdominal surgical incision. Various surgical techniques including Open tissue repair, double breasting, darning, open and laparoscopic meshplasty have been used to repair the incisional hernias. In this era, we have selected topic ‘Pre-peritoneal versus on-lay meshplasty in incisional hernia re...

Entry into S phase is carefully regulated and, in most organisms, under the control of a G(1)-S checkpoint. We have previously described a G(1)-S checkpoint in fission yeast that delays formation of the prereplicative complex at chromosomal replication origins after exposure to UV light (UVC). This checkpoint absolutely depends on the Gcn2 kinase. Here, we explore the signal for activation of t...

UV-induced DNA damage response and repair are extensively studied processes, as any malfunction in these pathways contributes to the activation of tumorigenesis. Although several proteins involved cellular mechanisms have been described, entire cascade has remained unexplored. To identify new players repair, we performed a microarray screen, which found SerpinB10 (SPB10, Bomapin) one most drama...

a chromium electroplating bath with the ability to produce homogenous mist was used to evaluate parameters influencing hexavalent chromium (cr+6) mist sampling methods. the results of 48 cr+6mist samples collected using the u.s. national institute for occupational safety and health method 7600showed that cr+6concentration was higher: (1) for sampling by closed-face filter cassettes than for sam...