| |
Top >
Regional >
Asia >
India >
Delhi >
Business_and_Economy >
Agriculture
- Windsor Exports - Supplier of Rhino brand of agricultural machines. Includes complete list of products.
Top >
Regional >
Asia >
India >
Delhi >
Business_and_Economy >
Animals
- Jeonwal - Breeds rottweilers. Includes photo gallery.
Top >
Regional >
Asia >
India >
Delhi >
Business_and_Economy >
Services >
Security_Services
- APS Group - Provides guarding services and security systems to banks, financial institutions, offices, hospitals, hotels, restaurants and other customers.
- Watchdog Security - Employs security personnel to guard industrial plants, commercial complexes and corporate properties.
Top >
Regional >
Asia >
India >
Delhi >
Business_and_Economy >
Services >
Translation
- ILA Translation - Accepts all types of translation projects including business cards, technical manuals and web pages. Als offers subtitling and dubbing services, and web localization.
- Crystal Hues - Offers document, web, multimedia and software localization services.
- Native Bengali, Hindi and Russian Freelance Translator - Offers translation services from English into Bengali, Hindi, Gujarati, Punjabi, Urdu, Assamese, Oriya, Malayalam, Tamil, Telegu, Marathi and other Indian languages.
Top >
Regional >
Asia >
India >
Delhi >
Business_and_Economy >
Shopping >
Apparel
- Shyam Shawls - Designer of merino, pashmina semi toosh, lambswool, silk pashmina and cashmere shawls.
- Ushnak Mal's Pride - Makes women's apparel including sarees, lehengas, dress materials and suits.
Top >
Regional >
Asia >
India >
Delhi >
Business_and_Economy >
Shopping >
Jewelry
- Belirams - Crafts antique sterling silver, silverware and antique fine jewelry using materials such as sterling silver, gold, diamonds and gemstones.
- Jewelry House - Designs and makes costume jewelry, fashion jewelry and handicrafts. Includes an online catalog of jewelry products.
- Jewel Place Online - Includes a catalog that features jewelry products such as silver jewelry, watches, anklets and wedding bands.
- Bindi Fashion - E-store offering a collection of handcrafted Bindis, bracelets, face bindi, naval bindi, body jewelry and other adornments.
Top >
Regional >
Asia >
India >
Delhi >
Business_and_Economy >
Shopping >
Religion_and_Spirituality
- Sudhanshu - Offers vedic astrology services and products.
- My Astro Helpline - Online resource for information on Vedic and Indian astrology services.
- Cosmic Synergy - Provides Indian Vedic astrology consultation relating to career and education, physical health, personal life, child birth and relationships.
- Soothsayers India - Offers vedic astrology advisory services, horoscope matching, birth time determination and karmic remedial action.
- Nirmal Darbar - Offers faith healing, psychic predictions, astrological consultancy services, and more.
- Jyotishvani - Online portal for Indian astrology products and services.
- Jyotishvani Remedies - Practitioner of vedic astrology. Lists services offered and offers free horoscope using western astrology.
- Horosoft - Offers an astrology software based on Vedic astrology and different types of astrology consultancy services.
- Horoscope Matching - Couple compatibility consultancy services based on vedic principles.
- Astrology Time Cycle - Astrology consultation on business and financial matters.
- Jyotish Kendra - Offers services in the areas of astrology, palmistry and Vasstu Shastra.
Top >
Regional >
Asia >
India >
Delhi >
Recreation_and_Sports >
Arts_and_Craft
- Henna Mehndi - Offers henna body products and tattoo services.
Top >
Regional >
Asia >
India >
Delhi >
Transportation >
Car_Rental
- Car Rental in India - Provides car rental services from deluxe to budget vehicles, chauffeur-driven car rental services and guaranteed coach tours in India.
- Rent-A-Taxi - Offers a selection of cars for rent, cars with uniformed chauffeurs and coach tours in India.
- CarsOnHire-India - Provides car rental, taxi rental and car rental package tours in India. Features hotels for reservation, rental car selection and tour packages.
Top >
Regional >
Europe >
Spain >
Business_and_Economy >
Industries >
Foods_and_Beverages >
Beverages
- Azteca Trade - Supplies tequila in bulk and custom made spirits. Based in Madrid.
- Lar de Barros - Based in Badajoz, produces wines entitled to the Denomination of Origen Ribera de Guadiana.
- Vinícola de Tomelloso - Based in Tomelloso (Ciudad Real). Production of wines. Includes list of different types of wines.
- Bodegas Riberalta - Based in Gumiel de Izán (Burgos). Production of wines with Denomination of Origin 'Ribera del Duero'. You can join their Club and have a barrel put aside for you with your name.
- Estrella Galicia - Hijos de Rivera, S.A. familiar business. Production of beer. Located in Galicia.
- R. Zabala - Based in Aduna (Guipuzcoa), they produce cider and offer gastronomical dinners where you can taste they cider.
- Bodegas Sierra de Guara - Located in Huesca, familiar business. Production of Crianza, white and red wines.
- Bodegas Dolores Morenas - Based in Los Santos de Maimona, in the province of Badajoz. Produces 2 types of wines, D.O. Ribera de Guadiana and Wines from Extremadura. (Both have red and white types).
Top >
Regional >
Europe >
Spain >
Business_and_Economy >
Industries >
Foods_and_Beverages >
Food
- Frigorífics Ros, S.A. - Worldwide distributor located in Blanes (Gerona). They offer from fresh blue fish, their specialty, to processed products.
- Palacios - Located in La Rioja. Production of cold meats and sausages, fresh pizza, cakes, omelets and ready meals. Subsidiaries in France and Unites States.
- Harineras Villamayor - Located in Huesca. Production and distribution of flours and semolina.
- Interal S.A., - Productions and packing of broths, soups, sauces and other meals. Wide range of products for catering, retailers and private label. Products exported worldwide.
- Cesma, S.L. - Located in Badajoz. Family-run business dedicated to the growing of olives and manufacturing of olive oil.
- Todolivo - Based in Cordoba. Experts in the world of olive trees plantations.
- Pastas alimenticias Romero - Based in Daroca (Zaragoza). Production of pasta.
- Eurofrits - Frozen food company based in Burgos. Manufacturing of frozen pre-cooked products and frozen French fries, for both the retail and the food service sectors.
- AlFrio Group - Fish processing and ready-dishes factories. Based in Vigo.
- Lácteas Cobreros - Based in Zamora. Production of lactic products. Own transport fleet and distribution all through Europe.
- Rosara - Canning of denomination of origin Navarra products and its peeling and canning with no preservatives or colorants. Includes recipes and producto preparation process information.
Top >
Regional >
Europe >
Spain >
Transportation >
Airlines
- Spainair - Green days offers. Phone check-in. Automatic check-in machines.
- Binter Canarias - Binter Canarias: frequent flyer program. Passengers rights. Offers flights schedules, fares and online buying services.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Arts_and_Entertainment
- Crave Party - Creates exclusive parties for women who want to pamper themselves with delicious food, relaxing spa treatments and enticing products.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Business_and_Economy >
Employment
- SE Works - Community-based workforce development organization providing employment, training and supportive services.
- Jobdango - Lists available jobs in Portland and the rest of Oregon.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Business_and_Economy >
Home_and_Garden
- Cargo Inc. - Warehouse importing one-of-a-kind antiques and artifacts from around the world for the home and garden.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Business_and_Economy >
Organizations
- Greener Good - Educates, empowers and supports the growth of all women professionals who value environmentally friendly practices.
- Oregon Association of Minority Entrepreneurs - Promotes and develops entrepreneurship and economic development for ethnic minorities in Oregon.
- Women Entrepreneurs of Oregon - Offers education, networking, and mentoring opportunities to help women succeed in business.
- Software Alliance of Oregon - Provides networking and educational opportunities, workforce development programs, and valuable company benefits to those in the software industry.
- OCIABC - Supports professional communicators with lifelong learning opportunities to help them excel in their chosen disciplines.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Business_and_Economy >
Restaurants_and_Bars
- World Cup Coffee and Tea - Offers specially roasted coffee and premium teas obtained from ethically operated organic farms.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Business_and_Economy >
Shopping >
Clothing
- Michelle Decourcy - Hip NW Portland boutique featuring 80s-inspired original designs.
- Blake - Features a wide array of innovative casual clothing from independent designers.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
News_and_Media
- KBNP - Finance-focused radio station providing resources on how to make, grow and protect one's income.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Society_and_Culture >
Activism
- Portland Impact - Helps people achieve and maintain self-sufficiency and works towards preventing and alleviating the effects of poverty.
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Society_and_Culture >
Gay,_Lesbian,_and_Bisexual
Top >
Regional >
United_States >
Oregon >
Cities >
Portland >
Travel_and_Tourism
- Portland Spirit - Premier dinner ship offering cruises along the Willamette and Columbia rivers.
Top >
Regional >
United_States >
Washington >
Cities >
Vancouver >
Society_and_Culture >
Clubs_and_Lodges
- Women in Action - Nurtures personal, professional, social and civic growth in Southwest Washington.
Top >
Science >
Math >
Geometry >
Higher_Dimensional
Top >
Science >
Math >
Geometry >
Non-Euclidean
Top >
Science >
Math >
Geometry >
Plane_Geometry
Top >
Science >
Math >
Geometry >
Sculpture_and_Art
- Art, Geometry, and Abstract Sculpture - Various activities on computer graphics, art, math, geometry, and abstract sculpture.
- Geometric Sculpture - Features the works of George W. Hart. Focus is on constructive geometric forms.
- Geometricks - Includes virtual 3D, forum, gallery and triangle construction.
- Geometry Gallery - Collection of different geometric forms. Maintained by Vedder Wright.
- Islamic and Geometric Art - Features various designs, with additional information. Includes biography of the artist and shop to purchase some of the artistb.
- Kenneth Snelson Gallery - Sculptures using the concept of tensegrity.
- Math Art Gallery - Includes singularity knots, singularity knot animations, pictures generated by vort, and a few 3D fractals.
- Geometry@pendred.net - Features geometrical objects, including polyhedra, domes, tensegrities, towers, pyramids and helices.
- Religious Beliefs Made Visual: Geometry and Islam - Includes classroom exercises to explore construction of Islamic patterns.
- Sculpture Designs and Math Models - Features the works by Carlos H. Sequin.
- MathArt.org - Presents sculptures by Stewart Dickson, a pioneer in the field of visualizing mathematical objects in three physical dimensions using computer-aided rapid mechanical prototyping technologies, such as Stereolithography.
- Richard Hawkins' Digital Archive - Synergetic geometry images and animations. Also includes link to New Civilization Network.
- Tips & Tricks to Gothic Geometry - Ebook by Joe Chiffriller. Includes 30 pages of diagrams, full-color photos, step-by-step instructions, and dozens of links to further resources on the Web. Available in pdf format.
- Tom Lechner's Sculptures - Collection of artworks, some available for sale. Includes links to drawings, prints, murals and Consumption.
- Objects That Cannot Be Taken Apart with Two Hands - Construction based on the symmetries of a dodecahedron. Includes pictorial description of the theorem and other researchers' constructions.
- World of Escher - Explores the works of M.C. Escher. Provides insights and products to promote the Escher's works.
Top >
Science >
Math >
Logic_and_Foundations >
Computational_Logic
- Automated Reasoning - Article from the Stanford Encyclopedia of Philosophy.
- Dual Identity Combinators - Provides an analysis of the effect of the identity combinators in dual systems. Written by Katalin Bimbó.
- John's Lambda Calculus and Combinatory Logic Playground - Includes links to paper available in pdf or postscript, and a java applet interpreting the simplest language.
- Lambda Calculus - Guide to lazy and strict versions of the lambda-calculus interpreter.
- PhoX Proof Assistant - Proof assistant that is eXtensible and is based on High Order logic. Includes links to download system and manual.
- Alfa - Proof editor succeeding ALF, an editor for direct manipulation of proof objects in a logical framework based on Per Martin-LC6f's Type Theory. Free download available.
- HOL Project - Automated proof system for higher order logic. Operates as an open source project with a BSD-style license allowing free use in commercial products.
- Isabelle - Generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow).
- Kumo - Web-based proof assistant for first order-hidden logic, using OBJ3 as a reduction engine. Also generates proof documentation for the web and supports distributed cooperative proving.
- LEGO Proof Assistant - Interactive proof development system designed and implemented by Randy Pollack in Edinburgh.
- MetaPRL - Logical framework defining and relating multiple logics, and a system implementation with support for interactive proof and automated reasoning. With download links, tutorials, user guide and developer guide.
- PRL Project - Focuses on implementing computational mathematics and providing logic-based tools that help automate programming.
- Proof General - Generic interface for proof assistants, based on the customizable text editor Emacs. Works with either XEmacs or GNU Emacs.
- Yarrow - Proof-assistant for Pure Type Systems (PTSs) with several extensions. With user guide, installation guide, tutorials and articles about Yarrow.
- Coq Proof Assistant - Formal proof management system, based on a logical framework called Calculus of Inductive Constructions extended by a modular development system for theories. With links to download, documentation and related tools.
- CtCoq - Provides a working environment for the Coq theorem prover. Developed at INRIA Sophia Antipolis.
Top >
Science >
Math >
Logic_and_Foundations >
Foundations
- Arche - Unit within the School of Philosophical and Anthropological Studies at the University of St. Andrews. Provides a focal point for the active and successful philosophical research culture which exists at St. Andrews.
- Century of Controversy over the Foundations of Mathematics - Focuses on foundations of mathematics, discusses connections with physics, and proposes a program of research for the next century. Talk delivered by Greg Chaitin at the Umass-Lowell in 1999.
- Foundations of Mathematics - Automated e-mail list for discussing foundations of mathematics. Subscriptions and postings upon approval of the moderator.
- Foundations of Mathematics Textbook/Reference - Resource center organized as a book as opposed to an encyclopedia, dictionary, directory, or link collection.
- Hilbert II - Forming a free, worldwide mathematical knowledge base that contains mathematical theorems and proofs in a formal correct form. Project is in tradition of Hilbert's program.
- Mizar - Includes links to download system, Journal Formalized Mathematics, list of conferences, and mathematical library.
- Practical Foundations of Mathematics - Collects the methods of construction of the objects of twentieth century mathematics. With instructions on how to order copy.
Top >
Science >
Math >
Logic_and_Foundations >
Publications
- Proofs and Types - By Jean-Yves Girard, Yves Lafont and Paul Taylor. Available in pdf, dvi, or postscript.
Top >
Science >
Math >
Logic_and_Foundations >
Publications >
Bibliographies
Top >
Science >
Math >
Logic_and_Foundations >
Publications >
Journals
- ScienceDirect Top 25 Hottest Articles - List of the top articles in the Annals of Pure and Applied Logic journal.
- Archive for Mathematical Logic - Articles available to subscribers. Non-subscribers may purchase articles online.
- Bulletin of Symbolic Logic - Articles in postscript, available for free download.
- Fundamenta Mathematicae - Focuses on papers on set theory, mathematical logic and foundations of mathematics, topology and its interactions with algebra, and dynamical systems.
- History and Philosophy of Logic - Available for subscription.
- Israel Journal of Mathematics - With indices available in ps, dvi, tex, or pdf.
- Journal of Functional and Logic Programming - Electronic journal covering topics from functional and logic programming. Available in postscript or pdf.
- Journal of Logic and Computation - Provides free access to abstracts. Full text available to subscribers, or may be purchased by non-subscribers.
- Journal of Mathematical Logic - Offers free online sample issues and abstracts. Full text available in pdf to subscribers.
- Journal of Symbolic Logic - Publishes articles on symbolic logic, including its connections with mathematics and philosophy as well as computer science and linguistics. Full text available to ASL members via JSTOR.
- Electronic Journal on Pure and Applied Logic - Articles available in dvi or postscript.
- Logic Journal of the IGPL - Publishes papers in all areas of pure and applied logic. Full text available to subscribers.
- Modern Logic - Journal for the history, philosophy, invention and pedagogy of modern logic, set theory, and the foundations of mathematics. With links to subscription and publication information.
- Nordic Journal of Philosophical Logic - Articles available in pdf. Restricted to subscribers only.
- Notre Dame Journal of Formal Logic - Publishes works of researchers on logic and foundations of mathematics.
- Studia Logica - Publishes original papers on logical systems, which utilize methods of contemporary formal logic, those of algebra, model theory and proof theory.
- ACM Transactions on Computational Logic - Covers the field of computational logic consisting of all uses of logic in computer science.
Top >
Society >
Law >
Legal_Information >
Drunk_Driving
Top >
Society >
Law >
Legal_Information >
Elder_Law
- The National Academy of Elder Law Attorneys, Inc. - Non-profit community providing information, education, networking and assistance to lawyers and bar organizations representing the elderly and people with special needs.
- ABA Commission on Law and Aging - Provides online books and text for the research, education and advocacy of elder law.
- The Elder Law Journal - Scholarly publication published twice a year by students of the University of Illinois College of Law, addressing elder law issues in the US.
Top >
Society >
Law >
Legal_Information >
Law_Reform
- HALT - Organization of Americans for legal reform. Consists of more than fifty thousand members seeking to challenge the legal establishment and improve access and reduce costs in the civil justice system.
- British Columbia Law Institute - Consists of projects, programs and publications to reform laws so they meet modern social needs.
- Common Good - Provides information and resources focused on restoring common sense to American law.
- Save Our Courts Campaign - Educates on judicial law and informs the public about the Bush administration's extremist nominees to the federal courts.
Top >
Society >
Law >
Legal_Information >
Law_Reform >
Litigation_Reform
|