Molecular Dynamics applications enhance our understanding of biological phenomena through bio-molecular simulations. Large-scale parallelization of MD simulations is challenging b...
: We introduce a class of quasi-linear models for stochastic dynamics, called moment-linear stochastic systems (MLSS). We formulate MLSS and analyze their dynamics, as well as disc...
Sandip Roy, George C. Verghese, Bernard C. Lesieut...
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...
The number of mentally ill people is increasing globally each year. Despite major medical advances, the identification of genetic and environmental factors responsible for mental ...
Several variations of rooted tree based solutions have been recently proposed for member revocation in multicast communications [18, 19, 20, 21]. In this paper, we show that by ass...