| Bertrand Bertrand solves sets of first-order predicate logic statements for satisfiability (consistency), validity, and equivalence. It also checks single statements for "logical truth" (tautology) and "logic |
| Paradox A tool that processes first-order logic problems and tries to find finite-domain models for them; written by Koen Claessen and Niklas Sörensson. Haskell and C++; free download under GPL. |
| Gametangia_of_Amoebophilus_simplex Photomicrograph of the reproductive structures of this species. |
| Tennessee_Spatial_Data_Server GIS data for the state of Tennessee. DOQQs, DRGs, DEMs, boundaries, wetlands, and geology. |
| Sarsen_Technology Services offered by technical representative and distribution company. Includes careers information and location details. Based in the UK. |
| Gold_Dragon_Optics A manufacturer of precision optical components. Company profile, products, and contacts. |
| Gravity_Simulator [freeware - Win 9x/NT/2k/XP] Simulates orbits of planets and other celestial bodies. |
| Rutgers_Optimality_Archive Contributed-content index of Optimality Theory information. Searchable or browseable data, submission and update forms, font and utility downloads, links to other collections. |
| Transgene_S_A_ Gene therapy company based in France is developing products for cancer and cystic fibrosis. Vector platforms include adenovirus, retrovirus, vaccinia virus, cellular and synthetic vectors. |
| Combinatorial_Optimisation_of_Worm_Propagation By Eric Filiol, Edouard Franc, Alessandro Gubbioli, Benoit Moquet and Guillaume Roblot. [PDF] |
| Tribology_-_Wikipedia Brief entry providing information on applications and origins. |
| Molecular_Medicine Monthly journal publishing original research that utilizes molecular techniques in the study of specific diseases. |
| Brown,_Cecil_H_- Research and teaching interests in linguistic anthropology, including ethnobiology, language and culture, and historical-comparative linguistics. Fieldwork among the Huastec and Zapotec speakers of Me |
| CC_Technologies CC Technologies is an engineering, research and testing firm specializing in corrosion, corrosion control and pipeline/plant integrity. |
| Deltagen_and_Lexicon_Knockout_Mice A database of select mutant mice and frozen embryo stocks created and characterized by Deltagen Incorporated and Lexicon Genetics Incorporated. Available for use without restrictions for academic and |
| Hyperoartia Introduction to the taxonomy of lampreys by Philippe Janvier. |
| Wilkie,_Alex Oxford University - Models of arithmetic. |
| Organic_Syntheses Describes checked and edited experimental procedures, spanning a broad range of synthetic methodologies. CrossRef(R) and Chemport(R) enabled reference linking. |
| Planning_Resource UK planning portal. Includes news, employment, appeals, education, documents, consultants directory, and forum. |
| University_of_Minnesota__Biomedical_Sciences_Graduate_Programs Provides Ph.D. programs in biomedical sciences including Biochemistry, Biophysics, Cancer Biology, Cell and Developemental Biology, Genetics, Immunology, Microbiology, Neuroscience and Pharmacology. |
