The control and stability of the carrier-envelope phase of few-cycle pulses are crucial issues in attoscience. This project reports on a novel few-cycle mid-infrared source based on optical parametric chirped pulse amplification with 100 kHz repetition rate at a wavelength of 3.2μm and a pulse duration of 67 fs. Due to the design of the source it is supposed to be intrinsically passively carrie...

Determination of maximum rivers flow resulted from surface runoff in watersheds without adequate hydrometric records is based on rainfall-runoff models. The short duration rainfalls are one of the basic elements to apply these models. The access to quantitative and intrinsic worth storm data is restricted around the word and in Iran too. There are several empirical and statistical methods to es...

The thermoelectric response of amorphous, semiconducting Y–Ba–Cu–O thin films was investigated by illumination with 150 ps optical pulses at 1064 nm and with a continuous wave at 493 nm ~argon laser!. The measured unbiased voltage response was consistent with pyroelectricity. At high pulse energies, the voltage response saturated due to the saturation of the spontaneous polarization. The pulsed...

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