Jennifer J. Burg

Learn More
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propositional logic and gives them practice with theorem proving. Secondly, the program provides an environment in which we can track student learning, explore cognitive issues of human(More)
This paper presents hybrid algorithms for a variation of the Bounded Knapsack Problem which we call the Oregon Trail Knapsack. Our problem entails imposing a cost as well as a weight limit, constraining the values of types of items by means of a variety of value functions, and allowing the value of one item type to be dependent on the presence or absence of(More)
f educators are to communicate effectively with their students, they must also be able to speak the language of a computer-nurtured generation. We would argue the best way for a university to accomplish these goals is to place a computer in the hands of every student and faculty member. This article reports on the experience of one university that has(More)
Linear constraint solving in constraint logic programming requires in-cremental checks of the satissability of a system of equations and inequalities. Experience has shown that Gauss-Jordan elimination and the simplex method are eecient enough to be of practical value in the implementation of CLP languages based on linear arithmetic constraints 1, 2, 4, 6,(More)
"Digital media" is one of those unfortunate terms that means different things in different contexts. This difficulty of definition -- along with its association with art, communication, architecture, and film -- puts digital media on the margins of traditional computer science curricula. This paper reviews the types of digital media programs current in(More)
Two dance performances were produced as a collaboration between a modern dance company and university scientists. The performances were thematically based on concepts from mathematics and computer science and used digital imagery, poetry, and real-time computation directed by a MIDI device. The first production played on the Fibonacci sequence and the(More)
This paper reports on an NSF-grant supported summer workshop that brought music and computer science students together for eight weeks to explore creative projects in digital sound production. The dynamics of the students' collaborations were observed as they crafted experimental projects weaving together music, theatre production, sampled digital audio,(More)
SUMMARY This special session implements the first goal of the SIGCSE Committee on Computing and Music. It provides a venue in which the committee conveners can present their work to SIGCSE attendees and in return acquire information from others who are using music to promote learning of deep computing concepts. By describing four diverse approaches, the(More)