Crafting a Better Future in Liberia

Contour Crafting: A Future Method of Building

Dong Min Kim (Dane) Writing 340 Illumin Article June-12-2013 Abstract Building a house using 3-D printing technology is available to people in near future. Contour crafting is the method that can build a house quickly, safely, and economically. Since the robots and computers are the main part of the construction, human labor restriction that causes expensive and inefficient construction will be...

Crafting, Crafting, Crafting - Extreme Programming in Classroom?

Extreme Programming (XP) shows several interesting approaches which are very attractive for education. It is centered around early and incremental creation of working software. In the following, the chances XP offers for class are shown – especially for use in a class project, but also for practical phases in all lessons where programming is useful. Finally several common problems which can occ...

Crafting a Knowledge Strategy

Telephone: (Australia) +61 3 8300 0747 email: Abstract Knowledge strategies are often inflexible and unable to cope with the emergent properties that characterise the complex and dynamic environments of the ‘knowledge age’. Knowledge strategy should encompass (i) actions that are intended to result in anticipated business outcomes; and (ii) actions that emerge as a resul...

Crafting a Proof Assistant

Proof assistants are complex applications whose development has never been properly systematized or documented. This work is a contribution in this direction, based on our experience with the development of Matita: a new interactive theorem prover based—as Coq—on the Calculus of Inductive Constructions (CIC). In particular, we analyze its architecture focusing on the dependencies of its compone...

A better future for injectable contraception?