Probabilistic inference algorithms such as Sequential Monte Carlo (SMC) provide powerful tools for constraining procedural models in computer graphics, but they require many samples to produce desirable results. In this paper, we show how to create procedural models which learn how to satisfy constraints. We augment procedural models with neural networks which control how the model makes random...

17 The Cambridge Rocketry Simulator can be used to simulate the flight of unguided 18 rockets for both design and operational applications. The software consists of three 19 parts; the first part is a GUI that enables the user to design a rocket. The second 20 part is a verified and peer-reviewed physics model that simulates the rocket flight. 21 This includes a Monte Carlo wrapper to model the...

Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources such as well-formedness rules, transformation preconditions, and test strategies. Manually specifying such models is tedious since models must simultaneously conform to several meta-constraints. We propose automatic mod...

OBJECTIVE To determine the effect of ultrasound guided injection in recalcitrant idiopathic plantar fasciitis. METHODS Four patients with a clinical diagnosis of idiopathic plantar fasciitis, who were unresponsive to palpation guided injection with triamcinolone acetonide and local anaesthetic, underwent ultrasonographic examination of the heel. RESULTS The following ultrasonographic featur...

We consider the use of virtual humans and an intelligent tutoring system (ITS) for the teaching of cultural social conventions. Learning occurs in a serious game that requires the learner to establish trust and reach agreements with virtual characters of a different culture. Our tutoring system provides culturally focused learning support during and after the meetings with these virtual charact...

Several importance sampling strategies are developed and tested for stereographic projection diffusion Monte Carlo in manifolds. We test a family of one parameter trial wavefunctions for variational Monte Carlo in stereographically projected manifolds which can be used to produce importance sampling. We use the double well potential in one dimensional Euclidean space to study systematically sam...

Finless rockets are more efficient than finned designs, but are too unstable to fly unassisted. These rockets require an active guidance system to control their orientation during flight and maintain stability. Because rocket dynamics are highly non-linear, developing such a guidance system can be prohibitively costly, especially for relatively small-scale rockets such as sounding rockets. In t...

Abstract We investigated whether finger pointing can be used as a cognitive load self‐management strategy when learning from split‐attention examples. expected that would reduce and enhance performance. In guided phase, 122 university students studied example under three conditions (i.e., no pointing, one‐handed two‐handed pointing) or an integrated without pointing. the subsequent unguided all...

Unguided reentry capsules are usually involved in ballistic entry. The final states (such as altitude and velocity of parachute activity) depend on initials parameters. Reentry trajectory parameters differently affect the thermal protection system (TPS), required deorbit propellant, and structural load. The purpose of this paper is to optimal design of deorbit parameters to minimize the thermal...

Transporters shuttle molecules across cell membranes by alternating among distinct conformational states. Fundamental questions remain about how transporters transition between states and how such structural rearrangements regulate substrate translocation. Here, we capture the translocation process by crystallography and unguided molecular dynamics simulations, providing an atomic-level descrip...