This paper gives a general coalgebraic account of the notions of possibly infinite trace and possibly infinite execution in state-based, dynamical systems, by extending the generic theory of finite traces and executions developed by Hasuo and coauthors [8]. The systems we consider are modelled as coalgebras of endofunctors obtained as the composition of a computational type (e.g. nondeterminist...

background: studies on efficacy of various vaccines that prevent or reduce the primary and recurrent hsv-1 infection have demonstrated the importance of cellular immunity for protection against the infection. we previously used dna vaccination to induce cellular immunity against hsv-1 infection in mice. objective: the aim of our study was to evaluate the effect of light, a member of tnf super f...

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

All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...