Depression becomes more prevalent as individuals progress from childhood to adulthood. Thus, empirically supported and popular cognitive vulnerability theories to explain depression in adulthood have begun to be tested in younger age groups, particularly adolescence, a time of significant cognitive development. Beck's cognitive theory and the response style theory are well known, empirically su...

This paper presents a new computational model for real-time systems, called the clocked transition system (cts) model. The cts model is a development of our previous timed transition model, where some of the changes are inspired by the model of timed automata. The new model leads to a simpler style of temporal speciication and veriication, requiring no extension of the temporal language. We pre...

Author's response to reviews: I have made some minor modifications to the previously submitted versions based on comments from Assistant Editor Claire Owen. These changes are related to style and organization, not to content.

In this paper, a novel approach for multi response optimization is presented. In the proposed approach, response variables in treatments combination occur with a certain probability. Moreover, we assume that each treatment has a network style. Because of the probabilistic nature of treatment combination, the proposed approach can compute the efficiency of each treatment under the desirable reli...