15. R. T. Coutts, G. R. Jones and S.-F. Liu, Biomed. Mass Spectr. 5, 418 (1978). T. Baba, H. Yamada. K. Oguri and H. Yoshimura, Xenobiotica in press. P. J. Sabourin, B. P. Smyser and E. Hodgson, Znt. J. BioChem. 16, 713 (1984). T. Nash, Biochem. J. 55, 416 (1953). P. M. B&anger, 0. Grech-Belanger and M. Blouin, Analyt. Biochem. 118, 47 (1981). U. K. Laemmli, Nature, Lond. 227, 680 (1970). D. M....

S (PH D FOR GRADUATE SCHOOL OF ENGINEERING) Study on Beam Forming and Direction-of-Arrival Measurement for Solar Power Satellite A. K. M. Baki Laboratory ofApplied Radio Engineering for Humanosphere, RISH, Kyoto University. Figure 1 Normalized radiation patterns for phased array antenna of uniform amplitude, -10 dB Gaussian tapering, -10 dB lTD and -10 dB ITDU. 33 elements from each side were t...

The original, resolution-based Davis-Putnam satisfiability algorithm (Davis & Putnam 1960) was recently revived by (Dechter & Rish 1994) under the name “directional resolution” (DR). We provide new positive complexity results for DR. First, we identify a class of theories (ACT, Acyclic Component Theories), which includes many real-world theories, for which DR takes polynomial time. Second, we p...

The paper addresses the problem of computing lower bounds on the optimal costs associated with each unary assignment of a value to a variable in combinatorial optimization problems. This task is instrumental in probabilistic reasoning and is also important for the development of admissible heuristic functions that can guide search algorithms for optimal solutions. The paper presents UD-MB, a ne...