%{search_type} search results

• What's wrong with formal programming methods?
• Computer Science and communications protocols: Research relationships
• Reaping the benefits of mass production with massively parallel computing
• On the quickest path problem
• Practical adaptive sorting
• Lower bounds for algebraic computation trees of functions with finite domains
• Approximation algorithms for the Bandwidth Minimization Problem for a large class of trees
• The Interpolation-Based Bintree and its application to graphics
• On the k-coloring of intervals
• Folding a triangulated simple polygon: Structural and algorithmic results
• A relationship between self-organizing lists and binary search trees
• How costly can red-black trees be?
• Balance in AVL trees
• A tight lower bound for selection in sorted X+Y
• Greedy triangulation approximates the optimum and can be implemented in linear time in the average case
• Generating random graphs efficiently
• Linear extensions with backtracking
• Storing shortest paths for a polyhedron
• An improved join dependency for efficient constraint checking
• On the power of query-independent compilation
• Parallel transitive closure computation in highly scalable multiprocessors
• Methods and tools for integrating database systems and object-oriented programming systems
• Incremental database design revisited
• Partial document ranking by heuristic methods
• Context inheritance and content inheritance in an object-oriented data model
• Graphical specification of recursive queries
• On designing relational database schemes for efficient query processing
• The mean value approach to performance evaluation of time-stamp ordering algorithms
• A backend text retrieval machine for signature-based document ranking
• Partitioning and scheduling of parallel functional programs using complexity information
• Subtree availability in binary tree architectures
• An optimal parallel algorithm for the vertical segment visibility reporting problem
• A fault-tolerant binary tree architecture
• Unordered tree contraction
• Conflict-free sorting algorithms under single-channel and multi-channel broadcast communication models
• Parallel routing and sorting on the pancake network
• Practical parallel algorithms for chordal graphs
• Logarithmic time NC algorithms for comparability graphs and circle graphs
• Compact hypercubes: Properties and recognition
• Increasing communication bandwidth on hypercube
• Programming a parallel sort using distributed procedure calls
• A note on off-line permutation routing on a mesh-connected processor array
• A fully-pipelined solutions constructor for dynamic programming problems
• On the fault-tolerance of quasi-minimal cayley networks
• Some fast parallel algorithms for parentheses matching
• A simple optimal parallel algorithm to solve the lowest common ancestor problem
• Extended cycle shrinking: A restructuring method for parallel compilation
• Sequential and distributed algorithms for the all pairs quickest path problem
• An efficient approximation algorithm for hypercube scheduling
• An optimal parallel algorithm to reconstruct a binary tree from its traversals
• An efficient multiprocessor architecture for image processing in VLSI
• Generalized fault tolerance properties of star graphs
• A formal description of the IC* model of parallel computation
• An efficient algorithm for quiescence detection in a distributed system
• Interval arithmetic for computing performance guarantees in client-server software
• Enhanced reliability in scheduling critical tasks for hard real-time distributed systems
• A design and modeling environment to develop real-time, distributed software systems
• On the management of remote procedure call transactions
• Simple atomic snapshots a linear complexity solution with unbounded time-stamps
• A distributed scheduling algorithm for heterogeneous real-time systems
• A distributed solution to the k-out of-M resources allocation problem
• Efficient distributed resource scheduling for adaptive real-time operation support
• Mapping of fault-tolerant permutations in omega interconnection network
• Artificial neural networks for predicting silicon content in raw iron from blast furnaces
• A chemical reactor selection expert system created by training an artificial neural network
• A modeling technique for generating causal explanations of physical systems
• Planning in conceptual networks
• Empirical study of the meaning of the hedge "VERY"
• Kernel knowledge versus belt knowledge in default reasoning: A logical approach
• Neural network processing elements as a new generation of "flip-flops"
• A proof-theoretic framework for nonmonotonic reasoning and logic programming
• On semantics, syntactics and fixpoints of general programs
• A framework for variable-resolution vision
• An RMS for temporal reasoning with abstraction.

