A Comparison of Java Cards: State-of-Affairs 2006 ∗ (2008)
Wojciech Mostowski, Jing Pan, Srikanth Akkiraju, Erik Vink, Erik Poll, Jerry Hartog
This document presents the results of a comparative study of some popular Java Cards on the market. Eight different cards from four manufacturers have been considered. The analysis has been done at...
Single cell cytometry of protein function in RNAi treated cells and in native populations (2008)
LaPan, Peter, Zhang, Jing, Pan, Jing, Hill, Andrew, Haney, Steven A
Abstract Background High Content Screening has been shown to improve results of RNAi and other perturbations, however significant intra-sample heterogeneity is common and can complicate some...
Jing Pan, Reiner Hähnle, Reiner Hähnle
ii We present a theorem proving approach to analysis of secure information flow using the technique of inspecting failed proofs and open goals. We then introduce an approximate interpretation of...
Li, Yizheng, Pan, Jing, Li, Jian-Liang, Lee, Jee, Tunkey, Chris, Saraf, Katie, ...
Abstract Background Human mammary epithelial cells (HMEC) overcome two well-characterized genetic and epigenetic barriers as they progress from primary cells to fully immortalized cell lines in vitro...
On the integration of security type systems into program logics (2007)
Reiner Hähnle, Jing Pan, Dennis Walter
Abstract. Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensuring...
On the integration of security type systems into program logics (2007)
Reiner Hähnle, Jing Pan, Dennis Walter
Abstract. Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensuring...
Reiner Hähnle, Jing Pan, Dennis Walter, Reiner Hähnle, Jing Pan, Dennis Walter, ...
Abstract. Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensuring...
Spindle checkpoint regulates Cdc20p stability in Saccharomyces cerevisiae (2004)
The spindle checkpoint arrests cells at the metaphase-to-anaphase transition until all chromosomes have properly attached to the mitotic spindle. Checkpoint proteins Mad2p and Mad3p/BubR1p bind and...
Synthesis of block copolymers containing main chain NLO segments /--by Jing Pan. (1999)
Thesis (Ph. D.)--University of Southern California, 1999.
CCR4 associate factor 16 (CAF16) is a putative atpase /--by Jing Pan. (1997)
Thesis (M.S.)--University of New Hampshire, 1997.
Degree granted in Computer Science.
MC-a programmable interpreter for matrix manipulation. (1987)
SPEC. COLL. HAS ARCHIVAL COPY; MICRO. ROOM HAS MICROFICHE COPY (2 SHEETS).
Negative cross-talk between hematopoietic regulators: GATA proteins repress PU.1
Zhang, Pu, Behre, Gerhard, Pan, Jing, Iwama, Atsushi, Wara-aswapati, Nawarat, Radomska, Hanna S., ...
The process through which multipotential hematopoietic cells commit to distinct lineages involves the induction of specific transcription factors. PU.1 (also known as Spi-1) and GATA-1 are...
Iwama, Atsushi, Pan, Jing, Zhang, Pu, Reith, Walter, Mach, Bernard, Tenen, Daniel G., ...
Interleukin-5 (IL-5) plays a central role in the differentiation, proliferation, and functional activation of eosinophils. The specific action of IL-5 on eosinophils and hematopoietically related...
Suppression of v-src Transformation by the drs Gene
Inoue, Hirokazu, Pan, Jing, Hakura, Akira
Previously, we isolated a novel gene, drs, which was downregulated by retroviral oncogenes such as v-src and v-K-ras, from a cDNA library of primary rat embryo fibroblasts. Experiments using a...
Novel Small-Molecule Inhibitors of RNA Polymerase III
Wu, Liping, Pan, Jing, Thoroddsen, Vala, Wysong, Deborah R., Blackman, Ronald K., Bulawa, Christine E., ...
A genetic approach utilizing the yeast Saccharomyces cerevisiae was used to identify the target of antifungal compounds. This analysis led to the identification of small molecule inhibitors of RNA...
Cardiomyocytes can be generated from marrow stromal cells in vitro
Makino, Shinji, Fukuda, Keiichi, Miyoshi, Shunichirou, Konishi, Fusako, Kodama, Hiroaki, Pan, Jing, ...
We have isolated a cardiomyogenic cell line (CMG) from murine bone marrow stromal cells. Stromal cells were immortalized, treated with 5-azacytidine, and spontaneously beating cells were repeatedly...
Spindle checkpoint regulates Cdc20p stability in Saccharomyces cerevisiae
The spindle checkpoint arrests cells at the metaphase-to-anaphase transition until all chromosomes have properly attached to the mitotic spindle. Checkpoint proteins Mad2p and Mad3p/BubR1p bind and...
Endonucleolytic processing of covalent protein-linked double-strand breaks
Neale, Matthew J., Pan, Jing, Keeney, Scott
DNA double-strand breaks (DSBs) with protein covalently attached to 5′ strand termini are formed by Spo11 to initiate meiotic recombination1,2. The Spo11 protein must be removed for the DSB to be...
Negative cross-talk between hematopoietic regulators: GATA proteins repress PU.1
Zhang, Pu, Behre, Gerhard, Pan, Jing, Iwama, Atsushi, Wara-aswapati, Nawarat, Radomska, Hanna S., ...
The process through which multipotential hematopoietic cells commit to distinct lineages involves the induction of specific transcription factors. PU.1 (also known as Spi-1) and GATA-1 are...
Iwama, Atsushi, Pan, Jing, Zhang, Pu, Reith, Walter, Mach, Bernard, Tenen, Daniel G., ...
Interleukin-5 (IL-5) plays a central role in the differentiation, proliferation, and functional activation of eosinophils. The specific action of IL-5 on eosinophils and hematopoietically related...
Suppression of v-src Transformation by the drs Gene
Inoue, Hirokazu, Pan, Jing, Hakura, Akira
Previously, we isolated a novel gene, drs, which was downregulated by retroviral oncogenes such as v-src and v-K-ras, from a cDNA library of primary rat embryo fibroblasts. Experiments using a...
Novel Small-Molecule Inhibitors of RNA Polymerase III
Wu, Liping, Pan, Jing, Thoroddsen, Vala, Wysong, Deborah R., Blackman, Ronald K., Bulawa, Christine E., ...
A genetic approach utilizing the yeast Saccharomyces cerevisiae was used to identify the target of antifungal compounds. This analysis led to the identification of small molecule inhibitors of RNA...
Cardiomyocytes can be generated from marrow stromal cells in vitro
Makino, Shinji, Fukuda, Keiichi, Miyoshi, Shunichirou, Konishi, Fusako, Kodama, Hiroaki, Pan, Jing, ...
We have isolated a cardiomyogenic cell line (CMG) from murine bone marrow stromal cells. Stromal cells were immortalized, treated with 5-azacytidine, and spontaneously beating cells were repeatedly...
Spindle checkpoint regulates Cdc20p stability in Saccharomyces cerevisiae
The spindle checkpoint arrests cells at the metaphase-to-anaphase transition until all chromosomes have properly attached to the mitotic spindle. Checkpoint proteins Mad2p and Mad3p/BubR1p bind and...
Chott, Andreas, Sun, Zijie, Morganstern, Daniel, Pan, Jing, Li, Tong, Susani, Martin, ...
An important biological feature of prostate cancer (PCa) is its marked preference for bone marrow as a metastatic site. To identify factors that may support the growth of PCa in bone marrow,...
Molecular Cartography: Mapping the Landscape of Meiotic Recombination
Mapping recombination hot and cold spots in yeast has previously relied on mutants, which themselves distort the map. Now a new method promises to overcome that problem.
Single cell cytometry of protein function in RNAi treated cells and in native populations
LaPan, Peter, Zhang, Jing, Pan, Jing, Hill, Andrew, Haney, Steven A
Alkaline polymer electrolyte fuel cells completely free from noble metal catalysts
Lu, Shanfu, Pan, Jing, Huang, Aibin, Zhuang, Lin, Lu, Juntao
In recent decades, fuel cell technology has been undergoing revolutionary developments, with fundamental progress being the replacement of electrolyte solutions with polymer electrolytes, making the...