Data-parallelism is a widely used model for parallel programming. Control structures like parallel DO loops, and data structures like collections have been used to express data-parallelism. In typical implementations, these constructs are ' at' in the sense that only one data-parallel operation is active at any time. To model applications that can exploit overlap of synchronization and computat...

SAVE Science is a research project focused on creating an innovative model for assessment of learning in STEM. In SAVE Science, we are implementing game-like modules for evaluating science content and inquiry in grades 7-8, using an assessment rubric of student interactions in a virtual environment designed to capture evolving patterns of scientific understanding among students. We are also inv...

1 This work was supported in part by the Advanced Technology Program (ATP) of Texas under grant 003613-0029-2003. Abstract We describe the use of Grover’s algorithm as implemented in a quantum logic circuit that produces a solution for a classical switching circuit design problem. The particular application described here is to determine a Fixed Polarity Reed-Muller (FPRM) form that satisfies a...

Promoting ethical, responsible, and caring young people is a perennial aim of education. Efforts have been made to find ways of teaching other than traditional ones like games and role play. Narrative-based computer games are engaging learning platforms that allow collaboration of humans and computers in the creation of innovative experiences. In this paper, the authors examine the design of an...

0932–0784 / 04 / 0100–0029 $ 06.00 c © 2004 Verlag der Zeitschrift für Naturforschung, Tübingen · http://znaturforsch.com Knyzazev and Goncharenko [8] used two transformations to obtain one-kink and two-kink solutions. Recently we developed a powerful Weierstrass elliptic function expansion method and its general form in terms of Weierstrass elliptic functions [11, 12], which was applied to see...

Statistics arising in geometric probability can often be expressed as sums of stabilizing functionals, that is functionals which satisfy a local dependence structure. In this note we show that stabilization leads to nearly optimal rates of convergence in the CLT for statistics such as total edge length and total number of edges of graphs in computational geometry and the total number of particl...

The purposes of this research were to develop and to monitor the antecedent factors which directly affected the success rate of new product development. This was a case study of the leather industry in Bangkok, Thailand. A total of 350 leather factories were used as a sample group. The findings revealed that the new product development model was harmonized with the empirical data at the accepta...