In this thesis we develop a version of classical scissors congruence theory from the perspective of algebraic K-theory. Classically, two polytopes in a manifold X are defined to be scissors congruent if they can be decomposed ...

The exponential increase through time in the number of components in a typical integrated circuit, known as Moore's Law, is driving the need for improvements in manufacturing. A key semiconductor manufacturing process is ...

This thesis introduces ScratchStats, an extension to the Scratch website where users can view and understand Scratch usage data through a series of interactive visualizations. Scratch is a visual programming language that ...

Large-scale, complex engineering systems, as for automotive manufacturing, often require significant capital investment and resources for systems configuration. Furthermore, these systems operate in environments that are ...

The extreme importance of critical infrastructures to modern society is widely known. Recognizing that society cannot afford the costs associated with absolute protection, it is necessary to prioritize the vulnerabilities ...

The problem of specification of temporal transformations for Computer Animation production is investigated. Based on this analysis, an interactive animation language is developed which supports both procedural and key-frame ...

For over a century, educators and constructivist theorists have argued that children learn by actively forming and testing -- constructing -- theories about how the world works. Recent efforts in the design of "tangible ...