Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Prototyping Virtual Data Technologies in ATLAS Data Challenge 1 Production
Protozoa as model systems for the study of cellular responses to altered gravity conditions
Provable Secure Identity Based Generalized Signcryption Scheme
Provably efficient instanton search algorithm for LP decoding of LDPC codes over the BSC
Provably Fast and Accurate Recovery of Evolutionary Trees through Harmonic Greedy Triplets
Provably Secure Universal Steganographic Systems
Provably Total Functions of Arithmetic with Basic Terms
Provenance analysis of upper Cretaceous strata in the Tethys Himalaya, southern Tibet: Implications for timing of India-Asia collision
Provenance and Dissemination of Impact-melted Matter During Large Impacts
Provenance and evidence in UniProtKB
Provenance and U-Pb geochronology of the Mesoproterozoic Belt Supergroup (northwestern United States): implications for age of deposition and pre-Panthalassa plate reconstructions
Provenance as Dependency Analysis
Provenance for Aggregate Queries
Provenance interpretation of quartz by scanning electron microscope cathodoluminescence fabric analysis
Provenance of dust in the Pacific Ocean
Provenance of Quaternary glacial and glacimarine sediments along the southeast Greenland margin
Provenance Traces
Provenance Views for Module Privacy
Provide a Model for Handover Technology in Wireless Networks