Results 21 to 30 of about 672,480 (326)
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
Theoretical Computer Science for the Working Category Theorist [PDF]
arXiv.org, 2017 Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the ...
N. Yanofsky
semanticscholar +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
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
Canonical forms for free κ-semigroups [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 Automata, Logic and ...
José Carlos Costa
doaj +1 more source
Spike frequency adaptation supports network computations on temporally dispersed information
eLife, 2021 For solving tasks such as recognizing a song, answering a question, or inverting a sequence of symbols, cortical microcircuits need to integrate and manipulate information that was dispersed over time during the preceding seconds.
Darjan Salaj +5 more
doaj +1 more source
The graph isomorphism problem on geometric graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 Special issue PRIMA ...
Ryuhei Uehara
doaj +1 more source
Additive Combinatorics and its Applications in Theoretical Computer Science
Theory of Computing, 2017 Additive combinatorics (or perhaps more accurately, arithmetic combinatorics) is a branch of mathematics which lies at the intersection of combinatorics, number theory, Fourier analysis and ergodic theory.
Shachar Lovett
semanticscholar +1 more source
The generalized 3-connectivity of Lexicographic product graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2014 Graph ...
Xueliang Li, Yaping Mao
doaj +1 more source