| CALIB 14C Calibration Program |
Calibration tool that runs on DOS/Windows/NT4, X86 Linux and Macintosh.
http://depts.washington.edu/qil/calib/
Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and clause formation rules for this logic.
http://www.logic.at/multlog/
Software and services company for the energy and oil and gas industries, specializing in Web-services architecture and data and application integration.
http://www.petris.com/
| Emagic: Logic Audio Platinum |
Flagship product of the series provides synthesis of digital audio recording, DSP, MIDI sequencing, and notation.
http://www.emagic.de/products/ls/platinum/neuerungen/index.p
hp?lang=EN
| BEA WebLogic Commerce Server |
Built on WebLogic Server and WebLogic Personalization Server, the product provides a suite of Java-based components including catalog, shopping cart, inventory management, order entry, order management, and shipping components as well as a product recommendation engine that learns customers behaviors over time. By BEA Systems, Inc.
http://www.bea.com/products/weblogic/commerce/
Manage and interpret geological, geophysical, well log and production data. Digitize 2D seismic lines and well logs.
http://www.drei3.com
|
