English
Related papers

Related papers: Simplifying and Refactoring Introductory Calculus

200 papers

I propose an applications-first approach for adjusting how parallel and distributed computing concepts are incorporated into curricula. By focusing on practical applications that leverage parallelism and distributed systems, this approach…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-17 Michelle Strout

There is a growing consensus that physics majors need to learn computational skills, but many departments are still devoid of computation in their physics curriculum. Some departments may lack the resources or commitment to create a…

Physics Education · Physics 2009-11-13 Todd Timberlake , Javier E. Hasbun

This course, intended for undergraduates familiar with elementary calculus and linear algebra, introduces the extension of differential calculus to functions on more general vector spaces, such as functions that take as input a matrix and…

History and Overview · Mathematics 2025-01-28 Paige Bright , Alan Edelman , Steven G. Johnson

If spreadsheets are not erroneous then who, or what, is? Research has found that end-users are. If end-users are erroneous then why are they? Research has found that responsibility lies with human beings' fast and slow thinking modes and…

Computers and Society · Computer Science 2017-04-06 Mária Csernoch , Piroska Biró

In this study, we examine introductory physics students' ability to perform analogical reasoning between two isomorphic problems which employ the same underlying physics principles but have different surface features. Three hundred and…

Physics Education · Physics 2016-02-19 Shih-Yin Lin , Chandralekha Singh

It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an…

Logic in Computer Science · Computer Science 2007-07-10 Frédéric Blanqui , Jean-Pierre Jouannaud , Pierre-Yves Strub

As real logic programmers normally use cut (!), an effective learning procedure for logic programs should be able to deal with it. Because the cut predicate has only a procedural meaning, clauses containing cut cannot be learned using an…

Artificial Intelligence · Computer Science 2008-02-03 F. Bergadano , D. Gunetti , U. Trinchero

Recent investigations have been carried out on critical analyses of beginning physics teachers confronted with questionable explanations. These studies raise the question of the choices made by teachers for their teaching once they have…

Physics Education · Physics 2021-04-29 Laurence Viennot

This paper defines the (first-order) conflict resolution calculus: an extension of the resolution calculus inspired by techniques used in modern SAT-solvers. The resolution inference is restricted to (first-order) unit-propagation and the…

Logic in Computer Science · Computer Science 2016-02-16 John Slaney , Bruno Woltzenlogel Paleo

Scientists who study how the brain solves problems have recently verified that, because of stringent limitations in working memory, where the brain solves problems, students must apply facts and algorithms that have previously been well…

Physics Education · Physics 2021-02-17 JudithAnn R. Hartman , Eric A. Nelson

In recent years, computing has become an important part of the way we teach and learn physics. Teachers, both at high school and college levels, now use computational activities in many of their courses. Physics departments are offering…

Physics Education · Physics 2023-08-31 Hannah C. Sabo , Tor Ole B. Odden , Marcos D. Caballero

The simple pendulum is one of the first experiments that students of higher physics do. There are certain precautions which the students are asked to take while performing the experiment. In this note we will try to explain as to why these…

Physics Education · Physics 2007-05-23 P. Arun , Naveen Gaur

Physics makes powerful use of mathematics, yet the way this use is made is often poorly understood. Professionals closely integrate their mathematical symbology with physical meaning, resulting in a powerful and productive structure. But…

Physics Education · Physics 2010-02-03 Edward F. Redish , Ayush Gupta

That computers should be easy to learn and use is a rarely-questioned tenet of user interface design. But what do we gain from prioritising usability and learnability, and what do we lose? I explore how simplicity is not an inevitable truth…

Human-Computer Interaction · Computer Science 2023-06-05 Advait Sarkar

Curriculum learning is a class of training strategies that organizes the data being exposed to a model by difficulty, gradually from simpler to more complex examples. This research explores a reverse curriculum generation approach that…

Machine Learning · Computer Science 2026-02-25 Wanru Zhao , Lucas Caccia , Zhengyan Shi , Minseon Kim , Weijia Xu , Alessandro Sordoni

Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order instead of starting from scratch. In this paper we describe a…

Computers and Society · Computer Science 2022-12-20 Seth Poulsen , Yael Gertner , Benjamin Cosman , Matthew West , Geoffrey L. Herman

Writing and argumentation are critical to both professional physics and physics education. However, the skill of making an extended argument in writing is often overlooked in physics classrooms, apart from certain practices like lab…

Physics Education · Physics 2020-06-19 Tor Ole B. Odden , John Burk

To date, most work on text simplification has focused on sentence-level inputs. Early attempts at document simplification merely applied these approaches iteratively over the sentences of a document. However, this fails to coherently…

Computation and Language · Computer Science 2023-05-11 Liam Cripwell , Joël Legrand , Claire Gardent

Most university curricula consider software processes to be on the fringes of software engineering (SE). Students are told there exists a plethora of software processes ranging from RUP over V-shaped processes to agile methods. Furthermore,…

Software Engineering · Computer Science 2013-12-19 Marco Kuhrmann , Daniel Méndez Fernández , Jürgen Münch

The complexity of quantum computation remains poorly understood. While physicists attempt to find ways to create quantum computers, we still do not have much evidence one way or the other as to how useful these machines will be. The tools…

Quantum Physics · Physics 2007-05-23 Lance Fortnow