نتایج جستجو برای: strictness band

تعداد نتایج: 134998  

2007
Helen J Boon James Cook

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...

Journal: :Revista gaucha de enfermagem 2016
Thamiris Cavazzani Vegro Fernanda Ludmilla Rossi Rocha Silvia Helena Henriques Camelo Alessandra Bassalobre Garcia

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...

1987
Jon Fairbairn Stuart Wray

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...

Journal: :Ann. Pure Appl. Logic 2001
Gerhard Jäger Reinhard Kahle Thomas Studer

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.

Journal: :Systems & Control Letters 2004
Madhu N. Belur Harry L. Trentelman

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.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه رازی - دانشکده علوم 1387

boron nitride semiconducting zigzag swcnt, $b_{cb}$$n_{cn}$$c_{1-cb-cn}$, as a potential candidate for making nanoelectronic devices was examined. in contrast to the previous dft calculations, wherein just one boron and nitrogen doping configuration have been considered, here for the average over all possible configurations, density of states (dos) was calculated in terms of boron and nitrogen ...

2007
Jacques Duparc Alessandro Facchini

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.

1992
Alan Mycroft Arthur C. Norman

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).

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید