Interaction design is a major issue for mobile information systems in terms of not only the choice of input-output channels and presentation of information, but also the applicati...
Rudi Belotti, Corsin Decurtins, Moira C. Norrie, B...
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A....
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
— This paper investigates the applicability of an eSolution that improves healthcare delivery settings in the rural parts of the developing world and discusses about a proposed p...