JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Recovering Natural History: Modeling Cardiovascular Biomarkers in the Presence of Endogenous Medication Use

Thesis (Ph.D.)--University of Washington, 2016-08

Evaluation of Mobile Telephone Text Message Reminders for People with Antipsychotic Medication

Nonadherence to treatment is a worldwide problem among people with severe mental disorders. Patient treatment adherence may be supported with simple reminding methods e.g. text message reminders. However, there is limited evidence of its benefits. Intervention evaluation is essential in mHealth research. Therefore, this evaluative study was conducted. This study aimed to evaluate text message reminder use in encouraging patients’treatment adherence among people with antipsychotic medication. The data were collected between September 2011 and December 2013. First, a systematic literature review revealed that text message reminders were widely used in healthcare. However, its impacts were conflicting. Second, a sub-sample (n = 562) analysis showed that patients preferred humorous text message reminders and preferred to receive them in the morning, at the beginning of the week. Age, gender and marital status seemed to have different effects on the preferred amount and timing of the selected reminders. Third, a cross-sectional survey revealed that people with antipsychotic medication (n = 408) expressed overall satisfaction towards the reminder system. Finally, the evaluative design showed that patient recruitment for a randomized controlled trial concerning people with antipsychotic medication was challenging due to low rates of eligible participants. Follow-up drop-out rates varied depending on the data collection method. Participants’ demographic characteristics were associated with the risk of dropping out from the trial. This study suggests that text messages are a potential reminder system in healthcare services among people with antipsychotic medication. More research is needed to gain a comprehensive picture of the impacts and effectiveness of text message reminders.

Medication competence of nursing students in Finland

Lääkehoidon turvallinen toteuttaminen edellyttää sairaanhoitajalta hyvää lääkehoidon osaamisperustaa. Sairaanhoitajakoulutuksen tehtävänä on mahdollistaa tämän osaamisen kehittyminen. Kansainvälisissä tutkimuksissa on kuitenkin osoitettu, että lääkehoidon opetuksen laajuudessa, sisällössä ja toteutuksessa on vaihtelevuutta. Aikaisemmissa tutkimuksissa on raportoitu myös puutteita lääkehoidon osaamisessa sekä sairaanhoitajilla että sairaanhoitajaopiskelijoilla. Koulutuksen ja lääkehoidon osaamisen kehittämiseksi lääkehoidon opetuksen ja sairaanhoitajaopiskelijoiden lääkehoidon osaamisen monipuolinen arviointi ja osaamista selittävien tekijöiden tarkastelu on tarpeen. Tämän tutkimuksen tarkoituksena oli i) arvioida lääkehoidon opetusta suomalaisessa sairaanhoitajakoulutuksessa, ii) arvioida sairaanhoitajaopiskelijoiden lääkehoidon osaamista sekä iii) tunnistaa sairaanhoitajaopiskelijan lääkehoidon osaamiseen yhteydessä olevat tekijät. Tutkimus toteutettiin kolmessa vaiheessa. Ensimmäisessä vaiheessa kahden integroidun kirjallisuuskatsauksen kautta määriteltiin tutkimuksen kohteena oleva sairaanhoitajan lääkehoidon osaaminen ja aiemmin tunnistetut sairaanhoitajaopiskelijan lääkehoidon osaamiseen yhteydessä olevat tekijät. Toisessa vaiheessa toteutettiin valtakunnallinen lääkehoidon opetukseen liittyvä kysely hoitotyön koulutusohjelmasta vastaaville koulutuspäälliköille (n=22) ja opettajille (n=136). Tutkimuksen kolmannessa vaiheessa opintojensa alku‐ (n=328) ja loppuvaiheessa olevien sairaanhoitajaopiskelijoiden (n=338) lääkehoidon osaaminen arvioitiin ja osaamiseen yhteydessä olevat tekijät tunnistettiin. Aineistojen analyysissä käytettiin pääosin tilastollisia menetelmiä. Tulosten perusteella lääkehoidon opetuksen laajuus vaihteli eri ammattikorkeakouluissa, mutta opetuksen sisältö oli kuitenkin monipuolista. Lisää huomiota tulisi kiinnittää lääkehoidon teoreettiseen perustaan ja itsehoitoon sekä lääkehoidon ohjaukseen liittyviin sisältöalueisiin. Opiskelijoiden lääkehoidon osaamista arvioitiin säännöllisesti kaikissa ammattikorkeakouluissa. Sairaanhoitajaopiskelijan lääkehoidon osaamista arvioitiin tutkimuksessa tietotestillä, lääkelaskentatehtävillä ja lyhyiden potilastapausten ratkaisemisen avulla. Lääkehoidon osaamiseen yhteydessä olevia tekijöitä tarkasteltiin kolmesta näkökulmasta: 1) yksilölliset tekijät, 2) kliiniseen oppimisympäristöön ja 3) ammattikorkeakouluun liittyvät tekijät. Lääkehoidon teoreettista osaamista arvioivassa tietotestissä opiskelijat vastasivat keskimäärin 72 prosenttiin kysymyksistä täysin oikein; lääkelaskuista täysin oikein oli 74 % ja potilastapauksissa 57 % valitsi parhaan mahdollisen toimintatavan. Tulosten perusteella sairaanhoitajaopiskelijan osaamista selittivät eniten yksilölliset tekijät. Lääkehoidon osaamiseen yhteydessä olevien tekijöiden välillä oli eroa opintojen alussa ja lopussa. Opintojen alkuvaiheessa opiskelijan aikaisempi opintomenestys oli yhteydessä lääkehoidon osaamiseen, kun taas opintojen loppuvaiheessa siihen olivat yhteydessä opiskelijan kyky itseohjautuvaan oppimiseen sekä opiskelumotivaatio. Johtopäätöksenä voidaan todeta tutkimuksen tulosten olevan samansuuntaisia kuin aikaisemmissa tutkimuksissa. Lääkehoidon opetuksen laajuus vaihtelee opetussuunnitelmatasolla, mutta täsmällinen arviointi on vaikeaa opetuksen sisältöjen integroimisen takia. Sairaanhoitajaopiskelijoiden lääkehoidon osaaminen oli hieman parempaa kuin aikaisemmissa tutkimuksissa, mutta osaamisessa on edelleen puutteita. Lääkehoidon opetuksen ja osaamisen kehittäminen edellyttää kansallista ja kansainvälistä tutkimus‐ ja kehittämisyhteistyötä. Tutkimuksen tulokset tukevat lääkehoidon opetuksen sekä osaamisen tutkimusta ja kehittämistä.

