The OCarePlatform : a context-aware system to support independent living

Background: Currently, healthcare services, such as institutional care facilities, are burdened with an increasing number of elderly people and individuals with chronic illnesses and a decreasing number of competent caregivers. Objectives: To relieve the burden on healthcare services, independent living at home could be facilitated, by offering individuals and their (in)formal caregivers support in their daily care and needs. With the rise of pervasive healthcare, new information technology solutions can assist elderly people ("residents") and their caregivers to allow residents to live independently for as long as possible. Methods: To this end, the OCarePlatform system was designed. This semantic, data-driven and cloud based back-end system facilitates independent living by offering information and knowledge-based services to the resident and his/her (in)formal caregivers. Data and context information are gathered to realize context-aware and personalized services and to support residents in meeting their daily needs. This body of data, originating from heterogeneous data and information sources, is sent to personalized services, where is fused, thus creating an overview of the resident's current situation. Results: The architecture of the OCarePlatform is proposed, which is based on a service-oriented approach, together with its different components and their interactions. The implementation details are presented, together with a running example. A scalability and performance study of the OCarePlatform was performed. The results indicate that the OCarePlatform is able to support a realistic working environment and respond to a trigger in less than 5 seconds. The system is highly dependent on the allocated memory. Conclusion: The data-driven character of the OCarePlatform facilitates easy plug-in of new functionality, enabling the design of personalized, context-aware services. The OCarePlatform leads to better support for elderly people and individuals with chronic illnesses, who live independently. (C) 2016 Elsevier Ireland Ltd. All rights reserved

A broadband stable addition theorem for the two dimensional MLFMA

Integral equations arising from the time-harmonic Maxwell equations contain the Green function of the Helmholtz equation as the integration kernel. The structure of this Green function has allowed the development of so-called fast multipole methods (FMMs), i.e. methods for accelerating the matrix-vector products that are required for the iterative solution of integral equations. Arguably the most widely used FMM is the multilevel fast multipole algorithm (MLFMA). It allows the simulation of electrically large structures that are intractable with direct or iterative solvers without acceleration. The practical importance of the MLFMA is made all the more clear by its implementation in various commercial EM software packages such as FEKO and CST Microwave studio

Dynamic Dependency Pairs for Algebraic Functional Systems

We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered. For left-linear AFSs, the method is shown to be complete. For so-called local AFSs we define a variation of usable rules and an extension of argument filterings. All these techniques have been implemented in the higher-order termination tool WANDA

Design of an ontology for decision support in VR exposure therapy

Virtual Reality (VR) is finding its way into many domains, including healthcare. Therapists greatly benefit from having any scenario in VR at their disposal for exposure therapy. However, adapting the VR environment to the needs of the patient is time-consuming. Therefore, an intelligent decision support system that takes context information into account would be a big improvement for personalised VR therapy. In this paper, a semantic ontology is presented for modelling relevant concepts and relations in the context of anxiety therapy in VR. The necessary knowledge was collected through workshops with therapists, this resulted in a layered ontology. Furthermore, semantic reasoning through logical rules enables deduction of interesting high-level knowledge from low-level data. The presented ontology is a starting point for further research on intelligent adaptation algorithms for personalised VR exposure therapy