A Progressive Network Management Architecture Enabled By Java Technology
A project for a solar sail propelled spaceship
A project on the threshold of the 21st century: next generation of radio telescope.
A project to improve the sensitivity and the phase stability of the lambda 8-cm radioheliograph at Toyokawa
A Projection Architecture for Dependency Grammar and How it Compares to LFG
A Projection Method for Derivation of Non-Shannon-Type Information Inequalities
A Prolific Meteorite Stranding Surface: The Allan Hills Revisited
A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
A Proof for P =? NP Problem
A Proof of a Recursion for Bessel Moments
A proof of Alon's second eigenvalue conjecture and related problems
A Proof of Concept for Optimizing Task Parallelism by Locality Queues
A proof of strong normalisation using domain theory
A Proof of the Boyd-Carr Conjecture
A Proof of the Factorization Forest Theorem
A proof of the log-concavity conjecture related to the computation of the ergodic capacity of MIMO channels
A proof Procedure for Testing Membership in Regular Expressions
A Proof Theoretic Analysis of Intruder Theories
A proof theoretic analysis of intruder theories