Random testing is a powerful method for verifying program properties. However, as the complexity of the program and properties increases, writing customized input data generators quickly becomes necessary. We present a method for systematic generation of input data by lazy instantiation using meta variables and parallel partial evaluation of properties. This is applied on specification based pr...

Writing is a complex and essential human activity. During adolescence, there is an increase in the complexity and quantity of writing required for communication, self-expression, and for demonstrating academic ability. Deficits in handwriting performance limit the writing abilities, and hence the participation of adolescents in many areas of life. Computer-based telerehabilitation has the poten...

Follow this and additional works at: http://digitalcommons.unl.edu/sane Part of the American Literature Commons, American Popular Culture Commons, Art Education Commons, Comparative Literature Commons, Creative Writing Commons, Curriculum and Instruction Commons, Educational Assessment, Evaluation, and Research Commons, Educational Methods Commons, Educational Psychology Commons, English Langua...

The paper discusses the design of complex embedded systems around intelligent physical worlds (IPW). Here, an IPW is an embodiment of control software functions wrapped around the raw physical processes to perform the core domain-specific adaptation activities. The IPW exhibits an intelligent behavior over a limited operating region of the system—in contrast with the traditional models where th...

CHR is a committed-choice rule-based language that was originally intended for writing constraint solvers. In this paper we show that it is also possible to write the classic union-find algorithm and variants in CHR. The programs neither compromise in declarativeness nor efficiency. Using CHR analysis techniques we study logical correctness, confluence and time complexity of our programs. We ob...

in expecting much from their joint labours. The work before us is divided into two portions, the first embracing the history, classification, statistics of insanity, is from the pen of Dr. Tuke; the remaining chapters, which treat of the diagnosis, pathology, and treatment of mental disorders, are by Dr. Bucknill. Our space will not allow us to do more than briefly refer to some of the more imp...

The paper discusses the design of cyber-physical systems software around intelligent physical worlds (IPW). An IPW is the embodiment of control software functions wrapped around the external world processes. The IPW performs core domain-specific activities while adapting its behavior to the changing environment conditions and user inputs. The IPW exhibits an intelligent behavior over a limited ...