A Program Logic for Verifying Secure Routing Protocols Chen Chen1 , Limin Jia2 , Hao Xu1 , Cheng Luo1 , Wenchao Zhou3 , and Boon Thau Loo1 1

Source URL: www.andrew.cmu.edu

• Mathematics
• Logic
• Mathematical logic
• Type theory
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• Tuple

Database Meets Deep Learning: Challenges and Opportunities Wei Wang† , Meihui Zhang‡ , Gang Chen§ , H. V. Jagadish# , Beng Chin Ooi† , Kian-Lee Tan† †

Source URL: www.comp.nus.edu.sg

• Computing
• Concurrent computing
• Parallel computing
• Applied mathematics
• Computational linguistics
• Computational neuroscience
• Formal sciences
• Artificial neural networks
• Deep learning
• Machine learning
• Database
• Recurrent neural network

A SPATIAL LOW-PASS FILTER WORKING FOR TRIANGULAR IRREGULAR NETWORK (TIN) AND RESTRICTED BY BREAK LINES Zi-Tan Chen, Ph.D Environmental Systems Research Institute 380 New York St., Redlands, CA 92373, USA

Source URL: mapcontext.com

• Signal processing
• Telecommunications engineering
• Electromagnetism
• Electronics
• Linear filters
• Physical optics
• Filter
• Filter theory
• Low-pass filter
• Spatial filter
• Electronic filter
• Wavelength

RESEARCH ARTICLE ADVERTISING VERSUS BROKERAGE MODEL FOR ONLINE TRADING PLATFORMS Jianqing Chen Jindal School of Management, The University of Texas at Dallas,

Source URL: www.misq.org

CINT PublicationsY. Sun, S. F. Cheng, G. Chen, R. F. Hicks, J. G. Cederberg, and R. M. Biefeld, “The effect of antimony in the growth of indium arsenide quantum dots in gallium arsenide (001),” J. Appl. Ph

Source URL: cint.lanl.gov

• Crystal
• Photonic-crystal fiber
• Opticians
• Guggenheim Fellows

Efficient Record Linkage in Large Data Sets Liang Jin, Chen Li, and Sharad Mehrotra Department of Information and Computer Science University of California, Irvine, CA 92697, USA liangj,chenli,sharad
@ics.uci.edu Abstrac

Source URL: flamingo.ics.uci.edu

• Statistics
• Geometry
• Multivariate statistics
• Dynamic programming
• Data analysis
• Quantitative linguistics
• Statistical distance
• Data management
• Record linkage
• Levenshtein distance
• Multidimensional scaling
• String metric

IDNS: A SIMPLE APPROACH TO INTERNET HOST PORTABILITY Yu Chen, Terrance Boult Lehigh University 27 Memorial Drive West, Bethlehem, PAUSA Tel: +, Fax: +, E-mail: {yuc3, tboult}@eecs.lehi

Source URL: www.vast.uccs.edu

• Computing
• Network architecture
• Internet
• Internet Standards
• Dynamic Host Configuration Protocol
• IP address
• DHCPv6
• Domain Name System
• Dynamic DNS
• DHCPD
• Mobile IP
• IPv6

CICADAS: Congesting the Internet with Coordinated And Decentralized Pulsating Attacks Yu-Ming ke Chih-Wei Chen

Source URL: www.netsec.ethz.ch

• Network performance
• Computing
• Denial-of-service attacks
• Network architecture
• Internet
• Network congestion
• Teletraffic
• Additive increase/multiplicative decrease
• Internet bot
• TCP congestion control
• Transmission Control Protocol
• Denial-of-service attack

Multimed Tools Appl DOIs11042A steganographic method via various animations in PowerPoint files Wen-Chao Yang & Ling-Hwei Chen

Source URL: debut.cis.nctu.edu.tw

• Software
• Computing
• Presentation software
• Microsoft PowerPoint
• Steganography
• Adobe Flash
• Microsoft Office shared tools
• Presentation program
• Slide
• PowerPoint animation

Human Computation: Experience and Thoughts Kuan-Ta Chen Institute of Information Science, Academia Sinica In this position paper, I will first summarize our previous

Source URL: crowdresearch.org

• Human-based computation
• Computing
• Collective intelligence
• Computer science
• Crowdsourcing
• Association for Computing Machinery
• Quality of experience
• Amazon Mechanical Turk
• CAPTCHA