English
Related papers

Related papers: Designing Theory of Computing Backwards

200 papers

The topic of this paper is "gerrymandering", namely the curse of deliberate creations of district maps with highly asymmetric electoral outcomes to disenfranchise voters, and it has a long legal history. Measuring and eliminating…

Computational Complexity · Computer Science 2020-08-05 Tanima Chatterjee , Bhaskar DasGupta

The widespread establishment of computational thinking in school curricula requires teachers to introduce children to programming already at primary school level. As this is a recent development, primary school teachers may neither be…

Computers and Society · Computer Science 2021-11-04 Luisa Greifenstein , Isabella Graßl , Gordon Fraser

Computational science and engineering (CSE) has been misunderstood to advance with the construction of enormous computers. To the contrary, the historical record demonstrates that innovations in CSE come from improvements to the mathematics…

History and Overview · Mathematics 2011-08-11 Joseph F. Grcar

This Full Paper in the Research-To-Practice Category presents a long-term study about the effects of a student-centered course on communication and professional skills on students' thoughts, attitudes, and behavior. The course is offered at…

Computers and Society · Computer Science 2021-01-05 Renate Motschnig , Michael Silber , Valdemar Švábenský

Artificial intelligence (AI) is rapidly becoming one of the key technologies of this century. The majority of results in AI thus far have been achieved using deep neural networks trained with a learning algorithm called error…

Artificial Intelligence · Computer Science 2025-10-30 Tommaso Salvatori , Ankur Mali , Christopher L. Buckley , Thomas Lukasiewicz , Rajesh P. N. Rao , Karl Friston , Alexander Ororbia

Computer programming is undergoing a true transformation driven by powerful new tools for automatic source code generation based on large language models. This transformation is also manifesting in introductory programming courses at…

Computers and Society · Computer Science 2025-07-02 Clemente Rubio-Manzano , Jazna Meza , Rodolfo Fernandez-Santibanez , Christian Vidal-Castro

Computing is increasingly central to innovation across a wide range of disciplinary and interdisciplinary problem domains. Students across noncomputing disciplines need to apply sophisticated computational skills and methods to fields as…

Computers and Society · Computer Science 2025-03-04 Murali Mani , Jie Shen , Tejaswi Manchineella , Ira Woodring , Jing Bai , Robert Benard , E Shirl Donaldson

By leveraging quantum-mechanical properties like superposition, entanglement, and interference, quantum computing (QC) offers promising solutions for problems that classical computing has not been able to solve efficiently, such as drug…

Human-Computer Interaction · Computer Science 2025-02-14 Hyeok Kim , Mingyoung J. Jeng , Kaitlin N. Smith

The field of structural engineering is vast, spanning areas from the design of new infrastructure to the assessment of existing infrastructure. From the onset, traditional entry-level university courses teach students to analyse structural…

Quantum computing is a growing field at the intersection of physics and computer science. This module introduces three of the key principles that govern how quantum computers work: superposition, quantum measurement, and entanglement. The…

Physics Education · Physics 2021-03-30 Anastasia Perry , Ranbel Sun , Ciaran Hughes , Joshua Isaacson , Jessica Turner

The hardware and software foundations laid in the first half of the 20th Century enabled the computing technologies that have transformed the world, but these foundations are now under siege. The current computing paradigm, which is the…

In the last few years, theoretical study of quantum systems serving as computational devices has achieved tremendous progress. We now have strong theoretical evidence that quantum computers, if built, might be used as a dramatically…

Quantum Physics · Physics 2016-11-03 Dorit Aharonov

"Systems that Explain Themselves" appears a provocative wording, in particular in the context of mathematics education -- it is as provocative as the idea of building educational software upon technology from computer theorem proving. In…

Software Engineering · Computer Science 2018-03-06 Alan Krempler , Walther Neuper

Computing education widely applies general learning theories and pedagogical practices. However, computing also includes specific disciplinary knowledge and skills, e.g., programming and software development methods, for which there has…

Computers and Society · Computer Science 2024-09-20 Lauri Malmi , Judy Sheard , Claudia Szabo , Päivi Kinnunen

Computability theory is traditionally conceived as the theoretical basis of informatics. Nevertheless, numerous proposals transcend computability theory, in particular by emphasizing interaction of modules, or components, parts,…

Software Engineering · Computer Science 2024-08-28 Peter Fettke , Wolfgang Reisig

One might think that, once we know something is computable, how efficiently it can be computed is a practical question with little further philosophical importance. In this essay, I offer a detailed case that one would be wrong. In…

Computational Complexity · Computer Science 2024-05-11 Scott Aaronson

We report on a profession-oriented course we offered at the University of Vienna, aimed at physics education teacher students. The course on Theoretical Classical Mechanics has been conceived and designed from its outset with the explicit…

Physics Education · Physics 2026-02-06 Marianne Korner , Christos N. Likos

Possible for science itself, conceptually, to have and will understand differently, let alone science also seen as technology, such as computer science. After all, science and technology are viewpoints diverse by either individual,…

Computers and Society · Computer Science 2022-07-19 Mahyuddin K. M. Nasution , Rahmat Hidayat , Rahmad Syah

It is critically important to make computing courses accessible for disabled students. This is particularly challenging in large computing courses, which face unique challenges due to the sheer scale of course content and staff. In this…

Computers and Society · Computer Science 2026-01-28 Ritesh Kanchi , Miya Natsuhara , Matt X. Wang

This article sets out our perspective on how to begin the journey of decolonising computational fields, such as data and cognitive sciences. We see this struggle as requiring two basic steps: a) realisation that the present-day system has…

Computers and Society · Computer Science 2025-07-29 Abeba Birhane , Olivia Guest