Choreographic Programming is a paradigm for developing concurrent software that is correct by construction, by syntactically disallowing mismatched I/O operations in programs, called choreographies. Due to their benefits, choreographies have been largely adopted for the writing of business processes and communication protocols. However, current choreography language models cannot capture many k...

Procedural methods present one of the most powerful techniques for authoring a vast variety of computer graphics models. However, their massive applicability is hindered by the lack of control and a low predictability of the results. In the classical procedural modeling pipeline, the user usually defines a set of rules, executes the procedural system, and by examining the results attempts to in...

the purpose of this research was to study the organizational justice factors (distributive justice of tasks, distributive justice of rewards, procedural justice, interpersonal justice, informational justice) in national olympic and paralympics academy (nopa). statistical population of this research included all employees of nopa and the statistical sample equaled the statistical population (n=5...

Abstract This study investigated the validity of processability theory proposed by Pienemann (1998/2015) among Iranian EFL learners’ oral performance. The theory defines six procedural stages for learners in the process of second language acquisition. In order to conduct the study, 10 intermediate EFL learners were selected based on their performance on Oxford Placement Test. Then, they partici...

introduction: performance of painful diagnostic and therapeutic procedures is common in emergency department (ed), and procedural sedation and analgesia (psa) is a fundamental skill for every emergency physician. this studywas aim to compare the efficacy of remifentanil with fentanyl/midazolam in painless reduction of anterior shoulder dislocation. methods: in this randomized, double blind, cli...

Existing bidirectional reflectance distribution function (BRDF) models are capable of capturing the distinctive highlights produced by the fibrous nature of wood. However, capturing parameter textures for even a single specimen remains a laborious process requiring specialized equipment. In this paper we take a procedural approach to generating parameters for the wood BSDF. We characterize the ...

EVIDENCE DEFINITIONS • Class I: Prospective randomized controlled trial. • Class II: Prospective clinical study or retrospective analysis of reliable data. Includes observational, cohort, prevalence, or case control studies. • Class III: Retrospective study. Includes database or registry reviews, large series of case reports, expert opinion. • Technology assessment: A technology study which doe...

This paper describes a technology for manipulating the shape of an implicitly modeled surface so that it follows a geometric flow. The proposed technology is a generalization of the method of level sets, which specifies how to manipulate the isosurfaces of greyscale functions, sampled on discrete grids. The proposed formulation projects the geometric motion of the level sets of a greyscale func...

2. Types of Procedural Knowledge Procedural knowledge forms an important part of expertise. This paper describes a system which allows domain experts to themselves enter procedural Knowledge into a knowledge base. The system, a stylized form of scientific English embodied within the Unit System for knowledge acquisition and representation, has been used successfully within the domain of molecul...

Abstract This study investigated the validity of processability theory proposed by Pienemann (1998/2015) among Iranian EFL learners’ oral performance. The theory defines six procedural stages for learners in the process of second language acquisition. In order to conduct the study, 10 intermediate EFL learners were selected based on their performance on Oxford Placement Test. Then, they partici...