The goal of this paper is to explore the power of stochastic search methods, in particular genetic algorithms, to solve a challenging problem in experimental physics. The problem is to find an optimum frequency to stabilize atoms by high-intensity laser fields. The standard approach to search for optimal laser parameters has been by trial and error. This is the first known application of a gene...

abstract objective: diabetic peripheral neuropathy is the main risk factor of diabetic foot ulcer and its early diagnosis is important to prevent limb amputation. we assessed the prevalence of peripheral neuropathy in diabetic patients. materials and methods: this cross-sectional study was performed on 352 randomly selected diabetic patients using a standardized questionnaire including age, gen...

trade relationships built through production chains appear to be lasting due to relation-specific nature of the transactions, compared with the usual transactions of goods sold on the open market. this paper aims to verify such stability of international production networks at the global level, with special emphasis on intra-east asian trade. a series of survival analyses provide an evidence su...

 Seasonal distribution of species composition, cell abundance and biomass of phytoplankton of the Caspian Sea were investigated in 2005. This survey were fulfilled in 6 transects and 26 stations A total of 260 samples were collected during winter to autumn in the southern part of Caspian Sea. Totally, 163 species of phytoplankton were identified (71 species Bacillariophyta, 31 species Chlorophy...

Soil microbial biomass plays an important role in nutrient transformation in terrestrial ecosystems. Microbial biomass is also an early indicator of changes in total soil organic carbon. Thus, the main objective of this study was to identify and quantify the present status of soil microbial biomass carbon and nitrogen with various management practices in Himalayan rangeland. To meet the aforeme...

We report on work in progress to generalize an algorithm recently introduced in [10] for checking satisfiability of formulas with quantifier alternation. The algorithm uses two auxiliary procedures: a procedure for producing a candidate formula for quantifier elimination and a procedure for eliminating or partially eliminating quantifiers. We also apply the algorithm for Presburger Arithmetic f...

Frequent assertions by river users that rivers in northern England now rise and fall more quickly than in the past, have never been validated by analysis on catchments of more than 10 km 2. The method using indices of flow variability provides a basis for making direct measurements of the annual number and duration of pulses, i.e. rises above a given flow, and for comparing catchments of differ...

The absolute time-dependent nonlinear response of O2, N2, N2O, and Ar to intense nonionizing, ultrashort optical pump pulses is measured with single-shot spectral interferometry. The instantaneous and delayed rotational responses are distinguished as a function of pump-pulse duration and probe central wavelength. Our measurements are central to the modeling and understanding of nonlinear propag...

In this paper we give an exposition to an ongoing research eeort in cooperation with aerospace industries in Sweden. We report on an application of formal veriication techniques on a landing gear system. This system consists of actuating hydromechanic and electromechanic hardware, and of controlling software components. We emphasize the need for modelling techniques and languages covering the w...

This paper presents a probabilistic extension of Neighbourhood Logic (NL,[14, 1]). The study of such an extension is motivated by the need to supply the Probabilistic Duration Calculus (PDC, [10, 4]) with a proof system. The relation between the new logic and PDC is similar to that between DC [15] and ITL [12, 3]. We present a complete proof system for the new logic.