Reduction strategies in rewriting and programming have attracted increasing attention within the last few years. New types of reduction strategy have been invented and investigated, and new results on rewriting/computation under particular strategies have been obtained. Research in this field ranges from primarily theoretical questions about reduction strategies to very practical application an...

In this thesis we deal with the problem of reducing the memory necessary for implementing winning strategies in infinite games. We present an algorithm that is based on the notion of game reduction. Its key idea is to reduce the problem of computing a solution to a given game to computing a solution to a new game. This new game has an extended game graph which contains the memory to solve the o...

This research is representative of a two semester project focusing on noise reduction strategies for cable systems. Several specific areas of EM noise reduction are evaluated including shield termination techniques, and double shield techniques. In obtaining empirical results for all test cases, noise injection through bulk current injection (BCI) and transverse electromagnetic (TEM) cell expos...

We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are implementations of partial order semantics rules that attempt to minimize the number of execution sequences that need to be explored for a full state space exploration. The third strategy is the implementation of a state ...

It is conventional wisdom both that during the past two decades, Africa was ‘marginalised’ by globalisation and that the Bretton Woods Institutions’ strategies for stabilisation and recovery often produced neither. As recent solutions, three African presidents have proposed a ‘New Partnership for Africa’s Development’ (Nepad, launched in 2001), and the World Bank and IMF are promoting ‘Poverty ...

comorbidity between borderline personality disorder and substance abuse disorder is very high. the present study examined the effectiveness of dialectical behavior therapy on negative emotion regulation strategies in women with borderline personality disorder and substance abuse. based on the willingness to participate in the research, structured clinical interview and the criteria for inclusio...