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

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Origami Programming [pdf]

5 months ago

3 points

32.

Verifying concurrent memory reclamation algorithms with grace [pdf]

2 years ago

3 points

33.

In honour of Pi day: the Spigot Algorithm (Haskell edition) [pdf]

5 years ago

3 points

34.

Functional Pearl: Enumerating the Rationals [pdf]

10 years ago

3 points

35.

Detecting hallucinations in large language models using semantic entropy

oatml.cs.ox.ac.uk

2 years ago

2 points

36.

Kindergarten Quantum Mechanics [pdf]

2 years ago

2 points

37.

Efficient Production of Large Programs (1970) [pdf]

2 years ago

2 points

38.

ARRAY 2021 talks

5 years ago

2 points

39.

Are capsules a good idea? A generative perspective

oatml.cs.ox.ac.uk

6 years ago

2 points

40.

On the Requirements for Successful GPS Spoofing Attacks (2011) [pdf]

6 years ago

2 points

41.

FDR4 – A CSP refinement checker

9 years ago

2 points

42.

Enabling signal processing over data streams [pdf]

9 years ago

2 points

43.

Casper: A Compiler for the Analysis of Security Protocols

10 years ago

2 points

44.

A functional database (1989)[pdf]

10 years ago

2 points

45.

The Lattice of Flow Diagrams [Dana Scott, 1972]

13 years ago

1 points

46.

Fun with "phantom types"

14 years ago

1 points

47.

Kan Extensions for Program Optimisation (2012) [pdf]

2 years ago

1 points

48.

Design patterns as higher order datatype-generic programs [pdf]

8 years ago

1 points

49.

Functional Pearl: Enumerating the Rationals [pdf]

8 years ago

1 points

50.

LipNet AI takes lip reading into the future (2016)

8 years ago

1 points

51.

Myth and the EU Study on Civil Law Rules in Robotics

8 years ago

1 points

52.

Functional Pearl: Enumerating the Rationals [pdf]

9 years ago

1 points

53.

TERESA Project – telepresence robots for the elderly

11 years ago

1 points