検索結果 - "Computation by abstract devices."

A unified theory of shared memory consistency. 著者: Steinke, Robert C.

Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP. 著者: Hemaspaandra, Edith

Quantum lower bounds by polynomials. 著者: Beals, Robert

Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. 著者: Bontemps, Yves

Quantum lower bounds for the collision and the element distinctness problems. 著者: Aaronson, Scott

Probabilistic checking of proofs a new characterization of NP. 著者: Arora, Sanjeev

Transforming cabbage into turnip polynomial algorithm for sorting signed permutations by reversals. 著者: Hannenhalli, Sridhar

Advances in Neural Networks - ISNN 2011 8th International Symposium on Neural Networks, ISNN 2011, Guilin, China, May 29-June 1, 2011, Proceedings, Part III

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Unlocking concurrency. 著者: Adl-Tabatabai, Ali-Reza

Lower bounds on the bounded coefficient complexity of bilinear maps. 著者: Bürgisser, Peter