Poem: The Dance

Autophagy: research topic, painting, poem, dance

E ffective teachers do no simply present information for students to learn by rote for a good grade. Rather, they provide an environment in which students can engage with course material and both learn and interpret it for their own interest and goals. With this in mind, I have spent a considerable amount of time developing an active learning format for my introductory biology course, including...

Induction The dance of shadows

Statistics stems out from induction. Induction is a long lasting notion in philosophy. The nature of notions in philosophy are such that neither they can be solved completely nor one can leave them forever. One of the most important problem in induction is “the problem of induction”. In this paper we give a short history of induction and discuss some aspects of the problem of induction.  

Life: A Poem

The Implementation of Mazurkiewicz Traces in POEM

We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to store trace systems, which allows sharing common prefixes among traces and therefore, reduces memory cost. This structure is easy to extend to incorporate additional features. Two applications are shown in the paper: An ...

Dance Dance Convolution

Dance Dance Revolution (DDR) is a popular rhythmbased video game. Players perform steps on a dance platform in synchronization with music as directed by on-screen step charts. While many step charts are available in standardized packs, users may grow tired of existing charts, or wish to dance to a song for which no chart exists. We introduce the task of learning to choreograph. Given a raw audi...