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.

RoCTL* was proposed to model and specify the robustness of reactive systems. RoCTL* extended CTL* with the addition of Obligatory and Robustly operators, which quantify over failure-free paths and paths with one more failure respectively. This paper gives an axiomatisation for all the operators of RoCTL* with the exception of the Until operator; this fragment is able to express similar contrary...

We previously reported that insulin-specific, MHC class I-restricted CTL precursors can be primed by injecting C57BL/6 mice with bovine insulin in CFA. These bovine insulin-primed CTL displayed a type 0 CTL phenotype, producing IL-4, IL-5, IL-10, low levels of IFN-gamma, but no TNF-alpha. By contrast, CTL generated from C57BL/6 mice primed with OVA in CFA produced IFN-gamma and TNF-alpha but no...