Search: cs.ox.ac.uk | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Origami Programming [pdf] (cs.ox.ac.uk)

3 points

5 months ago

32.

Verifying concurrent memory reclamation algorithms with grace [pdf] (cs.ox.ac.uk)

3 points

2 years ago

33.

In honour of Pi day: the Spigot Algorithm (Haskell edition) [pdf] (cs.ox.ac.uk)

3 points

5 years ago

34.

Functional Pearl: Enumerating the Rationals [pdf] (cs.ox.ac.uk)

3 points

10 years ago

35.

Detecting hallucinations in large language models using semantic entropy (oatml.cs.ox.ac.uk)

2 points

2 years ago

36.

Kindergarten Quantum Mechanics [pdf] (cs.ox.ac.uk)

2 points

2 years ago

37.

Efficient Production of Large Programs (1970) [pdf] (cs.ox.ac.uk)

2 points

2 years ago

38.

ARRAY 2021 talks (cs.ox.ac.uk)

2 points

5 years ago

39.

Are capsules a good idea? A generative perspective (oatml.cs.ox.ac.uk)

2 points

6 years ago

40.

On the Requirements for Successful GPS Spoofing Attacks (2011) [pdf] (cs.ox.ac.uk)

2 points

6 years ago

41.

FDR4 – A CSP refinement checker (cs.ox.ac.uk)

2 points

9 years ago

42.

Enabling signal processing over data streams [pdf] (cs.ox.ac.uk)

2 points

9 years ago

43.

Casper: A Compiler for the Analysis of Security Protocols (cs.ox.ac.uk)

2 points

10 years ago

44.

A functional database (1989)[pdf] (cs.ox.ac.uk)

2 points

10 years ago

45.

The Lattice of Flow Diagrams [Dana Scott, 1972] (cs.ox.ac.uk)

1 point

13 years ago

46.

Fun with "phantom types" (cs.ox.ac.uk)

1 point

14 years ago

47.

Kan Extensions for Program Optimisation (2012) [pdf] (cs.ox.ac.uk)

1 point

2 years ago

48.

Design patterns as higher order datatype-generic programs [pdf] (cs.ox.ac.uk)

1 point

8 years ago

49.

Functional Pearl: Enumerating the Rationals [pdf] (cs.ox.ac.uk)

1 point

8 years ago

50.

LipNet AI takes lip reading into the future (2016) (cs.ox.ac.uk)

1 point

8 years ago

51.

Myth and the EU Study on Civil Law Rules in Robotics (cs.ox.ac.uk)

1 point

8 years ago

52.

Functional Pearl: Enumerating the Rationals [pdf] (cs.ox.ac.uk)

1 point

9 years ago

53.

TERESA Project – telepresence robots for the elderly (cs.ox.ac.uk)

1 point

11 years ago