TIM-8102

Maurer, P. M. (2021). Computer science theory from a practical point of view. 2021 International Conference on Computational Science and Computational Intelligence (CSCI), 920–924. https://doi.org/10.1109/CSCI54926.2021.00209
This journal article describes the link between theory and the real world through the lens of the mathematical machine. Different types of automata are explained.

Blum, L., & Blum, M. (2022, May 20). A theory of consciousness from a theoretical computer science perspective: Insights from the conscious Turing machine. Proceedings of the National Academy of Sciences (PNAS), 119 (21).
This paper examines the construct of consciousness using computer science theory as a lens to frame the computational principles surrounding consciousness. The Conscious Turing Machine (CTM), including the Turing Machine (YM), and the global workspace theory (GWT) is used to conceptualize the phenomenon of human consciousness.

Fletcher, S. C. (2018). Computers in abstraction/representation theory. Minds & Machines, 28(3), 445–463. https://doi.org/10.1007/s11023-018-9470-9
This journal article describes the development of a novel theoretical framework, Abstraction/Representation (AR) theory as a means of conceptualizing novel forms of computation.

Walrand, J. (2021). Probability in electrical engineering and computer science. Springer Nature. https://doi.org/10.1007/978-3-030-49995-2
This e-book showcases techniques of applied probability with both electrical engineering and computer science applications. The relevance of the theory is demonstrated and the link to the applied nature and use case is explored at a deeper level.

Foundations of software science and computation structures. (2022). Springer Nature. https://doi.org/10.1007/978-3-030-99253-8
This e-book provides numerous computer science theory applications to facilitate the exploration of theory as applied to the analysis, integration, synthesis, transformation, and verification of programs and software systems.