• Publications
  • Influence
Do security toolbars actually prevent phishing attacks?
It is found that many subjects do not understand phishing attacks or realize how sophisticated such attacks can be, and security toolbars are found to be ineffective at preventingPhishing attacks. Expand
Safety Verification of Deep Neural Networks
A novel automated verification framework for feed-forward multi-layer neural networks based on Satisfiability Modulo Theory (SMT) is developed, which defines safety for an individual decision in terms of invariance of the classification within a small neighbourhood of the original image. Expand
Framing AIDS in China: A Comparative Analysis of US and Chinese Wire News Coverage of HIV/AIDS in China
  • M. Wu
  • Political Science
  • 1 September 2006
This paper compares the news coverage of HIV/AIDS in China by the Xinhua News Agency of China and the Associated Press of the United States in 2004. By examining the frames embedded in the two newsExpand
Distribution patterns of brominated, chlorinated, and phosphorus flame retardants with particle size in indoor and outdoor dust and implications for human exposure.
The FR contamination varied strongly among different types of microenvironments, leading to high human exposure to various FRs, and polybrominated diphenyl ethers were the dominant flame retardants (FRs) in road dust, with the maximum concentration of 23,700 ng g(-1), higher than in any indoor dust. Expand
BRCA1 Regulates GADD45 through Its Interactions with the OCT-1 and CAAT Motifs*
It is shown that BRCA1 activation of the Gadd45 promoter is mediated through the OCT-1 and CAAT motifs located at the GADD45 promoter region, which indicates that BrcA1 can up-regulate its targeted genes through protein-protein interactions and provide a novel mechanism by which BRCa1 participates in transcriptional regulation. Expand
Isolation, Screening, and Identification of Cellulolytic Bacteria from Natural Reserves in the Subtropical Region of China and Optimization of Cellulase Production by Paenibacillus terrae ME27-1
This study provided further information about the diversity of cellulose-degrading bacteria in the subtropical region of China and found P. terrae ME27-1 to be highly cellulolytic. Expand
An efficient antiviral strategy for targeting hepatitis B virus genome using transcription activator-like effector nucleases.
Data indicate that TALENs can specifically target and successfully inactivate the HBV genome and are potently synergistic with IFN-α, thus providing a potential therapeutic strategy for treating CHB infection. Expand
AMID, an Apoptosis-inducing Factor-homologous Mitochondrion-associated Protein, Induces Caspase-independent Apoptosis*
It is suggested that AMID induces a novel caspase-independent apoptotic pathway, which lacks a mitochondrial localization sequence but shares significant homology with AIF and NADH oxidoreductases from bacteria to mammalian species. Expand
Hypocretin/Orexin Innervation and Excitation of Identified Septohippocampal Cholinergic Neurons
Hcrt effects within the septum should increase hippocampal acetylcholine release and thereby promote hippocampal arousal and provide definitive evidence for a hypocretin innervation of cholinergic neurons. Expand
Concolic Testing for Deep Neural Networks
The first concolic testing approach for Deep Neural Networks (DNNs) is presented, which formalise coverage criteria for DNNs that have been studied in the literature, and develops a coherent method for performing concolicTesting to increase test coverage. Expand