We present preliminary results for the static quark potential computed on some of the DWF lattice configurations generated by the RBC-UKQCD collaborations. Most of these results were obtained using Wilson lines joining spatial planes fixed into the Coulomb gauge. We compare the results from this method with the earlier ones on 163 × 32 lattices using Bresenham spatial paths with APE smeared lin...

In this work we present the computational algorithm that combines perceptual and cognitive information during the visual search for object features. The algorithm is initially driven purely by the bottomup information but during the recognition process it becomes more constrained by the top-down information. Furthermore, we propose a concrete model for integrating information from successive sa...

This article presents methods for modeling knowledge base and database for intelligent concurrent design, including mathematical formulation and system development. Four issues are addressed in this research: (1) modeling product life-cycle aspects using aspect primitives called features, (2) generating product life-cycle aspects using a knowledge-based system, (3) maintaining consistency of pr...

In this paper we report on recent developments in ARTHUR: an approach to support complex design and planning decisions for architects together with the simulation of pedestrian movement and the integration of existing CAD tools on the design table. Following a brief introduction, past and current work that has taken a similar approach will be reviewed. Next we describe a scenario that integrate...

It is well known that for any sort of evolutionary search we must represent the problem solution in a suitable manner since the choice of representation has a large impact on the type and efficiency of the evolutionary search procedure applied. Usually in evolutionary design applications either bit strings or real number parameters are used to encode the problem. However, during the initial des...

Ensuring safety properties of the system model is an essential requirement of rigorous system design. Formal verification provides a rigorous way to prove or disprove the safety properties of system model with respect to certain formal specifications. While as the rapid growth of the complexity of systems, traditional automatic verification approaches can hardly scale. The objective of this res...

Human computation refers to the outsourcing of computation tasks to human workers. It offers a new direction for solving a variety of problems and calls for innovative ways of managing human computation processes. The majority of human computation tasks take a parallel approach, whereas the potential of an iterative approach, i.e., having workers iteratively build on each other’s work, has not ...

This article describes the design decisions, technical approach, and evaluation of the animation and interface components for an agent-based system that allows learners to learn by teaching. Students learn by teaching an animated agent using a visual representation. The agent can answer questions about what she has been taught and take quizzes. The agent’s performance provides students feedback...

The purpose of our research project is to explore the design of gamelike simulations that allow pre-service teachers to explore and experiment with problematic classroom situations to develop proficiency in classroom management. The research problem for this paper is how to design a plausible, valuable to learn, and interesting game-like simulation that also is usable and opens up for reflectio...

Knowledge acquisition (KA) plays an important role in building knowledge based systems (KBS). However, evaluating different KA techniques has been difficult because of the costs of using human expertise in experimental studies. In this paper, we first address the problem of evaluating knowledge acquisition methods. Then, we develop an analysis of the types of errors a human expert makes in buil...