High-Order Wavefront Aberration Regularized Deconvolution (HOWARD) is a complete closed loop system developed for simulating human visual function with the primary goal of enhancing graphic computer displays for users that have refractive errors (resulting in difficulty interacting with visual displays). Visual function is a primary requirement for a human being to engage in computer usage effi...

This article focuses on transparency in the context of asynchronous method invocation. It describes two solutions available to provide full-transparency: where asynchronism is entirely masked to the developer. The main contribution of this paper is to clearly present the drawbacks of this approach: exception handling and developer consciousness are two problems inherent to full-transparency tha...

In a recent companion paper, we proposed two methods, GD+k and JDQMR, as nearly optimal methods for finding one eigenpair of a real symmetric matrix. In this paper, we seek nearly optimal methods for a large number, nev, of eigenpairs that work with a search space whose size is O(1), independent from nev. The motivation is twofold: avoid the additional O(nevN) storage and the O(nevN) iteration ...

The security problem is a hot topic in grid research due to the dynamics and uncertainty of grid system. There are three entities defined as users, applications and resources in grid environment. In such situation, users are vulnerable to risk because of potential incomplete or distorted information provided by malicious resources, and as grid system grows tremendously in size, the possibility ...

Using computer-aided modular fixture (CAMF) system to fixture configuration and assembly could save time and be efficient. The MF element library (MFEL) was generally connected with a certain special CAD system, so data exchange should be carried out if different CAD platforms shared it. The MF graphics were divided into many elements, then CSG-based method was used to draw the MF graphics, bas...

The current generation of CASE tools mainly provides rigid and unnexible support for editing, storage, veriication and transformation of speciications. Information engineers have to adapt their way of working to CASE tools instead of vice versa. To enable a more exi-ble, method independent, support of information engineers, the concept of a CASE shell has emerged. Crucial for CASE shells is the...

Matroid theory was first formalized in 1935 by Whitney [5] who introduced the notion as an attempt to study the properties of vector spaces in an abstract manner. Since then, matroids have proven to have numerous applications in a wide variety of fields including combinatorics and graph theory. Today we will briefly survey matroid representation and then discuss some problems in matroid optimiz...