Generalizing Morley’s and Other Theorems with Automated Realization von Braude, Eric, Abdyldayev, Satbek

Volltext

Weakest preconditions and cumulative subgoal fulfillment von Braude, Eric J.

Volltext

Evaluation of Knowla: An Online Assessment and Learning Tool von Thompson, Meredith Myra, Braude, Eric John

Volltext

Conways Circle Theorem: A Short Proof Enabling Generalization to Polygons von Braude, Eric

Volltext bestellen

Conway’s Circle Theorem: A Short Proof, Enabling Generalization to Polygons von Braude, Eric

Volltext

Computer science education; Active classroom; Computer science laboratories; Student participation; Student attention von Braude, Eric

Volltext

A framework for modeling in scale: An introduction von Braude, Eric

Volltext

Conways Circle Theorem: A Short Proof Enabling Generalization to Polygons von Braude, Eric

Volltext

Students Learn By Doing; or Do They? von Braude, Eric

Volltext

Using the Dafny Verification System in An Introduction To Algorithms Class von Braude, Eric

Volltext

Dijkstra’s Counting Arguments, Puzzles, and Cumulative Subgoal Fulfillment von Braude, Eric

Volltext

Generalizing The Morley Trisector and Various Theorems with Realizability Computations von Braude, Eric J

Volltext bestellen

Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison von Braude, Eric

Volltext bestellen

Programming with Discipline: Cumulative Subgoal Fulfillment von Braude, Eric

Volltext

Applications of Cumulative Subgoal Fulfillment to Linear Programming von Braude, Eric

Volltext

JGRAMS: Just-in-time Grading for Effective Feedback von Braude, Eric, Tebaldi, Nicole, Brussarski, Pedro Valeriev Cartaxo, Poduval, Sumesh, Park, Kathleen

Volltext

Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison von Braude, Eric

Volltext

Generalizing The Morley Trisector and Various Theorems with Realizability Computations von Braude, Eric J

Volltext

Co-Continuity I: A Urysohn's Lemma for Partially Ordered Sets von Braude, Eric John

Volltext

Obtaining sample path derivatives by source code instrumentation von Braude, Eric J.

Volltext