Canada

Galab Technologies GmbH. Galab Technologies GmbH.- Offers reagents and kits for separation for glycosciences, such as lectins. Also offering process development and quality control for food, hygiene and p… Avanti Polar Lipids, Inc. Avanti Polar Lipids, Inc.- Specialist manufacturer of high quality phospholipids, sphingolipids and sterols. The services division offers lipid analysis utilizing modern methodolo… Macrocyclics Macrocyclics- Source of chelating agents and ligands for research. Includes catalog, US patents and order form for custom cGMP manufacture in Dallas, Texas. Becton, Dickinson & Co. Becton, Dickinson & Co.- Global portal for bioscience, diagnostics and medical kits and supporting instrumentation. Offices in Asia, Europe and the Americas, with HQ in Franklin L… Wisconsin Mathematics, Engineering and Science Talent Search Wisconsin Mathematics, Engineering and Science Talent Search- Open to high school and middle school students in the state of Wisconsin and throughout the world. Contest involves s… The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998) The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (1998)- (CiteSeer) This PhD thesis proposes the fusion calculus as a simplified pi-calculus with many formal a… A Non Functional Calculus: Linear Logic and Concurrency (2000) A Non Functional Calculus: Linear Logic and Concurrency (2000)- (CiteSeer) This paper proposes the *-calculus as an approach that unifies Abramsky's proofs-as-processes approach w… Completeness Results for Linear Logic on Petri Nets (1993) Completeness Results for Linear Logic on Petri Nets (1993)- (CiteSeer) Article by Engberg and Winskel showing that Petri nets provide a class of model for linear logic that is com… BCJR Algorithm BCJR Algorithm- Wikipedia provides information on this algorithm for maximum a posteriori decoding of error correcting codes defined on trellises, principally convolutional codes. Coding Theory Coding Theory- An short introductory oOverview by J.E.H. Shaw. The Ubiquitous Reed-Solomon Codes The Ubiquitous Reed-Solomon Codes- By Barry Cipra, SIAM News, January 1993. R.W. Hamming - Error Detecting and Error Correcting Codes R.W. Hamming - Error Detecting and Error Correcting Codes- Bell System Technical Journal, April 1950. Iterative Probabilistic Decoding of a Low Density Parity Check Code Iterative Probabilistic Decoding of a Low Density Parity Check Code- Online demonstration by David Mackay. Entropy Coding Entropy Coding- Publications, peoples and source code for entropy coding. Designs, Codes and Cryptography Bibliography Designs, Codes and Cryptography Bibliography- Hypertext bibliography containing all papers published in Designs, Codes and Cryptography, maintained by David M Jones. Notes on Coding Theory Notes on Coding Theory- By J.I. Hall (PDF). Please contact the author before making use of them. Report of the Working Group on Cryptology and Coding Report of the Working Group on Cryptology and Coding- National Science Foundation, April 17-18, 1997. Theory of Codes Theory of Codes- Lecture notes from a course taught by Jean Berstel and Dominque Perrin. Analysis and Implementations of Huffman Coding Analysis and Implementations of Huffman Coding- Huffman trees and Fibonacci numbers, by Alex Vinokur. Jupiter's Radio Jupiter's Radio- By Professor Kazumasa Imai. Includes a model for Jupiter's decametric modulation lanes. University of Florida Radio Observatory University of Florida Radio Observatory- Dedicated to the study of decametric radio emissions from the planet. Information, prediction tables and downloadable sounds. University of Florida Planetary Radio Group University of Florida Planetary Radio Group- What they do and who they are. Windows to the Universe: Pluto Windows to the Universe: Pluto- Offers a range of information classified in three graded levels. The Rise and Fall of Pluto The Rise and Fall of Pluto- Describes how Pluto was discovered and why it is considered a problem planet. The Solar Space Station The Solar Space Station- Informative description for this planet with pictures, general data and some brief history. Pluto, with its Moon, Charon Pluto, with its Moon, Charon- The planet finds itself at the center of an impassioned debate over its planetary status written by David Holzman, March 01, 2002. Pluto: Surface Pluto: Surface- Images with Hubble Space Telescope. The Nine Planets: Pluto The Nine Planets: Pluto- Guide with both general and statistical data. Welcome to the Planets: Pluto Welcome to the Planets: Pluto- Images from NASA's planetary exploration program. Astronomy 161: Pluto Astronomy 161: Pluto- Information and images on many different topics.