We present a new way to model the response of an electrode to an injected current. The electrode is represented by an unknown complex linear circuit, characterized by a kernel whi...
Although the mechanisms of eukaryotic chromosome segregation and cell division have been elucidated to a certain extent, those for bacteria remain largely unknown. Here we present...
We propose an eye detection and tracking method based on color and geometrical features of the human face using a monocular camera. In this method a decision is made on whether th...
A. M. Bagci, Ashfaq A. Khokhar, E. Cetin, Rashid A...
A multi-agent marketplace, MAGNET (Multi AGent Negotiation Testbed), is a promising solution to conduct online combinatorial auctions. The trust model of MAGNET is somewhat diffe...
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...