Previously, we described ways to implement the functions AND and OR in a DNA computer consisting of microreactors with attached heating elements that control annealing of DNA. Base...
Michael S. Livstone, Ron Weiss, Laura F. Landweber
A class of biped locomotion called Passive Dynamic Walking (PDW) has been recognized to be efficient in energy consumption and a key to understand human walking. Although PDW is s...
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
- It is important to identify how much the appearance of a humanoid robot affects human behaviors toward it. We compared participants' impressions of and behaviors toward two ...