Αποτελέσματα αναζήτησης - "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