— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
A number of research teams are working to organize personalized access to the modern repositories of educational resources. The goal of personalized access is to help students loc...
Peter Brusilovsky, Jae-wook Ahn, Tibor Dumitriu, M...
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...
Proper information visualization has always been viewed as an important tool for research. Traditionally, however, it was regarded as only a tool, with information content and vis...
Igor Rojdestvenski, David Modjeska, Fredrik Petter...
Background: The ability to visualize genomic features and design experimental assays that can target specific regions of a genome is essential for modern biology. To assist in the...