Method and system for the Kanban cell neuron network, US Patent 9,202,166 (issued 12/01/2015); and Method and system for prediction of time series by Kanban neuron model, US Patent 9,501,737 (issued 11/22/2016).
We license the software Meth8/VŁ4, a modal logic model checker implementing the universal logic system of VŁ4.
All software and hardware services are based on flat rate bids and prices.
The Meth8/VŁ4 modal logic model checker is shipping.
A free student demo program for (p,q) is available.
Products for sale are scaled by the number of propositional variables allowed as 3, 4, and 11: $47 for (p,q,r); $97 for (p,q,r,s) and (A,B,C,D); and $147 for (p-z).
This manifest has further scalability pricing for up to 22-propositional variables in external look up tables on a single 8.5GB CD.
Standard trade discounts apply to qualified resellers.
The current abstract and toc results of 1129 artifacts in 7542 assertions at a refutation rate 90.78% is here. This updates continuously the list of papers.A link for the current draft document of 30 MB in 2072 pages is available by email request below.
Other products, papers, and free software source code are at cec-services.com. For example, this handy N-by-M contingency test with Fisher P in TrueBASIC source derives expected values from the observed values.
For questions please contact "info@cec-services.com".
(NB: gmail is not read.)