We present a unique new implementation of MPI-IO (as defined in the recent MPI2 message passing standard) that is easy to use, fast, efficient, and complete. Our implementation ...
Richard Hedges, Terry Jones, John May, Robert Kim ...
A new public key cryptosystem is proposed and analyzed. The scheme is quite practical, and is provably secure against adaptive chosen ciphertext attack under standard intractabili...
This paper summarises key development issues encountered with the New Zealand Government's discovery level metadata standard, NZGLS. In particular, it discusses the need for ...
The paper illustrates a linguistic knowledge acquisition model making use of data types, innite memory, and an inferential mechanism for inducing new information from known data. ...
Paolo Allegrini, Simonetta Montemagni, Vito Pirrel...
Abstract. Solovay's random-real forcing ([1]) is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, ...