Analyzes design of data systems, including data stored in file systems, database management systems and physical data organizations. Studies calculus of data models, query languages, concurrency and ...

Reaction-diffusion systems represent a fundamental mathematical framework to model the interplay between local reactive processes and diffusive transport of substances. These systems have wide-ranging ...