"This volume contains papers presented at the Third International Conference on Computing and Information, ICCI '91, held at Carleton University in Ottawa, Canada, May 27-29, 1991. The conference was organized by the School of Computer Science at Carleton University, and was sponsored by the Natural Sciences and Engineering Research Council of Canada (NSERC) and Carleton University. ICCI '91 was an international forum for the presentation of original results in research, development, and applications in computing and information processing. The conference was aimed at both practitioners and theoreticians, and was organized into five streams: - Algorithms and complexity, - Databases and information systems, - Parallel processing and systems, - Distributed computing and systems, - Expert systems, artificial intelligence. This volume contains three invited papers, by E.C.R. Hehner, R.L. Probert, and S.J. Smith, and 71 selected papers."--PUBLISHER'S WEBSITE

• I. Explicitly Parallel Languages. Distributed Execution of Actor Programs / G. Agha, C. Houck and R. Panwar. An Overview of the Fortran D Programming System / S. Hiranandani, K. Kennedy, C. Koelbel, U. Kremer and C.-W. Tseng. The Interaction of the Formal and the Practical in Parellel Programming Environment Development: CODE / J. Werth, J. Browne, S. Sobek, T. Lee, P. Newton and R. Jain. Hierarchical Concurrency in Jade / D. Scales, M. Rinard, M. Lam and J. Anderson
• II. Experimentation With Parallel Programming. Experience in the Automatic Parallelization of Four Perfect-Benchmark Programs / R. Eigenmann, J. Hoeflinger, Z. Li and D. Padua. Programming SIMPLE for Parallel Portability / J. Lee, C. Lin and L. Snyder
• III. Internal Representation. Compilation of Id / Z. Ariola and Arvind. An Executable Representation of Distance and Direction / R. Johnson, W. Li and K. Pingali. Integrating Scalar Optimization and Parallelization / S. Tjiang, M. Wolf, M. Lam, K. Pieper and J. Hennessy. Optimization of Data/Control Condition in Task Graphs / M. Girkar and C. Polychronopoulos
• IV. Loop Parallelism. Recognizing and Parallelizing Bounded Recurrences / D. Callahan. Communication-Free Hyperplane Partitioning of Nested Loops / C.-H. Huang and P. Sadayappan. Parallelizing Loops with Indirect Array References or Pointers / L.-C. Lu and M. Chen
• V. Fine Grain Parallelism.

This volume contains the proceedings of the Fourth Workshop on Languages andCompilers for Parallel Computing, held in Santa Clara, California, in August1991. The purpose of the workshop, held every year since 1988, is to bring together the leading researchers on parallel programming language designand compilation techniques for parallel computers. The papers in this book cover several important topics including: (1) languages and structures to represent programs internally in the compiler, (2) techniques to analyzeand manipulate sequential loops in order to generate a parallel version, (3)techniques to detect and extract fine-grain parallelism, (4) scheduling and memory-management issues in automatically generated parallel programs, (5) parallel programming language designs, and (6) compilation of explicitly parallel programs. Together, the papers give a good overview of the research projects underway in 1991 in this field.

• AlzRastreo: accompanying Alzheimer's patients and their caregivers
• Application of Artificial Intelligence Techniques for Cancer Data Analysis in Brazil
• Blockchain trends in education: a scientometric review
• Comparison of Deployment Options for Microservices in the Cloud
• Epymodel: A user-friendly web application for visualising COVID-19 projections for Paraguay including under-reporting and vaccination
• Expert System for Software Architecture Selection
• Gamified strategies to increase motivation in middle school programming learning: A Systematic mapping
• Google Cloud Vision and its application in image processing using a Raspberry Pi
• Human Development for the Brave: Supporting the Generation of Empathy, work in Progress
• Model for the evaluation of the quality of Open Data
• Time Model for the WellProdSim Agent-based Social Simulator
• World Model for the WellProdSim Agent-based Social Simulator

