The ability to monitor computer file systems for unauthorized changes is a powerful administrative tool. Ideally this task could be performed remotely under the direction of the administrator to allow on-demand checking, and use of tailorable reporting and exception policies targeted to adjustable groups of network elements. This paper introduces M-FICA, a Mobile File Integrity and Consistency ...

We describe how the compliance requirements for data retention from recent laws such as the US Sarbanes Oxley Act may be supported by a tamper-evident secure storage system based on probe storage with a patterned magnetic medium. This medium supports normal read/write operations by out-of-plane magnetisation of individual dots. We report on an experiment to show that in principle the medium als...

OBJECTIVE The purpose of this study was to compare effects of insulin detemir once daily versus twice a day in a basal-bolus insulin regimen. RESEARCH DESIGN AND METHODS In this open-label, 7-month study, 520 patients with type 1 diabetes were randomly assigned to receive detemir once daily or twice daily with mealtime insulin aspart. Insulin doses were titrated over 1 month, with patients fo...

Telling stories to help relieve a woman in labor may be soothing, but one must be sure to choose the right tale.

We present a sound type-basedùsage analysis' for a realistic lazy functional language. Accurate information on the usage of program subexpressions in a lazy functional language permits a compiler to perform a number of useful optimi-sations. However, existing analyses are either ad-hoc and approximate, or deened over restricted languages. Our work extends the Once Upon A Type system of Turner, ...

High capacity disks, especially optical ones, are commercially available. These disks are ideal for archiving large text data bases. In this work, we examine efficient searching techniques for such applications. We propose a unifying framework, which reveals the similarities between signature files and an inverted file using a hash table. Then, we design methods that combine the ease of inserti...

A machine solves a problem using space s(·) if, for every input x, the machine outputs the correct answer and uses only the first s(|x|) cells of the tape. For a standard Turing machine, we can’t do better than linear space since x itself must be on the tape. So we will often consider a machine with multiple tapes: a read-only “input” tape, a read/write “work” or “memory” tape, and possibly a w...

A machine solves a problem using space s(·) if, for every input x, the machine outputs the correct answer and uses only the first s(|x|) cells of the tape. For a standard Turing machine, we can’t do better than linear space since x itself must be on the tape. So we will often consider a machine with multiple tapes: a read-only “input” tape, a read/write “work” or “memory” tape, and possibly a w...

We reportedhere data from a productivity veterinary service that was participatory planned and delivered on farms at the Kanihari Union belongs to Mymensingh District of Bangladesh. We used a set of five forms and a breeding calendar on farm visit once in a month to guide service delivery and acquisition of data and to keep the records on general cattle health, reproduction, udder health and fe...