Theoretical and Mathematical Foundations of Computer Science

1. Front Matter

   PDF

2. Numerical Study for the Effects of Injection Parameters on Flow Fields of the Blockerless Thrust Reverser

   • Yun-Hao Zhang, Eriqitai, Xiao-Xing Li

   Pages 1-8

3. Nonconforming H ¹-Galerkin Mixed Finite Element Method for Dispersive-Dissipative Wave Equation

   • Yanmin Zhao, Dongwei Shi, Liang Wu

   Pages 9-14

4. One Dynamic Hierarchical Data Acquisition Model for Pre-geohazards Information Acquisition

   • Honghui Wang, Xianguo Tuo, Guiyu Zhang, Zhaoyi Zhang

   Pages 15-22

5. Network Content Security Evaluation Method Analysis

   • Dongyan Zhang, Lihua Yin, Hongsong Chen

   Pages 23-32

6. Images Denoising by Improved Non-Local Means Algorithm

   • Ning He, Ke Lu

   Pages 33-39

7. A Controllable Quantum Sequential Multi-signature Scheme

   • Ma Ying, Tian Wei-Jian, Fan Yang-Yu

   Pages 40-45

8. Improving Detection Rate in Intrusion Detection Systems Using FCM Clustering to Select Meaningful Landmarks in Incremental Landmark Isomap Algorithm

   • Seyed Mehdi Iranmanesh, Mehdi Mohammadi, Ahmad Akbari, Babak Nassersharif

   Pages 46-53

9. An Efficient and Provably Secure Certificate-Based Encryption Scheme

   • Yang Lu

   Pages 54-61

10. Efficient Forward-Secure Identity-Based Encryption Scheme in the Standard Model

    • Yang Lu

    Pages 62-69

11. Kolmogorov and Linear Widths on Generalized Besov Classes in the Monte Carlo Setting

    • Liqin Duan, Peixin Ye

    Pages 70-76

12. Initial Boundary Value Problem for a Generalized Zakharov Equations

    • Shujun You, Xiaoqi Ning

    Pages 77-83

13. Application and Research of Virtual Reality Technique on the Safety of Transportation of Dangerous Goods

    • Li Qi-Zhong

    Pages 84-91

14. A GPU-RSVM Based Intrusion Detection Classifier

    • Xueqin Zhang, Chen Zhao, Jiyi Wu, Chao Song

    Pages 92-100

15. Low Complexity Decoding Algorithm for Nonbinary LDPC Codes

    • Xue-Fei Yang, Wei Li, Lian Huang

    Pages 101-108

16. Efficient Query Protocol for Database’s Privacy

    • Xianping Yuan, Hong Zhong, Hongsheng Huang, Lei Yi

    Pages 109-115

17. A Novel Model of Large-Scale Distributed and Hybrid Search and Location

    • Jianying Chen

    Pages 116-122

18. The Exploration of Mainstream VPN Technologies in Campus Network

    • Yao Bao, Wenjin Tian, Zhiyuan Du

    Pages 123-127

19. A Novel ZigBee Keyboards with Mobile Ad Hoc Network

    • Wu Lei

    Pages 128-135

20. An Open Platform for Earthquake Engineering Simulation in China

    • Ruizhi Wen, Bo Jin, Wei Chen, Xiangyu Jia, Zhiyong Dai

    Pages 136-141

This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF 2011, held in Singapore in May 2011. The conference was held together with the Second International Conference on High Performance Networking, Computing, and Communication systems, ICHCC 2011, which proceedings are published in CCIS 163. The 84 revised selected papers presented were carefully reviewed and selected for inclusion in the book. The topics covered range from computational science, engineering and technology to digital signal processing, and computational biology to game theory, and other related topices.

• computational mathematics
• discrete mathematical structures
• image processing
• information systems
• networking
• secure communications
• systems security

• Southwestern University of Finance and Economics, Chengdu, China

  Qihai Zhou

Policies and ethics