Sciweavers

12052 search results - page 50 / 2411

» compute 2010

13

CORR
2010
Springer

57views Education» more CORR 2010»

Open Graphs and Computational Reasoning

13 years 11 months ago

Open Graphs and Computational Reasoning

Download homepages.inf.ed.ac.uk

Lucas Dixon, Ross Duncan, Aleks Kissinger

claim paper

Read More »

28

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

13 years 11 months ago

Closed nominal rewriting and efficiently computable nominal algebra equality

Download www.gabbay.org.uk

Maribel Fernández, Murdoch James Gabbay

claim paper

Read More »

14

CORR
2010
Springer

96views Education» more CORR 2010»

Geometry of abstraction in quantum computation

13 years 11 months ago

Geometry of abstraction in quantum computation

Download www.comlab.ox.ac.uk

ion Dusko Pavlovic

Dusko Pavlovic

claim paper

Read More »

18

CORR
2010
Springer

56views Education» more CORR 2010»

The Computational Complexity of Linear Optics

13 years 11 months ago

The Computational Complexity of Linear Optics

Download www.scottaaronson.com

Scott Aaronson, Alex Arkhipov

claim paper

Read More »

12

CORR
2010
Springer

52views Education» more CORR 2010»

Computing the Fewest-turn Map Directions based on the Connectivity of Natural Roads

13 years 10 months ago

Computing the Fewest-turn Map Directions based on the Connectivity of Natural Roads

Download www.giscience2010.org

Bin Jiang, Xintao Liu

claim paper

Read More »

« Prev « First page 50 / 2411 Last » Next »