The Design and Implementation of a SD Card File System

SD card (Secure Digital Memory Card) is widely used in portable storage medium. Currently, latest researches on SD card, are mainly SD card controller based on FPGA (Field Programmable Gate Array). Most of them are relying on API interface (Application Programming Interface), AHB bus (Advanced High performance Bus), etc. They are dedicated to the realization of ultra high speed communication between SD card and upper systems. Studies about SD card controller, really play a vital role in the field of high speed cameras and other sub-areas of expertise. This design of FPGA-based file systems and SD2.0 IP (Intellectual Property core) does not only exhibit a nice transmission rate, but also achieve the systematic management of files, while retaining a strong portability and practicality. The file system design and implementation on a SD card covers the main three IP innovation points. First, the combination and integration of file system and SD card controller, makes the overall system highly integrated and practical. The popular SD2.0 protocol is implemented for communication channels. Pure digital logic design based on VHDL (Very-High-Speed Integrated Circuit Hardware Description Language), integrates the SD card controller in hardware layer and the FAT32 file system for the entire system. Secondly, the document management system mechanism makes document processing more convenient and easy. Especially for small files in batch processing, it can ease the pressure of upper system to frequently access and process them, thereby enhancing the overall efficiency of systems. Finally, digital design ensures the superior performance. For transmission security, CRC (Cyclic Redundancy Check) algorithm is for data transmission protection. Design of each module is platform-independent of macro cells, and keeps a better portability. Custom integrated instructions and interfaces may facilitate easily to use. Finally, the actual test went through multi-platform method, Xilinx and Altera FPGA developing platforms. The timing simulation and debugging of each module was covered. Finally, Test results show that the designed FPGA-based file system IP on SD card can support SD card, TF card and Micro SD with 2.0 protocols, and the successful implementation of systematic management for stored files, and supports SD bus mode. Data read and write rates in Kingston class10 card is approximately 24.27MB/s and 16.94MB/s.

Usability and Security in Medication Administration Applications

