Microtubule-binding drugs (MBD) are widely used in cancer chemotherapy and also have
clinically relevant antiangiogenic and vascular-disrupting properties. These antivascular …

During the era of prebiotic evolution, which culminated in the appearance of cellular life
forms, the earth had a reducing atmosphere. Fueled by volcanic activity and by magmatic …

The combination of Interferon (IFN) and conventional chemotherapeutic agents offers a
promising therapeutic approach for the treatment of cancer. However, there is as yet no …

… We denote by μ, Δ ⊣ e ⇓ v evaluating an expression e to a value v in the current state given
by μ and Δ. The expression e is evaluated by matching e to an expression evaluation rule …

The H 2 -oxidizing lithoautotrophic bacterium Ralstonia eutropha H16 is a metabolically
versatile organism capable of subsisting, in the absence of organic growth substrates, on H 2 …

BAP is a publicly available infrastructure for performing program verification and analysis
tasks on binary (ie, executable) code. In this paper, we describe BAP as well as lessons …

Taxol, selected for clinical trial because of its animal antitumor activity and unique structure
and mechanism of action, was administered in Cremophor by iv infusion over 6 h in a phase I …

… Schwartz et al.proposed exploit hardening, which takes an exploit that works against an
undefended system and hardens it to bypass defenses. One step in exploit hardening is to …

Among the many software testing techniques available today, fuzzing has remained highly
popular due to its conceptual simplicity, its low barrier to deployment, and its vast amount of …

Prior work has shown that return oriented programming (ROP) can be used to bypass W⊕ X,
a software defense that stops shellcode, by reusing instructions from large libraries such as …