This technical report contains auxiliary material for the article Lagae, A., Lefebvre, S., Drettakis, G., and Dutré, P. 2009. Procedural noise using sparse Gabor convolution. ACM Transactions on Graphics (Proceedings of ACM SIGGRAPH 2009) 28, 3.

Procedural geometry paradigms are analyzed and classified as either “data amplifier” or “lazy evaluation.” Lazy evaluation reduces the size of the geometric representation passed to renderers and increases the flexibility of procedural experimentation. Several existing procedural geometry systems are compared in this light, and a new one is proposed, called procedural geometric instancing. Insp...

INTRODUCTION General practitioner proceduralists are a distinct and highly trained cohort of doctors who provide procedural services in hospitals and emergency rooms throughout Australia. However, their value is not well recognised in the wider system of primary health care. Consequently, an understanding of the landscape of GP procedural practice is an essential element of health service plann...

OBJECTIVE Data suggest parents' preprocedural anxiety is related to children's acute procedural anxiety and pain. This study examined the temporal relations among these constructs to determine whether children's anxiety mediates the relation between parents' anticipatory anxiety and children's procedural pain. METHODS A total of 90 preschoolers receiving immunizations, their parents, and the ...

This study sought to compare Iranian EFL novice and expert teachers regarding their procedural knowledge in Iranian language institutes and universities. A questionnaire was developed based on the literature, the theoretical framework, and the results of a qualitative study. This questionnaire was administered to the whole sample of the study who was 200 Iranian EFL teachers from different gend...

Style and strategies in EFL learning contexts and the effects of task types were explored to enhance language learning strategies. Using a quantitative pre-test, post-test design and interviews, this study investigated the effects of procedural and declarative learning strategies on EFL learners’ acquisition of English past tense performing narrative tasks. The participants were 396 male and fe...

There are two different approaches to formalizing proofs in a computer: the procedural approach (which is the one of the HOL system) and the declarative approach (which is the one of the Mizar system). Most provers are procedural. However declarative proofs are much closer in style to informal mathematical reasoning than procedural ones. There have been attempts to put declarative interfaces on...