The goal of this paper is to explore the power of genetic algorithms, in particular the so called micro 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 applicat...

From classical charge transport equations and dipole radiation equations, we derive a simple analytical model for the signal detected in terahertz time-domain spectroscopy using photoconducting antennas. The validity of our model is checked by comparison to published calculated results and to experimental data we have measured. This expression depends mostly on the carrier lifetime in the anten...

This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the general concept of mathematical relations to specify properties, while the calculus of durations provides the means to reason about such specifications, and in particular, prove formally that a design implies the requ...

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...

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...