Formal Approaches in Modelling -- On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing -- Approximation Problems Categories -- Computation of Partial Automata Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix -- Fuzzy Modeling for Coal Seams…