This book constitutes the refereed proceedings of the 16th Colombian Congress on Computing, CCC 2022, held in Armenia, Colombia, during October 17–21, 2022 The 12 full papers included in this book were carefully reviewed and selected from 40 submissions. They topics of this volume include software engineering and IT architecture, human-computer interaction, cybersecurity and information security, image processing and computer vision, multimedia, artificial intelligence and robotics, education and ICT, data, information and knowledge, distributed systems and large-scale computing, and formal methods in computer systems, among others

• Comparative Analysis of Image Segmentation Techniques for Real Field Crop Images.- Sentiment Analysis of COVID-19 Vaccines.- Plant Disease Classification Using Siamese Convolutional Neural Network.- Brand Logo Detection Using Slim YOLO-V4.- Bomb Box: A Fortified Vault to Prevent Brute Force Attack.
• (source: Nielsen Book Data)

• Constructing Interval Type-2 Fuzzy Systems (IT2FS) with Memetic Algorithm: Elucidating Performance with Noisy Data.- Secure Environment Establishment for Multipath Routing.- Comparative Analysis of Transfer Learning and Attention Driven Memory based Learning for Covid-19 Fake News Detection.- Review on Edge Computing Assisted D2D Networks.- Open Daylight SDN and NFV Integration in OpenStack Cloud: Open Source Approach for Improving Network Services.- K-MNSOA: K-Anonymity Model for Privacy in the Presence of Multiple Numerical Sensitive Overlapped Attributes.- Modelling 5G Data using Tree based Machine Learning Models.- A Novel Technique to Detect Inappropriate Content Accessed by Children on Smartphone.- Cold-Start and Data Sparsity Problems in Recommender System: A Concise Review.- A Hybrid Approach to Find COVID-19 Related Lung Infection Utilizing 2 Bit Image Processing.- Acute Leukemia Classification and Prediction in Blood Cells using Convolution Neural Network.- Process Based Multi-Level Homogeneous Ensemble Predictive Model for Analyzing Student's Academic Performance.- Exposure of Sensitive Data through Blockchain Wallets: A Comparative Analysis.- Classification of Sentiment Reviews for Indian Railways Using Machine Learning Methods.- A Review on Community Detection Using Deep Neural Networks with Enhanced Learning.
• (source: Nielsen Book Data)

This book includes high-quality research papers presented at the Fifth International Conference on Innovative Computing and Communication (ICICC 2022), which is held at the Shaheed Sukhdev College of Business Studies, University of Delhi, Delhi, India, on February 19-20, 2022. Introducing the innovative works of scientists, professors, research scholars, students and industrial experts in the field of computing and communication, the book promotes the transformation of fundamental research into institutional and industrialized research and the conversion of applied exploration into real-time applications.
(source: Nielsen Book Data)

