The role of parenting variables, including strictness/supervision and warmth and involvement, were examined in relation to school achievement and cognitive and behavioural characteristics among an urban sample of 112 Indigenous Australian adolescents. Structural equation modelling procedures tested the predictive role of parenting variables for mastery motivation, self-efficacy, behaviour probl...

Objective To assess the values and practices that characterize the organizational culture of a private hospital in the state of São Paulo in the perspective of nursing professionals. Methods Quantitative, descriptive, cross-sectional study. Data collection was conducted between January and March 2013 using the Brazilian Instrument for Assessing Organizational Culture. Twenty-one nurses and sixt...

This paper is a description of the three instruction machine Tim, an abstract machine for the execution of supercombinators. Tim usually executes programmes faster than the G-machine style of abstract machine while being at least as easy to implement as an S-K combinator reducer. It has a lower overhead for passing unevaluated arguments than the G-machine, resulting in good performance even wit...

This paper deals with universes in explicit mathematics. After introducing some basic definitions, the limit axiom and possible ordering principles for universes are discussed. Later, we turn to least universes, strictness and name induction. Special emphasis is put on theories for explicit mathematics with universes which are proof-theoretically equivalent to Feferman’s T0.

The problem of existence of a controlled behavior that is strictly dissipative with respect to a quadratic supply rate is studied. The relation between strictness and the rank of a suitable coupling condition that combines the dissipativity properties of the hidden behavior and the orthogonal complement of the plant behavior is analyzed. c © 2003 Elsevier B.V. All rights reserved.

Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal μ-calculus extended with backwards modalities. In this paper, we present a very simple proof by way of Wadge games of the strictness of the hierarchy of Motowski indices of two-way alternating automata over trees.

This lecture considers the optimisation of functional programming languages (particularlyìazy' languages) based on`strictness analysis'. Such optimisations alter evaluation order to allow more eecient translation into von Neumann architecture or to increase the parallelism in a sequentially speciied system (such as that implied by lazy-semantics).