The study aims to: 1) develop valid, practical, and effective quality learning materials for class VII SMP Berastagi 1 Program that focuses on the contextual teaching model with Karo cultural context (CTL-KCC); 2) examine enhancement of students' math problem-solving abilities as a side effect using CTL- KCC materials. This research is development 4-D consisting four stages: define, design, dev...

Two subsets of human CTL have been defined based upon phenotype and function: CD4(-) CD8(-) double-negative (DN) CTL lyse susceptible targets via Fas-Fas ligand interaction and CD8(+) CTL via the granule exocytosis pathway. CD8(+) CTL, but not DN CTL, can mediate an antimicrobial activity against Mycobacterium tuberculosis-infected target cells that is dependent on cytotoxic granules that conta...

This work assessed the effects of sustained (during whole berry growth) and regulated (at post-veraison) practices deficit irrigation on water relations, yield components quality in a commercial vineyard ‘Crimson Seedless’ table grapes. For this, five treatments were established during complete season (from April to October): (i) Control (CTL) irrigated 110% crop evapotranspiration (ETc); (ii) ...

Specifications of finite state algorithms with a complex temporal behavior such as protocols or hardware systems are often given in temporal logics as e.g. CTL or CTL . On the one hand, CTL offers in comparison to CTL efficient model checking algorithms, but on the other hand, CTL seems to suffer from a limited expressiveness. In this paper, it is shown that the limitations one feels when using...

The supervisory control problem of discrete event systems with temporal logic specifications is studied. The full branching time logic of CTL* is used for expressing specifications of discrete event systems. The control problem of CTL* is reduced to the decision problem of CTL*. A small model theorem for the control of CTL* is obtained. It is shown that the control problem of CTL* (resp., CTL) ...

The dynamics of the interaction between Cytotoxic T Lymphocytes (CTL) and tumor cells has been addressed in depth, in particular using numerical simulations. However, stochastic mathematical models that take into account the competitive interaction between CTL and tumors undergoing immunoediting, a process of tumor cell escape from immunesurveillance, are presently missing. Here, we introduce a...

Tujuan penelitian ini adalah untuk mengetahui kevalidan, keefektifan dan kepraktisan perangkat pembelajaran berbasis Higher Order Thinking Skills (HOTS) dengan menggunakan model Contextual Teaching Learning (CTL) meningkatkan kemampuan critical thinking self-confidence siswa, selanjutnya peningkatan siswa CTL, Learning. Penelitian termasuk pengembangan 4-D. Subjek dalam kelas XII SMAN 2 Percut ...

We show that satisfiability for CTL∗ with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL∗, e.g., the existential and positive fragments and EF.