• Invited Paper.- High-Radix Interconnection Networks. -Algorithms, Bioinformatics, and Computation Theory.- String editing under pattern constraints.- Priority Algorithms with Advice for Disjoint Path Allocation Problems (Extended Abstract).- On Two Variants of Induced Matchings.- A tree structure for local diagnosis in multiprocessor systems under comparison model.- Multiagent Learning for Competitive Opinion Optimization (Extended Abstract).- The Maximum Zero-Sum Partition Problem.- Combined Bayesian and RNN-based Hyperparameter Optimization for Efficient Model Selection Applied for autoML.- Adiabatic Quantum Computation for Cyber Attack and Defense Strategies.- Computation Offloading Algorithm Based on Deep Reinforcement Learning and Multi-Task Dependency for Edge Computing.- A Comparison Diagnosis Algorithm for Conditional Fault Local Diagnosis of Multiprocessor Systems.- Novel ways of enumerating restrained dominating sets of cycles.- Fault Diagnosability of Multigraph Matching Composition Networks.- Generating Scale-Free Outerplanar Networks.- Hamiltonian Properties of the Dragonfly Network.- Fine Grained Space Complexity and the Linear Space Hypothesis (Preliminary Report).- Partition-Edge Fault-Tolerant Hamiltonicity of Pancake Graphs.- Cloud Computing and Big Data.- Query Regrouping Problem on Tree Structure for GPUs Accelerated Platform.- The Enhancement of Classification of Imbalanced Dataset for Edge Computing.- Development of Personnel Epidemic Prevention Monitoring Access Control System.- The Use of Serverless Processing in Web Application Development.- Scaling Model for vIMS on the Cloud.- Using classification algorithms to predict Taiwan Stock Market - A Case study of Taiwan Index Futures.- Semi-Automatic Chatbot Generation for Web APIs.- Prediction of Middle-Aged Unhealthy Facial Skin using VGG19 and Support Vector Machine Models.- Computer Vision and Image Processing.- Real-Time Intentional Eye Blink Detection Using Rhombus Identification.- Difficulty-Aware Mixup for Replay-based Continual Learning.- Vision-Based Lightweight Facial Respiration and Heart Rate Measurement Technology.- GAN-based Criminal Suspect Face Generator.- Cryptography and Information Security.- Automatic Summarization of Critial Threat Intelligence Using Transfer Learning.- Anti-screenshot Watermarking Algorithm about Archives Image Based on Deep Learning Model.- Detecting Android malware by combining system call sequencerelationships with local feature calculation.- A Detector Using Variant Stacked Denoising Autoencoders with Logistic Regression for Malicious JavaScript with Obfuscations.- A Lightweight and Robust Authentication and Key Agreements with Physically Unclonable Function in Manufacturing Environments.- Image compression and meaningful ciphertext encryption based on improved infinite collapse 2D hyperchaos and histogram shift embedding.- A Robust Two Factor Authentication Scheme with Fine Grained Biometrics Verification.- Electronics and Information Technology.- Applying an IoT Analytics Framework in East Asia Area.- Android Malware Classifier Combining Permissions and API Features to face model drifting.- Design and Implementation of the Optimized Computing Architecture for Matrix Decomposition Algorithms.- Design and Implememtation of The CNN Accelator Based on Multi-streaming SIMD Mechanisms.- Design and Implementation of The Link-list DMA Controller for High Bandwidth Data Streaming.- STEM Education Meets HPC.- Research on KNN-based GNSS Coordinate Classification for Epidemic Management.- An Improved Light Weight Countermeasure Scheme to Efficiently Mitigate TCP Attacks in SDN.- The Effectiveness of Block-based Visualized Programming Learning on the problem-solving skills of the Freshmen.- Behavior Profiling of Role-Playing Game Players Based on Heuristic Event Log Mining.- The impact of live streaming on personal purchase behavior.- Stochastic-Gradient-Descent-Based Max-Margin Early Event Detector.- AHP-based Assessment of Developing Online Virtual Reality Services with Progressive Web Apps.- From Data of Internet of Things to Domain Knowledge: A Case Study of Exploration in Smart Agriculture.- Physical Layer Coding and Cryptanalysis for The Security Communications.- Mobile Computation and Wireless Communication.- 5G Network Slice Scalability based on Management Data Analytics Function (MDAF).- Design and Analysis for Wireless Tire Pressure Sensing System.- Ubiquitous Cybersecurity and Forensics.- Preserving Collusion-free and Traceability in Car-sharing System based on Blockchain.- Utilization of Theoretical Domains Framework (TDF) to Validate the Digital Piracy Behaviour Constructs - A systematic Literature Review Study.- Domain-specific Anomaly Detection for In-vehicle Networks.- LED: Learnable Encryption with Deniability.- Module Architecture of Docker Image and Container Security.- High-Capacity Double-Layer Data Hiding Technique Based on 3D Magic Cube.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 25th International Computer Symposium on New Trends in Computer Technologies and Applications, ICS 2022, which took place in Taoyuan, Taiwan, in December 2022. ICS is one of the largest joint international IT symposia held in Taiwan. Founded in 1973, it is intended to provide a forum for researchers, educators, and professionals to exchange their discoveries and practices, and to explore future trends and applications in computer technologies. The biannual symposium offers a great opportunity to share research experiences and to discuss potential new trends in the IT industry. The 58 full papers and one invited paper presented in this volume were carefully reviewed and selected from 137 submissions. The papers have been organized in the following topical sections: Invited Paper; Algorithms, Bioinformatics, and Computation Theory; Cloud Computing and Big Data; Computer Vision and Image Processing; Cryptography and Information Security; Electronics and Information Technology; Mobile Computation and Wireless Communication; Ubiquitous Cybersecurity and Forensics.
(source: Nielsen Book Data)

