This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the logic PCTL for probabilistic transition systems. Our path-based temporal logics are interpreted over coalgebras of endofunctors obtained as the composition of a computation type (e.g. nondeterminist...

We introduce the concepts of second-order radial composed tangent derivative, second-order radial tangent derivative, second-order lower radial composed tangent derivative, and second-order lower radial tangent derivative for set-valued maps by means of a radial tangent cone, second-order radial tangent set, lower radial tangent cone, and second-order lower radial tangent set, respectively. Som...

Index of vulnerability is a parameter based on ventricular gradient evaluating the risk of arrhythmia development. The index is derived from isointegral maps of the QT interval. Individual characteristics of isointegral maps are influenced by different factors, which contribute to the relatively high variability among measured parameters of maps in measured subjects. While several electrocardio...

A method is described for mapping the plasma parameters nearby a hollow cathode using a high speed positioning system and a segment-shielded electrostatic probe. Contour maps of plasma density, plasma potential, and electron temperature are presented for wide ranges of discharge current (2 20 A) and xenon flow rate (1.5 – 4.5 sccm). The contour maps are constructed from the analysis of 320 I-V ...

Verticillium wilt is a serious disease of pistachio caused by Verticilliumdahliae. Control of the disease is difficult due to soil borne nature of the causal agent. Verticillium wilt has been biologically controlled by Trichoderma spp. In the present study, Trichoderma spp. was isolated from soils of pistachio orchards and their effect was investigated on radial growth of Verticillium dahliae b...

Most Internet measurement studies utilize traceroute-collected path traces to build Internet maps. In this paper, we measure the impact of alias resolution problem on Internet topology measurement studies. Our analysis shows that the alias resolution process has a significant effect on the observed characteristics of the topology maps.

The Molecules with ALMA at Planet-forming Scales (MAPS) Large Program provides a unique opportunity to study the vertical distribution of gas, chemistry, and temperature in protoplanetary disks around IM Lup, GM Aur, AS 209, HD 163296, MWC 480. By using asymmetry molecular line emission relative disk major axis, we infer height (z) above midplane as function radius (r). Using this method, measu...