We present a general strategy for stepwise, sound and progressive synthesis of logic programs from specifications by examples and properties. We particularize this to schema-guided synthesis, and state a generic synthesis theorem. We justify some design choices for the development of a particular synthesis mechanism that is guided by a Divide-and-Conquer schema, is inductive and deductive, is i...

This paper tests a real options model of stepwise entrepreneurial entry. We distinguish between part time and full time entry among the self employed in Swedish knowledge intensive industries. Two multinomial logit models tests the entry from employment to partor full time entry in 1998, and to subsequent full time entry in 1999. The empirical evidence indicates the need to distinguish between ...

This paper describes a new method for creating polynomial regression models. The new method is compared with stepwise regression and symbolic regression using three example problems. The first example is a polynomial equation. The two examples that follow are real-world problems, approximating the Colebrook–White equation and rainfall-runoff modelling. The three example problems illustrate the ...

In this paper, we demonstrate the capability of mass, a real-time design language, for large systems speciication. The paper presents a hierarchical speciication of an automatic cruise controller that evolves through stepwise reenement. In particular, we show modular design, the separation of the functional and reactive concerns, and the succinct and intuitive nature of speciications in mass.

An approach for guiding the construction of use case specifications is presented. A use case specification comprises contextual information of the use case, its change history, the complete graph of possible pathways, attached requirements and open issues. The proposed approach delivers a use case specification as an unambiguous natural language text. This is done by a stepwise and guided proce...

Handwritten autobiographies from 180 Catholic nuns, composed when participants were a mean age of 22 years, were scored for emotional content and related to survival during ages 75 to 95. A strong inverse association was found between positive emotional content in these writings and risk of mortality in late life (p < .001). As the quartile ranking of positive emotion in early life increased, t...

An epistemologically and cognitively founded pedagogical learning/teaching model tackling these goals is developed. Possible solutions will be suggested by developing a meta-model for learning/teaching processes in a stepwise manner. It turns out that philosophy of science concepts play a crucial role in these processes. Furthermore, the role of micro-learning and technologically supported (mob...

Performance monitoring enables the rapid detection of mismatches between goals or intentions and actions, as well as subsequent behavioral adjustment by means of enhanced attention control. These processes are not encapsulated, but they are readily influenced by affective or motivational variables, including negative affect. Here we tested the prediction that worry, the cognitive component of a...

Caspase-3, one of the dominant effectors caspases, is activated in almost every model of apoptosis with various signaling pathways. Hence, inhibition of caspase-3 has become an attractive target in the treatment of neurodegenerative diseases. Caspase-3 inhibitory activities of some 1,2-benzisothiazol-3-one derivatives were modeled by quantitative structure–activity relationship (QSAR) using ste...