Proving Termination of Normalization Functions for Conditional Expressions

Proving Termination of Probabilistic Programs Using Patterns

Proving that P is not equal to NP and that P is not equal to the intersection of NP and co-NP

Proving the power of postselection

Proviola: A Tool for Proof Re-animation

Provisioning Spot Market Cloud Resources to Create Cost-effective Virtual Clusters

Provocative Questions for the Deuterium Session

Proximate nutritional composition of celss crops grown at different CO2 partial pressures

Proximate ray tracing and optical aberration coefficients

Proximity Drawings of High-Degree Trees

Proximity Inversion Functions on the Non-Negative Integers

Proxy climate record for the last 1000 years from Irish blanket peat and a possible link to solar variability

Proxy Signature Scheme with Effective Revocation Using Bilinear Pairings

PRS scoping study 1: Scaling law estimates for K-shell radiation yields on JUPITER-class generators

Pruned Continuous Haar Transform of 2D Polygonal Patterns with Application to VLSI Layouts

Pruning Attribute Values From Data Cubes with Diamond Dicing

Pruning Isomorphic Structural Sub-problems in Configuration

Pruning Search Space in Defeasible Argumentation

Prunnig Algorithm of Generation a Minimal Set of Rule Reducts Based on Rough Set Theory

PSA: The Packet Scheduling Algorithm for Wireless Sensor Networks