An integrated framework for verifying multiple care pathways

Common chronic conditions are routinely treated following standardised procedures known as clinical pathways. For patients suffering from two or more chronic conditions, referred to as multimorbidities, several pathways have to be applied simultaneously. However, since pathways rarely consider the presence of comorbidities, applying several pathways may lead to potentially harmful (medication) conflicts. This paper proposes an automated framework to detect, highlight and resolve conflicts in the treatments used for patients with multimorbidites. We use BPMN as a modelling language for capturing care guidelines. A BPMN model is transformed into an intermediate formal model capturing the possible unfoldings of the pathway. Through a combination of the constraint solver Z3 and the theorem prover Isabelle, we check the correctness of combined treatment plans. We illustrate the approach with an example from the medical domain and discuss future work.Postprin

Table-based formal specification approaches for control engineers—empirical studies of usability

The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements. Formal methods are researched to be applied to automation system engineering to obtain a more effective and efficient quality assurance. One of the approaches, a formal specification language named Generalised Test Tables has been developed with the aim of intuitiveness and accessibility for automation application developers. The result of the experiments conducted to assess the usability of this language is presented here. Focussing on evaluating effectiveness and user satisfaction, three paper-based experiments have been conducted with students at the bachelor and master level. The evaluation results point to positive usability in both comparative effectiveness to conventional language, that is, Petri Nets, and subjective perception of user satisfaction

Tongue based hearing enhancement system

The number of hearing impaired people have been getting increased all over the world. Cochlear implantation is considered as a primary treatment of high degree hearing impairment. However, there still exist some risks and side effects of this surgical procedure even though there have been a lot of trials and researches over few decades since the first surgery had been conducted because it is invasive way. In this study, we made a system that can help people to recognize the sound better when they have some trouble in hearing by giving them stimulus on their tongue in non-invasive way. We used a ready-made device for giving the stimulus on tongue and implemented a computer program for training the user by guessing the right answer after hearing the sound with the ear and perceiving electric stimulus with the tongue at the same time. To organize the system with this device, we made a cochlear implant system simulator to generate the electric signal for stimulation with Matlab script language to realize all the steps in cochlear implant system. Also, we made a computer program that synchronizes with the device and trains the user by accepting and recording the user?s activity in the Visual C# IDE for convenient construction of GUI program. We undertook an experiment with three subjects to verify the effect of this system. During the experiment, the subjects were trained with this system for 15 days with the vowel-consonant-vowel (VCV) sound samples. After training of that period, the two subjects showed great improvement of almost 49% in recognizing sounds with the stimuli in a hardly-hearing situation compared to recognizing them with hearing only in the same situation

Tongue based hearing enhancement system

The number of hearing impaired people have been getting increased all over the world. Cochlear implantation is considered as a primary treatment of high degree hearing impairment. However, there still exist some risks and side effects of this surgical procedure even though there have been a lot of trials and researches over few decades since the first surgery had been conducted because it is invasive way. In this study, we made a system that can help people to recognize the sound better when they have some trouble in hearing by giving them stimulus on their tongue in non-invasive way. We used a ready-made device for giving the stimulus on tongue and implemented a computer program for training the user by guessing the right answer after hearing the sound with the ear and perceiving electric stimulus with the tongue at the same time. To organize the system with this device, we made a cochlear implant system simulator to generate the electric signal for stimulation with Matlab script language to realize all the steps in cochlear implant system. Also, we made a computer program that synchronizes with the device and trains the user by accepting and recording the user?s activity in the Visual C# IDE for convenient construction of GUI program. We undertook an experiment with three subjects to verify the effect of this system. During the experiment, the subjects were trained with this system for 15 days with the vowel-consonant-vowel (VCV) sound samples. After training of that period, the two subjects showed great improvement of almost 49% in recognizing sounds with the stimuli in a hardly-hearing situation compared to recognizing them with hearing only in the same situation

Tongue based hearing enhancement system

The number of hearing impaired people have been getting increased all over the world. Cochlear implantation is considered as a primary treatment of high degree hearing impairment. However, there still exist some risks and side effects of this surgical procedure even though there have been a lot of trials and researches over few decades since the first surgery had been conducted because it is invasive way. In this study, we made a system that can help people to recognize the sound better when they have some trouble in hearing by giving them stimulus on their tongue in non-invasive way. We used a ready-made device for giving the stimulus on tongue and implemented a computer program for training the user by guessing the right answer after hearing the sound with the ear and perceiving electric stimulus with the tongue at the same time. To organize the system with this device, we made a cochlear implant system simulator to generate the electric signal for stimulation with Matlab script language to realize all the steps in cochlear implant system. Also, we made a computer program that synchronizes with the device and trains the user by accepting and recording the user?s activity in the Visual C# IDE for convenient construction of GUI program. We undertook an experiment with three subjects to verify the effect of this system. During the experiment, the subjects were trained with this system for 15 days with the vowel-consonant-vowel (VCV) sound samples. After training of that period, the two subjects showed great improvement of almost 49% in recognizing sounds with the stimuli in a hardly-hearing situation compared to recognizing them with hearing only in the same situation

Tongue based hearing enhancement system

The number of hearing impaired people have been getting increased all over the world. Cochlear implantation is considered as a primary treatment of high degree hearing impairment. However, there still exist some risks and side effects of this surgical procedure even though there have been a lot of trials and researches over few decades since the first surgery had been conducted because it is invasive way. In this study, we made a system that can help people to recognize the sound better when they have some trouble in hearing by giving them stimulus on their tongue in non-invasive way. We used a ready-made device for giving the stimulus on tongue and implemented a computer program for training the user by guessing the right answer after hearing the sound with the ear and perceiving electric stimulus with the tongue at the same time. To organize the system with this device, we made a cochlear implant system simulator to generate the electric signal for stimulation with Matlab script language to realize all the steps in cochlear implant system. Also, we made a computer program that synchronizes with the device and trains the user by accepting and recording the user?s activity in the Visual C# IDE for convenient construction of GUI program. We undertook an experiment with three subjects to verify the effect of this system. During the experiment, the subjects were trained with this system for 15 days with the vowel-consonant-vowel (VCV) sound samples. After training of that period, the two subjects showed great improvement of almost 49% in recognizing sounds with the stimuli in a hardly-hearing situation compared to recognizing them with hearing only in the same situation