Clinical and economic impact of implementing a comprehensive diabetes management program in managed care

Diabetes mellitus places a significant burden on the U.S. healthcare system. Because of the potential to reduce diabetic complications and costs through intensive management, diabetes has become a primary target for disease management programs. We performed a retrospective analysis of short-term baseline and follow-up clinical, economic, and member and provider satisfaction data from approximately 7,000 people with diabetes being treated through seven managed care plans using Diabetes Treatment Centers of America's Diabetes NetCare, (Nashville, TN), a comprehensive diabetes management program. Our analysis indicates that Diabetes NetCare achieved gross economic adjusted savings of $50 per diabetic member per month (12.3%), with gross unadjusted savings of $44 (10.9%) per diabetic member per month. Hospital admissions per 1,000 diabetic member years decreased by 18%, and bed days fell by 21%. Patients with diabetes were more likely to get HbAlc tests, foot exams, eye exams, and cholesterol screenings while enrolled in the program. These data suggest that implementation of a comprehensive healthcare management program for people with diabetes can lead to substantial improvements in costs and clinical outcomes in the short-term. It is expected that improvements will increase over time, with continuing improvements in health status and a reduction in the number of future diabetic complications.     

Human-centred appraoches to control and information technology: European experiences

In this paper, the concept of Human-Centred Technology will be described with regard to the different dimensions of workplace, groupwork and networks and in terms of the frameworks of both society and the natural environment. These different aspects of Human-Centred Systems will be illustrated by a series of case studies representing several European countries. The report covers a wide range of research fields. The emphasis is on technology: the roles of control and information technology in enterprises today — including issues of applying AI — and the strategies of designing and implementing technology taking into account the specific aspects which characterize human-centred systems.     

Numerical characterization and experimental verification of an in-plane MEMS-actuator with thin-film aluminum heater

In this paper, a novel concept of a thermo-mechanical MEMS actuator using aluminum thin-film heaters on a thermal oxide for electrical insulation is presented. The actuator is part of an universal tensile testing platform for thermo-mechanical material characterization of one dimensional materials on a micro- and nano-scopic scale under different environmental conditions, as varying temperatures, pressure, moisture or even vacuum and is realised in BDRIE technology. It is shown, that the actuator concept fulfills the requirements for the use in a tensile loading stage along with heterogeneously integrated nanofunctional elements, following a specimen centered approach in line with bottom-up self-assembly processes. Simulation and experiment agree very well in the thermal and mechanical domain and allow subsequent optimisation of the actuator performance.     

Lightweight graphics instrumentation for game state-specific power management in Android

Battery life is a major concern on portable devices like smartphones and tablet PCs. On these devices, games constitute the class of most popular applications and are at the same time highly compute-intensive. Every game consists of several states like the loading, main menu and the gaming state. Each of those states has its own workload characteristics, e.g., the loading phase is likely to be memory bound and the main menu state is less interactive than the gaming state. We propose an interception technique that allows to profile the game and detect its current state based on the game’s communication with the underlying OS. Current power management governors are unaware of the running applications and scale the processor’s voltage and frequency merely based on the system’s utilization. We provide the game’s state information and workload profile to our governor which selects the processing frequency such that the desired frame rate of the current state is ensured. This leads to an optimal choice of processing frequencies and thereby significantly reduces power consumption. We have implemented the scheme on an Android-based Samsung Galaxy Nexus smartphone using popular games like Jetpack Joyride and Temple Run. We reduced the CPU’s power consumption by up to 43.2 % compared to the Android interactive governor without impacting the gaming experience. Motivated by these results we propose a power management API that would allow game developers to significantly reduce the power consumption of their game using simple API calls.     

Business process compliance checking – applying and evaluating a generic pattern matching approach for conceptual models in the financial sector

Given the strong increase in regulatory requirements for business processes the management of business process compliance becomes a more and more regarded field in IS research. Several methods have been developed to support compliance checking of conceptual models. However, their focus on distinct modeling languages and mostly linear (i.e., predecessor-successor related) compliance rules may hinder widespread adoption and application in practice. Furthermore, hardly any of them has been evaluated in a real-world setting. We address this issue by applying a generic pattern matching approach for conceptual models to business process compliance checking in the financial sector. It consists of a model query language, a search algorithm and a corresponding modelling tool prototype. It is (1) applicable for all graph-based conceptual modeling languages and (2) for different kinds of compliance rules. Furthermore, based on an applicability check, we (3) evaluate the approach in a financial industry project setting against its relevance for decision support of audit and compliance management tasks.     

Crystal: Integrating Structured Queries into a Tactic Language

We present the language CRStL (Control Rule Strategy Language, pronounce “crystal”) to formulate mathematical reasoning techniques as proof strategies in the context of the proof assistant Ωmega. The language is arranged in two levels, a query language to access mathematical knowledge maintained in development graphs, and a strategy language to annotate the results of these queries with further control information. The two-leveled structure of the language allows the specification of proof techniques in a declarative way. We present the syntax and semantics of CRStL and illustrate its use by examples.     

Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces

We continue our study of the complexity of MSO-definable local temporal logics over concurrent systems that can be described by Mazurkiewicz traces. In previous papers, we showed that the satisfiability problem for any such logic is in PSPACE (provided the dependence alphabet is fixed, Gastin and Kuske (2003) [10]) and remains in PSPACE for all classical local temporal logics even if the dependence alphabet is part of the input, Gastin and Kuske (2007) [8]. In this paper, we consider the uniform satisfiability problem for arbitrary MSO-definable local temporal logics. For this problem, we prove multi-exponential lower and upper bounds that depend on the number of alternations of set quantifiers present in the chosen MSO-modalities.