The traditional process of filling the medicine trays and dispensing the medicines to the patients in the hospitals is manually done by reading the printed paper medicine chart. This process can be very strenuous and error-prone, given the number of sub-tasks involved in the entire workflow and the dynamic nature of the work environment. Therefore, efforts are being made to digitalise the medication dispensation process by introducing a mobile application called Smart Dosing application. The introduction of the Smart Dosing application into hospital workflow raises security concerns and calls for security requirement analysis. This thesis is written as a part of the smart medication management project at Embedded Systems Laboratory, A° bo Akademi University. The project aims at digitising the medicine dispensation process by integrating information from various health systems, and making them available through the Smart Dosing application. This application is intended to be used on a tablet computer which will be incorporated on the medicine tray. The smart medication management system include the medicine tray, the tablet device, and the medicine cups with the cup holders. Introducing the Smart Dosing application should not interfere with the existing process carried out by the nurses, and it should result in minimum modifications to the tray design and the workflow. The re-designing of the tray would include integrating the device running the application into the tray in a manner that the users find it convenient and make less errors while using it. The main objective of this thesis is to enhance the security of the hospital medicine dispensation process by ensuring the security of the Smart Dosing application at various levels. The methods used for writing this thesis was to analyse how the tray design, and the application user interface design can help prevent errors and what secure technology choices have to be made before starting the development of the next prototype of the Smart Dosing application. The thesis first understands the context of the use of the application, the end-users and their needs, and the errors made in everyday medication dispensation workflow by continuous discussions with the nursing researchers. The thesis then gains insight to the vulnerabilities, threats and risks of using mobile application in hospital medication dispensation process. The resulting list of security requirements was made by analysing the previously built prototype of the Smart Dosing application, continuous interactive discussions with the nursing researchers, and an exhaustive stateof- the-art study on security risks of using mobile applications in hospital context. The thesis also uses Octave Allegro method to make the readers understand the likelihood and impact of threats, and what steps should be taken to prevent or fix them. The security requirements obtained, as a result, are a starting point for the developers of the next iteration of the prototype for the Smart Dosing application.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Associations between patient factors and medication adherence: a Jordanian experience

Objective: To explore the effect of patient characteristics and health beliefs on their medication adherence. Methods: Patients (n=167) with chronic conditions (mean age 58.9; SD=13.54, 53% males) were recruited from March 2009- to March 2010 using a cross sectional study design. Data collected included patients’ demographics, medical conditions, medications therapeutic regimen, frequency of physician visits and health beliefs. Patient self-reported adherence to medications was assessed by the researcher using a validated and published scale. Treatment related problems (TRPs) were evaluated for each patient by competent clinical pharmacists. Associations between patient characteristics/health beliefs with adherence were explored. Results: About half of the patients (46.1%) were non-adherent. A significant association was found between lower adherence and higher number of disease states (p<0.001), higher number of medications (p=0.001), and higher number of identified TRPs (p = 0.003). Patient adherence was positively affected by older age, higher educational level, and higher number of physician visits per month, while it was negatively affected by reporting difficulties with getting prescription refills on time. Conclusion: This study identified different factors that may negatively affect adherence, including higher number of medications and disease states, higher number of identified TRPs and inability to getting prescription refills on time. Hence, more care needs to be provided to patients with complex therapeutic regimens in order to enhance adherence.

Determinants of self-medication with NSAIDs in a Portuguese community pharmacy

Background: Non-steroid anti-inflammatory drugs (NSAIDs) are a widely used therapeutic group in the world, and particularly in the Portuguese population. Objective: To compare NSAID’s use by prescription and self-medication acquisition and to determine the pattern of indication of NSAIDs, their usage profile and possible implications for patients’ safety. Methods: A cross-sectional design was used where individuals presenting at a community pharmacy requesting NSAIDs during the study period (one month) were invited to answer a face-to-face interview where socio-demographic characteristics, the indication pattern and previous experience of side effects were assessed. A follow-up interview was performed one week later to assess the incidence of adverse effects. The study was ethically approved. Results: A sample of 130 NSAIDs users was recruited, comprising mostly women (n=87; 66.9%), actively employed (n=77; 59.2%) and presenting a mean age of 49.5 years old (SD=20.49). An equal proportion of individuals acquired NSAIDs by self-medication and with medical prescription (n=65; 50%). Over 4/5 of patients (n=57; 87.7%) acquiring NSAIDs without a prescription were self-medicated by their own initiative, and only 10.8% (n=7) had been advised by the pharmacist. The most commonly acquired active substances were ibuprofen and diclofenac. Self-medicated users more frequently resorted to topical NSAIDs following short term treatments. The major underlying condition motivating NSAIDs sought were musculoskeletal disorders (45.0%), regardless of the regimen. An important proportion of prevalent users of NSAIDs reported previous experience of adverse effects (11.3%). One week after initiating NSAID therapy, a small proportion of patients reported incidence of adverse effects. Conclusion: Self-medication with NSAIDs is sought for numerous medical conditions. Reported adverse effects (prevalent and incident) confirm the need for a more rational use of NSAIDs and ongoing pharmacovigilance.

