Complex probabilistic temporal behaviours need to be guaranteed in robotics and various other control domains, as well as in the context of families of randomized protocols. At its core, this entails checking infinite-state probabilistic systems with respect to quantitative properties specified in probabilistic temporal logics. Model checking methods are not directly applicable to infinite-stat...

We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗, namely the until-free version of BCTL∗. The logic BCTL∗ is obtained by referring to a more general semantics than that of CTL∗, where we only require that the set of paths in a model is closed under taking suffixes (i.e. is suffix-closed) and is closed under putting together a finite prefix of one...

Monadic second-order logic (MSOL) provides a general framework for expressing properties of reactive systems as modelled by trees. Monadic path logic (MPL) is obtained by restricting second-order quantification to paths reflecting computation sequences. In this paper we show that the expressive power of MPL over trees coincides with the usual branching time logic CTL∗ embellished with a simple ...

Penelitian ini merupakan penelitian pra eksperimental dengan melibatkan satu kelas sebagai eksperimen yang bertujuan untuk mengetahui keefektifan pembelajaran matematika melalui pendekatan Contextual Teaching and Learning (CTL) pada siswa sekolah menengah. mengacu tiga kriteria yaitu pencapaian ketuntasan klasikal, aktivitas berkaitan kegiatan pembelajaran, dan respon positif terhadap pelaksana...

Background: Regarding the negative effects of androgenic anabolic steroids (AASs) abuse, the long-term effect of nandrolone decanoate with/without two intensities of endurance exercise training was investigated on heart tissue and electrocardiogram (ECG) in rats. Methods: The experiment was conducted on 63 male Wistar rats, which were 4 months old. The rats were divide into groups of control (C...

Although less studied than purely action or state based logics, state/event based logics are becoming increasingly important. Some systems are best studied using structures with information on both states and transitions, and it is these structures over which state/event based logics are defined. The logic UCTL and its variants are perhaps the most widely studied and implemented of these logics...

Purpose We hereby describe a case of persistent cytomegalovirus (CMV) viremia and retinitis following allogeneic hematopoietic cell transplantation (HCT) that was successfully treated with infusion CMV-specific cytotoxic T lymphocytes (CTL) despite previous treatment Epstein Bar Virus (EBV) -specific CTL, which occurred 5 months earlier. Observations Following several anti- viral medication tri...