In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest. This time we provide a characterization of both strong and weak trace metric on nondeterministic probabilistic processes, based on a minimal boolean logic L which we prove to be powerful enough to characterize str...

The time and temperature dependencies of the line area (M0) and position (M1) of band III at approximately 760 nm have been measured with Fourier-transform infrared spectroscopy in deoxymyoglobin (Mb) and continuously photolyzed carbon monoxide myoglobin (MbCO). Below 200 K, the area of band III in the photoproduct Mb* increases with time even on time scales of hours. This behavior indicates ch...

Previous research has shown that the value of large future rewards is discounted less steeply than is the value of small future rewards. These experiments extended this line of research to probabilistic rewards. Two experiments replicated the standard findings for delayed rewards but demonstrated that amount has an opposite effect on the discounting of probabilistic rewards. That is, large prob...

In this paper, we give a kind of Cauchy 1-completeness in probabilistic quasi-uniform spaces by using 1-filters. Utilizingthe relationships among probabilistic quasi-uniformities, classical quasi-uniformities and Hutton [0, 1]-quasi-uniformities,we show the relationships between their completeness. In fuzzy quasi-metric spaces, we establish the relationshipsbetween the completeness of induced p...

Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P . In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated notions of classical default entailment that...

Human skin equivalents (HSEs) can be considered a valuable tool to study aspects of human skin, including the skin barrier, or to perform chemical or toxicological screenings. HSEs are three-dimensional skin models that are usually established using primary keratinocytes and closely mimic human skin. The use of primary keratinocytes has several drawbacks, including a limited in vitro life span ...

Subject of the paper is a particular configuration of overhead line, in which noise barrier structure is used as supports of the catenary instead of standard poles. This configuration is foreseen in case the noise barrier position is in conflict with the poles location. If the catenary is supported by the noise barrier, the motion that the latter undergo due to wave pressure associated to train...

In this paper, several experiments on F0 transformation within the voice conversion framework are presented. The conversion system is based on a probabilistic transformation of line spectral frequencies and residual prediction. Three probabilistic methods of instantaneous F0 transformation are described and compared. Moreover, a new modification of inter-speaker residual prediction is proposed ...

The main focus of this paper is to presents comparative principal problems of bibliographies on the linearization of Load Flow equations, network outages and the interdependence among nodal power injections. These methods classified as simulation method, analytical method, or by a combination of both are used to obtain the mean and variance of Power Line Flow. Key-Words: Cumulative Distribution...