Use of formal methods in verification activities for critical software development is a promising solution to increase the level of confidence compared to the current practice based on testing, for increasingly complex programs, at a lower cost than the current approach. Concretely, the upcoming standard DO-178C for software development in avionics gives credit to formal verification for suppor...

Two-dimensional photoelectron spectroscopy of hydrogen iodide (HI) has been performed in the photon energy region of 11.10-14.85 eV, in order to investigate dynamical properties on autoionization and neutral dissociation of Rydberg states HI*(RA) converging to HI+(A 2Sigma1/2(+)). A two-dimensional photoelectron spectrum exhibits strong vibrational excitation of HI+(X 2Pi) over a photon energy ...

As a basic step for establishing the CO-line Tully-Fisher relation for distant galaxies, we made a comparative study of HI versus CO line profiles. Total line profiles of the CO line emission from 32 galaxies have been compared with the corresponding HI emission. We found a good correlation between the profiles of CO and HI. This strongly supports the thesis that CO can be used in the Tully-Fis...

Male neonate brains are more susceptible to the effects of perinatal asphyxia resulting in hypoxia and ischemia (HI)-related brain injury. The relative resistance of female neonatal brains to adverse consequences of HI suggests that there are sex-specific mechanisms that afford females greater neuroprotection and/or facilitates recovery post-HI. We hypothesized that HI preferentially induces es...

Male neonate brains are more susceptible to the effects of perinatal asphyxia resulting in hypoxia and ischemia (HI)-related brain injury. The relative resistance of female neonatal brains to adverse consequences of HI suggests that there are sex-specific mechanisms that afford females greater neuroprotection and/or facilitates recovery post-HI. We hypothesized that HI preferentially induces es...

The potential energy surface for the Hz-I2 system was determined in analytic variational electronic structure calculations with singleand double-substitution configuration interactions for the 16 valence electrons and with effective potentials for the iodine core electrons. The favored pathway for the overall reaction H,+I,d HI + HI was found to pass through the region of the collinear configur...

به علت تغییرات حجم ناشی از خطای ساخت، فرکانس کاواک‌های شتاب‌دهی در شتاب‌دهنده‌های خطی الکترون تغییر می‌کند. نتیجه تنظیم فرکانسی کاواک‌ها یکی مراحل مهم تست سرد است که باید الزامات آن طراحی لحاظ شود. پروژه ساخت ساختار موج‌ایستا برای شتاب­دهنده با دو انرژی، پس طراحی، یک آلومینیمی (شامل نیم کاواک و تزویج) ساخته شد. این جبران پیچ‌های استفاده پیچ‌ها جزیی کاواک‌ها، آن‌ها را می‌دهند. مقاله محاسبات شبیه...

This document provides the derivations of the equations in the paper: Na Li and M.W. Mak, “SNR-Invariant PLDA Modeling in Nonparametric Subspace for Robust Speaker Verification”, IEEE/ACM Trans. on Audio Speech and Language Processing, vol. 23, no. 10, pp. 1648-1659, Oct. 2015. Please cite this document as: M.W. Mak, Lecture Notes on SNR-Invariant PLDA, Technical Report and Lecture Note Series,...

A total of 1,136 samples from 289 households in four provinces in northern Laos were subjected to Japanese encephalitis virus (JEV) and dengue virus hemagglutination inhibition (DENV HI). Overall, antibodies to JEV were detected by HI in 620 (54.6%) of 1,136 people; of which 217 (19.1%) had HI activity against JEV only. Antibodies to DENV4 were detected by HI in 526 (46.3%) of 1,136 people; of ...

We present a deep Giant Metrewave Radio Telescope (GMRT) search for HI 21 cm emission from three dwarf galaxies, viz. POX 186, SC 24 and KKR 25. Based, in part, on previous single dish HI observations, these galaxies have been classified as a BCD, a dwarf irregular and a transition galaxy respectively. However, in conflict with previous single dish detections, we do not detect HI in SC 24 or KK...