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
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
Revisiting the Minimum Breakpoint Linearization Problem Theoretical Computer Science [PDF]
, 2013 International audienceThe gene order on a chromosome is a necessary data for most comparative genomics studies, but in many cases only partial orders can be obtained by cur- rent genetic mapping techniques.
Laurent Bulteau +2 more
openalex +3 more sources
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 Blum L, Blum M.
europepmc +2 more sources
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
Special Issue on ‘Computer Science in Sport’
Applied Sciences, 2022 Computer Science in Sport is a cross-disciplinary topic that brings together the problem-solving capabilities of Computer Science to various theoretical and practical aspects of all sports and physical activities [...]
Christian Dawson
doaj +1 more source