#### Filter Results:

- Full text PDF available (6)

#### Publication Year

1987

2003

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Jim Kadin
- SIAM J. Comput.
- 1988

- Richard Chang, Jim Kadin
- Mathematical Systems Theory
- 1995

This paper is a study of the existence of polynomial time Boolean connective functions for languages. A language L has an AND function if there is a polynomial time f such that f (x, y) ∈ L ⇐⇒ x ∈ L and y ∈ L. L has an OR function if there is a polynomial time g such that g(x, y) ∈ L ⇐⇒ x ∈ L or y ∈ L. While all NP complete sets have these functions, Graph… (More)

- Richard Chang, Jim Kadin, Pankaj Rohatgi
- J. Comput. Syst. Sci.
- 1995

The research presented in this paper is motivated by the following new results on the complexity of the unique satisfiability problem, USAT.

- Richard Chang, Jim Kadin
- Structure in Complexity Theory Conference
- 1990

We show that if the Boolean hierarchy collapses to level k, then the polynomial hierarchy collapses to BH 3 (k), where BH 3 (k) is the k th level of the Boolean hierarchy over P 2. This is an improvement over the known results 3], which show that the polynomial hierarchy would collapse to P NP NP O(log n)]. This result is signiicant in two ways. First, the… (More)

- Jim Kadin
- J. Comput. Syst. Sci.
- 1989

- Richard Chang, Jim Kadin, Pankaj Rohatgi
- Structure in Complexity Theory Conference
- 1991

- Harry Buhrman, Jim Kadin, Thomas Thierauf
- Structure in Complexity Theory Conference
- 1994

We study FP NP k , the class of functions that can be computed with nonadaptive queries to an NP oracle. We show that optimization problems stemming from the known NP complete sets, where the optimum is taken over a polynomially bounded range, are hard for FP NP k. This is related to (and, in some sense, extends) work of Chen and Toda CT91]. In addition, it… (More)

- Jim Kadin
- Structure in Complexity Theory Conference
- 1987

- Richard M Baldarelli, David P Hill, +24 authors Carol J Bult
- Genome research
- 2003

The Mouse Genome Sequencing Consortium and the RIKEN Genome Exploration Research grouphave generated large sets of sequence data representing the mouse genome and transcriptome, respectively. These data provide a valuable foundation for genomic research. The challenges for the informatics community are how to integrate these data with the ever-expanding… (More)

- Juris Hartmanis, Richard Chang, Jim Kadin, Stephen G. Mitchell
- Current Trends in Theoretical Computer Science
- 1993

1 About Relativization In this column we explore what relativization says about space bounded computations and what recent results about space bounded computations say about relativization. There is a strong belief in computational complexity circles that problems which can be relativized in two contradictory ways are very hard to solve. We believe that… (More)