Next, we discuss the point-based and interval-based versions of time. These were studied in Johan van Benthem’s book The logic of time and in several papers appearing around the same time: Vilain [1982], and Allen [1983], developed an interval algebra; Moszkowski and Manna [1983], as well as Schwartz, Melliar-Smith and Vogt [1983], advocated interval-based reasoning for hardware. The prohibitiv...

A production leak test system using digital holography, Optical Leak Testing (OLT), has been developed for simultaneous gross and fine leak testing of hermetic semiconductor, MEMS and Optoelectronic devices. The technique has also shown the unique capability to leak test ceramic SMC’s on PCBs, even if conformal coated. Many devices are manufactured using welded, brazed or soldered metal lids wi...

chlorotoxin is a 36 amino acids peptide, which is able to block chloride channels isolated from mouse brain. a derivative of chlorotoxin is synthesized and it is labeled by iodine 131; then animal experiments carry out on rats. multiple organ doses may be calculated with biological distribution results in rats with labeled compounds using simulated mcnp4c code. human dose can be calculated usin...

Air leaks are a common complication of pulmonary resection. The aims of this study were to analyze risk factors for postoperative air leak and to evaluate the role of air leak measurement in identifying patients at increased risk for cardiorespiratory morbidity and prolonged air leak. From March to December 2009, 142 consecutive patients underwent pulmonary resection for malignancy and were pro...