The Results of Falcon-AO in the OAEI 2006 Campaign Wei Hu, Gong Cheng, Dongdong Zheng, Xinyu Zhong, and Yuzhong Qu School of Computer Science and Engineering, Southeast University, Nanjing, P. R. China {whu, gchen

Source URL: ceur-ws.org

• Knowledge representation
• Knowledge engineering
• Ontology
• Science
• Schema matching
• Information
• Semantic Web
• Information science

PHYSICAL REVIEW E 87, Overlapping community detection in complex networks using symmetric binary matrix factorization Zhong-Yuan Zhang* School of Statistics, Central University of Finance and Economics, Ha

Source URL: www.yongyeol.com

• Graph theory
• Network theory
• Bayesian statistics
• Statistical models
• Linear algebra
• Non-negative matrix factorization
• Modularity
• Community structure
• Graphical model
• Statistics
• Mathematics
• Networks

914 SHAHIDI & ZHONG: JOURNAL OF AOAC INTERNATIONAL VOL. 91, NO. 4, 2008 SPECIAL GUEST EDITOR SECTION Bioactive Peptides FEREIDOON SHAHIDI and YING ZHONG Memorial University of Newfoundland, Department of Biochemistry, 30

Source URL: www.2ndchance.info

Resource A Proteome-Scale Map of the Human Interactome Network Thomas Rolland,1,2,19 Murat Tas xan,1,3,4,5,19 Benoit Charloteaux,1,2,19 Samuel J. Pevzner,1,2,6,7,19 Quan Zhong,1,2,8,19 Nidhi Sahni,1,2,19 Song Yi,1,2,19 I

Source URL: ccsb.dfci.harvard.edu

• Systems biology
• Genomics
• Molecular biology
• Proteomics
• Interactome
• Biological network
• Short linear motif
• Protein–protein interaction
• Human genome
• Biology
• Bioinformatics
• Science

Discovering Spammers in Social Networks Yin Zhu† , Xiao Wang? , Erheng Zhong† , Nanthan N. Liu† , He Li? , Qiang Yang† † Hong Kong University of Science and Technology, Hong Kong ?

Source URL: www.cs.ust.hk

• Anti-spam techniques
• Email spam
• Spam
• Honeypot
• Social networking spam
• Mobile phone spam
• Social networking service
• Spamming
• Internet
• Computing

Type-Preserving Compilation of Featherweight Java Christopher League Valery Trifonov Zhong Shao

Source URL: contrapunctus.net

Precision in Practice: A Type-Preserving Java Compiler? Christopher League1 , Zhong Shao2 , and Valery Trifonov2 1 Long Island University · Computer Science

Source URL: contrapunctus.net

• Object-oriented programming
• Type theory
• Data types
• Cross-platform software
• Functional programming
• Java
• Virtual method table
• Type system
• Pointer
• Software engineering
• Computing
• Computer programming

Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate

Source URL: contrapunctus.net

• Programming language theory
• Computing
• Recursive data type
• Papyrus 1
• Type system
• Type safety
• Generic programming
• Type theory
• Data types
• Software engineering

Modeling the Dynamics of Composite Social Networks Erheng Zhong† , Wei Fan‡ , Yin Zhu† , Qiang Yang† ‡ † Hong Kong University of Science and Technology, Hong Kong ‡

Source URL: dl.dropboxusercontent.com

• Software
• Computing
• Technology
• Cross-platform software
• Tencent QQ
• Evolving networks
• Renren
• Social networking service
• Degree distribution
• Networks
• Tencent Holdings
• Network theory

Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University

Source URL: contrapunctus.net

• Data types
• Java programming language
• Cross-platform software
• Java virtual machine
• Java bytecode
• Lambda calculus
• Javac
• Type system
• Subtype polymorphism
• Computing
• Software
• Type theory