Results 21 to 30 of about 656,567 (302)
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 +1 more source
Theoretical Aspects of Computer Science [PDF]
Theory of Computing Systems, 2012 International ...
Marion, Jean-Yves, Schwentick, Thomas
openaire +4 more sources
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
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
The Best Practice of Teach Computer Science Students to Use Paper Prototyping
International Journal of Technology Innovation and Management (IJTIM), 2021 The importance of understanding the repercussions of effective user interface (UI) design is critical for future Computer Science (CS) professionals, given the ubiquity of interfaces on computer devices. Through a paper prototyping activity, this article
Dave Miller
semanticscholar +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
International Computing Education Research Workshop, 2021 Concerns about participation in computer science at all levels of education continue to rise, despite the substantial efforts of research, policy, and world-wide education initiatives.
Maria Kallia, Q. Cutts
semanticscholar +1 more source
International Journal of Computer Science Education in Schools, 2021 The purpose of this study was to identify international trends in K–12 computer science curricula in countries that have introduced computer science education.
M. Oda, Yoko Noborimoto, T. Horita
semanticscholar +1 more source
Theoretical Design Science in Human–Computer Interaction: A Practical Concern?
Artifact, 2007 Design research, without empirical evaluation, is often looked upon as a poor relation to more obviously experimental work. A common reason to reject design studies submitted for publication concerns their failure to provide an empirical evaluation of ...
John M. Carroll
doaj +3 more sources