Learn More
Software model checking has become a popular tool for verifying programs' behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. However, even state-of-the-art model checkers are limited in use when they report an overwhelming number of false positives, or when their lengthy running time dwarfs other software(More)
Realizing the theoretical promise of quantum computers will require overcoming decoherence. Here we demonstrate numerically that high fidelity quantum gates are possible within a framework of quantum dynamical decoupling. Orders of magnitude improvement in the fidelities of a universal set of quantum gates, relative to unprotected evolution, is achieved(More)
among five populations of the southern pine beetle. Annals of Entomo­ logical Society of America 72: 323-327. in response of southern pine beetle (Coleoptera: Scolytidae) to aggregat­ ing pheromones in laboratory assays. and evolution of unique satellite-DNA families in two parasitic wasp species: Diadromus pulchellus and Eupelmus vuilleti (Hymenoptera).(More)
  • 1