The Partial Evaluation Approach to Information Personalization

Information personalization refers to the automatic adjustment of information content, structure, and presentation tailored to an individual user. By reducing information overload and customizing information access, personalization systems have emerged as an important segment of the Internet economy. This paper presents a systematic modeling methodology - PIPE (`Personalization is Partial Evaluation') - for personalization. Personalization systems are designed and implemented in PIPE by modeling an information-seeking interaction in a programmatic representation. The representation supports the description of information-seeking activities as partial information and their subsequent realization by partial evaluation, a technique for specializing programs. We describe the modeling methodology at a conceptual level and outline representational choices. We present two application case studies that use PIPE for personalizing web sites and describe how PIPE suggests a novel evaluation criterion for information system designs. Finally, we mention several fundamental implications of adopting the PIPE model for personalization and when it is (and is not) applicable.Comment: Comprehensive overview of the PIPE model for personalizatio

Semantics-based Automated Web Testing

We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework. We show how TAO can be incorporated with the Selenium automation tool for automated web testing, and how TAO can be further extended to support automated delta debugging, where a failing web test script can be systematically reduced based on grammar-directed strategies. A real-life parking website is adopted throughout the paper to demonstrate the effectivity of our semantics-based web testing approach.Comment: In Proceedings WWV 2015, arXiv:1508.0338

Physiology-Aware Rural Ambulance Routing

In emergency patient transport from rural medical facility to center tertiary hospital, real-time monitoring of the patient in the ambulance by a physician expert at the tertiary center is crucial. While telemetry healthcare services using mobile networks may enable remote real-time monitoring of transported patients, physiologic measures and tracking are at least as important and requires the existence of high-fidelity communication coverage. However, the wireless networks along the roads especially in rural areas can range from 4G to low-speed 2G, some parts with communication breakage. From a patient care perspective, transport during critical illness can make route selection patient state dependent. Prompt decisions with the relative advantage of a longer more secure bandwidth route versus a shorter, more rapid transport route but with less secure bandwidth must be made. The trade-off between route selection and the quality of wireless communication is an important optimization problem which unfortunately has remained unaddressed by prior work. In this paper, we propose a novel physiology-aware route scheduling approach for emergency ambulance transport of rural patients with acute, high risk diseases in need of continuous remote monitoring. We mathematically model the problem into an NP-hard graph theory problem, and approximate a solution based on a trade-off between communication coverage and shortest path. We profile communication along two major routes in a large rural hospital settings in Illinois, and use the traces to manifest the concept. Further, we design our algorithms and run preliminary experiments for scalability analysis. We believe that our scheduling techniques can become a compelling aid that enables an always-connected remote monitoring system in emergency patient transfer scenarios aimed to prevent morbidity and mortality with early diagnosis treatment.Comment: 6 pages, The Fifth IEEE International Conference on Healthcare Informatics (ICHI 2017), Park City, Utah, 201

From guided to self-regulated performance of domain-general skills

The fading of instructional scripts can be regarded as necessary for allowing learners to take over control of their cognitive activities during the acquisition of skills such as argumentation. There is, however, the danger that learners might relapse into novice strategies after script prompts are faded. One possible solution could be monitoring by a peer with respect to the performance of the strategy to be learned. We conducted a 2×2-factorial experiment with 126 participants with fading and peer monitoring as between-subjects factors to test the assumptions that (1) the combination of a faded script and peer monitoring has a positive effect on strategy knowledge compared to only one or none of the two types of support; and (2) this effect is due to a greater amount of self-regulated performance of the strategy after the fading of the script when peer monitoring takes place. The findings support these assumptions

Long-term evaluation of a UK Community Pharmacy-Based Weight Management Service

Obesity increases the risk of cardiovascular disease, type 2 diabetes and cancer, reducing both the quality and quantity of life. Consequently, government healthcare costs are significant. A greater than 5% reduction in weight has been shown to result in significant improvements in type II diabetes, blood pressure and cholesterol levels and therefore effective interventions are required. This paper reports the results from 17 years of delivering a private, individualised very low calorie diet (VLCD) programme in community pharmacy. In line with national guidelines, a community pharmacy-based private weight management service was set up to support individuals over the age of 18. After assessment for clinical suitability, individuals were offered either a flexible weight loss plan or a strict weight loss plan using a very low calorie diet (VLCD). The VLCD was delivered using the protocols of the proprietary programme, Lipotrim™. These individuals followed one or more dieting sequences, defined as at least one week of attendance whilst following the VLCD, without discontinuation, producing at least a start and end weight. Data were recorded weekly and audited for this report including weight and BMI on initial presentation, weight and BMI lost and % weight and BMI loss. A total of 1875 dieting sequences were recorded from 1023 dieters. In 1261 (67.3%) sequences, a medically beneficial weight loss of >5% was achieved. Overall, the cohort demonstrated mean (sd) % weight losses of 10.1% (7.7). Mean (sd) % weight losses seen in people with type 2 diabetes was 10.4% (2.7) and 10.6% (5.9) in hypertension. In total, 555 diet sequences accessed long-term weight maintenance support. In 173 (31%) of these cases, a second weight check post weight loss could not be made. The remaining 382 individuals presenting showed a mean (sd) weight gain of only 1.4kg (4.3) equating to a mean (sd) % weight gain of only 1.8% (4.6) over a mean (sd) number of days post weight-loss of 132 days (179). The results from this long-term review demonstrate that with proper provision of a nutritionally complete VLCD, through private service provision, community pharmacies can make a significant contribution to reducing the obesity epidemic at no cost to state-funded health systems