Sciweavers

12052 search results - page 50 / 2411

» computing 2010

11

CORR
2010
Springer

57views Education» more CORR 2010»

Open Graphs and Computational Reasoning

13 years 9 months ago

Open Graphs and Computational Reasoning

Download homepages.inf.ed.ac.uk

Lucas Dixon, Ross Duncan, Aleks Kissinger

claim paper

Read More »

23

CORR
2010
Springer

89views Education» more CORR 2010»

Closed nominal rewriting and efficiently computable nominal algebra equality

13 years 9 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 9 months ago

Geometry of abstraction in quantum computation

Download www.comlab.ox.ac.uk

ion Dusko Pavlovic

Dusko Pavlovic

claim paper

Read More »

16

CORR
2010
Springer

56views Education» more CORR 2010»

The Computational Complexity of Linear Optics

13 years 9 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 8 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 »