This study investigates the role of personality traits, motivation for career choice and study habits in students’ academic achievements in the computing sciences. A quantitative research method was employed. Data was collected from 60 computing science students using the Myer Briggs Type indicator (MBTI) with additional questionnaires. A model of the form was used, where represents a dependent...

1Experimental Therapeutics and Pathophysiology Branch, National Institute of Mental Health, NIH, Bethesda, MD 20852, USA 2Department of Psychiatry and Behavioural Neurosciences, McMaster University, Hamilton, ON, Canada L8N 3K7 3Mood Disorders Program and Women’s Health Concerns Clinic, St. Joseph’s Healthcare, Hamilton, ON, Canada L8N 3K7 4Departments of Pharmacology & Toxicology and Psychiatr...

In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behavior of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services tha...

The objective of this research is to identify the technology of cloud computing in terms of its concept, its development, its objectives, its components, models, classifications, and the advantages of its use in the teaching process at the University of Samarra, as well as to identify the most important challenges and obstacles that teachers face in using University of Samarra. The researcher u...

In this report we propose a simple model for component based real-time systems using duration automata. A component based real-time system consists of a host which is a general duration automaton and several components which are duration automata with some restrictions. Components can communicate with the host only. For this model we propose an algorithm for solving the emptiness problem using ...

We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions that record relevant information for the time analysis (cost of statements, creations of objects, and concurrent operations), called behavioural types. Then, we define a translation function that takes behavioural type...

1. Institute of Computing Technology, Chinese Academy of Sciences, Beijing, 100190 2. University of Chinese Academy of Sciences, Beijing, 100190 {chenzhenhong,xialong, yuxiaoming}@software.ict.ac.cn {liuyue,cxq}@ict.ac.cn

OBJECTIVES The Behavioral Inattention Test (BIT) is a standardized assessment for unilateral visual neglect. It comprises six conventional and nine behavioral subtests. The purpose of this study was to add to the validation of the behavioral subtests. METHOD Forty Israeli subjects with right cerebrovascular accident (CVA), from both day center and hospital settings, were evaluated on three me...

One of the solutions for organizations to succeed in highly competitive markets is to move toward emerging sciences. These areas provide many opportunities, but, if organizations do not meet requirements of emerging sciences, they may fail and eventually, may enter a crisis. In this matter, one of the important requirements is to develop suitable roadmaps in variety fields such as strategic, ca...