This paper describes multimedia based manufacturing tutors currently under development at the University of Massachusetts Amherst. The purpose of these tutors to assist the user in better visualizing and understanding the relationship between part design and the ease or difficulty of creating the tooling needed to produce the part. Evaluation of these tutors by both freshman and junior engineer...

1 Deran Hanesian, New Jersey Institute of Technology, Department of Chemical Engineering, Chemistry and Environmental Science, Tiernan Hall, Newark, New Jersey 07102, [email protected] 2 Angelo J. Perna, New Jersey Institute of Technology, Department of Chemical Engineering, Chemistry and Environmental Science, Tiernan Hall, Newark, New Jersey 07102, [email protected] Abstract---In the ear...

For $855, you can buy 107 N otre D am e ties, 66 sw eat sh irts or 21 video casse ttes of “ K nute Rockne All A m eri­ ca n ’’ a t the bookstore. Or you can pay for this y e a r ’s increase in tuition a t N otre Dam e. In a le tte r to paren ts last June, U niversity P residen t F a ­ th er E dw ard Malloy said the U niversity ’s operating budget of $189,463,100 would requ ire a 9.9 percent inc...

1 Department of Chemical Engineering, Rowan University, 201 Mullica Hill Road, Glassboro, New Jersey 08028-1701 2 Department of Civil and Environmental Engineering, Rowan University, 201 Mullica Hill Road, Glassboro, New Jersey 08028-1701 3 Department of Chemical Engineering, Rowan University, 201 Mullica Hill Road, Glassboro, New Jersey 08028-1701 4 Department of Chemical Engineering, Rowan Un...

Warren was a philosopher and scientist. As a freshman at Haverford College he told the Quaker philosopher Rufus Jones that all he wanted to know was: "What is a number that a man may know it; and a man, that he may know a number?" To this the Quaker famously replied: "Friend, thee will be busy as long as thee lives." Warren acknowledged in his last days that the prophecy had been fulfilled, and...

The ACL2 Sedan theorem prover (ACL2s) is an Eclipse plugin that provides a modern integrated development environment, supports several modes of interaction, provides a powerful termination analysis engine, and includes fully automatic bug-finding methods based on a synergistic combination of theorem proving and random testing. ACL2s is publicly available and open source. It has also been used i...