Medication reconciliation at patient admission: a randomized controlled trial

Objective: To measure length of hospital stay (LHS) in patients receiving medication reconciliation. Secondary characteristics included analysis of number of preadmission medications, medications prescribed at admission, number of discrepancies, and pharmacists interventions done and accepted by the attending physician. Methods: A 6 month, randomized, controlled trial conducted at a public teaching hospital in southern Brazil. Patients admitted to general wards were randomized to receive usual care or medication reconciliation, performed within the first 72 hours of hospital admission. Results: The randomization process assigned 68 patients to UC and 65 to MR. LHS was 10±15 days in usual care and 9±16 days in medication reconciliation (p=0.620). The total number of discrepancies was 327 in the medication reconciliation group, comprising 52.6% of unintentional discrepancies. Physicians accepted approximately 75.0% of the interventions. Conclusion: These results highlight weakness at patient transition care levels in a public teaching hospital. LHS, the primary outcome, should be further investigated in larger studies. Medication reconciliation was well accepted by physicians and it is a useful tool to find and correct discrepancies, minimizing the risk of adverse drug events and improving patient safety.

Inclusion of salt form on prescription medication labeling as a source of patient confusion: a pilot study

Background: It has been estimated that 10,000 patient injuries occur in the US annually due to confusion involving drug names. An unexplored source of patient misunderstandings may be medication salt forms. Objective: The objective of this study was to assess patient knowledge and comprehension regarding the salt forms of medications as a potential source of medication errors. Methods: A 12 item questionnaire which assessed patient knowledge of medication names on prescription labels was administered to a convenience sample of patients presenting to a family practice clinic. Descriptive statistics were calculated and multivariate analyses were performed. Results: There were 308 responses. Overall, 41% of patients agreed they find their medication names confusing. Participants correctly answered to salt form questions between 12.1% and 56.9% of the time. Taking more prescription medications and higher education level were positively associated with providing more correct answers to 3 medication salt form knowledge questions, while age was negatively associated. Conclusions: Patient misconceptions about medication salt forms are common. These findings support recommendations to standardize the inclusion or exclusion of salt forms. Increasing patient education is another possible approach to reducing confusion.

Analyzing change in medication use - statistical approaches

The objective of this study was to gain an understanding of the effects of population heterogeneity, missing data, and causal relationships on parameter estimates from statistical models when analyzing change in medication use. From a public health perspective, two timely topics were addressed: the use and effects of statins in populations in primary prevention of cardiovascular disease and polypharmacy in older population. Growth mixture models were applied to characterize the accumulation of cardiovascular and diabetes medications among apparently healthy population of statin initiators. The causal effect of statin adherence on the incidence of acute cardiovascular events was estimated using marginal structural models in comparison with discrete-time hazards models. The impact of missing data on the growth estimates of evolution of polypharmacy was examined comparing statistical models under different assumptions for missing data mechanism. The data came from Finnish administrative registers and from the population-based Geriatric Multidisciplinary Strategy for the Good Care of the Elderly study conducted in Kuopio, Finland, during 2004–07. Five distinct patterns of accumulating medications emerged among the population of apparently healthy statin initiators during two years after statin initiation. Proper accounting for time-varying dependencies between adherence to statins and confounders using marginal structural models produced comparable estimation results with those from a discrete-time hazards model. Missing data mechanism was shown to be a key component when estimating the evolution of polypharmacy among older persons. In conclusion, population heterogeneity, missing data and causal relationships are important aspects in longitudinal studies that associate with the study question and should be critically assessed when performing statistical analyses. Analyses should be supplemented with sensitivity analyses towards model assumptions.