an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiew...
fs Between Grounded and Abstract Representations: Evidence From Algebra Problem Solving Kenneth R. Koedingera, Martha W. Alibalib, Mitchell J. Nathanc a Human
Kenneth R. Koedinger, Martha W. Alibali, Mitchell ...
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...