Verifying specimen

Crowdsourcing services, such as Amazon Mechanical Turk, allow for easy distribution of small tasks to a large number of workers… (More)

Significant efforts have been directed to understanding the factors that influence the lineage commitment of stem cells. This… (More)

AIMS microRNA (miRNA) is reported to be present in the blood of humans and has been increasingly suggested as a biomarker for… (More)

We give a simple technique for verifying the Restricted Isometry Property (as introduced by Candès and Tao) for random matrices… (More)

Machine learning approaches offer the potential to systematically identify transcriptional regulatory interactions from a… (More)

In this paper, we propose a new routing protocol, the Zone Routing Protocol (ZRP), for the Reconfigurable Wireless Networks, a… (More)

Many different methods have been devised for automatically verifying finite state systems by examining state-graph models of… (More)

A model-reference adaptive system (MRAS) for the estimation of induction motor speed from measured terminal voltages and currents… (More)

Strategies for hypothesis testing in scientific investigation and everyday reasoning have interested both psychologists and… (More)

This paper investigates mechanisms that guarantee secure information flow in a computer system. These mechanisms are examined… (More)