We summarize some recent results showing how the lambdacalculus may be obtained by considering the metric completion (with respect to a suitable notion of distance) of a space of affine lambda-terms, i.e., lambda-terms in which abstractions bind variables appearing at most once. This formalizes the intuitive idea that multiplicative additive linear logic is “dense” in full linear logic (in fact...

Introduction Quality control techniques used to test the components of the radiological system and verify that the equipment is operating satisfactorily. In this study, quality control (QC) assessment of conventional radiology devices was performed in frequently visited radiology centers of Khuzestan province, Iran. Materials and Methods Fifteen conventional radiology devices were examined, bas...

In medical applications of statistics, such as drug testing or risk assessment, most investigators usually expects linear dose-response pattern and is rather surprised finding that the effects on some individuals are even opposite than those expected from the assumption of linearity. We provide several examples of the non-linear doseresponse pattern, the phenomenon called hormesis, both chemica...

In this paper, the authors describe fractional polynomials and cubic splines with which to represent smooth dose-response relations in summarizing meta-analytical aggregate data. Use of these two curve-fitting families can help prevent the problems arising from inappropriate linearity assumptions. These methods are illustrated in the problem of estimating the shape of the dose-response curve be...

INTRODUCTION The problem of correct estimation of low-level exposure chronic irradiation biological consequences is one of the most important unsolved problem. It is actual for radiobiology and radioecology at the moment. The development of new concept of radiation protection of human and biota should be based on clear understanding of low-level chronic exposure biological consequences. The est...

The high performance liquid chromatography for the determination of cinnarizine in human plasma is described. The procedure involves liquid-liquid extraction followed by reversed phase high-performance chromatographic analysis with fluorometric detection. The method was validated for accuracy, precision, specificity, linearity, sensitivity, recovery, and stability. No endogenous compounds were ...

Following our previous report concerning the development of a 127 μm resolution, 7.4 million pixel, 30 x 40 cm active area, flat panel amorphous Silicon (a-Si) x-ray image sensor, this paper describes enhancements in image sensor performance in the areas of image lag, linearity, sensitivity, and electronic noise. New process improvements in fabricating a-Si thin film transistor (TFT)/photodiode...

The purpose of this investigation was to study the radiation-induced electron paramagnetic resonance signal in sweeteners xylitol and sorbitol for use in retrospective dosimetry. For both sweeteners and chewing gum, the signal changed at an interval of 1-84 d after irradiation with minimal changes after 4-8 d. A dependence on storage conditions was noticed and the exposure of the samples to lig...

A rational development of an efficient siRNA delivery system is important for streamlining the RNAi-based drug development process. However, a huge gap frequently exists between in vitro and in vivo activity, which is the rate-limiting step for developing versatile nanoparticles. We report herein on a remarkable non-linearity in pharmacokinetics (PK), but not pharmacodynamics (PD) using octaarg...

The DSC technique applied to the study of the toxic impact of permanganate on bacterial cell culture detected the lack of linearity in the dose-response effect. The results were confirmed by the traditional assay of colony forming ability. The changed pattern of thermal spectra of A. oxydans at permanganate treatment, the measurement of the total heat capacity and the temperature of DNP complex...