In this paper, a new condition for the controllability of higher order linear dynamical systems is obtained. The suggested test contains rank conditions of suitably defined matric...
: Now that individual patterns for Interaction Design have started to appear, the issue of structuring collections of patterns into Pattern Languages becomes relevant, both from a ...
We give an example of supersonic solutions to a one-dimensional steady state Euler-Poisson system arising in the modeling of plasmas and semiconductors. The existence of the supers...
This paper describes the iterative development of a visualization for a wiki used in a large enterprise to manage research projects. An initial prototype-based field study exposed...
Xianghua Ding, Catalina Danis, Thomas Erickson, We...
In this paper we describe a model of clinical information designed to make health information systems properly interoperable and safely computable. The model is a response to a nu...