Limit search to available items
Book Cover
E-book
Author ICTMF 2011 (Conference) (2011 : Singapore)

Title Theoretical and mathematical foundations of computer science : second International Conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / Qihai Zhou (ed.)
Published Berlin ; Heidelberg : Springer, ©2011

Copies

Description 1 online resource (xv, 615 pages) : illustrations (some color)
Series Communications in computer and information science, 1865-0929 ; 164
Communications in computer and information science ; 164.
Contents Machine generated contents note: Numerical Study for the Effects of Injection Parameters on Flow Fields of the Blockerless Thrust Reverser / Xiao-Xing Li -- Nonconforming H1-Galerkin Mixed Finite Element Method for Dispersive-Dissipative Wave Equation / Liang Wu -- One Dynamic Hierarchical Data Acquisition Model for Pre-geohazards Information Acquisition / Zhaoyi Zhang -- Network Content Security Evaluation Method Analysis / Hongsong Chen -- Images Denoising by Improved Non-Local Means Algorithm / Ke Lu -- Controllable Quantum Sequential Multi-signature Scheme / Fan Yang-Yu -- Improving Detection Rate in Intrusion Detection Systems Using FCM Clustering to Select Meaningful Landmarks in Incremental Landmark Isomap Algorithm / Babak Nassersharif -- Efficient and Provably Secure Certificate-Based Encryption Scheme / Yang Lu -- Efficient Forward-Secure Identity-Based Encryption Scheme in the Standard Model / Yang Lu -- ̂
Note continued: Design and Implementation of Logistics Experiment Platform Based on OMT / Quan Ou Yang -- Data Fusion Strategy of Wireless Sensor Network Based on Specific Application / Yajie Fei -- Computational Technique of Learning Progress Motivation: Diagnosis of Learning and Innovation Status / Te-Jeng Chang -- Study on the Processing Method of Cycle Slips under Kinematic Mode / Hongzhou Chai -- Research of Building VPN Based on IPsec and MPLS Technology / Hong-Yun Xu -- Embedded Smart Tracker Based on Multi-object Tracking / Cao Zuoliang -- Survey on Indoor Positioning Technologies / Chao Huang -- New Channel Calibration Method of Eddy Current Array Technology / Liang-Jie Hou -- Fault Diagnosis of Automotive Engines Using Fuzzy Relevance Vector Machine / Qingsong Xu -- Stability and Oscillation Analysis in a System of Three Coupled Oscillators with Delays / Chunhua Feng -- ̂ Recursive Transformation Algorithms between Forest and Binary Tree / Min Wang -- Design of Software System of Mobile Robot with Mixed Programming Based on Eclipse + pydev / Dawei Liu -- Optimal Algorithms for Computing Policy-Conforming Paths in the Internet / Lixin Gao -- Design and Implementation of the LBS Interface for Personnel Positioning / Shumin Fei -- Finding Critical Multiple Paths for Demands to Avoid Network Congestion / Yu Lin -- Short-Wave Communication System Based on Fountain Codes / Ke-Bin Jia -- Logistic Regression Parameter Estimation Based on Parallel Matrix Computation / Meng Liu -- Web Service Response Time Monitoring: Architecture and Validation / Thiam Kian Chiew -- Simulating Model of NGN Based on CPN Tools / Runqing Quan -- Simulation Analysis for Information Resource Allocation of Express Company Based on Fractal / Wenrui Hao -- Optimal Replica Selection Algorithm in Data Grid / Li Zhang -- ̂ On the Operational Semantics of a Higher Order Safe Ambients Calculus / Zining Cao
Note continued: NPGPU: Network Processing on Graphics Processing Units / Yuhao Zhu -- Hybrid Routing Mechanism for ZigBee Wireless Sensor Networks / Mingshan Ju -- Research on the Establishment of Distributed Storage Virtual Geographic Environment Based on Lustre File System / Qing Xia -- Asymmetric Multiparty-Controlled Teleportation of Arbitrary n-qudit States Using Different Quantum Channels / Hong Zhong -- Parallel Computing of Multi-resolution Combined Fuzzy Networks / Yan Liang -- Implementation on Extracting H.264/AVC Compressed Data from Flash Video / Yanzi Huang -- Analysis of Construction Schemes with Varied Data Re-modulation Formats for Centralized Lightwave WDM-PON Employing Super-Continuum Light Source / Zheng Wenyi -- Design of Optical Raindrop Spectrometer Based on Embedded Microcontroller / Sujuan Zhang -- Integrated Fault Diagnosis Method of Mobile Robot / Chen Jungan -- Delay Performance of Voice Call Continuity (VCC) for Circuit-Switched to Packet-Switched Domain Transfer / Mahmoud Fathi -- Speed Up the Image Registration with PDE Model and Parallel AOS Scheme / Ruilin Guo -- High-Integrity MapReduce Computation in Cloud with Speculative Execution / Zhiwei Xiao -- Cognitive Radio Access Based on Multiparameter Matching Ability Estimation / Shilou Jia -- Superconvergence Analysis for Nonlinear Viscoelastic Wave Equation / Dongwei Shi -- Design of Acid Rain Observing Instrument Based on LPC2368 / Shangchang Ma -- Elastic Plastic Damage Model for Concrete Considering Strain Rate Effect and Stiffness Damping / Lu Xilin -- Some Properties of the Continuous Single-Valley Expansion Solution to the Feigenbaum's Functional Equation / Risong Li -- Pythagorean Element on UFD and PH Curve / Yongwei Miao -- Bisector of a Point and a Plane Algebraic Curve / Yongwei Miao -- Biarc Approximation of Planar Algebraic Curve / Yongwei Miao
Note continued: On Self-complementary of Circulant Graphs / Houqing Zhou -- Transmissivity Simulation of Carbon Dioxide Using Narrow-Band K-Distribution with Different K-Discrete Schemes / Qiang Wang -- Research of Temperature Fields during Hot Rolling for the Strip / Zhiqiang Jiang -- Using Bees Algorithm to Solve the Resource Constrained Project Scheduling Problem in PSPLIB / Farnaz Barzinpour -- Industry Cluster Manufacturing Service of Cooperative Payment System on Lace / Jun Yu -- Floatation Froth Image Segmentation Algorithm Based on Mathematical Morphology and Wavelet / Da-Ling Jiang -- Image Enhancement Using the Multi-scale Filter: Application of the Bilateral Filtering Scheme and PSO Algorithm / Chih-Ming Kung -- Impact of LUCC on Ecosystem Service Values in HaDaQi Industrial Corridor / Hang Liu -- SecuRights / Ferhat Khenak -- Nonlinear Frequencies for Transverse Oscillations of Axially Moving Beams: Comparison of Two Models / Ding Hu -- Convergence of Upper and Lower Bounds on the Bayes Error / Michael A. Fries -- Research on Evaluation of Scheduling Algorithms for TS Multiplexers Based on GSPN / Chunlai Zhou -- Dynamic Analysis of Fractional Order Systems / Wen-Long Wan -- Control Plane Models Based on Virtualization Router / Wen-Long Wan -- Design of Generalized Synchronous Observer Based on Fractional Order Linear Hyper Chaos System / Wen-Long Wan -- Analysis of Fractional Chen Chaotic System Composite Structure / Wen-Long Wan -- Design and Implementation of MP4 Coding System Based on S3C2410 / Jin-Na Lv -- Applied Research of Simple Pendulum Experiment Based on the Photoelectric Timing Circuit Technology / Ji-Tian Wang -- Design of Recording System Based on LM386 / Ji-Tian Wang -- Research on QoS Model for IP Networks / Chunxia Tu -- VoIP Application Design with Dynamic QoS Control / Chunxia Tu
Summary 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 topics
Analysis Computer science
Computer Communication Networks
Data structures (Computer science)
Information systems
Mathematics of Computing
Data Structures, Cryptology and Information Theory
Bibliography Includes bibliographical references and author index
Notes English
Subject Computer science -- Mathematics -- Congresses
Informatique.
Computer science -- Mathematics
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Zhou, Qihai.
ISBN 9783642249990
364224999X
3642249981
9783642249983