Learn More
The efficiency of Boolean function manipulation depends on the form of representation of Boolean functions. <italic>Binary Decision Diagrams (BDD's)</italic> are graph representations proposed by Akers and Bryant. BDD's have some properties which can be used to enable efficient Boolean function manipulation. In this paper, we describe a technique of more(More)
The potent neurotrophic factor glial cell-derived neurotrophic factor (GDNF) is a distant member of the transforming growth factor-beta (TGF-beta) superfamily of proteins. We report a transcription factor that is the first nuclear protein known to be induced by GDNF, thus designated murine GDNF inducible factor (mGIF). The cDNA was cloned in the course of(More)
Dopamine receptor genes are under complex transcription control, determining their unique regional distribution in the brain. We describe here a zinc finger type transcription factor, designated dopamine receptor regulating factor (DRRF), which binds to GC and GT boxes in the D1A and D2 dopamine receptor promoters and effectively displaces Sp1 and Sp3 from(More)
P This paper presents an e cient method for manipulating very large Shared inary-Deciston Diagrams (SBDD'S) which am too large to be stored within main memory. In contrast that the conventional depth-first aigorithm causes random access of memory,, the proposed method is intended to cause sequential access of memory. The main idea o our method is level-i(More)
We ropose in this paper a new exact algorithm and gr aduay improvement methods of minimizing binary decision diagrams (BDD's). In the exact minimization algorithm the o timum order is searched by the exchanges o! variabyes of BDD's based on the framework of Friedman's algorithm. The use of BDD representation of a given function and intermediate functions(More)
The percentage of people who produce a neat and clear handwriting is declining sharply. The traditional approach for handwriting teaching is to have a dedicated teacher for long hours of handwriting practice. Unfortunately, this is not feasible in many cases. In this paper we introduce an automated tool for teaching Arabic handwriting using tablet PCs and(More)
The ability of estrogen to modulate the expression of ventral and dorsal striatal dopamine receptors D(1), D(2,) and D(3) was examined in vivo using semi-quantitative in situ hybridization and ligand binding autoradiography. Two-week treatment with subcutaneous pellets of 17beta-estradiol (25 mg) downregulated D(2) dopamine receptor mRNA in both dorsal and(More)