Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in conjunction. To this end, we propose a method for static detection of deadlock in Java libraries. Our goal is to determine whether client code exists that may deadlock a library, and, if so, to enable the library writ...

Ping et al. [Z. Ping, H. Ren, J. Zou, Y. Sheng, and W. Bo, “Generic orthogonal moments: Jacobi–Fourier moments for invariant image description,” Pattern Recognition, vol. 40, no. 4, pp. 1245– 1254, 2007] made a landmark contribution to the theory of two-dimensional orthogonal moments confined to the unit disk by unifying the radial kernels of existing polynomial-based circular orthogonal moment...

SEVENPIPER, D., et al.: ‘High-impedance electromagnetic surfaces with forbidden frequency band’, IEEE Trans. Microw. Theory Tech., 1999,47, (1 I), pp. 2059-2074 HAMEDANI, E-T., SHAFAI, L., and RAFI, G.z.: ‘Comparison of PBG and PMC surface effects on the performance of finite microstrip antennas’. IEEE AP-S, San Antonio, TX, USA, June 2002, pp. 748-751 XIN, H., e? al.: ‘Electromagnetic crystal ...

The Survey for Transiting Extrasolar Planets in Stellar Systems (STEPSS) project is a search for planetary transits in open clusters. In this paper, we analyze the STEPSS observations of the open cluster NGC 1245 to determine the variable star content of the cluster. Out of 6787 stars observed with V < 22, of which ∼ 870 are cluster members, we find 14 stars with clear intrinsic variability tha...

Optogenetic approaches to manipulate neural activity have revolutionized the ability of neuroscientists to uncover the functional connectivity underlying brain function. At the same time, the increasing complexity of in vivo optogenetic experiments has increased the demand for new techniques to precisely deliver light into the brain, in particular to illuminate selected portions of the neural t...

Tracking and determining the amount and types of urban sewage that is being releasing to the environment is important in planning for wastewater treatment systems and water quality control. In this research, in four stations of Anzali Lagoon, (by means of a gas chromatograph device with mass detector spectrometer) wastewater pollution has been measured and evaluated with molecular indicator Lin...

References 1. Bry L, Chen PC, Sacks DB. Effects of hemoglobin variants and chemically modified derivatives on assays for glycohemoglobin [Review]. Clin Chem 2001;47:153–63. 2. Sacks DB. Hemoglobin variants and hemoglobin A1c analysis: problem solved? [Editorial]. Clin Chem 2003;49:1245–7. 3. Watanabe T, Kato K, Yamada D, Midorikawa S, Sato W, Shiga M, et al. A nondiabetic case of hemoglobin var...

1Department of Physics and Astronomy, Seoul National University, Seoul 08826, Korea; 2Research Institute of Information Technology, Tsinghua National Laboratory for Information Science and Technology, Tsinghua University, Beijing 100084, China; 3Tsinghua National Laboratory for Information Science and Technology, Department of Computer Science and Technology, Tsinghua University, Beijing 100084...

The Commission of European Affairs of the International League Against Epilepsy published 'Appropriate Standards for Epilepsy Care Across Europe' which contained recommendations for the use of electroencephalography (EEG) in the diagnosis of epilepsy (Brodie et al. Epilepsia 1997; 38:1245). The need for a more specific basic document of EEG methodology was recognized and the Subcommission on Eu...