COFECHA is a computer program that assesses the quality of crossdating and measurement
accuracy of tree-ring series. Written by Richard L. Holmes in 1982, the program has …

Many security protocols have appeared in the academic literature, with various goals, such
as establishing a cryptographic key, or achieving authentication (where an agent becomes …

Many countries are seeking technical assistance to meet the requirements laid down in the
Seventh Conference of the Parties (COP-7) Global Program of Work (PoW) on Protected …

Jaza stands for ‘Just Another Z Animator’. It is an open-source animator for the Z specification
language. It is written in Haskell, which is a modern strongly-typed functional programming …

… This user manual and tutorial illustrates what a user will need to know so as to use the
AnuPravaha general purpose CFD solver. The following gives a brief description of each chapter: …

The computer programs currently available for Stirling type machines help in designing and
optimizing Stirling type cryocoolers. However, the available software are only intended for …

Lesch, SM, JD Rhoades, DJ Strauss, K. Lin, and MAA Co. 1995. The ESAP User Manual
and Tutorial Guide, Version 1. O. Research Report No. 138, US Salinity Laboratory, United …

NCC2 is an extension of Naive Bayes Classifier (NBC) to imprecise probabilities, designed
so as to return robust classifications even on small and/or incomplete data sets. A peculiar …

An increment borer is the primary tool used to collect samples for dendrochronological
analyses. These are precision instruments and users should be trained in their proper use, care, …

This manual describes the ProVerif software package version 2.05. ProVerif is a tool for
automatically analyzing the security of cryptographic protocols. Support is provided for, but not …