Procedural modeling allows for an automatic generation of large amounts similar assets, but there is limited control over the generated output. We address this problem by introducing Automatic Differentiable Modeling (ADPM). The forward procedural model generates a final editable model. user modifies output interactively, and modifications are transferred back to as its parameters solving inver...

Preventing information leakage during system execution is essential for a system that manages sensitive information. The prevention can be achieved through information flow control. Many information flow control models have been developed, in which most are for object-oriented systems. In our opinion, the procedural C language is still in used heavily. Therefore, an information flow control mod...

Geerts and McCarthy [5, 6] established the REA business ontology. In its accounting and policy infrastructure the informational and procedural elements which are needed for accounting and management purposes are specified. An investigation of the requirements in the disciplines of accounting, finance and management control shows that the ontology is not complete. By including the concepts of ac...

This paper introduces a new notion of a “procedural” value for cooperative TU games. A procedural value is determined by an underlying procedure of sharing marginal contributions to coalitions formed by players joining in random order. We consider procedures under which players can only share their marginal contributions with their predecessors in the ordering, and study the set of all resultin...

Radial artery access improves the patient's well-being, permits earlier ambulation and diminishes vascular complications after cardiac catheterization. Using the same catheter to study the left and right coronary arteries may facilitate the technique. In a cohort of 100 patients we prospectively analyzed the possibility of studying both coronary arteries with a Judkins left 3.5 catheter. The va...

OBJECTIVE To evaluate the construct validity of children's approach-avoidance coping and distress during immunizations, and to examine the instruments used to assess these domains. METHODS We used a multitrait-multimethod matrix to examine the validity of the approach-avoidance coping and distress constructs for 62 4- to 6-year-old children receiving immunization injections. Assessment instru...

BACKGROUND Pulsed radiofrequency (PRF) treatment is defined as the delivery of short pulses of radiofrequency via a needle tip, which does not result in an actual thermal lesions. There are mixed views regarding the use of PRF for trigeminal neuralgia (TN). In our opinion, one of the main reasons for the contrasting views is the insufficient PRF dose employed in previous studies. In a recent st...

Procedural modeling deals with (semi-)automatic content generation by means of a program or procedure. Among other advantages, its data compression and the potential to generate a large variety of detailed content with reduced human intervention, have made procedural modeling attractive for creating virtual environments increasingly used in movies, games, and simulations. We survey procedural m...