Berge's conjecture on directed path partitions—a survey

AbstractBerge's conjecture from 1982 on path partitions in directed graphs generalizes and extends Dilworth's theorem and the Greene–Kleitman theorem which are well known for partially ordered sets. The conjecture relates path partitions to a collection of k independent sets, for each k⩾1. The conjecture is still open and intriguing for all k>1.11Only recently it was proved Berger and Ben-Arroyo Hartman [56] for k=2 (added in proof). In this paper, we will survey partial results on the conjecture, look into different proof techniques for these results, and relate the conjecture to other theorems, conjectures and open problems of Berge and other mathematicians

Built-In Test Sequence Generation for Synchronous Sequential Circuits Based on Loading and Expansion of Test Subsequences

We describe an on-chip test generation scheme for synchronous sequential circuits that allows at-speed testing of such circuits. The proposed scheme is based on loading of (short) input sequences into an on-chip memory, and expansion of these sequences on-chip into test sequences. Complete coverage of modeled faults is achieved by basing the selection of the loaded sequences on a deterministic test sequence T 0, and ensuring that every fault detected by T 0 is detected by the expanded version of at least one loaded sequence. Experimental results presented for benchmark circuits show that the length of the sequence that needs to be stored at any time is on the average 10 % of the length of T 0, and that the total length of all the loaded sequences is on the average 46 % of the length of T 0. 1

Achieve complete robust path delay fault testability

Recently, Pomeranz and Reddy [7], presented a test point insertion method to improve path delay fault testability in large combinational circuits. A test application scheme was developed that allows test points to be utilized as primary inputs and primary outputs during testing. The placement of test points was guided by the number of paths and was aimed at reducing this number. Indirectly, this approach achieved complete robust path delay fault testability in very low computation times. In this paper, we use their test application scheme, however, we use morre exact measures for guiding test point insertion like test generation and RD fault identification. Thus, we reduce the number of test point needed to achieve complete testability by ensuring that test points are inserted only on paths associated with path delay faults that are necessary to be tested and that are not robustly testable. Experimental results show that an average reduction of about 70% in the number of test points over the approach of [7] can be obtained.

MRI Parameters Of Alzheimer's Disease in an Arab Population of Wadi Ara, Israel

Magnetic resonance imaging (MRI) findings are reported from 15 individuals in an Arab–Israeli community who were diagnosed with Alzheimer's disease (AD). The quantitative parameters that were used for MRI analyses included gradings (0–3) and linear measurements of different brain structures. Generalized tissue loss was assessed by combined measurements of the ventricles (ventricular score, VS) and sulcal grading and width (SG, SW, respectively). Loss of brain tissue in specific regions of interest, eg, temporal lobes, basal ganglia, and midbrain, was evaluated by precise measurements. We observed abnormal tissue characteristics, expressed as high intensity foci in white matter on T2W sequences, as well as tissue loss, both generalized and focal. Most notable were changes involving the head of the caudate nuclei, the midbrain, and to a lesser degree, medial temporal structures.National Institute of Aging (UO1-AG17173); National Institute on Alcohol Abuse and Alcoholism (R37-AA07112, K05-AA00219); US Department of Veterans Affair

Travelling an unfamiliar road: Implications for the entry of design practitioners into healthcare

This thesis reflects on the User Experience design practice employed for the HealthMap project to create online interactive self-management plans for people with HIV. It traces the development of collaborative design understanding within the multidisciplinary team and identifies key elements in the development of a healthcare IT design practice that lay the foundation for an emerging Community of Practice for Healthcare Experience Designers

New Techniques to Reduce the Execution Time of Functional Test Programs

The compaction of test programs for processor-based systems is of utmost practical importance: Software-Based Self-Test (SBST) is nowadays increasingly adopted, especially for in-field test of safety-critical applications, and both the size and the execution time of the test are critical parameters. However, while compacting the size of binary test sequences has been thoroughly studied over the years, the reduction of the execution time of test programs is still a rather unexplored area of research. This paper describes a family of algorithms able to automatically enhance an existing test program, reducing the time required to run it and, as a side effect, its size. The proposed solutions are based on instruction removal and restoration, which is shown to be computationally more efficient than instruction removal alone. Experimental results demonstrate the compaction capabilities, and allow analyzing computational costs and effectiveness of the different algorithms

On testing delay faults in macro-based combinational circuits

Abstract We consider the problem of testing for delay faults in macrobased circuits. Macro-based circuits are obtained as a result of technology mapping. Gate-level fault models cannot be used for such circuits, since the implementation of a macro may not have an accurate gate-level counterpart, or the macro implementation may not be known. Two delay fault models are proposed for macro-based circuits. The first model is analogous to the gatelevel gross delay fault model. The second model is analogous to the gate-level path delay fault model. We provide fault simulation procedures, and present experimental results

Duretovo krvarenje: rijetka komplikacija ishemijskog moždanog udara u području središnje moždane arterije - Prikaz slučaja

We report on an unusual case of brainstem Duret hemorrhage after ischemic stroke in the anterior circulation. The patient showed a clinical and neuroradiological picture of an acute and malignant middle cerebral artery infarct with increased intracranial pressure followed by a brainstem hemorrhage. The report suggests that the descending transtentorial herniation of any etiology might be complicated by a Duret hemorrhage.Opisuje se rijedak slučaj Duretova krvarenja moždanoga debla nakon ishemijskog moždanog udara u prednjem krvotoku. Bolesnik je pokazivao kliničku i neuroradiološku sliku akutnog i zloćudnog infarkta središnje moždane arterije uz povišen intrakranijski tlak, nakon čega je uslijedilo krvarenje u moždanom deblu. Ovaj prikaz ukazuje na to da se Duretovo krvarenje može pojaviti kao komplikacija kod silazne transtentorijske hernijacije bilo koje etiologije