Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,987,000 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Computer hardware
Formal methods
Jean-Raymond Abrial
Orwell
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
On the Non-Existence of Blockwise 2-Local PRGs with Applications to Indistinguishability Obfuscation
Alex Lombardi
,
V. Vaikuntanathan
IACR Cryptology ePrint Archive
2017
Corpus ID: 36525642
Lin and Tessaro (Eprint 2017/250) recently proposed indistinguishability obfuscation and functional encryption candidates and…
Expand
2012
2012
ASPECT AND TENSE IN NIGER-CONGO
D. Nurse
2012
Corpus ID: 32495775
In 2010 three of us produced a web document dealing with verbal categories, mainly aspect and tense, across Niger-Congo (Nurse, D…
Expand
2008
2008
Creeping Bentgrass and Perennial Ryegrass Seedling Tolerance to Bispyribac-sodium
P. Dernoeden
,
S. McDonald
,
J. Kaminski
2008
Corpus ID: 55863536
Additional index words. Agrostis stolonifera, Lolium perenne, Velocity, Prograss Abstract. Establishing creeping bentgrass…
Expand
2007
2007
ECO chip: Energy Consumption Zeroize Chip with a 953MHz High-Sensitivity Radio Wave Detector for Standby Mode Applications
T. Umeda
,
S. Otaka
IEEE Custom Integrated Circuits Conference
2007
Corpus ID: 14514534
ECO chip (energy consumption zeroize chip) for standby mode applications is presented. ECO chip detects 953 MHz band radio waves…
Expand
Review
2003
Review
2003
A Critical Survey of Grid Security Requirements and Technologies
Andre Martin
2003
Corpus ID: 16294408
Security in grid applications is a wide topic, touching many of the core issues in Information Security. We survey the…
Expand
2003
2003
Refrigeration for Preserving the Quality and Enhancing the Safety of Plant Foods
F. Artés
2003
Corpus ID: 5114297
Prof. Francisco Artés is an agricultural engineer (UPV, Valencia) and refrigeration engineer (IFFI, Paris). He is Director of the…
Expand
2003
2003
Postprandial indole and skatole formation in the rumen when feeding white clover, perennial ryegrass and Lotus corniculatus
N. Schreurs
,
M. Tavendale
,
Lane Ga
,
T. N. Barry
,
D. M. Marotti
,
W. McNabb
2003
Corpus ID: 1811837
In some international markets, meat and milk products from pasture-fed animals is associated with an undesirable pastoral flavour…
Expand
1998
1998
Internal parasitism and growth of farmed deer fed different forage species : a thesis in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Animal Science at Massey…
S. O. Hoskin
1998
Corpus ID: 85743884
A senes of grazmg and indoor experiments were conducted to invest igate i nteractions bet ween internal paras it ism and…
Expand
1993
1993
Coherence for Qualiied Types
Mark P. Jones
1993
Corpus ID: 6414131
ions and let expressions. Any such renaming is permitted so long as we avoid clashes with free variables. The nal group of…
Expand
1987
1987
On shared systems
J. Jacob
1987
Corpus ID: 59690031
Most computing systems are shared between users of various kinds. This thesis treats such systems as mathematical objects, and…
Expand