• VeriMon: A Formally Verified Monitoring Tool.- Generalized Test Tables: A Domain-specific Specification Language for Automated Production.- On Safety, Assurance and Reliability: A Software Engineering Perspective.- Reachability Games and Parity Games.- A PO Characterisation of Reconfiguration.- Structural Rules and Algebraic Properties of Intersection Types.- Florido Quantitative Weak Linearisation.- On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems.- Spatial and Timing Properties in Highway Traffic.- Denotational and Algebraic Semantics for the CaIT calculus.- Reconciling communication delays and negation.- A Combinatorial Study of Async/Await Processes.- Unsatisfiability of Comparison-Based Non-Malleability for Commitments.- Alternating Automatic Register Machines.- Functional Choreographic Programming.- A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems.- Ground Confluence and Strong Commutation modulo Alpha-Equivalence in Nominal Rewriting.- Local XOR Unification: Definitions, Algorithms and Application to Cryptography.- A Matching Logic Foundation for Alk.- A Type System with Subtyping for WebAssembly's Stack Polymorphism.- A Verified Implementation of B+-trees in Isabelle/HOL.- Toward a user interface description language based on bigraphs.- A Specification Logic for Programs in the Probabilistic Guarded Command Language.
• (source: Nielsen Book Data)

This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
(source: Nielsen Book Data)

• Computational Theory and Model.- General-nondeterministic fuzzy pushdown automata and their languages.- Joint Degree Distribution of Growing Multiplex Network Model with Nonlinear Preferential Attachment Rule.- Coherence of Quantum States based on Mutually Unbiased Bases.- Determining the Sampling Size with Maintaining the Probability Distribution.- Approximation Algorithms.- The polynomial randomized algorithm to compute bounded degree graphs for TSP based on frequency quadrilaterals.- An approximation algorithm for the minimum soft capacitated disk multi-coverage problem.- A 1/2 approximation algorithm for energy constrained geometric covering problem.- Artificial Intelligence.- MixHop Graph WaveNet for traffic forecasting.- A Brief Discussion on the Reform of Mathematics Teaching in Artificial Intelligence Majors - Taking Matrix Computation and Optimization as Examples.- Improved Spotted Hyena Optimizer fused with multiple strategies.- Regularized Framework on Heterogeneous Hypergraph Model for Personal Recommendation.- Hybrid Pre-training based on Masked Autoencoders for Medical Image Segmentation.- Deep Transfer Learning based Risk Prediction Model for Infectious Disease.- A Data-Driven Framework For Crack Paths Propagation.- System and Resource Scheduling.- A modified list scheduling algorithm for the online hierarchical load balancing problem with bounded processing times.- An Improved ACS Algorithm by CA for Task Scheduling in Heterogeneous Multiprocessing Environments.- On the parameterized tractability of single machine scheduling with rejection to minimize the weighted makespan.- Multi-resource allocation in mobile edge computing systems: A trade-off on fairness and efficiency.- Maximin share based mechanisms for multi-resource fair allocation with divisible and indivisible tasks.
• .
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29-31, 2022. The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms; artificial intelligence; and system and resource scheduling.
(source: Nielsen Book Data)

