| |
Top >
Arts >
Directories >
Artists'_Resources
- ArtDeadline.com - Directory of job and exhibition opportunities for artists.
Top >
Business >
Business_to_Business >
Real_Estate >
Residential >
Corporate_Housing
Top >
Business >
Investing >
Commodities_and_Futures >
Precious_Metals
Top >
Business >
Investing >
Commodities_and_Futures >
Precious_Metals >
Gold
- World Gold Council - Information and advice on investments in gold. Also offers resources on where to buy gold and jewelry.
- The Gold Institute - Offers facts and uses for gold while including a general overview of supply and demand, markets and investments and mining.
Top >
Recreation >
Knives >
Organizations
Top >
Recreation >
Theme_Parks >
Water_Parks
- Raging Waters - Offers park information, an online park map, and a calendar of upcoming events.
- Water Wizz - Provides directions to the park, general information, and ride profiles.
- Water Country - Official website offering ride information, directions to the park, and an online map.
Top >
Regional >
Asia >
India >
Chandigarh >
Business_and_Economy >
Computers_and_Internet >
Software
- Boss Computer Ltd. - Offers computer education in Northern India; imports and trades electronics and computer components; and assembles PCs under the brand name "Boss.".
- IDS Infotech Ltd. - Offers business process solutions such as document management and content management and publishing; call center operations for in-bound and outbound calls; technology solutions for IT and engineering; and process outsourcing consultancy.
- Digitech - Delivers website designig, web hosting and domain names services.
- Kadkraft Systems Pvt. Ltd. - Offers courses in CAD, CAE and CAM. Authorized Autodesk and Ansys training center.
- OST - Markets servers, desktops, notebooks, accessories and peripherals, and comRACK cabinets.
- Matrid Technologies - Web solutions provider of web designing and hosting; software solutions provider; and data handling and transcription services provider.
- Safaltek - IT company supplying offshore software development, web design and development, software testing and maintenance, multi-media solutions, business process outsourcing and other IT solutions.
- Smart Buzz - Provides expertise in web development. E-business solutions, IT and Internet consulting, software applications, and desktop database and programming.
- Seasia Consulting - Distributor of software products for school administration, library management, payroll management, and more; and provides management consulting, software development, website development, interactive portals, business process outsourcing and more.
- SmartData Enterprises - Serves in the information technology fields of database design, management and administration, application and product development, IT-enabled data management, and quality assurance and testing.
Top >
Regional >
Asia >
India >
Chandigarh >
Business_and_Economy >
Computers_and_Internet >
Web_Design_and_Development
- Area 51 Web Design - Engages in providing web design, web development and Internet marketing and promotional services.
- Centronics Web Systems - Offers web and software development, website updating, online promotions, portal solutions, application services and web hosting services.
- Birbals - Provider of domain names, web hosting, web designing, website promotion, e-commerce solutions and multimedia solutions.
- Buzz Infosystems - Provides web design and development, web hosting and search engine optimization services.
- Cibol - Offers web services such as hosting, designing and development; marketing communication and media services such as branding and advertising; and data entry services, and data conversion and digitization.
- Web Info Services - Offers web design, programming and maintenance, web marketing, graphic design, application development and networking solutions.
- Focus India - Offers Linux, Windows and reseller hosting, dedicated servers, domain registration, web development and website promotion.
- InstaXs - Offers domain registration, web hosting, email solutions, web designing, server colocation solutions, and more.
- MegriSoft - IT concern delivering web promotion, web designing, web hosting, domain registration, database solutions, e-commerce solutions, software development, and embroidery digitizing services.
- Net Prabhu - Provides web hosting, reseller solutions and domain registration.
Top >
Regional >
Europe >
Spain >
Arts_and_Entertainment >
Photography
- Iberimage - Image bank, where you can buy or sell your photographies.
- Cover - Picture agency. Information about its magazine and Photoschool.
- Solarpix - Celebrity Photographic Agency. Worldwide syndication. Photo collection and publications links.
- Fotos Visupro - Studio located in Barcelona. Covers different styles and markets.
Top >
Regional >
Europe >
Spain >
Arts_and_Entertainment >
Photography >
Photographers
- Rafael Roa - Art Work and Commercial Portfolio in Flash film. Bio and contact information.
- Fran Fernández - Corporate and industrial photo, travels and portrait. List of Clients and photo gallery.
- Tino Soriano - National Geographic assignments, photo workshops program and books.
- Montse Faixat - Her Curriculum and contact information.
- Gonzalo López Tarasido - Work galleries, his bio and contact information.
- Ricard Terré - Information about current exhibits of his photographs, work selection, bio and contact information.
- Javier Arcenillas - Architecture, dance or Down Syndrome galleries. Information on how to acquire his work and how to contact him.
- Oriol Tarridas - Portraits, lifestyle, stories, publications and portfolio sections.
- Fernando Puche - Six thematic portfolios in the field of nature. Information about exhibitions, books and new releases.
- Javier Nombela - Jazz photographer. Bio and News sections."Around Jazz" Exhibition catalog.
Top >
Regional >
Europe >
Spain >
Recreation_and_Sports >
Soccer
Top >
Regional >
United_States >
Georgia >
Cities >
Atlanta >
Business_and_Economy >
Construction >
Builders
- New South Construction - Mid-size commercial general contractor with core projects that include private schools, churches, private clubs, airport work, corporate work, industrial plants, law enforcement facilities, and office buildings.
- C&D Morales Construction - Specializes in installation of quality concrete, whether regular, stamped, colored or custom finishes. Offers free estimates.
- European Architectures - General contractors company handling any type of construction project, whether new or remodel projects.
- RLS Construction - Specializes in remodeling, kitchen and bath, windows and new homes.
- PRO Building Systems - Design and build company for retail, automotive, industrial and warehouses, aviation, and office construction. With link to projects handled.
- Home Rebuilders - Designer and builder of remodeled homes. Includes links to showroom, small projects, portfolio, financing, client services, handyman services and contact information.
- Beazer Homes - Builds homes and communities, and provides mortgage origination, title and insurance services to homebuyers.
- Sharon McSwain Homes - Builds communities and homes that meet the preference of home buyers.
- Bullock Development - Home development company, handling everything from design to engineering and the construction phase of the project.
- Centex Homes - New home builder. With list of homes ready for occupancy, and links to loans and insurance, and warranty request.
- Donny Brook Home - Builds and provides homes according to customer specifications and needs.
- Hedgewood - Builder of communities and new homes that are custom-designed.
- McConnell Homes - Custom home builder, offering services from lot selection to land development. Projects include Lampkin Street Cottages.
- Meyer-Sutton Homes - Home and community developer. Communities include Flowers Crossing, Leesburg Plantation, The Woods at Swan Lake, River Oaks and Southfield.
- Patrick Malloy Communities - Communities include Mill Pond in Carroll County, Harmony on the Lakes in Cherokee County, and Ridenour/Concorde Row in Cobb County.
- Richport Properties - Develops communities including Avington, Village Grove, Stonecypher and Vineyard Gate.
- CMK Contracting - Offers civil contracting and consulting services, including asphalt and concrete plant construction, asphalt production, clearing and grading, environmental cleanup, and project management.
Top >
Regional >
United_States >
Georgia >
Cities >
Atlanta >
Business_and_Economy >
Real_Estate
- Hufham Group - Venue for home buyers and sellers in all metropolitan areas. Provides real estate buying and selling tips, relocation help, and mortgage information.
- R. James Properties - Manages residential housing units in metropolitan Atlanta. With home finder tool, links to property listings and resident services.
- We Buy Houses - Purchases homes in any condition in the Atlanta area.
- AtlantaHouseBuyer - Buys houses in the Decatur/East Lake area with at least 3 bedrooms. With contact information, testimonials and incentive packages.
- Ravenswood Investments - Buyer of single-family homes and townhomes in Atlanta.
- Bull Realty - Assists clients in buying, selling, leasing, exchanging, developing, managing and financing commercial and investment real estate.
Top >
Regional >
United_States >
Georgia >
Cities >
Atlanta >
Business_and_Economy >
Real_Estate >
Residential
- Cotting Court - Condominium created as a legacy to Midtown Atlantab.
- Borghese - Condominium with Italian style. Offers links to location, amenities, homes, news and contact information.
- One Buckhead Loop - Condominium located in Metro Atlanta. Offers virtual tours and financing schemes.
- East Village Park - New homes available in Atlanta. With links to style and design, floor plans and renderings, standard features and area highlights.
- Habersham Oaks - With details on the units for sale.
- Mayfair Renaissance - High-rise condominium located adjacent the Mayfair Tower.
- The Metropolitan - Condominium community in downtown Atlanta. Includes details on units for sale or rent, floor plans, condo management and residential guide.
- Peachtree Lofts - Condominium located in midtown Atlanta. Provides location information and some pictures.
- Peachtree Towers - Condominiums within Atlanta’s business, shopping and entertainment district.
Top >
Regional >
United_States >
Georgia >
Cities >
Atlanta >
Business_and_Economy >
Real_Estate >
Residential >
Agencies
- Atlanta Cityside Realty - Full service real estate brokerage firm focused on representing Intown Atlanta home buyers and sellers.
- Atlanta Intown - Venue for buying and selling residential and commercial properties.
- Bo Bridgeport - For buying and selling residential properties. With information on how to buy or sell, testimonials and workshops.
- Casey and Associates Realty - Provides residential real estate services, including buying for investment, for personal residence, or for development. Includes listings, featured properties, mortgage center and list of commercial properties.
Top >
Science >
Math
- GAF – Group Action Forum - International mathematical association formed as an interdisciplinary discussion forum for mathematicians interested in different branches of mathematics.
Top >
Science >
Math >
Calculus >
Software
- Tools of Tensor Calculus - Software from Mathematica for doing tensor and exterior calculus on differentiable manifolds. Includes download links.
Top >
Science >
Math >
Logic_and_Foundations >
Software
- ACL2 Version 2.9 - Computational Logic Applicative Common Lisp. Models computer systems and proves properties of those models. With links to tours and demos, and software download.
- ARG Software - Provides links to software developed by the Automated Reasoning Group from the Computer Sciences Laboratory of the Australian National University.
- Church - Allows simple experimentation with the lambda calculus, first developed by Church. To be used as a module imported by Python programs.
- Coq Proof Assistant - Proof management system, in which proof is mechanically checked by the machine. Provides links for download, documentation, standard library, user's contribution and related tools.
- DELORES- Defeasible Logic Reasoning System - Forward-chaining reasoning engine for defeasible logic. Distributed as C source code.
- Gateway to Logic - Collection of interactive logic software that can be useful in lectures and courses for demonstration and visualization.
- Isabelle - Generic proof assistant that allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Available for download.
- Linear Logic Prover (llprover) - Searches a cut-free proof of the given two-sided sequent of first-order linear logic. With links to the prover program and whole package, user's guide, and related links.
- Logic Software from CSLI - Software packages include Hyperproof, The Language of First-order Logic, Tarski's World and Turing's World. Published by the Center for the Study of Language and Information.
- LOOM - Knowledge representation language developed by researchers in the Artificial Intelligence research group at the University of Southern California's Information Sciences Institute. With links to download software.
- Logics Workbench - Offers possibility to work in a user-friendly way in classical and non-classical propositional logics, including nonmonotonic approaches. Developed at the University of Bern in Switzerland.
- MUltlog - Project of the Vienna Group for Multiple-valued Logics. Available for free download.
- MUltseq - Companion for MUltlog. Uses rules from Multlog to construct derivations - automatically or interactively - for sequents given directly by the user or generated from the (quasi-) equations.
- Paradox - Processes first-order logic problems and tries to find finite-domain models for them. With link to download program.
- Proof General - Generic interface for proof assistants, based on the customizable text editor Emacs.
- ProofPower - Supports specification and proof in Higher Order Logic (HOL) and in the Z notation. All packages, except PPDaz, are free, open-source, software made available under the terms of the GNU General Public License.
- Protein - PROver with a Theory Extension Interface - Automated theorem prover for first-order clause logic. Available for free download.
- PVS Specification and Verification System - Specification language integrated with support tools and a theorem prover. With documentation and download links.
- Tree Proof Generator (Semantic Tableaux) - Generates tableaux for classical propositional and predicate logic.
- VeriFun - Java application to verify functional programs. With link to download program.
- WinKE: Proof Assistant for Teaching Logic - Based on the KE calculus, a refutation system combining features from Smullyan's analytic tableaux and Gentzen's natural deduction. With information on how to download freeware.
Top >
Science >
Math >
Software
- Edu2000 - Different mathematical software, including visual algebra, visual plane geometry, visual solid geometry and visual trigonometry.
- KwikTrig - Tool for geometry and trigonometry. Useful to machinists, tool makers, CNC programmers, engineers, surveyors, landscapers, cabinet makers, carpenters, crane operators, students, teachers and others.
|