A Proof Theoretic Approach to Failure in Functional Logic Programming
A Proof Theoretic View of Constraint Programming
A propensity for n-ω-amino acids in thermally altered Antarctic meteorites
a Proportional Counter Source to Calibrate SNO Backgrounds
A Proposal for a Research-based Constructivist Physics-and-Pedagogy Course
A Proposal for Dynamic Access Lists for TCP/IP Packet Filering
A proposal for improving the noise floor of the gravitational wave antenna Niobè
A Proposal for Proquints: Identifiers that are Readable, Spellable, and Pronounceable
A Proposal for the Common Safety Approach of Space Programs
A Proposal for Word Sense Disambiguation using Conceptual Distance
A proposal of comparative Maunder minimum cosmogenic isotope measurements.
A proposal on the test of general relativity by clock transportation experiments
A proposal to a generalised splicing with a self assembly approach
A Proposal to Classify Latinamerican Scientific Journals using Citation Indicators: Case Study in Colombia
A proposal to design expert system for the calculations in the domain of QFT
A Proposal to Separate Handles from Names on the Internet
A proposed "osi based" network troubles identification model
A Proposed Algorithm to improve security & Efficiency of SSL-TLS servers using Batch RSA decryption
A Proposed Architecture for Continuous Web Monitoring Through Online Crawling of Blogs
A Proposed Decision Support System/Expert System for Guiding Fresh Students in Selecting a Faculty in Gomal University, Pakistan