• Foreword Organizing Committees RFID-based manufacturing lifecycle information acquisition and management system for automobile A.S. Liu & B.D. Zang Mining positive and negative sequential patterns in data streams with a sliding window W. Ouyang & Q. Huang Study on digital publishing standards based on the improved fuzzy comprehensive evaluation Y. Du, X. Wang, Y. Zhang, W. Zhang & L. Wei The research of iot controlling model based on pso for new energy heating system P. Zhao, Y. Ning, J. Liu, H. Wang, H. Yao, Y. Ma, W. Shi, W. Wang & B. Li Sorted dictionary and an application to priority queue T. Chen & J. Ma A roust Contourlet and SVD based image watermarking scheme K. Fan & G. Chen Data reduction for Phasor Measurement Unit using random forest W.C. Cheng, W.Z. Cheng & M.T. Xu Framework and methodologies of human-machine cooperation for the civil aircraft deck design A. Zhang, W.H. Bi, B. Chen & Z.L. Tang Research and implementation of cadre education quality evaluation system H. Qiu, J. Shen, C. He & D. Qian Research on the integration and services model of geospatial information resources based on SOA J. Zheng & Q. Cui Problems of alignment in Paraconc for a case study L. Tang, T.Y. Wang, Y.B. Chen & T.Y. Wang Secure data aggregation with privacy-protection in smart grid X. Liu, Q. Zhang & Z. Li Pulse position encoding research based on SAW RFID tags H.-s. Yan, Y.-y. Li & X. Liu Network coding link optimization problem based on PSO algorithm with mutation X. Zhuo & R. Fan Sand production in oil wells prediction method based on data mining technology G. Feng & G. Feng A method based on tdma for improving the accuracy of neighbor list in vanet Q. Huang & Z. Du Teaching method research of program course based on case and interest B. Wang, D. Li & Y. Ma Heuristic research on a resource constrained project scheduling problem Z. Wei, H. Li, M. Li & X. Dong Parallelisms in video processing of an fpga implementation Y. Liu Research on the spatial distribution of rural settlements based on gis L. Qu, P. Ma & Z. Guo Application of TS-PSO to face pose estimation S. Wang, Y. Zhang & G. Ji The process from ft to dft based on a calculation example K.-N. Peng, Y.-M. Zheng, H.-M. Gao & X.-Z. Yu Facial expression recognition using Coarse-To-Fine classifiers Y. Zhou, Y. Li & S. Wang Application of planning-graph with weight in logistics vehicles dispatching system Q. Tan & Q. Zhao Research and implementation of cross-platform engine for intelligent terminal Y. Liu & X. Huang Research on trustiness of software behavior based on logic division of function code W. Liu, L. Liu & L. Ci Code and carrier synchronization for ieee 802.15.4k dsss phy X. Tang & R. Xu Visual cryptography scheme for hiding some information but displaying others Y. Han, S. Ji, W. He, & H. Dong Research on key technologies of software simulation platform oriented-Xinjiang region Q. Cui, G. Shi, C. Wang & J. Zheng Existence and algorithms for solutions to a new System of Generalized Mixed Equilibrium Problems in Banach spaces 163 Y.J. Miao & Y.L. Zhao Research of halftone watermark detection technology based on mobile platform H. Ding Load balanced and energy efficient aodv protocol D. Duan & X. Jia DacIoT: A data cloud for the Internet of Things Z. Liao, Y. Xiong & Y. Zhu An improved topology schedule algorithm for storm system S. Long, R. Rao, W. Miao & X. Zhang Investigation of 3D map based on rich information X. Bai Research on failure case reasoning reuse technique of the ship information equipment based on CBR Y. Qiao & J. Cheng Practical application of road condition assessment system to road networks in Timor-Leste X. da C. Hugo, H. Emoto, A. Miyamoto & S. Aleixo Effect system with control capturing S. Matsumoto & S. Nishizaki Intelligent prediction system of oilfield development index Y.-h. Zhong, D. Wang, Y.-p. Yue & Y.-x. Liao A Topic Analysis Model for Chinese students' compositions G. Huang, G. Yang, Y. Zhou & Z. Zhou Heating system study based on VRML J. Fu Freeway ramp metering based on particle swarm optimization G. Lu, X. Liang & Q. Lu Strategies to optimize fingertip force for impedance control of robot hand based on EtherCAT M. Hou, L. Jiang, M. Jin, H. Liu & Z. Chen Design of FPGA-based palm vein acquisition system X. Lan, P. Chen, Z. Chen & Z. Sun Research of reliability test about web application based on TTCN-3 D. Zhang, S. Fang & X. Ji Multi-bit versus multi-level lossless data hiding using histogram shifting X.-G. Xiong Modify region scalable fitting model for meteorological object segmentation J. Zhang, J. Lei, M. Jiang, J. Qiu, Y. Chen & Z. Wang Viscosity interative algorithms with errors for two nonexpansive mappings and variational inequalities X.G. Song & S.Y. Zhang A comprehensive survey of evaluation metrics in paper-reviewer assignment L. Li, L. Wang & Y. Zhang Finite-snr diversity and multiplexing tradeoff and optimum power allocation for TDBC S. Zhao, Q. Zhang, Q. Meng & S. Shao Calculation method to diagnose integrated causes of faults in process systems by means of dynamic uncertain causality graph S. Geng & Q. Zhang The improvement and implementation of virtual machine scheduling algorithm in OpenStack Z. Wang & J. Cao Using probabilistic topic models for document similarity computation M. He & W. Zheng Finite element method on Lobatto points for contact problem L. Ma, L. Hou & Y. Chen Evaluation of compression methods for genomic sequence L. Dai, L. Wang, J. Wang & Z. Zhang A novel similarity calculation method based on principal component W. Li, H. Li & M. Gao Block transformation model for multi-sensor affine images matching G. Tu, Z. Li, S. Zhou & W. Li Research and implementation of mobile account system based on cloud computing F. Wang & X. Huang Reducing the complexity of register file based on compiler and hardware Co-design X. Ju, Y. Lin & X. Zhang Research and implementation of business collaboration for e-government platform Z. Chen, X. Zhao, M. Hao & L. Shi Study on DBA algorithm in EPON systems of distribution communication network J. Chang, G. Tan, X. Tian & W. Xiao Software-based distributed storage area network performance optimization for iscsi Y.-z. Wu, S.-j. Tian & Y.-y. Zhou An improved back propagation neural network approach to the remote sensing land use and land cover classification Q. Cao, Z. Guo & Y. Yang The design and implementation of aquaculture expert system P. Shi, F. Li, Y. Wang & Z. Lei Development of a wireless sensor network for measuring spray deposition in aerial applications R. Zhang, L. Chen, J. Kan & G. Xu Design for multiple-user interfaces with usability patterns F. Zou, Q. Hua, X. Wang & L. Guo Myerson values in interval games with communication networks H. Tian, Z. Wang, X. Zheng & X. Zhang Research on the system of land use analysis based on ArcEngine H. Zhan, P. Ma, Z. Guo, Y. Yao & Q. Zong A validated method of solving initial value problem for odes M. Tang, M. Wu & G. Deng Design and implementation of a physical game architecture based on ios platform Y. Feng & X. Huang Mobile Internet and internship management of Higher Vocational College N. Xixian Exposing image forgery with wedge-shaped constraints H. Ge & H. Malik Overlapping clustering on images returned by search engine G. Ruijun & C. Geng A new digital city management based on the adaptive spatial information Multi-grid technology Y.C. Hu, D.L. Xing & S. Dong Shape matching and retrieval using vector functions G. Wang, Y. Wang, L. Liu & Y. Song Design and implementation of a TPM based security file system Z. Qiu, G. Cai & A. Guo Alarm device for fatigue driving based on tgam module Y. Zheng & J. Gao Development of a mobile robotics platform for navigation tasks using image processing De Souza L. Cuadros, A. Marco, De Souza P. Liondely S., G.M. Almeida, Passos A. Rogerio & D.F.T. Gamarra The intelligent expert system based on the theory of single-valued dynamic uncertain causality graph K. Qiu & Q. Zhang An automatic matching algorithm of chord based on the melody J. Wang & J. Li PSO-based LSSVM for credit scoring T. Li, B. Zhang, J. Wu, X. Lv & B. Fang Wavelet-entropy based detection of pathological brain in MRI scanning X. Zhou, Y. Zhang, G. Ji & S. Wang Research on robustness testing based on TTCN-3 D. Zhang, S. Fang & Z. Li Simulation of distilling ocean information automatically from the sar images N. Dong Games as inquiry tools in the physics classroom Z. Xueping Hybrid proximal methods for generalized mixed equilibrium problems Z.X. Zhang & Y.L. Zhao Modeling of the pH neutralization process using online support vector regression L.-g. Zhao & X.-x. Zhang Review of the ECG signal identification system design M. Yang, Y. Tian & H. Wang Assessment research of the cloud model based on computer simulation S. Yue, L. Zhang, H. Yu & H. Guo On the generation and evaluation of a complete sudoku puzzle H.L. Zhao & X.S. Ding Research of the multimode IoT mobile gateway based on SDR architecture J.J. Zhou, W. Wang & J. Zhang A stable sort algorithm of two-way passed and binary-search based on extreme-points(TPBEA) R. Wang, Z. Zang, Y. Yu & D. Cao A new algorithm for border noise removal D.-L. Xi & Y. Liu Intelligent video surveillance system with the function of abnormal event exploring R. Huan, F. Guo, Z. Wang & Q. Chen Author index.
• (source: Nielsen Book Data)

