This work explores the use of an adaptive mobile tool for language learning. A schoolbased deployment study showed that the tool supported learning. A second study is being conducted in informal learning environments. Current work focuses on building models that increase our understanding of the relationship between application usage and learning.

Diagrams have been left as an informal tool in hardware reasoning, thus rendering them unacceptable representations within formal reasoning systems. We demonstrate some advantages of formally supporting diagrams in hardware veri cation systems via a simple example and provide a logical formalization of hardware diagrams upon which we are constructing a veri cation tool.

Diagrams have been left as an informal tool in hardware reasoning , thus rendering them unacceptable representations within formal reasoning systems. We demonstrate some advantages of formally supporting diagrams in hardware veriication systems via a simple example and provide a portion of a formal logic that includes hardware diagrams upon which we are constructing a veriication tool.

BACKGROUND Transfers of money and help with daily activities by family and friends are important sources of support for older people and contribute to their well being. On the other hand, older adults are not only recipients of support but also important providers of support and financial transfers as giving and receiving are often reciprocal. For this, it is important to understand the determi...

Several requirements specification styles for the specification of reactive systems have been proposed in the literature. Informal specifications are the most widely used in the software industry nowadays, mainly because they are “understandable” by domain experts and software engineers, and therefore can be included as part of a software contract. Unfortunately, because of the inherent ambigui...

In this study we apply Social Network Analysis and Agent Based Simulation techniques to visualize and explore informal social networks amongst staff at the Akdeniz University Hospital to assess and evaluate properties of the organization in terms of its ability to share knowledge and innovate, which is crucial for healthcare organizations delivering a health service. We first prepared an e-mail...

INTRODUCTION Assistive technology is often recommended with the aim of increasing user independence and reducing the burden on informal caregivers. However, until now, there has been no tool to measure the outcomes of this process for caregivers. OBJECTIVES To describe the development of the Caregiver Assistive Technology Outcome Measure (CATOM), a tool developed to measure the impact of assi...

This study defines mobile technology (specifically in this study, smart phone technology) as a contemporary learning tool and environment that can make a difference in users' informal learning practice. Currently, in Korea, there are thirteen millions smart phone users and the number of smart phone users worldwide is expected to exceed one billion by 2013. Mobile technology is, therefore, becom...

BACKGROUND Faced with increased public spending for care, knowledge of the determinants of the choices between informal and formal care is of particular importance for estimating the need for care in the future. METHODS Using a representative sample of Spanish dependent elderly from the Disabilities, Independence and Dependency Situations Survey (DIDSS) 2008, we compare the factors associated...