Oak Science

Oak Science is based on front-edge science including experience and know-how in mathematics and computer science, based on 20 years of R&D experience. Four Computing is connected to front-edge research, and we cooperate worldwide with universities of highest reputation.

Oak logic is data typing and decision-making built upon formal logic as based on category theory and monad-oriented programming. Monads and partially ordered monads in particular are cornerstones in these structures. Generalized sets of terms over suitable signatures, using partially ordered monads, establish data structures with built-in facilities for uncertainty management and many-valuedness. Suitable ground categories enable management of uncertainties not just for data but also for operations.

Oak Technology

Oak Technology builds upon the Microsoft® .NET Framework. Stand-alone system components are available as developed under the .NET 4.0 Framework. Mobile extensions involve Windows Phone® and its corresponding .NET Compact Framework. Web solutions are ASP.NET 4.0 based in all its functions and components. The database management system is usually Microsoft’s SQL Server®.

The development tool for Oak is Microsoft’s Visual Studio 2010® thus optimizing for Microsoft’s Windows® operating systems with Microsoft’s Windows Server® for server technology and security management.

Additional computing power is enabled by the invokation of Microsoft's Windows HPC Server® and Windows Azure® as required by optimization performance.

For data preprocessing and basic statistical analysis of customer data Microsoft's Excel® is often sufficient. The Excel 2010 worksheet size is 65,536 rows by 256 columns. For large data sets exceeding these limits, Four Computing recommends e.g. SPSS® by IBM®. SPSS is typically used for script programming the preprocessing and statistical analysis of large data sources. IBM SPSS Statistics 19 continues and enhances the support for .NET programmability of SPSS libraries.

There is a flora of various analysis tools. Four Computing's Oak differs e.g. from Frontline Systems' Solver products, on the one hand, since Oak provides a solution for the customer and not simply a tool to be used by the customer, and, on the other hand, since Oak is not integrated into and thereby dependent of Microsoft's Excel. Solver like tools can be used for basic optimization purposes, and to learn about traditional optimization techniques. Such tools alone, however, do not suffice to provide customer solutions.