The 2014 Asia-Pacific Conference on Computer Science and Applications was held in Shanghai, December 27-28, 2014. These CSAC-2014 proceedings include 105 selected papers, which focus not only on the research of science and technology of computer sciences, but also on the research of applications, aiming at a quick and immediate effect on daily life in the near future.
(source: Nielsen Book Data)

• RFID-based manufacturing lifecycle information acquisition and management system for automobile / A.S.C. Liu and B.D. Zang
• Mining positive and negative sequential patterns in data streams with a sliding window / W.M. Ouyang and Q.H. Huang
• Study on digital publishing standards based on the improved fuzzy comprehensive evaluation / Y.P. Du, X.H. Wang, Y.B. Zhang, W.M. Zhang and L. Wei
• The research of iot controlling model based on pso for new energy heating system / P. Zhao, Y.M. Ning, J. Liu, H. Wang, H.F. Yao, Y.H. Ma, W. Shi, W. Wang and B. Li
• Sorted dictionary and an application to priority queue / T. Chen and J. Ma
• A roust Contourlet and SVD based image watermarking scheme / K. Fan and G. Chen
• Data reduction for Phasor Measurement Unit using random forest / W.C. Cheng, W.Z. Cheng and M.T. Xu
• Framework and methodologies of human-machine cooperation for the civil aircraft deck design / A. Zhang, W.H. Bi, B. Chen and Z.L. Tang
• Research and implementation of cadre education quality evaluation system / H.X. Qiu, J. Shen, C. He and D.M. Qian
• Research on the integration and services model of geospatial information resources based on SOA / J. Zheng and Q. Cui
• Problems of alignment in Paraconc for a case study / L. Tang, T.Y. Wang, Y.B. Chen and T.Y. Wang
• Secure data aggregation with privacy-protection in smart grid / X.Y. Liu, Q. Zhang and Z.M. Li
• Pulse position encoding research based on SAW RFID tags / H.S. Yan, Y.Y. Li and X.J. Liu
• Network coding link optimization problem based on PSO algorithm with mutation / X.J. Zhuo and R.N. Fan
• Sand production in oil wells prediction method based on data mining technology / G.Q. Feng and G.Y. Feng
• A method based on tdma for improving the accuracy of neighbor list in vanet / Q.B. Huang and Z.Z. Du

• Computer science
• Computer education
• Education and teaching reform
• Communication and intelligent control