Ersatz Systems Machine Cognition, LLC | ||||||||||||||||||||||||||||
Let the bits speak for themselves. | Home | |||||||||||||||||||||||||||
Home | Sales | Downloads | Services | Products | About Us | Legal | ||||||||||||||||||||||
Welcome | Place Order | Articles | Requirements | Bivalent Neuron BVN | Contacts | Acceptable Use | ||||||||||||||||||||||
Product Price | ||||||||||||||||||||||||||||
News | Demos | Analysis | Kanban Cells | History | Copyright | |||||||||||||||||||||||
Service Price | ||||||||||||||||||||||||||||
Papers | Logical Connectives | |||||||||||||||||||||||||||
Design | Mission | |||||||||||||||||||||||||||
Servicemarks | ||||||||||||||||||||||||||||
Shipping | ||||||||||||||||||||||||||||
Posters | Scalability | φΦ Phigit Computing | ||||||||||||||||||||||||||
Philosophy | Infringement | |||||||||||||||||||||||||||
Questions | ||||||||||||||||||||||||||||
Slide Shows | Portability | Standard Notation | ||||||||||||||||||||||||||
Service Terms | ||||||||||||||||||||||||||||
Profile | ||||||||||||||||||||||||||||
Track Order | ||||||||||||||||||||||||||||
US Patents | Training | Patent Licenses | ||||||||||||||||||||||||||
Privacy Policy | ||||||||||||||||||||||||||||
Staff | ||||||||||||||||||||||||||||
Welcome | Ersatz Systems Machine Cognition, LLC sells services, tools, software, and hardware for disruptive technology.
Public inventions include: Method and system for the Kanban cell neuron network, US Patent 9,202,166 (12/01/2015); and Method and system for prediction of time series by Kanban neuron model, US Patent 9,501,737 (11/22/2016). We license the software Meth8/VŁ4, a modal logic model checker implementing the bivalent universal logic system of VŁ4 and sell its string handling utilities written in Ada95.* M8VL4 sells as single board computer (SBC) with screen. All software and hardware services are based on flat rate bids and prices. A capability statement brochure is available. |
|||||||||||||||||||||||||||
News | ||||||||||||||||||||||||||||
The Meth8/VŁ4 modal logic model checker is shipping. A student demo download program for (p,q) is now at $47. Products for sale are scaled by the number of propositional variables allowed as 3, 4, and 11: $497 for (p,q,r); $9,997 for (p,q,r,s) and (A,B,C,D); and $19,997 for (p-z). Standard trade discounts apply to qualified resellers. This manifest has further scalability pricing for up to 22-propositional variables in external look up tables on a single 4.7 GB CD.
* To build the industrial grade code of Meth8/VŁ4, 28 string utilities in TrueBASIC are implemented in Ada 95 with certified test harness and exempt from ITAR. String functions are each priced as $497 with suite of 28 as $12,997. One-time maintenance is 15%. M8VL4 is $9,997 (4-variables) and $19,997 (11-variables) per CPU core, and an SBC. Recent advances in disruptive technology are: [Papers below after 9/7/2023 are in the results fascicle file.]
Other products, papers, and free software source code are at the cec-services.com subsite. For example, this handy N-by-M contingency test with Fisher P in TrueBASIC source code derives expected values from the observed values. Accessibility 508 immunity statement: This site is freely accessible, but no longer open to the public. wai-aa wcag-2.1 |
||||||||||||||||||||||||||||
Home | Sales | Downloads | Services | Products | About Us | Legal | ||||||||||||||||||||||