Programming Research Group

Known as: PRG 
The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the… (More)
Wikipedia

Related topics

Related topics

5 relations
Computer hardwareFormal methodsJean-Raymond AbrialOrwell
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Hardness Preserving Constructions of Pseudorandom Functions
We show a hardness-preserving construction of a PRF from any length doubling PRG which improves upon known constructions whenever… (More)
  • figure 1
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Leftover Hash Lemma, Revisited
The famous Leftover Hash Lemma (LHL) states that (almost) universal hash functions are good randomness extractors. Despite its… (More)
Is this relevant?
2008
2008
Programming Research Group CLASSICAL AND QUANTUM STRUCTURES
Dagger-compact categories have been proposed as a categorical framework suitable for quantum reasoning [1, LiCS’04]. Modelling… (More)
Is this relevant?
2007
2007
Programming Research Group Approximating Simulations Approximating Simulations
Simulation rules provide a simple, sound and complete technique for proving that one data type reenes another. This paper… (More)
Is this relevant?
2006
2006
17-Estradiol , Genistein , and 4-Hydroxytamoxifen Induce the Proliferation of Thyroid Cancer Cells through the G Protein-Coupled Receptor GPR 30
The higher incidence of thyroid carcinoma (TC) in women during reproductive years compared with men and the increased risk… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
On the Complexity of Hardness Amplification
For deltaisin(0,1) and k,n isinN, we study the task of transforming a hard function f: {0,1}nrarr {0,1}, with which any small… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
A HARPSS Polysilicon Vibrating Ring Gyroscope
This paper presents the design, fabrication, and testing of an 80m-thick, 1.1 mm in diameter high aspect-ratio (20:1) polysilicon… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Lower Bounds on the Efficiency of Generic Cryptographic Constructions
A central focus of modern cryptography is the construction of efficient, “high-level” cryptographic tools (e.g., encryption… (More)
Is this relevant?
1999
1999
Arresting Evidence : Domestic Violence and Repeat Victimisation
  • Jalna Hanmer Sue Griffiths David Jerwood
  • 1999
The Policing and Reducing Crime Unit (PRC) was formed in 1998 as a result of the merger of the Police Research Group (PRG) and… (More)
  • figure 2
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Crime Detection and Prevention Series Paper 90 Repeat Victimisation : Taking Stock
The Home Office Police Research Group (PRG) was formed in 1992 to increase the influence of research and development in police… (More)
  • table 1
  • table 2
  • table 3
  • table 4
Is this relevant?