We discuss an initial research concept for the application of the task-technology fit model to measure the factors that influence the utilization of interactive simulation for executive and managerial training. Interactive simulation is widely used by the military for senior leadership and managerial tasks. Simulation is also used commercially for training similar skills. We propose measuring t...

Interactive proofs of correctness of pointer-manipulating programs tend to be difficult. We propose an approach that integrates shape analysis and interactive theorem proving, namely TVLA and KIV. The approach uses shape analysis to automatically discharge proof obligations for various data structure properties, such as “acyclicity”. We verify the main operations of B trees by decomposition of ...

In Islamic religious education, especially in the procedures for purification where ablution and tayammum are very important because these mandatory requirements carrying out prayers. Often not understood properly correctly process of delivering material is still using conventional methods with media form books that less interesting interactive. The purpose making an application Augmented Reali...

Background Pre-surgical planning for Fontan procedures involves time-consuming patient-specific vascular segmentation and non-intuitive virtual surgical modeling which has encumbered utility in the clinic by surgeons. We present an interactive platform to design virtual surgical options and visualize pericardial enlargement strategy for Fontan connections, starting with patient-specific vascula...

We describe a spoken dialogue system which can engage in Call For Fire (CFF) radio dialogues to help train soldiers in proper procedures for requesting artillery fire missions. We describe the domain, an information-state dialogue manager with a novel system of interactive information components, and provide evaluation results.

An Individualized Education Program (IEP) is essential for both assisting students to meet their needs and enabling professionals evaluate the students’ progress. The purpose of this study was enhance teacher candidates’ performance writing IEP goals objectives by using interactive feedback procedures. Seventy-three pre-service teachers in elementary education program participated study. They w...

The main purpose of SiLVIA is to supply procedures for simulating the dynamics of colliding rigid bodies and the interactive manipulation of these bodies in virtual environments. Detecting collisions between virtual objects and calculating their reaction to these collisions play an important role in VR applications such as ergonomy studies or virtual assembly simulations.

technology advancement improves the way we interact with computer systems. keyboard, mouse, and touchpad provide an easier and more natural way of interaction with a computer system. nowadays, by introducing low cost and high performance depth cameras like kinect and xtion, new opportunities are available for creating even more natural interfaces. in this paper, a new model was demonstrated for...

BACKGROUND Inadequately completed laboratory test request forms contribute to preanalytical errors and limit the advice of pathologists when interpreting laboratory test results. Educating clinicians about this has been proposed by several studies as a strategy to reduce the occurrence. AIM We aimed to determine the effectiveness of such education on the prevalence of adequately completed lab...

Background—Antenatal screening for cystic fibrosis has been endorsed by the US National Institutes of Health. Edinburgh is the only city in the UK with an established routine antenatal screening programme for cystic fibrosis. Aims—To report the change in numbers of infants diagnosed with cystic fibrosis born in Edinburgh after the introduction of antenatal screening for the disease. Population—...