Australia

Computational Isomorphisms in Classical Logic Computational Isomorphisms in Classical Logic- Article by V. Danos, J. B. Joinet and H. Schellinx examining the categorical semantics of classical logic from a perspective inspire… Computational Content of Classical Logic (1996) Computational Content of Classical Logic (1996)- Lecture notes from a research seminar series by Thierry Coquand covering double-negation translations, game semantics of classical… On the computational content of the Axiom of Choice (1995) On the computational content of the Axiom of Choice (1995)- Article by S. Berardi, M. Bezem and T. Coquand presenting a possible computational content of the negative translation … CPS Translations and Applications: the Cube and Beyond (1996) CPS Translations and Applications: the Cube and Beyond (1996)- Article by G. Barthe, J. Hatcliff, and M.H. Sørensen which presents a CPS translation to Barenderegt's `cube' of pur… A Semantic View of Classical Proofs (1996) A Semantic View of Classical Proofs (1996)- Article by C.-H. Luke Ong presenting the semantics of classical proof theory from three perspectives: a formulae-as-types characterisat… A Notion of Classical Pure Type System (1997) A Notion of Classical Pure Type System (1997)- Article by Gilles Barthes. (Norway) The Selmer Center (Norway) The Selmer Center- A research facility in cryptology and coding theory at the University of Bergen. Includes background of the organization, an article explaining some ke… (EU) Approximation and Randomized Algorithms in Communications Networks (ARACNE) (EU) Approximation and Randomized Algorithms in Communications Networks (ARACNE)- A European Research Training Network consisting of research groups from France, Germany, Greece, … (Canada) Coding and Signal Transmission (CST) Laboratory (Canada) Coding and Signal Transmission (CST) Laboratory- Department of Electrical and Computer Engineering at the University of Waterloo. Ontario, Canada. (Australia) University of Adelaide (Australia) University of Adelaide- Teletraffic Research Centre. Industrial problems involving modelling, measurement and performance. (USA) Georgia Tech (USA) Georgia Tech- Communication Theory Research Group. (USA) UC Berkeley (USA) UC Berkeley- Signal Processing and Communication Group. Kannan Ramchandran's DSP research group. (USA) Penn State University (USA) Penn State University- Center for Information and Communications Technology Research. Solar System Exploration: Jupiter Solar System Exploration: Jupiter- General features and data about the planet and its satellites. Windows to the Universe: Jupiter Windows to the Universe: Jupiter- Overview of several aspects of the Jovian science. Versions available for beginner, intermediate and advanced level users. Jupiter Jupiter- Article on the largest planet in the solar system and its history. The Nine Planets: Jupiter The Nine Planets: Jupiter- General information, some statistical data and links. Astronomy 161: The Planet Jupiter Astronomy 161: The Planet Jupiter- General features and some pictures. Views of the Solar System: Jupiter Views of the Solar System: Jupiter- Views, animations, general information and data of the planet and its satellites. NSSDC Photo Gallery: Jupiter NSSDC Photo Gallery: Jupiter- Select images of the planet from various space probes. Planetary Ring Node: Jupiter's Ring System Planetary Ring Node: Jupiter's Ring System- Information, animations, images and references. NSSDC: Comet Shoemaker-Levy 9 Collision NSSDC: Comet Shoemaker-Levy 9 Collision- General information, reports and pictures of the event taken from many observatories. Welcome to the Planets: Jupiter Welcome to the Planets: Jupiter- Includes a planetary profile with statistics and pictures. JPL: Comet Shoemaker-Levy 9 Collision JPL: Comet Shoemaker-Levy 9 Collision- Reports, news, links and images taken from spacecraft and ground based observations. North American Fossil Mammal Systematics Database North American Fossil Mammal Systematics Database- Consists of phylogenies, taxonomic histories, age-ranges, and body mass estimates for genera and species of Cretaceous and Cenoz… Faunmap Faunmap- An electronic database for the late Quaternary distribution of mammal species in the United States. IFREMER IFREMER- French Institute of Research and Exploitation of the Sea. The only French body with an exclusively maritime vocation. Under the joint authority of the Ministries of Resea… l'Observatoire Océanologique de Banyuls l'Observatoire Océanologique de Banyuls- An institute of the CNRS. Observatoire Océanologique de Villefranche-sur-Mer Observatoire Océanologique de Villefranche-sur-Mer- An institute of the CNRS. Ngô Thanh Nhàn Ngô Thanh Nhàn- Bibliography of papers in linguistics and computer standardization related to Vietnamese.