This paper develops a model-checking algorithm for a fragment of the modal mu-calculus and shows how it may be applied to the eecient computation of behavioral relations between processes. The algorithm's complexity is proportional to the product of the size of the process and the size of the formula, and thus improves on the best existing algorithm for such a xed point logic. The method for co...

Scale free graphs have attracted attention by their non-uniform structure that can be used as a model for various social and physical networks. In this paper, we propose two natural and simple random models for generating scale free interval graphs. These models generate a set of intervals randomly, which defines a random interval graph. The main advantage of those models are its simpleness. Th...

He is responsible for all technical activities and products throughout the Monotype Group; his main area of research is on human factors in computing, particularly on effective dialogue programming. Previously he was Technical Director of a timesharing service company. and of a minicomputer manufacturing company, and consultant on computer systems engineering to a number of British and American...

<span>This article discusses the research conducted to determine factors contributing behavioural intentions (BI) adopt cloud computing. Small and medium enterprises (SMEs) in Sri Lanka information technology (IT) sector were surveyed using a questionnaire. The diffusion of innovation (DOI) by Roger unified theory acceptance use 2 (UTAUT2) Venkatesh, Thong, Xu was used as theoretical fram...

Vanessa M. J. Lee, Matjaž Kuntner and Daiqin Li* 1 Behavioural Ecology and Sociobiology Lab, Department of Biological Sciences, National University of Singapore, Singapore, Singapore 2 Centre for Behavioural Ecology and Evolution, College of Life Sciences, Hubei University, Wuhan, China 3 Scientific Research Centre, Institute of Biology, Slovenian Academy of Sciences and Arts, Ljubljana, Sloven...

Abstract Molecular science is governed by the dynamics of electrons and atomic nuclei, their interactions with electromagnetic fields. A faithful physicochemical understanding these processes crucial for design synthesis chemicals materials value our society economy. Although some problems in this field can be adequately addressed classical mechanics, many demand an explicit quantum mechanical ...