oracle/paradox-publisher
Set of bash & groovy scripts to run tests via Webtrends/webtesting, and publish the results to a couchdb, jira, and email the results (⭐ 3)
On Higher Order Busy Beaver Function
In this paper, we extend Busy Beaver function to a class of higher order Busy Beaver functions based on Turing oracle machine. We prove some results about the relation between decidability of number theoretical formula and higher order Busy Beaver fu...
Complexity limitations on quantum computation
We use the powerful tools of counting complexity and generic oracles to help understand the limitations of the complexity of quantum computation. We show several results for the probabilistic quantum class BQP. 1. BQP is low for PP, i.e., PP^BQP=...