A Process Calculus for Expressing Finite Place/Transition Petri Nets
A Process Calculus for Molecular Interaction Maps
A process calculus with finitary comprehended terms
A process of extrapolation of polar coordinates with data in changeable length.
A process planning system with feature based neural network search strategy for aluminum extrusion die manufacturing
A Processing Model for Free Word Order Languages
A processor for compression of multi-spectral image data on-board remote sensing satellites
A Product Oriented Modelling Concept: Holons for systems synchronisation and interoperability
A Profile of Martian Mantle Mineralogy and Density up to Core-Mantle Boundary Pressures
A program for the study of long-term adaptation to a weightless environment providing three-dimensional freedom of movement
A program logic for higher-order procedural variables and non-local jumps
A program of photometric measurements of solar irradiance fluctuations from ground-based observations
A Program to Determine the Exact Competitive Ratio of List s-Batching with Unit Jobs
A program to study antiprotons in the cosmic rays: Arizona collaboration
A Program Transformation for Continuation Call-Based Tabled Execution
A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics
A Programmer-Centric Approach to Program Verification in ATS
A progress report on bolometers operating at 0.1 K using adiabatic demagnetization refrigeration
A progress report on the spectroscopic survey telescope.
A progression ring for interfaces of instruction sequences, threads, and services