Results 1 to 10 of about 2,257,992 (321)
A theory of consciousness from a theoretical computer science perspective: Insights from the Conscious Turing Machine. [PDF]
Proc Natl Acad Sci U S A, 2022 Significance This paper provides evidence that a theoretical computer science (TCS) perspective can add to our understanding of consciousness by providing a simple framework for employing tools from computational complexity theory and machine learning ...
Blum L, Blum M.
europepmc +4 more sources
Automata in SageMath---Combinatorics meet Theoretical Computer Science [PDF]
Discrete Mathematics & Theoretical Computer Science, 2016 The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved ...
Clemens Heuberger +2 more
doaj +5 more sources
A Theoretical Computer Science Perspective on Consciousness [PDF]
Journal of Artificial Intelligence and Consciousness, 2020 The quest to understand consciousness, once the purview of philosophers and theologians, is now actively pursued by scientists of many stripes. This paper studies consciousness from the perspective of theoretical computer science.
M. Blum, L. Blum
semanticscholar +3 more sources
Artificial Intelligence (ChatGPT) and Bloom’s Taxonomy in Theoretical Computer Science Education [PDF]
Applied SciencesThe study focuses on evaluating the performance of AI-based tools, specifically ChatGPT versions 3.5 and 4.0, in comparison to human students in the field of Theoretical Computer Science Education.
Hashim Habiballa +4 more
doaj +2 more sources
Auto-graded Scaffolding Exercises For Theoretical Computer Science
2023 ASEE Annual Conference & Exposition Proceedings, 2023 This paper describes an ongoing effort to develop auto-graded scaffolding exercises for an upper-division theoretical computer science class at a large Midwestern public university, which has a steady-state enrollment of about 400 students per semester ...
Jeff Erickson +14 more
semanticscholar +1 more source
Solomon Marcus Contributions to Theoretical Computer Science and Applications
Axioms, 2021 Solomon Marcus (1925–2016) was one of the founders of the Romanian theoretical computer science. His pioneering contributions to automata and formal language theories, mathematical linguistics and natural computing have been widely recognised ...
Cristian S. Calude, Gheorghe Păun
doaj +1 more source
Combining data and theory for derivable scientific discovery with AI-Descartes
Nature Communications, 2023 Scientists aim to discover meaningful formulae that accurately describe experimental data. Mathematical models of natural phenomena can be manually created from domain knowledge and fitted to data, or, in contrast, created automatically from large ...
Cristina Cornelio +8 more
doaj +1 more source
What Idea of Information Do ICT Practitioners Have in Mind?
Proceedings, 2022 We mean to reflect on the divide extant between theoretical studies on information and the knowledge of information shared by ICT (information and communication technologies) professionals.
Paolo Rocchi
doaj +1 more source
Balanced Avoidance Games on Random Graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 We introduce and study balanced online graph avoidance games on the random graph process. The game is played by a player we call Painter. Edges of the complete graph with $n$ vertices are revealed two at a time in a random order.
Martin Marciniszyn +2 more
doaj +1 more source
A Probabilistic Counting Lemma for Complete Graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2005 We prove the existence of many complete graphs in almost all sufficiently dense partitions obtained by an application of Szemerédi's Regularity Lemma.
Stefanie Gerke +2 more
doaj +1 more source