Industrial Commercial Bank Of China Value Chain

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been... Platforms: *nix

Geo::Ellipsoids is a package for standard Geo:: ellipsoid a, b, f and 1/f values. SYNOPSIS use Geo::Ellipsoids; my $obj = Geo::Ellipsoids->new(); $obj->set(WGS84); #default print "a=", $obj->a, "n"; print "b=", $obj->b, "n"; print "f=", $obj->f, "n"; print "i=", $obj->i, "n"; print... Platforms: *nix

Smieciuch library is a precise (in case of C++) or nearly precise (in case of plain C) tracing garbage collector. Tracing means that GC scans memory for active pointers and traces all paths (consisting of possibly multiple pointer indirections) from so called memory roots (static global data... Platforms: *nix

The function The LMFnlsq.m serves for finding optimal solution of an overdetermined system of nonlinear equations in the least-squares sense. The standard Levenberg- Marquardt algorithm was modified by Fletcher and coded in FORTRAN many years ago (see the Reference). This version of LMFnlsq is... Platforms: Matlab

Infogestion is an application written in PHP, allowing complete management of a client file, planning and many other. More information on the official website.Features of Info-Gest:- Manage a client file- Geolocation of your customers- Manage your customers but also your potential customers- Send... Platforms: PHP

The Mid-Side Suite consists of two plug-ins: MS Encoder and MS Decoder. There are two primary uses for these: 1. You have recorded material using a mid-side microphone pair, and you want to decode this on playback into stereo. In this case, you would simply place the MS Decoder plug-in on a... Platforms: Mac

OsiriX, being a free open-source software (FOSS), is not certified as a commercial medical device for primary diagnostic imaging. Hence, OsiriX is not FDA/CE-1 certified. In some countries (for example, USA and Europe), you can only use OsiriX as a reviewing, research or teaching software, not... Platforms: Mac

Business::BankAccount::NZ is a Perl module that provides validation on New Zealand bank account numbers. The extent of the validation is simply that the account number is checked to ensure that it conforms with the notion of an account number laid out in the 'Bank Account Number Check Digit... Platforms: *nix

With PDF OwnerGuard you can Create, Edit, Distribute and Sell your valuable Documents, EBooks, Trade Secrets, Research Papers, Reportsor any other kind of Information in PDF format while OwnerGuard protects Digital Ownership Rights for them. This product is made specially for publishers of high... Platforms: Windows

The tool for individual and group conducting projects on creation, introduction and support of software. Free from use of the 3d-party applications and services. You do not need to establish and adjust any paid or free-of-charge the databases. The program is developed by us as the base tool of... Platforms: Windows

In cosmology, dark energy is a hypothetical form of energy which permeates all of space and has strong negative pressure. According to the theory of relativity, the effect of such a negative pressure is qualitatively similar to a force acting in opposition to gravity at large scales. Invoking... Platforms: Windows

New Seven Wonders Screensaver 1.0 shows those that were chosen in 2007 which are: The Great Wall of China, The Ruins of Petra (Jordan), el Cristo Redentor (Brasil), Machu Picchu (Peru), Chichen Itza (Mexico), The Coliseum of Rome and the Taj Mahal (India). Platforms: Windows

Goody The Remake is a 2D platform game with tons of humor. We will help Goody to rob the bank of Spain. Thanks to PIXEL, (Navarrese Pablo Kings) we already have the version for Linux of the Goody The Remake. This is compiled for Debian, but for technical reasons the file is zipped. if... Platforms: *nix

XML::SimpleObject is a Perl extension allowing a simple object representation of a parsed XML::Parser tree. SYNOPSIS use XML::SimpleObject; # Construct with the key/value pairs as argument; this will create its # own XML::Parser object. my $xmlobj = new XML::SimpleObject(XML => $XML,... Platforms: *nix

Statistics::ROC is a Perl module with receiver-operator-characteristic (ROC) curves with nonparametric confidence bounds. SYNOPSIS use Statistics::ROC; my ($y) = loggamma($x); my ($y) = betain($x, $p, $q, $beta); my ($y) = Betain($x, $p, $q); my ($y) = xinbta($p, $q, $beta, $alpha); my... Platforms: *nix

GFP is a Java/Swing personal finance manager that is translated to 7 languages and is being translated to more. GFP It supports credit card, bank, and savings accounts, and is easy to use. GFP – Personal Finance Manager – is a software that aids on personal finances administration... Platforms: *nix

XRally project is a X11 clone of the Rally X arcade game. In Rally X, you control a blue car which has to run through a maze-like level collecting flags and avoiding colliding with enemy (red) cars. In order to protect itself, the blue car can discharge clouds of smoke which stun the enemy cars... Platforms: *nix

JSignal is a loose port of the signal system implemented by GTKs GLib. JSignal project uses signals and handlers to allow for the registration of callback functions to events. To use JSignal those classes which will emit signals (cause events) must register the signals that each class will... Platforms: *nix

Chatbot::Eliza provides a clone of the classic Eliza program. This module implements the classic Eliza algorithm. The original Eliza program was written by Joseph Weizenbaum and described in the Communications of the ACM in 1966. Eliza is a mock Rogerian psychotherapist. It prompts for user... Platforms: *nix

Puppet lets you centrally manage every important aspect of your system using a cross-platform specification language that manages all the separate elements normally aggregated in different files, like users, cron jobs, and hosts, along with obviously discrete elements like packages, services, and... Platforms: *nix