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

In this paper, it has been shown that the spectrum aliasing and folding effects occur only in case of non-ideal signal sampling. When duration sampling is equal to zero, these do not at all. other words, absolutely necessary condition for their occurrence just a nonzero value time. Periodicity process plays secondary role.

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.

The paper presents a model of Biphase Mark Protocols (BMP) using Duration Calculus, which seems to be more general and more intuitive than the others in the literature [9]. With Duration Calculus we can model the behaviour of the bus in a natural way and in more detail. The model makes it possible to specify and verify BMP using PVS/DC− [8] tool. The mechanical verification not only ensures the...

2014 A laser pulse method for diffusivity determination is analysed. The method which permits the measurement of the laser pulse energy distribution as well as its shape is developed. This method can be easily implanted into laser pulse diffusivity set-up and it allows to check periodically the pulse characteristics that is of primary importance for the accuracy of the diffusivity measurements....