| Alfa A successor to the proof editor Alf with a graphical user interface, being developed at the Programming Logic Group at Chalmers. Available for download. |
| The_HOL_Theorem_Proving_System The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction with tactics. |
| Isabelle Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich. |
| Kumo A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic a |
| The_LEGO_Proof_Assistant A powerful tool for interactive proof development in the natural deduction style. It supports refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects of i |
| MetaPRL_logical_programming_environment The next generation of the NuPrl proof development system. The main new features of MetaPRL include: 1) Modularity. Programs and logics are developed as modules that define computational, heuristic, a |
| NuPrl_Proof_Development_System A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language based on Martin-Lof type theory, extensive library |
| The_Practice_of_Logical_Frameworks Comprehensive survey article by Frank Pfenning (1996) discussing the history of work on logical frameworks and their current open problems. |
| Proof_General Emacs based generic interface for theorem provers. |
| Yarrow A proof-assistant for Pure Type Systems (PTSs), representing different logics and programming languages. A basic knowledge of Pure Type Systems and the Curry-Howard-de Bruijn isomorphism is required. |
| GEO_600 Project aiming at the direct detection of gravitational waves by means of a laser interferometer of 600 m armlength. |
| AquaShield Provides a full range of stormwater treatment solutions that meet LEED regulations including catch basins, concentrators, and filters. |
| BaySaver,_Inc_ Designs and manufactures stormwater treatment systems. Includes product details and FAQ. Based in Maryland. |
| Best_Management_Products,_Inc_ Makes and designs stormwater improvement products to help reduce non-point source pollution from run-off. |
| Bio_Clean_Environmental_Services,_Inc_ Offers stormwater filter systems designed to treat stormwater run off. Treats both no-point runoff and rain runoff. Also sells bacterial treatment products and services. |
| Clear_Water_Compliance_Services Offers treatment of runoff, stormwater, and industrial wates water for construction sites, industrial and marine facilities, business parks, residential complexes, and municipal drainage basins. |
| Contech_Stormwater_Solutions Offers a comprehensive line of treatment and detention/retention technologies. |
| CULTEC,_Inc_ Manufacturer of Contactor and Recharger plastic chambers. Specification information, free stormwater design calculator and AutoCAD downloads. |
| Ecoclean_Sdn_Bhd Malaysian licensee for CDS gross pollutant traps, treatment devices for fine sediments, sewage separation and industrial seperators. Provides details of past projects. |
| Filterra_Bioretention_Systems__Stormwater_Bioretention_Filtration_System Product uses a combination of landscape vegetation and a specially designed filter media that allows bacteria, metals, nutrients and total suspended solids (TSS) to be removed naturally. |
| Geotechnical_Marine_Corp_ Provides hydro-cartridge filtration systems. Site offers demonstration videos. |
| Hydrograss_Technologies_Inc_ Provider of solutions for stormwater management, erosion control, slope stabilization, dust contol and turf enhancement projects. |
| HydroLogic_Solutions_Inc Design and manufacture plastic stormwater chambers. Includes installation data, product specifications and support documentation. |
| Hydroworks Offers separators and filtration systems for urban developments. |
| Stormdrain_Solutions Offers catch basin inserts for the mitigation of stormwater pollution. Does not require alterations to existing catch basins. |
| StormTreat_Systems,_Inc Multi-stage storm water treatment system removes and reduces a broad range of pollutants including bacteria, petroleum hydrocarbons, metals, and nutrients. |
| Stormwater_Compliance_Solutions New Jersey firm provides engineering consulting and construction services to municipalities, corporations, and individuals to assist with stormwater management planning, maintenance and reporting obli |
| Stormwaterworks Provides a full range of treatment and inlet protection for non-point source pollution control and SPCC compliance, such as catch basin inserts and filters, truck and tire wash systems, and gravel bag |
| Suntree_Technologies Offers baffle boxes, grate inlet skimmer boxes, and other stormwater pollution control devices. Includes information on product specifications and testing. |
| Virgin_Globe Provides stormwater consulting and management services to developers, architects, contractors and engineers. |
| MVL-TC IEEE Technical Committee on Multiple Valued Logic. |
| Linguistics_Forum An academic but informal linguistics forum. Covers syntax, semantics, morphology, phonology, first and second language acquisition, sociolinguistics, and other theoretical and applied areas of linguis |
| Inflectional_Morphology A tutorial explaining several ways to understand the inflectional lexicon. |
| American_Russian__An_Endangered_Language? Article by Maria Polinsky discussing a case of language attrition. [PDF] |
| Atlas_of_North_American_English A survey of linguistic changes in progress in North American English. |
| Language_and_Social_Interaction_Division_of_NCA Special division of the National Communication Association promotes the understanding of language as a tool for communication. |
| North_Carolina_Language_and_Life_Project An organization performing sociolinguistic research and leading educational programs in representative speech communities. |
| Dunya_Translation_Bureau Our establishment targets to provide services to all of the world other than providing services for the foreign language needs and we have translators with the total number reaching up to 90 persons w |
| The_Freelance_Translation_Profession Lecture by M.S.N. Carpenter on whether freelancing is viable. Discusses various issues, including tips. |
| The_Language_Realm Roger Chriss's page with library and resources, including his "Language as a Profession" series of articles. |
| Online_Continuing_Education Offers services for counselors and social workers, with course catalog and FAQ. |
| Computational_Economics Integrates computer science with economic and management science, including symbolic information processing, numerical procedures, computational aspects of mathematical programming, hardware developme |
| Geneva_Papers_on_Risk_and_Insurance_Theory Publishes mostly theoretical papers on the economics of the insurance industry. |
| Anthropology_Internet_Resources Web sites and online journals recommended by the University of North Texas Libraries. Also features subject guides that include encyclopedias, dictionaries, and handbooks. |
| Canadian_Studies Features the undergraduate studies program, career opportunities and contact details. Located at St. Francis Xavier University in Antigonish, Nova Scotia, Canada. |
| Canadian_Studies Presents information about the undergraduate program, the department and Canadian parliament internships. Located at Franklin College in Franklin, Indiana, USA. |
| Canadian_Studies_Program Details on the undergraduate program, related disciplines, courses, admission requirements and contact details. Located at the University of Calgary, Alberta, Canada. |
| North_American_Studies Presents the undergraduate program and courses, travel opportunities and the North American Institute. Located at Colorado College in Colorado Springs, CO, USA. |
| BASEES British Association for Slavonic and East European Studies |
| School_of_Social_Studies,__University_of_Northampton Includes links to homepages for main areas of study within this department. |
| Comparative_Constitutions_Project The intent of the project is to investigate the sources and consequences of constitutional choices. Includes faculty, news, publications and courses. |
| Comparative_Politics_and_International_Relations List of resources from the Vanderbilt University Library. |
| Comparative_Politics_Research_Guide Maintained by Emory University, Georgia. Includes description of the field. |
| Comparative_Politics_Resource_Center Designed to be used as a companion to textbooks. Included are case studies and info-trac reader subscription service. |
| General_Comparative_Politics_Resources From the University of West Virginia. |
| International_Relations_&_Comparative_Politics List of resources with summaries from Georgia State University. |
| Longman_Comparative_Politics Included are interactive geography quizzes, narrative and statistical data from twenty-four diverse countries. |
| Papers_in_Comparative_Politics Listed by author includes links to academic papers published online. |
| Wikipedia__Comparative_Politics Includes definition, links and comparative strategies. |
| Andy\'s_American_History_Worksheets Middle school topics in American history with rhyming couplets on the front and questions on the back. |
| The_Big_Myth An experimental learning module designed for use in European primary school classrooms. It is a sociology textbook for the comparative study of world creation mythology. The myths are told using Flash |
| Canadian_Provinces_and_Territories Canadian map activity that plays the national anthem. |
| Canadian_Provinces_and_Territories_Outline_Maps Canadian outline maps free for downloading and printing. |
| The_Castle_of_King_Edward Virtual tour of a medieval castle explaining the history, architecture, culture, religion, food, royalty, knights, armor and traditions. Designed for teachers, students and kids. |
| Columbia_Education_Center__Social_Studies_Lesson_Plans Lessons for elementary, middle and high school students. |
| Coming_to_a_New_Land This webquest will increase student understanding of Ellis Island and the immigrant experience in the U.S. The webquest is designed for fourth grade students. |
