This article reports on the outcomes associated with remote physiological monitoring (RPM) conducted as part of a heart failure disease management program. Claims data, medical records, data transmission records, and survey results for 91 individuals ages 50-92 (mean 74 years) successfully completing a heart failure RPM program were analyzed for time periods before, during, and after the monito...

The Galactic Bulge region is a rich host of variable high-energy point sources. These sources include bright and relatively faint X-ray transients, X-ray bursters, persistent neutron star and black-hole candidate binaries, X-ray pulsars, etc.. We have a program to monitor the Galactic Bulge region regularly and frequently with the γ-ray observatory INTEGRAL. As a service to the scientific commu...

background: health is a national priority and it is always a duty of the government to establish a good and fair health system. the national heath care system reform program and evaluation of health system reform plan funding these programs were enforced by the honorable minister of health and medical education on may 5th, 2014. given the importance of this issue, the present study was conducte...

Real-time continuous glucose monitoring (RT-CGM) devices provide detailed information on glucose patterns and trends, and alarms that alert the patient to both hyper- and hypoglycemia. This technology can dramatically improve the day-to-day management of patients with diabetes and promises to be a major advance in diabetes care. The safe and effective use of RT-CGM in diabetes management rests ...

This paper describes a two instruction-stream (twoprocess) model for tamper resistance. One process (Monitor process, M-Process) is designed explicitly to monitor the control flow of the main program process (P-Process). The compilation phase compiles the software into two co-processes: P-process and M-process. The monitor process contains the control flow consistency conditions for the P-proce...

We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the...