News

The KCNN Model applies to the prediction of trading signals for financial markets such as 10-year treasuries and five disparate commodities. This is named the Kanban cell neuron stock trading system (KCNSTS). A current book for Chinese and Asian ETFs from December, 2014 shows an annualized profit.

The Meth8 model checker and modal logic theorem prover is available. Published details about it are in the extended abstract and slide presentation. The Gödel-Löb (GL) axiom □(□p→p)→□p is invalidated and improved.

All software and hardware services are based on flat rate bids and prices. Other products are available at cec-services.com.