A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each module be accompanied by annotations that specify the module. To help reduce the cost of writing specifications, this paper presents Houdini, an annotation assistant for the modular checker ESC/Java. To infer suitable ...

In this paper, a collocation method for solving high-order linear partial differential equations (PDEs) with variable coefficients under more general form of conditions is presented. This method is based on the approximation of the truncated double exponential second kind Chebyshev (ESC) series. The definition of the partial derivative is presented and derived as new operational matrices of der...

BACKGROUND Stellera chamaejasme L, a traditional Chinese herb, has long been used for treatment of various tumors in the Chinese population. In our previous study, we paid an attention to the cytotoxic and proapoptotic effects of Stellera chamaejasme L extracts (ESC, ESC-1 and ESC-2, the latter two were isolated from ESC) on 4 various tumor cells (NCI-H157, NCI-H460, BEL-7402 and SK-HEP-1) in v...

A new N-protecting group, ethanesulfonylethoxycarbonyl (Esc), was designed to perform peptide synthesis in both aqueous and organic solvents. Esc-amino acids were prepared by the reaction of Esc-Cl and amino acids. Although Esc-Cl was a highly reactive reagent, it was not stable and decomposed during the purification procedure. A more stable reagent, ethanesulfonylethyl-4-nitrophenyl carbonate ...

The extra sex combs (ESC) and Enhancer of zeste [E(Z)] proteins, members of the Polycomb group (PcG) of transcriptional repressors, interact directly and are coassociated in fly embryos. We report that these two proteins are components of a 600-kDa complex in embryos. Using gel filtration and affinity chromatography, we show that this complex is biochemically distinct from previously described ...

PURPOSE Electrochemical skin conductance (ESC) using reverse iontophoresis and chronoamperometry has been used to evaluate abnormal function of small fibers. How ESC correlates with loss of small fibers in skin is unclear. METHODS This was a prospective, blinded study. The primary outcome measure was the correlation between ESC at the feet and results of skin biopsies including epidermal nerv...