%{search_type} search results

• Fundamental contributions
• Applications in industrial contexts
• Tool developments and improvements.

This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM, and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

• Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
• A Universal Control Construct for Abstract State Machines
• Encoding TLA+ into Many-Sorted First-Order Logic
• Proving Determinacy of PharOS in TLA+
• A Rigorous Correctness Proof for Pastry
• Enabling Analysis for B and Event-B
• A Compact Encoding of Sequential ASMs in Event-B
• Proof Assisted Symbolic Model Checking for B and Event-B
• On Component-based Reuse for Event-B
• Using B and ProB for Data Validation Projects
• Generating Event-B Specifications from Algorithm Descriptions
• Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions
• How to Select the Suitable Formal Method for an Industrial Application: A Survey
• Unified Syntax for Abstract State Machines
• A Relational Encoding for a Clash-Free Subset of ASMs
• Towards an ASM Thesis for Reflective Sequential Algorithms
• A Model-based Transformation Approach to Reuse and Retarget CASM Specifications
• Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy
• `The Tinker' for Rodin
• A Graphical Tool for Event Refinement Structures in Event-B
• Rodin Platform Why3 plug-in
• Semi-Automated Design Space Exploration for Formal Modelling
• Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development
• UC-B: Use Case Modelling with Event-B
• Interactive Model Repair by Synthesis
• SysML2B: Automatic Tool for B Project Graphical Architecture Design using SysML
• Mechanized Refinement of Communication Models with TLA+
• A Super Industrial Application of PSGraph
• The Hemodialysis Machine Case Study
• How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
• Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotionStudio, and Co-simulation
• Hemodialysis Machine in Hybrid Event-B
• Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods
• Modelling the Haemodialysis Machine with Circus.

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

• Invited Talks.- Translation and Transformation.- Analysis and Tests.- Reals and Hybrid Systems.-
• Refinement.- Hybrid ERTMS Case Study.- Short Papers.
• (source: Nielsen Book Data)

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
(source: Nielsen Book Data)

• Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi
• Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin
• Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini
• ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
• Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
• An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi
• Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis
• Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson
• Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside
• Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi
• Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day
• Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji
• Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu
• SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin
• Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano
• Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang
• Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka
• A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles
• Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen
• Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman
• A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti
• Verification of Hardware Interaction Properties of Software / Ramsay Taylor
• Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann
• A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall
• Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra
• A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra
• A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang
• Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer
• Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu
• Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe
• A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook
• Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu
• Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell
• Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry
• A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton.

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.

• 1. ABZ Invited Talks.- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity.- The High Road to Formal Validation:.- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract).-
• 2. ASM Papers.- Model Based Refinement and the Tools of Tomorrow.- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements.- A Scenario-Based Validation Language for ASMs.- Data Flow Analysis and Testing of Abstract State Machines.- A Verified AsmL Implementation of Belief Revision.- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.-
• 3. B Papers.- On the Purpose of Event-B Proof Obligations.- Generating Tests from B Specifications and Test Purposes.- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance.- UseCase-Wise Development: Retrenchment for Event-B.- Towards Modelling Obligations in Event-B.- A Practical Single Refinement Method for B.- The Composition of Event-B Models.- Reconciling Axiomatic and Model-Based Specifications Reprised.- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.- Modelling Attacker's Knowledge for Cascade Cryptographic Protocols.- Using EventB to Create a Virtual Machine Instruction Set Architecture.-
• 4. Z Papers.- Z2SAL - Building a Model Checker for Z.- Formal Modeling and Analysis of a Flash Filesystem in Alloy.- Unit Testing of Z Specifications.- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity.-
• 5. ABZ Short Papers.- Integrating Z into Large Projects Tools and Techniques.- A First Attempt to Express KAOS Refinement Patterns with Event B.- Verification and Validation of Web Service Composition Using Event B Method.- Stability of Real-Time Abstract State Machines under Desynchronization.- XML Database Transformations with Tree Updates.- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance.- UML-B: A Plug-in for the Event-B Tool Set.- BART: A Tool for Automatic Refinement.- Model Checking Event-B by Encoding into Alloy.- A Roadmap for the Rodin Toolset.- Exploiting the ASM Method for Validation & Verification of Embedded Systems.- Tool Support for the Circus Refinement Calculus.- Separation of Z Operations.- BSmart: A Tool for the Development of Java Card Applications with the B Method.- From ABZ to Cryptography.- Using ASM to Achieve Executability within a Family of DSL.- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).- Formal Verification of ASM Models Using TLA?+?.- DIR 41 Case Study.- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B.- Object Modelling in the SystemB Industrial Project.-
• 6. VSR Day.- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification.- ABZ2008 VSR-Net Workshop.
• (source: Nielsen Book Data)

The ABZ 2008 conference was held in London during September 16-18, 2008. The conference aimed at contributing to the cross-fertilization of three rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and so- waresystems, namely, abstractstate machines, B, andZ. It followedonfromthe Dagstuhl seminar on Rigorous Methods for Software Construction and Ana- sis, which was organized in May 2006 by Jean-Raymond Abrial (ETH Zur .. ich, Switzerland) and Uwe Gl. asser (Simon Fraser University - Burnaby, Canada), and brought together researchers from the ASM and the B community (see: http://www. dagstuhl. de/06191). The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th Inter- tional Conference on the B Method, which were present with separate Program Committees to select the papers published in separate tracks (see Chapters 2-4 of these proceedings). The conference covered a wide range of researchspanning from theoretical and methodological foundations to tool support and practical applications. It was split into three main parts: - Aone-daycommonprogramoffourinvitedlectures, seeChap. 1ofthesep- ceedings, and the presentationof three papers selected among the submitted contributions - Two days of contributed research papers and short presentations of work in progress, of industrial experience reports and of tool demonstrations, as documented in Chap.
(source: Nielsen Book Data)

• On Appropriate Refractoriness and Weight Increment in Incremental Learning / Toshinori Deguchi, Junya Fukuta, Naohiro Ishii
• Vector Generation and Operations in Neural Networks Computations / Naohiro Ishii, Toshinori Deguchi
• Synaptic Scaling Balances Learning in a Spiking Model of Neocortex / Mark Rowan, Samuel Neymotin
• Can Two Hidden Layers Make a Difference? / Věra Kůrková, Marcello Sanguineti
• Time Series Visualization Using Asymmetric Self-Organizing Map / Dominik Olszewski, Janusz Kacprzyk
• Intelligence Approaches Based Direct Torque Control of Induction Motor / Moulay Rachid Douiri, Mohamed Cherkaoui
• Classifier Ensembles Integration with Self-configuring Genetic Programming Algorithm / Maria Semenkina, Eugene Semenkin
• A Multi-objective Proposal Based on Firefly Behaviour for Green Scheduling in Grid Systems / María Arsuaga-Ríos, Miguel A. Vega-Rodríguez
• A Framework for Derivative Free Algorithm Hybridization / Jose Luis Espinosa-Aranda.

• PSO-Tagger: A New Biologically Inspired Approach to the Part-of-Speech Tagging Problem / Ana Paula Silva, Arlindo Silva
• Training Support Vector Machines with an Heterogeneous Particle Swarm Optimizer / Arlindo Silva, Teresa Gonçalves
• Fitness Landscape-Based Characterisation of Nature-Inspired Algorithms / Matthew Crossley, Andy Nisbet, Martyn Amos
• Evolutionary Generation of Small Oscillating Genetic Networks / Matthijs van Dorp, Bruno Lannoo, Enrico Carlon
• Using Scout Particles to Improve a Predator-Prey Optimizer / Arlindo Silva, Ana Neves, Teresa Gonçalves
• QR-DCA: A New Rough Data Pre-processing Approach for the Dendritic Cell Algorithm / Zeineb Chelly, Zied Elouedi
• Convergence Rates of Evolutionary Algorithms for Quadratic Convex Functions with Rank-Deficient Hessian / Günter Rudolph
• The Scale-Up Performance of Genetic Algorithms Applied to Group Decision Making Problems / Tatiana Tambouratzis, Vassileios Kanellidis.

• Using Genetic Programming to Estimate Performance of Computational Intelligence Models / Jakub Šmíd, Roman Neruda
• Multi-caste Ant Colony Algorithm for the Dynamic Traveling Salesperson Problem / Leonor Melo, Francisco Pereira, Ernesto Costa
• Generalized Information-Theoretic Measures for Feature Selection / Davor Sluga, Uros Lotric
• PCA Based Oblique Decision Rules Generating / Marcin Michalak, Karolina Nurzyńska
• Cardinality Problem in Portfolio Selection / Penka Georgieva, Ivan Popchev
• Full and Semi-supervised k-Means Clustering Optimised by Class Membership Hesitation / Piotr Płoński, Krzysztof Zaremba
• Defining Semantic Meta-hashtags for Twitter Classification / Joana Costa, Catarina Silva, Mário Antunes
• Reinforcement Learning and Genetic Regulatory Network Reconstruction / Branko Šter, Andrej Dobnikar
• Nonlinear Predictive Control Based on Least Squares Support Vector Machines Hammerstein Models / Maciej Ławryńczuk.

• Particle Swarm Optimization with Transition Probability for Timetabling Problems / Hitoshi Kanoh, Satoshi Chen
• A Consensus Approach for Combining Multiple Classifiers in Cost-Sensitive Bankruptcy Prediction / Ning Chen, Bernardete Ribeiro
• On the Regularization Parameter Selection for Sparse Code Learning in Electrical Source Separation / Marisa Figueiredo, Bernardete Ribeiro
• Region Based Fuzzy Background Subtraction Using Choquet Integral / Muhammet Balcilar, A. Coskun Sonmez
• A Robust Fuzzy Adaptive Control Algorithm for a Class of Nonlinear Systems / Sašo Blažič, Igor Škrjanc
• Disturbance Measurement Utilization in the Efficient MPC Algorithm with Fuzzy Approximations of Nonlinear Models / Piotr M. Marusak
• Fast Submanifold Learning with Unsupervised Nearest Neighbors / Oliver Kramer
• Using Carrillo-Lipman Approach to Speed up Simultaneous Alignment and Folding of RNA Sequences / Mária Šimaľová

• Large Scale Metabolic Characterization Using Flux Balance Analysis and Data Mining / Miguel Rocha
• Automatic Procedures to Assist in Manual Review of Marine Species Distribution Maps / Gianpaolo Coro, Pasquale Pagano
• Mining the Viability Profiles of Different Breast Cancer: A Soft Computing Perspective / Antonio Neme
• Image Representation and Processing Using Ternary Quantum Computing / Simona Caraiman, Vasile Manta
• Firefly-Inspired Synchronization of Sensor Networks with Variable Period Lengths / Stefan Wieser, Pier Luca Montessoro
• Phase Transitions in Fermionic Networks / Marco Alberto Javarone, Giuliano Armano
• New Selection Schemes in a Memetic Algorithm for the Vehicle Routing Problem with Time Windows / Jakub Nalepa, Zbigniew J. Czech
• Classification Based on the Self-Organization of Child Patients with Developmental Dysphasia / Jana Tuckova, Josef Vavrina, Jan Sanda
• Similarity Analysis Based on Bose-Einstein Divergences for Financial Time Series / Ryszard Szupiluk, Tomasz Ząbkowski.

• Exploratory Text Analysis: Data-Driven versus Human Semantic Similarity Judgments / Tiina Lindh-Knuutila, Timo Honkela
• Linear Support Vector Machines for Error Correction in Optical Data Transmission / Alex Metaxas, Alexei Redyuk, Yi Sun
• Windows of Driver Gaze Data: How Early and How Much for Robust Predictions of Driver Intent? / Firas Lethaus, Rachel M. Harris
• Particle Swarm Optimization for Auto-localization of Nodes in Wireless Sensor Networks / Stefania Monica, Gianluigi Ferrari
• Effective Rule-Based Multi-label Classification with Learning Classifier Systems / Miltiadis Allamanis, Fani A. Tzima
• Evolutionary Strategies Algorithm Based Approaches for the Linear Dynamic System Identification / Ivan Ryzhikov, Eugene Semenkin
• A Genetic Algorithm Approach for Minimizing the Number of Columnar Runs in a Column Store Table / Jane Jovanovski, Maja Siljanoska
• Shadow Detection in Complex Images Using Neural Networks: Application to Wine Grape Seed Segmentation / Felipe Avila, Marco Mora, Claudio Fredes.

The book constitutes the refereed proceedings of the 11th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2013, held in Lausanne, Switzerland, in April 2013. The 51 revised full papers presented were carefully reviewed and selected from a total of 91 submissions. The papers are organized in topical sections on neural networks, evolutionary computation, soft computing, bioinformatics and computational biology, advanced computing, and applications.

This two-volume set LNCS 6593 and 6594 constitutes the refereed proceedings of the 10th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2010, held in Ljubljana, Slovenia, in April 2010. The 83 revised full papers presented were carefully reviewed and selected from a total of 144 submissions. The second volume includes 41 papers organized in topical sections on pattern recognition and learning, soft computing, systems theory, support vector machines, and bioinformatics.
(source: Nielsen Book Data)

• Evolutionary Computation.- Evolutionary Induction of Decision Trees for Misclassification Cost Minimization.- DNA Based Evolutionary Approach for Microprocessor Design Automation.- Multiple Sequence Alignment with Evolutionary-Progressive Method.- Optimal Design Centring Through a Hybrid Approach Based on Evolutionary Algorithms and Monte Carlo Simulation.- A New Self-adaptative Crossover Operator for Real-Coded Evolutionary Algorithms.- Wavelet Enhanced Analytical and Evolutionary Approaches to Time Series Forecasting.- Gradient Based Stochastic Mutation Operators in Evolutionary Multi-objective Optimization.- Co-evolutionary Multi-agent System with Predator-Prey Mechanism for Multi-objective Optimization.- Optical Design with Epsilon-Dominated Multi-objective Evolutionary Algorithm.- Boosting the Performance of a Multiobjective Algorithm to Design RBFNNs Through Parallelization.- Immune Algorithm Versus Differential Evolution: A Comparative Case Study Using High Dimensional Function Optimization.- Self-adaptive Evolutionary Methods in Designing Skeletal Structures.- An Evolutionary Approach to Task Graph Scheduling.- Universal Quantum Gates Via Yang-Baxterization of Dihedral Quantum Double.- Evolutionary Bi-objective Learning with Lowest Complexity in Neural Networks: Empirical Comparisons.- Improving the Quality of the Pareto Frontier Approximation Obtained by Semi-elitist Evolutionary Multi-agent System Using Distributed and Decentralized Frontier Crowding Mechanism.- On Semantic Properties of Interestingness Measures for Extracting Rules from Data.- Genetic Algorithms.- A New Mutation Operator for the Elitism-Based Compact Genetic Algorithm.- Genetic Programming for Proactive Aggregation Protocols.- Automatic Synthesis for Quantum Circuits Using Genetic Algorithms.- Clonal Selection Approach with Mutations Based on Symmetric ?-Stable Distributions for Non-stationary Optimization Tasks.- Minimizing Cycle Time of the Flow Line - Genetic Approach with Gene Expression.- Genetic-Greedy Hybrid Approach for Topological Active Nets Optimization.- On Sum Coloring of Graphs with Parallel Genetic Algorithms.- Liquid State Genetic Programming.- Genetic Based Distribution Service Restoration with Minimum Average Energy Not Supplied.- Multi-objective Feature Selection with NSGA II.- Design of 2-D IIR Filters Using Two Error Criteria with Genetic Algorithm.- A Hybrid Genetic Algorithm with Simulated Annealing for Nonlinear Blind Equalization Using RBF Networks.- Feature Extraction of Speech Signal by Genetic Algorithms-Simulated Annealing and Comparison with Linear Predictive Coding Based Methods.- Automatic Design of ANNs by Means of GP for Data Mining Tasks: Iris Flower Classification Problem.- FPGA Implementation of Evolvable Characters Recognizer with Self-adaptive Mutation Rates.- A Multi-gene-Feature-Based Genetic Algorithm for Prediction of Operon.- Application of Micro-GA for an Optimal Direct Design Method of Steel Frame.- Multi-objective Optimal Public Investment: An Extended Model and Genetic Algorithm-Based Case Study.- Particle Swarm Optimization.- Many-Objective Particle Swarm Optimization by Gradual Leader Selection.- Mixed Ant Colony Optimization for the Unit Commitment Problem.- A Shuffled Complex Evolution of Particle Swarm Optimization Algorithm.- Wasp Swarm Algorithm for Dynamic MAX-SAT Problems.- Particle Swarm Optimization for the Multidimensional Knapsack Problem.- Particle Swarms for Multimodal Optimization.- Quantum-Behaved Particle Swarm Optimization with Binary Encoding.- Artificial Environment for Simulation of Emergent Behaviour.- A Novel and More Efficient Search Strategy of Quantum-Behaved Particle Swarm Optimization.- Learning, Optimization and Games.- Extracting Grammars from RNA Sequences.- Modeling Human Performance in Two Player Zero Sum Games Using Kelly Criterion.- No-Regret Boosting.- Evolutionary Approach to the Game of Checkers.- Implementation of an Interactive NPC Based on Game Ontology and Game Community Q/A Bulletin Board.- Theory of Saplings Growing Up Algorithm.- Improved Production of Competitive Learning Rules with an Additional Term for Vector Quantization.- Reinforcement Learning in Fine Time Discretization.- Agent-Based Approach to Solving the Resource Constrained Project Scheduling Problem.- A Model of Non-elemental Associative Learning in the Mushroom Body Neuropil of the Insect Brain.- Performance-Based Bayesian Learning for Resource Collaboration Optimization in Manufacturing Grid.- A Hybrid Simulated-Annealing Algorithm for Two-Dimensional Strip Packing Problem.- Handling Linguistic Values in Knowledge Acquisition.- An IA Based Approach for the Optimal Design of Traffic-Monitor Systems.- Finding the Optimal Path in 3D Spaces Using EDAs - The Wireless Sensor Networks Scenario.- Evidential Reasoning Based on Multisensor Data Fusion for Target Identification.- A Simple and Compact Algorithm for the RMQ and Its Application to the Longest Common Repeat Problem.- Improved Bacterial Foraging Algorithms and Their Applications to Job Shop Scheduling Problems.- Fuzzy and Rough Systems.- An Evolutionary Approach for Approximating the Solutions of Systems of Linear Fuzzy Equations.- On Fuzzy Driven Support for SD-Efficient Portfolio Selection.- Fuzzy Kernel Ridge Regression for Classification.- Assessment of the Accuracy of the Process of Ceramics Grinding with the Use of Fuzzy Interference.- A Dynamic Resource Broker and Fuzzy Logic Based Scheduling Algorithm in Grid Environment.- Improving Business Failure Predication Using Rough Sets with Non-financial Variables.- Optimization of Fuzzy Model Driven to IG and HFC-Based GAs.- Potential Assessment of an Ellipsoidal Neural Fuzzy Time Series Model for Freeway Traffic Prediction.- Digital Model of Series Resonant Converter with Piezoelectric Ceramic Transducers and Fuzzy Logic Control.- A Method to Classify Collaboration in CSCL Systems.- Electromagnetic Levitation System with Clustering Based Fuzzy Controller.- Fuzzy Relation-Based PNNs with the Aid of IG and Symbolic Gene Type-Based GAs.- Pricing the Foreign Currency Options with the Fuzzy Numbers Based on the Garman-Kohlhagen Model.- Designing Rough Sets Attributes Reduction Based Video Deinterlacing System.- Optimization of Fuzzy Membership Function Using Clonal Selection.- Classification and Clustering.- Clustering of Leaf-Labelled Trees.- Social Organization of Evolving Multiple Classifier System Functioning in Changing Environments.- Softening Splits in Decision Trees Using Simulated Annealing.- A Novel Architecture for the Classification and Visualization of Sequential Data.- Locally Scaled Density Based Clustering.- Hierarchical Rules for a Hierarchical Classifier.- A Demonstration of Clustering in Protein Contact Maps for Alpha Helix Pairs.- Dynamic Data Probes.- Classifying Chemical Compounds Using Contrast and Common Patterns.- Power Transients Characterization and Classification Using Higher-Order Cumulants and Competitive Layers.- Mutual Information Estimation in Higher Dimensions: A Speed-Up of a k-Nearest Neighbor Based Estimator.- Grammar-Based Classifier System for Recognition of Promoter Regions.- Learning Bayesian Classifiers from Dependency Network Classifiers.- Determining the Dependency Among Clauses Based on Machine Learning Techniques.- Using Real-Valued Meta Classifiers to Integrate and Contextualize Binding Site Predictions.- Effectiveness of Feature Space Selection on Credit Engineering on Multi-group Classification Cases.- Constructing Stereotypes for an Adaptive e-Shop Using AIN-Based Clustering.
• (source: Nielsen Book Data)

This two volume set constitutes the refereed proceedings of the 8th International Conference on Adaptive and Natural Computing Algorithms, ICANNGA 2007, held in Warsaw, Poland, in April 2007. Coverage in the first volume includes evolutionary computation, genetic algorithms, and particle swarm optimization. The second volume covers neural networks, support vector machines, biomedical signal and image processing, biometrics, computer vision.
(source: Nielsen Book Data)

• Competitive Analysis of Task Scheduling Algorithms on a Fault-Prone Machine and the Impact of Resource Augmentation
• Using Performance Forecasting to Accelerate Elasticity
• Parametric Analysis of Mobile Cloud Computing Frameworks using Simulation Modeling
• Bandwidth Aware Resource Optimization for SMT Processors
• User-guided provisioning in federated clouds for distributed calculations
• Compute on the go: A case of mobile-cloud collaborative computing under mobility
• Impact of Virtual Machines Heterogeneity on Datacenter Power Consumption in Data-Intensive Applications
• Implementing the Cloud Software to Data approach for OpenStack environments
• Is Cloud Self-organization Feasible
• Cloud Services composition through Cloud Patterns
• An Eye on the Elephant in the Wild: A Performance Evaluation of Hadoop's Schedulers Under Failures
• Partitioning graph databases by using access patterns
• Cloud Search Based Applications for Big Data
• Challenges and Methodologies for Acceleration.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, in Donostia-San Sebastián, Spain, in July 2015. The 12 revised full papers, including 1 invited paper, were carefully reviewed and selected from 24 submissions. The papers have identified several important aspects of the problem addressed by ARMS-CC: self-* and autonomous cloud systems, cloud quality management and service level agreement (SLA), scalable computing, mobile cloud computing, cloud computing techniques for big data, high performance cloud computing, resource management in big data platforms, scheduling algorithms for big data processing, cloud composition, federation, bridging, and bursting, cloud resource virtualization and composition, load-balancing and co-allocation, fault tolerance, reliability, and availability of cloud systems.

• Self-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to Reduction-Free Normalization.- Libraries for Generic Programming in Haskell.- Dependently Typed Programming in Agda.- A Tutorial on Parallel and Concurrent Programming in Haskell.- An iTask Case Study: A Conference Management System.
• (source: Nielsen Book Data)

This volume contains the revised lecture notes corresponding to the lectures given at the 6th International School on Advanced Functional Programming, AFP 2008, held in Heijen, a little village in the woodlands near the city of Nijmegen, The Netherlands, May 19-24, 2008. AFP 2008 was co-located with TFP 2008, the 9th Symposium on Trends in Functional Programming [see P. Achten, P.Koopman, M.Marazan ' : Trends in Functional Programming volume 9, ISBN 978-1-84150-277-9, Intellect]. The school attracted 62 participants from 19 countries, a record, including the lecturers and organizers. This event was precededby?veearlierinstancesinB? astad, Sweden(1995, LNCS925), Olympia, WA, USA (1996, LNCS 1129), Braga, Portugal(1998, LNCS 1608), Oxford, UK (2002, LNCS 2638) and Tartu, Estonia, (2004, LNCS 3622). The goals of the series of Advanced Functional Programming schools are: - Bringing computer scientists, in particular young researchers and progr- mers, up to date with the latest functional programming techniques. - Showinghowtouseadvancedfunctionalprogrammingtechniquesin"progr- ming in the real world". - Bridgingtheeducationalgapbetweenresultspresentedatconferencesont he one side and material as presented in introductory textbooks on the other side.
(source: Nielsen Book Data)

• Neural Network Ensemble Model Using PPR and LS-SVR for Stock Market Forecasting
• Stability Analysis of Neutral Systems with Distributed Delays
• Neural Network Model for Forecasting Balkan Stock Exchanges
• A Robust Fault Detection and Isolation Scheme for Robot Manipulators Based on Neural Networks
• An Approach for High Resolution Radar Target Recognition Based on BP Neural Network
• Hybrid Clustering Algorithm Based on the Artificial Immune Principle
• Succinct Initialization Methods for Clustering Algorithms
• Variable Neighborhood Search for Drilling Operation Scheduling in PCB Industries
• Adaptive Weighted Fusion of Local Kernel Classifiers for Effective Pattern Classification
• Improvement of LEACH Routing Algorithm Based on Use of Balanced Energy in Wireless Sensor Networks
• Optimal Regularization Parameter Estimation for Regularized Discriminant Analysis
• Optimized Projection for Sparse Representation Based Classification
• Balanced-Sampling-Based Heterogeneous SVR Ensemble for Business Demand Forecasting
• CCC: Classifier Combination via Classifier
• Hybrid Reduction in Soft Set Decision Making
• A New Class of [epsilon]-Optimal Learning Automata
• Uncertainty Measures of Roughness Based on Interval Ordered Information Systems
• A Differential Evolution Algorithm for the Extraction of Complex Natural Resonance Frequencies of Electromagnetic Targets
• A Novel Discrete League Championship Algorithm for Minimizing Earliness/Tardiness Penalties with Distinct Due Dates and Batch Delivery Consideration
• Local Meta-models for ASM-MOMA
• Research on Vehicle Routing Problem with Stochastic Demand Based on Multi-objective Method
• A Stochastic Optimization Method for Solving the Machine-Part Cell Formation Problem
• Fully Connected Multi-Objective Particle Swarm Optimizer Based on Neural Network
• Immune Gravitation Inspired Optimization Algorithm
• A Novel Multi Objective Genetic Algorithm for the Portfolio Optimization
• Tracking Multiple Feature in Infrared Image with Mean-Shift
• Research on Dynamic Human Object Tracking Algorithm
• Mobile Robot Navigation Using Reinforcement Learning Based on Neural Network with Short Term Memory
• Histogram Based Color Object Classification by Multi-class Support Vector Machine
• Tracking Objects Using Orientation Covariance Matrices
• Action Recognition via an Improved Local Descriptor for Spatio-temporal Features
• Event Recognition Based on a Local Space-Time Interest Points and Self-Organization Feature Map Method
• Strategy of Statistics-Based Visualization for Segmented 3D Cardiac Volume Data Set
• Robust Gait Recognition Using Gait Energy Image and Band-Limited Phase-Only Correlation
• Implementation of Interactive Interview System Using Hand Gesture Recognition
• Integrated Real-Time Vision-Based Preceding Vehicle Detection in Urban Roads
• Real-Time Face Detection Using Integral Histogram of Multi-scale Local Binary Patterns
• Study on UAV Video Reconnaissance Based Adaptively Tracking Algorithm for the Ground Moving Target
• Palm Print Image De-noising Based on BEMD and Wavelet Packet Transform-Wiener Filter
• Pavement Crack Segmentation Algorithm Based on Local Optimal Threshold of Cracks Density Distribution
• Linear Pose Estimation Algorithm Based on Quaternion
• Image Enhancement Algorithm for Ink-on-Paper Fingerprints
• Multi-spectral Remote Sensing Images Classification Method Based on Adaptive Immune Clonal Selection Culture Algorithm
• Age Estimation Using Active Appearance Models and Ensemble of Classifiers with Dissimilarity-Based Classification
• Adaptive Variance Based Sharpness Computation for Low Contrast Images
• Non-sampling Contourlet Based "Consistency Verification" Method of Image Fusion
• Understanding the Meaning of Shape Description for Interactive Object Recognition
• Gray Scale Potential Theory of Sparse Image
• Recognition of Leaf Image Based on Outline and Vein Fractal Dimension Feature
• Weighted Multi Feature Based Image Retrieval with Orthogonal Polynomials Model and Genetic Algorithm
• Automatic Context Analysis for Image Classification and Retrieval
• Image Feature Extraction Using the Fusion Features of BEMD and WCB-NNSC
• Palmprint Recognition with MEEMD and Statistically Independent Coefficients ICA
• A Palmprint Classification Method Based on Finite Ridgelet Transformation and SVM
• Palmprint Recognition Based on Two-Dimensional Gabor Wavelet Transform and Two-Dimensional Principal Component Analysis
• Recognition Based on Fusion of Gait, Ear and Face Features Using KPCA Method
• Face Recognition Using KFDA-LLE
• A Supervised Approach to Support the Analysis and the Classification of Non Verbal Humans Communications
• A Text Classification Algorithm Based on Rocchio and Hierarchical Clustering
• Korean Documents Copy Detection Based on Ferret
• Importance Weighted AdaRank
• A Semantic Search Framework for Document Retrievals (Literature, Art and History) Based on Thesaurus Multiwordnet Like
• A Novel Musical Synthesizer Embedded with Physical Modeling Sound Synthesis Algorithm
• Studies on the Automatic Recognition of Modern Chinese Conjunction Usages
• Implementation of High-Performance Sound Synthesis Engine for Plucked-String Instruments
• A Semantic Retrieval Framework for Engineering Domain Knowledge
• Forgeability Attack of Two Special Signature Schemes
• A Trojan Detector Generating Algorithm Based on Chaotic Theory
• Network Security Situation Assessment Based on Hidden Semi-Markov Model
• Network Security Situation Assessment Based on Stochastic Game Model
• High Precision Detection of Infrared Energy Spectrum
• Using Heart Rate Variability Parameter-Based Feature Transformation Algorithm for Driving Stress Recognition
• An Online Self Gain Tuning Computed Torque Controller for A Five-Bar Manipulator
• Towards an Efficient Discovery Services in OPC Unified Architecture
• Asynchronous Modeling and Implementation of Web Services Based on JMS
• An Effective Shuffled Frog Leaping Algorithm for Solving Hybrid Flow-Shop Scheduling Problem
• A Hybrid Algorithm Based on Simplex Search and Differential Evolution for Resource-Constrained Project Scheduling Problem
• A Differential Evolution Algorithm for Lot-Streaming Flow Shop Scheduling Problem
• Flexible Job Shop Scheduling Problem by Chemical-Reaction Optimization Algorithm
• Discrete Harmony Search Algorithm for the No Wait Flow Shop Scheduling Problem with Makespan Criterion
• Hybrid Differential Evolution Optimization for No-Wait Flow-Shop Scheduling with Sequence-Dependent Setup Times and Release Dates
• An Improved Approximation Algorithm for a Class of Batch Scheduling Problems
• Exponential Stabilization for Takagi-Sugeno Fuzzy Systems with Time Delay via Impulsive Control
• H[infinity] Output Tracking Control for Neutral Delay System With Nonlinear Perturbations
• Chaotic Modeling of Time-Delay Memristive System
• Stability Analysis and Constrained Control of Positive Systems with Time-Varying Delays: A Linear Copositive Lyapunov-Krasovskii Functional Method
• On Linear Co-positive Lyapunov Functions for a Special of Switched Linear Positive Systems
• Induction Motor Speed-Regulating Control System Based on Nonlinear Kernel Ridge Regression
• Parallel Robotics Control Strategy Study Based on Fuzzy-PID
• Embedded Remote Controller with Two Cameras Intelligent Orientation and Bi-direction Wireless Communication
• Applying Answer Set Programming to Points-to Analysis of Object-Oriented Language
• Continuous Finite-Time Observer-Controller Based Speed Regulation of Permanent Magnet Synchronous Motors
• Observer-Based Exponential Stability Analysis for Networked Control Systems with Packet Dropout
• Modification Algorithm on Routh-Pade Model Reduction of Interval Systems.

Annotation This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Intelligent Computing, ICIC 2011, held in Zhengzhou, China, in August 2011. The 94 revised full papers presented were carefully reviewed and selected from 832 submissions.

• Biological and Quantum Computing.- Revisiting the Power and Equivalence of One-Way Quantum Finite Automata.- SysMicrO: A Novel Systems Approach for miRNA Target Prediction.- Intelligent Computing in Bioinformatics.- The Exist Local Analytic Solutions of an Iterative Functional Differential Equation.- Xor Perfect Phylogeny Haplotyping in Pedigrees.- Inferring the Transcriptional Modules Using Penalized Matrix Decomposition.- A Novel Computational Method for Predicting Disease Genes Based on Functional Similarity.- Weighted Locally Linear Embedding for Plant Leaf Visualization.- A New Ontological Probabilistic Approach to the Breast Cancer Problem in Semantic Medicine.- A Comparative Study on Feature Selection in Regression for Predicting the Affinity of TAP Binding Peptides.- Prediction of Protein-Protein Interaction Sites by Using Autocorrelation Descriptor and Support Vector Machine.- Intelligent Computing in Neuroinformatics and Cheminformatics.- Optimal Selection of Support Vector Regression Parameters and Molecular Descriptors for Retention Indices Prediction.- Intelligent Computing in Computational Biology and Drug Design.- PCOPM: A Probabilistic CBR Framework for Obesity Prescription Management.- Computational Genomics and Proteomics.- Measuring Protein Structural Similarity by Maximum Common Edge Subgraphs.- Comparison of DNA Truncated Barcodes and Full-Barcodes for Species Identification.- Intelligent Computing in Signal Processing.- Target Extraction from the Military Infrared Image with Complex Texture Background.- The Intelligent Music Editor: Towards an Automated Platform for Music Analysis and Editing.- A New Hierarchical Key Frame Tree-Based Video Representation Method Using Independent Component Analysis.- An Auditory Oddball Based Brain-Computer Interface System Using Multivariate EMD.- HOG-Based Approach for Leaf Classification.- A Method for ICA with Reference Signals.- Intelligent Computing in Pattern Recognition.- Fuzzy Algorithm Based on Diffusion Maps for Network Partition.- Fast ISOMAP Based on Minimum Set Coverage.- A Robust Fusion Method for Vehicle Detection in Road Traffic Surveillance.- A GMM-Based Robust Incremental Adaptation with a Forgetting Factor for Speaker Verification.- Application Oriented Semantic Multi-touch Gesture Description Method.- Using a Priori Knowledge to Classify in Vivo Images of the Lung.- A Reversible Data Hiding Scheme Using Even-Odd Embedding Method.- Nonparametric Marginal Fisher Analysis for Feature Extraction.- On Designing Task-Oriented Intelligent Interfaces: An E-Mail Based Design Framework.- Recognition of Leaf Image Based on Ring Projection Wavelet Fractal Feature.- Image to Text Translation by Multi-Label Classification.- Intelligent Computing in Image Processing.- An Efficient Algorithm for Robust Curve Fitting Using Cubic Bezier Curves.- A New Descriptor for Shape Recognition and Retrieval.- A New Quality Evaluation Method of Binary Images.- Direction Integrated Genetic Algorithm for Motion Estimation in H.264/AVC.- MP-Based Images Sparse Decomposition by Simulated Annealing.- Efficient Representation of Zooming Information in Videos Using Multi Resolution Mosaics.- An Adaptive Method for Detecting Lane Boundary in Night Scene.- Correlated Multi-label Refinement for Semantic Noise Removal.- Combining Curvelet Transform and Wavelet Transform for Image Denoising.- A Simple Method for Correcting Lens Distortion in Low-Cost Camera Using Geometric Invariability.- A Robust Image Transmission Scheme for Wireless Channels Based on Compressive Sensing.- An Improved Ant Colony Optimization Based Particle Matching Algorithm for Time-Differential Pairing in Particle Tracking Velocimetry.- Atlas-Based Segmentation of Organs at Risk in Radiotherapy in Head MRIs by Means of a Novel Active Contour Framework.- Multi-seed Segmentation of Tomographic Volumes Based on Fuzzy Connectedness.- Super-Resolution Algorithm Based on Discrete Fourier Transform.- Intelligent Computing in Communication and Computer Networks.- An Efficient Radio Resource Management Scheme for Cognitive Radio Networks.- Optimal Incentive-Based Scheduling of Layered Video Packets in P2P Streaming.- Cooperative Spectrum Sensing Using Individual Sensing Credibility and Double Adaptive Thresholds for Cognitive Radio Network.- A Tactical Intelligence Production Model of Computer Network Self-Organizing Operations.- Performance Comparison of Erasure Codes for Different Churn Models in P2P Storage Systems.- Bottleneck Attack Strategies on Complex Communication Networks.- Intelligent Computing in Robotics.- High Resolution Mobile Robot Obstacle Detection Using Low Directivity Ultrasonic Sensor Ring.- Hybrid Fuzzy-Sliding Scheme for the Balance Control of a Biped Robot.- Real Time Robot Path Planning and Cleaning.- Vision-Inertial Tracking Algorithm with a Known Object's Geometric Model.- Intelligent Computing in Computer Vision.- Facial Expression Recognition Based on Fusion of Sparse Representation.- Intelligent Computing in Brain Imaging and Bio-medical Engineering.- Use of Time-Frequency Transforms and Kernel PCA to Classify Epileptic Patients from Control Subjects.- Intelligent Agent and Web Applications.- Accommodating Smart Meeting Rooms with a Context-Aware Smart Assistant.- Identification of Felder-Silverman Learning Styles with a Supervised Neural Network.- Web Site Traffic Ranking Estimation via SVM.- Intelligent Sensor Networks.- Fuzzy Based Key Re-distribution Period Determination Method in Wireless Sensor Networks.- An Identity-Based Authentication Protocol for Clustered ZigBee Network.- Efficient Key Dissemination Method Using Fuzzy Logic Based Dynamic En-route Filtering.- Toward a Human Society Inspired Routing Protocol for Wireless Sensor Network.- Intelligent Fault Diagnosis and Financial Engineering.- A Taxonomic Specification of Cloud@Home.- Relationship between the Verification Based Model and the Functional Dependences Model Using Program Specification.- Intelligent Control and Automation.- Fuzzy Logic Controller for Maximum Power Tracking in PMSG-Based Wind Power Systems.- Flexibility and Interoperability in Automation Systems by Means of Service Oriented Architecture.- A Composite P&O MPPT Control with Intelligent Orthogonal Particle Swarm Optimization for Steepest Gradient River Current Power Generation System.- Intelligent Data Fusion and Security.- A Risk Assessment Algorithm Based on Utility Theory.- A Method for Dam Safety Evaluation Based on Dempster-Shafer Theory.- A Controllable Anonymous Proxy Signature Scheme with Revocation.- Enhancing Efficiency of Intrusion Prediction Based on Intelligent Immune Method.- Attribute Reduction Based on the Extension Concept Lattice.- Intelligent Prediction and Time Series Analysis.- Two-Phase Imputation with Regional-Gradient-Guided Bootstrapping Algorithm and Dynamics Time Warping for Incomplete Time Series Data.- An Intelligent ACO-SA Approach for Short Term Electricity Load Prediction.- Natural Language Processing and Expert Systems.- Chinese Named Entity Recognition with a Sequence Labeling Approach: Based on Characters, or Based on Words?.- CorrRank: Update Summarization Based on Topic Correlation Analysis.- A Deterministic Method to Predict Phrase Boundaries of a Syntactic Tree.- Analyze Multiple Emotional Expressions in a Sentence.- Aging Simulation of Human Faces Based on NMF with Sparseness Constraints.- Age Estimation of Facial Images Based on an Improved Non-negative Matrix Factorization Algorithms.- Plant Species Recognition Based on Radial Basis Probabilistic Neural Networks Ensemble Classifier.
• (source: Nielsen Book Data)

• Neural Networks.- Complex Functional Network Hebbian-Type Learning Algorithm and Convergence.- A New Intelligent Control Strategy of High-Voltage Power Supply for ECRH Based on CMAC Neural Network.- Self-configuration Using Artificial Neural Networks.- Evolutionary Learning and Genetic Algorithms.- An Improvement of AdaBoost for Face Detection with Random Forests.- Hybrid Good Point Set Evolutionary Strategy for Constrained Optimization.- Research of Modified Quantum Genetic Algorithm and It's Application in Collision Detection.- Granular Computing and Rough Sets.- A New Method of Attribute Reduction and Prediction in Fuzzy Decision System.- Particle Swarm Optimization and Niche Technology.- Development of Automatic Code Generation Tool for Condensation Algorithm.- Swarm Intelligence and Optimization.- A New Hybrid Multi-objective Pareto Archive PSO Algorithm for a Classic Job Shop Scheduling Problem with Ready Times.- Multi-objective Particle Swarm Optimization for Sequencing and Scheduling a Cellular Manufacturing System.- A Hybrid PSO Algorithm with Transposon for Multiobjective Optimization.- Independent Component Analysis and Blind Source Separation.- Joint Multichannel Blind Speech Separation and Dereverberation: A Real-Time Algorithmic Implementation.- An Efficient Pairwise Kurtosis Optimization Algorithm for Independent Component Analysis.- Combinatorial and Numerical Optimization.- The Mechanical Behavior of the Double Piece of Tape Spring.- Systems Biology and Computational Biology.- Cancer Immunoprevention: What Can We Learn from in Silico Models?.- Oscillatory Dynamics of Double Negative Feedback Loop Motif by MicroRNAs.- Neural Computing and Optimization.- Neural Network Approach for Greenery Warranty Systems.- Knowledge Discovery and Data Mining.- Comprehensive Evaluation of Effects of Naomaitong and Rhubarb Aglycone Combined with Bone Mesenchymal Stem Cells Transplantation on Brain in Rats with Cerebral Ischemia Based on Analytic Hierarchy Process.- Aggregating and Weighting Expert Knowledge in Group Decision Making.- A New Heuristic Feature Selection Algorithm Based on Rough Sets.- Developing a Procedure to Obtain Knowledge of Optimum Solutions in a Travelling Salesman Problem.- Trajectory Simplification and Classification for Moving Object with Road-Constraint.- Training a Pac-Man Player with Minimum Domain Knowledge and Basic Rationality.- Hybrid Self-Organizing Map and Neural Network Clustering Analysis for Technology Professionals Turnover Rate Forecasting.- Ensemble Methods.- A Study of Strength and Correlation in Random Forests.- Machine Learning Theory and Methods.- A Comparison Study of Conditional Random Fields Toolkits.- Robot Reinforcement Learning Based on Learning Classifier System.- Intelligent Computing in Bioinformatics.- Research of Marker Gene Selection for Tumor Classfication Based on Decision Forests.- Reverse Engineered Gene Networks Reveal Markers Predicting the Outcome of Breast Cancer.- New Tools for Expression Alternative Splicing Validation.- Intelligent Computing in Computational Biology and Drug Design.- Application for Artificial Bee Colony Algorithm in Migration of Mobile Agent.- Computational Genomics and Proteomics.- A Novel Tool for Assisted In-silico Cloning and Sequence Editing in Molecular Biology.- Intelligent Computing in Signal Processing.- A New Method Using Table to Sparse Representation in Pairs of Bases with Matching Pursuits.- Intelligent Computing in Pattern Recognition.- Palmprint Recognition Method Using WTA-ICA Based on 2DPCA.- Study of TCM Diagnosis of Syndromes of Acute Exacerbation of Chronic Obstructive Pulmonary Disease Based on Dynamic Fuzzy Kohonen Network.- Classification and Characteristics of TCM Syndromes of Chronic Respiratory Failure Based on Self-adaptive Fuzzy Inference System.- Implementation of the Pattern Matching System to Detect Flip Chip PCB Defects.- JPEG Steganalysis Using Estimated Image and Markov Model.- Applications of Two-Dimensional Heteroscedastic Discriminant Analysis in Face Recognition.- Intelligent Computing in Image Processing.- Multimodal Image Fusion Algorithm Using Dual-Tree Complex Wavelet Transform and Particle Swarm Optimization.- An Adaptive Method for Lane Marking Detection Based on HSI Color Model.- An Image Data Hiding Method Using Pixel-Based JND Model.- Intelligent Computing Applications Based on Eye Gaze: Their Role in Medical Image Interpretation.- Intelligent Computing in Communication and Computer Networks.- A Sequential Test Based Cooperative Spectrum Sensing Scheme Using Fuzzy Logic for Cognitive Radio Networks.- Solving Base Station Subsystem Assignment Problem in Mobile Communication Networks Using Hybridized Heuristic Algorithm.- A Sequential Cooperative Spectrum Sensing Scheme Based on Dempster Shafer Theory of Evidence.- High Resolution Direction Finding of Multiple Coherent Signals.- Extract and Maintain the Most Helpful Wavelet Coefficients for Continuous K-Nearest Neighbor Queries in Stream Processing.- A Neural Network-Based Cooperative Spectrum Sensing Scheme for Cognitive Radio Systems.- Intelligent Computing in Robotics.- Comparison of the Observability Indices for Robot Calibration considering Joint Stiffness Parameters.- Intelligent Computing in Computer Vision.- Human Computer Interaction Using Hand Gestures.- Smart Wheelchair Navigation Based on User's Gaze on Destination.- Entrance Detection of Building Component Based on Multiple Cues.- Intelligent Prediction and Time Series Analysis.- Developing an Evolutionary Neural Network Model for Stock Index Forecasting.- A Tower-Shadow Model for Wind Turbines Using a Wavelet-Prony Method.- Special Session on New Hand-Based Biometric Methods.- Contrast Enhancement and Metrics for Biometric Vein Pattern Recognition.- Feature Extraction Method for Contactless Palmprint Biometrics.- Special Session on Theories and Applications in Advanced Intelligent Computing.- Numerical Analysis for Stochastic Investment System with Poisson Jumps.- Quantum Collapsing Median Filter.- An Impulse C Application in the LDPC Decoding Algorithm.- Research on Algorithm of Parallel Garbage Collection Based on LISP 2 for Multi-core System.- Study on Anode Effect Prediction of Aluminium Reduction Applying Wavelet Packet Transform.- Rotating Machinery Fault Diagnosis Based on EMD-Approximate Entropy and LS-SVM.- Study of Applications Based on Measurement Technology in the Future Smart Grid.- Palm Line Extraction Using FRIT.- Fast ICA for Multi-speaker Recognition System.- Variable Universe Adaptive Fuzzy-PI Compound Control Applied in Maximum Power Point Tracking for Photovoltaic Energy Generation System.- Integrated and Automated Dielectric Measurement System at Millimeter Wavelengths.- Special Session on Search Based Software Engineering.- Software Security Testing of Web Applications Based on SSD.- Special Session on Bio-inspired Computing and Applications.- A Review of Bacterial Foraging Optimization Part I: Background and Development.- A Review of Bacterial Foraging Optimization Part II : Applications and Challenges.- Liquidity Risk Portfolio Optimization Using Swarm Intelligence.- Special Session on Advance in Dimensionality Reduction Methods and Its Applications.- Dimension Reduction with Semi-supervised Pairwise Covariance-Preserving Projection.- Special Session on Recent Advances in Medical Informatics.- Analysis of Impact Factors in Acupuncture for Patients with Migraine--Doubts on Prof. Andrew J Vickers' Conclusion.
• (source: Nielsen Book Data)

• Neural Networks.- Design of a Novel Six-Dimensional Force/Torque Sensor and Its Calibration Based on NN.- Incremental-Based Extreme Learning Machine Algorithms for Time-Variant Neural Networks.- Global Exponential Robust Stability of Hopfield Neural Networks with Reaction-Diffusion Terms.- Direct Inverse Model Control Based on a New Improved CMAC Neural Network.- Further Research on Extended Alternating Projection Neural Network.- Global Synchronization in an Array of Hybrid Coupling Neural Networks with Multiple Time-Delay Components.- Colour Image Segmentation Based on a Spiking Neural Network Model Inspired by the Visual System.- The White Noise Impact on the Optimal Performance of the Hopfield Neural Network.- The Study and Realization of Virtual Organization File System Based on DHT Technology.- Evolutionary Learning and Genetic Algorithms.- A Novel Quantum Genetic Algorithm for PID Controller.- Research on Hybrid Evolutionary Algorithms with Differential Evolution and GUO Tao Algorithm Based on Orthogonal Design.- An Improved Evolution Strategy for Constrained Circle Packing Problem.- Lecture Notes in Computer Science: Research on Multi-robot Avoidance Collision Planning Based on XCS.- Fuzzy Theory and Models.- An Integrated Method for the Construction of Compact Fuzzy Neural Models.- Scalarization of Type-1 Fuzzy Markov Chains.- Fuzzy Systems and Soft Computing.- Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition.- Lattice Structures of Fuzzy Soft Sets.- A Predicate Formal System of Universal Logic with Projection Operator.- A Neuro-Evolutive Interval Type-2 TSK Fuzzy System for Volatile Weather Forecasting.- A Soft Computing Approach for Obtaining Transition Regions in Satellite Images.- Particle Swarm Optimization and Niche Technology.- Particle Swarm Optimization for Two-Stage Fuzzy Generalized Assignment Problem.- A Novel Cyclic Discrete Optimization Framework for Particle Swarm Optimization.- Economic Dispatch Considering Ancillary Service Based on Revised Particle Swarm Optimization Algorithm.- Particle Swarm Optimization-Based Extremum Seeking Control.- Image Contour Extraction Based on Ant Colony Algorithm and B-snake.- Supervised and Semi-supervised Learning.- An Improved Hidden Markov Model for Literature Metadata Extraction.- Discriminative Training of Subspace Gaussian Mixture Model for Pattern Classification.- Unsupervised and Reinforcement Learning.- A Stage by Stage Pruning Algorithm for Detecting the Number of Clusters in a Dataset.- Adaptive Independent Component Analysis by Modified Kernel Density Estimation.- Combinatorial and Numerical Optimization.- Cross System Bank Branch Evaluation Using Clustering and Data Envelopment Analysis.- He's Variational Iteration Method for Solving Convection Diffusion Equations.- GRASP for Low Autocorrelated Binary Sequences.- miRNA Target Prediction Method Based on the Combination of Multiple Algorithms.- Imperialistic Competitive Algorithm for Solving a Dynamic Cell Formation Problem with Production Planning.- Systems Biology and Computational Biology.- Genome-Wide DNA Methylation Profiling in 40 Breast Cancer Cell Lines.- GRIDUISS - A Grid Based Universal Immune System Simulator Framework.- Performance Comparison of Tumor Classification Based on Linear and Non-linear Dimensionality Reduction Methods.- Neural Computing and Optimization.- PH Optimal Control in the Clarifying Process of Sugar Cane Juice Based on DHP.- Nature Inspired Computing and Optimization.- Parameter-Free Deterministic Global Search with Simplified Central Force Optimization.- Comparison of Optimality and Robustness between SA, TS and GRASP Metaheuristics in FJSP Problem.- Hardware Emulation of Bacterial Quorum Sensing.- Knowledge Discovery and Data Mining.- Finding Research Community in Collaboration Network with Expertise Profiling.- The Ideal Data Representation for Feature Extraction of Traditional Malay Musical Instrument Sounds Classification.- Mining Reputation of Person/Product from Comment and Reply on UCC/Internet Article.- Interaction Analysis for Adaptive User Interfaces.- Unsupervised Subjectivity-Lexicon Generation Based on Vector Space Model for Multi-Dimensional Opinion Analysis in Blogosphere.- Enhancing Negation-Aware Sentiment Classification on Product Reviews via Multi-Unigram Feature Generation.- Building Associated Semantic Overlay for Discovering Associated Services.- Artificial Life and Artificial Immune Systems.- Immunity-Based Model for Malicious Code Detection.- Sparse Representation-Based Face Recognition for One Training Image per Person.- Semi-supervised Local Discriminant Embedding.- Orthogonal Discriminant Local Tangent Space Alignment.- Intelligent Computing in Image Processing.- Separating Pigment Components of Leaf Color Image Using FastICA.- Fast Algorithm for Multisource Image Registration Based on Geometric Feature of Corners.- Newborn Footprint Recognition Using Subspace Learning Methods.- Plant Classification Using Leaf Image Based on 2D Linear Discriminant Analysis.- Palmprint Recognition Combining LBP and Cellular Automata.- Dual Unsupervised Discriminant Projection for Face Recognition.- Applying Wikipedia-Based Explicit Semantic Analysis for Query-Biased Document Summarization.- Special Session on New Hand-Based Biometric Methods.- A New Approach for Vein Pattern-Based Recognition.- Study of Hand-Dorsa Vein Recognition.- DHV Image Registration Using Boundary Optimization.- Special Session on Recent Advances in Image Segmentation.- A Novel Level Set Model Based on Local Information.- A Multi-Descriptor, Multi-Nearest Neighbor Approach for Image Classification.- Orthogonal Locally Discriminant Projection for Palmprint Recognition.- Special Session on Theories and Applications in Advanced Intelligent Computing.- OPC UA Based Information Modeling for Distributed Industrial Systems.- Voting-Averaged Combination Method for Regressor Ensemble.- Face Recognition Using the Feature Fusion Technique Based on LNMF and NNSC Algorithms.- A PDOC Method for Topology Optimization Design.- Special Session on Search Based Software Engineering.- A Decision Support System Based on GIS for Grain Logistics Vehicle Routing Problem.- On Database Normalization Using User Interface Normal Form.- Special Session on Bio-inspired Computing and Applications.- Improved Particle Swarm Optimizers with Application on Constrained Portfolio Selection.- An Improved Image Rectification Algorithm Based on Particle Swarm Optimization.- Particle Swarm Optimizer Based on Small-World Topology and Comprehensive Learning.- Multi-Objective PSO Based on Evolutionary Programming.- Special Session on Advance in Dimensionality Reduction Methods and Its Applications.- Two-Dimensional Sparse Principal Component Analysis for Palmprint Recognition.- Discovery of Protein's Multifunction and Diversity of Information Transmission.- Special Session on Protein and Gene Bioinformatics: Methods and Applications.- Identification and Analysis of Binding Site Residues in Protein Complexes: Energy Based Approach.- Density Based Merging Search of Functional Modules in Protein-Protein Interaction (PPI) Networks.- Topology Prediction of ?-Helical and ?-Barrel Transmembrane Proteins Using RBF Networks.- Palmprint Recognition Based on Neighborhood Rough Set.- Increasing Reliability of Protein Interactome by Combining Heterogeneous Data Sources with Weighted Network Topological Metrics.- Predicting Protein Stability Change upon Double Mutation from Partial Sequence Information Using Data Mining Approach.- Inference of Gene Expression Regulation via microRNA Transfection.- A Residual Level Potential of Mean Force Based Approach to Predict Protein-Protein Interaction Affinity.
• (source: Nielsen Book Data)

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, image processing, bioinformatics, and computational biology. It aims to bring together researchers and practitioners from both academia and industry to share ideas, problems, and solutions related to the m- tifaceted aspects of intelligent computing. ICIC 2010, held in Changsha, China, August 18-21, 2010, constituted the 6th - ternational Conference on Intelligent Computing. It built upon the success of ICIC 2009, ICIC 2008, ICIC 2007, ICIC 2006, and ICIC 2005 that were held in Ulsan, Korea, Shanghai, Qingdao, Kunming and Hefei, China, respectively. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications". Papers focusing on this theme were solicited, addressing theories, methodologies, and applications in science and technology.
(source: Nielsen Book Data)

• Neural Networks.- Design of a Novel Six-Dimensional Force/Torque Sensor and Its Calibration Based on NN.- Incremental-Based Extreme Learning Machine Algorithms for Time-Variant Neural Networks.- Global Exponential Robust Stability of Hopfield Neural Networks with Reaction-Diffusion Terms.- Direct Inverse Model Control Based on a New Improved CMAC Neural Network.- Further Research on Extended Alternating Projection Neural Network.- Global Synchronization in an Array of Hybrid Coupling Neural Networks with Multiple Time-Delay Components.- Colour Image Segmentation Based on a Spiking Neural Network Model Inspired by the Visual System.- The White Noise Impact on the Optimal Performance of the Hopfield Neural Network.- The Study and Realization of Virtual Organization File System Based on DHT Technology.- Evolutionary Learning and Genetic Algorithms.- A Novel Quantum Genetic Algorithm for PID Controller.- Research on Hybrid Evolutionary Algorithms with Differential Evolution and GUO Tao Algorithm Based on Orthogonal Design.- An Improved Evolution Strategy for Constrained Circle Packing Problem.- Lecture Notes in Computer Science: Research on Multi-robot Avoidance Collision Planning Based on XCS.- Fuzzy Theory and Models.- An Integrated Method for the Construction of Compact Fuzzy Neural Models.- Scalarization of Type-1 Fuzzy Markov Chains.- Fuzzy Systems and Soft Computing.- Applying Fuzzy Differential Equations to the Performance Analysis of Service Composition.- Lattice Structures of Fuzzy Soft Sets.- A Predicate Formal System of Universal Logic with Projection Operator.- A Neuro-Evolutive Interval Type-2 TSK Fuzzy System for Volatile Weather Forecasting.- A Soft Computing Approach for Obtaining Transition Regions in Satellite Images.- Particle Swarm Optimization and Niche Technology.- Particle Swarm Optimization for Two-Stage Fuzzy Generalized Assignment Problem.- A Novel Cyclic Discrete Optimization Framework for Particle Swarm Optimization.- Economic Dispatch Considering Ancillary Service Based on Revised Particle Swarm Optimization Algorithm.- Particle Swarm Optimization-Based Extremum Seeking Control.- Image Contour Extraction Based on Ant Colony Algorithm and B-snake.- Supervised and Semi-supervised Learning.- An Improved Hidden Markov Model for Literature Metadata Extraction.- Discriminative Training of Subspace Gaussian Mixture Model for Pattern Classification.- Unsupervised and Reinforcement Learning.- A Stage by Stage Pruning Algorithm for Detecting the Number of Clusters in a Dataset.- Adaptive Independent Component Analysis by Modified Kernel Density Estimation.- Combinatorial and Numerical Optimization.- Cross System Bank Branch Evaluation Using Clustering and Data Envelopment Analysis.- He's Variational Iteration Method for Solving Convection Diffusion Equations.- GRASP for Low Autocorrelated Binary Sequences.- miRNA Target Prediction Method Based on the Combination of Multiple Algorithms.- Imperialistic Competitive Algorithm for Solving a Dynamic Cell Formation Problem with Production Planning.- Systems Biology and Computational Biology.- Genome-Wide DNA Methylation Profiling in 40 Breast Cancer Cell Lines.- GRIDUISS - A Grid Based Universal Immune System Simulator Framework.- Performance Comparison of Tumor Classification Based on Linear and Non-linear Dimensionality Reduction Methods.- Neural Computing and Optimization.- PH Optimal Control in the Clarifying Process of Sugar Cane Juice Based on DHP.- Nature Inspired Computing and Optimization.- Parameter-Free Deterministic Global Search with Simplified Central Force Optimization.- Comparison of Optimality and Robustness between SA, TS and GRASP Metaheuristics in FJSP Problem.- Hardware Emulation of Bacterial Quorum Sensing.- Knowledge Discovery and Data Mining.- Finding Research Community in Collaboration Network with Expertise Profiling.- The Ideal Data Representation for Feature Extraction of Traditional Malay Musical Instrument Sounds Classification.- Mining Reputation of Person/Product from Comment and Reply on UCC/Internet Article.- Interaction Analysis for Adaptive User Interfaces.- Unsupervised Subjectivity-Lexicon Generation Based on Vector Space Model for Multi-Dimensional Opinion Analysis in Blogosphere.- Enhancing Negation-Aware Sentiment Classification on Product Reviews via Multi-Unigram Feature Generation.- Building Associated Semantic Overlay for Discovering Associated Services.- Artificial Life and Artificial Immune Systems.- Immunity-Based Model for Malicious Code Detection.- Sparse Representation-Based Face Recognition for One Training Image per Person.- Semi-supervised Local Discriminant Embedding.- Orthogonal Discriminant Local Tangent Space Alignment.- Intelligent Computing in Image Processing.- Separating Pigment Components of Leaf Color Image Using FastICA.- Fast Algorithm for Multisource Image Registration Based on Geometric Feature of Corners.- Newborn Footprint Recognition Using Subspace Learning Methods.- Plant Classification Using Leaf Image Based on 2D Linear Discriminant Analysis.- Palmprint Recognition Combining LBP and Cellular Automata.- Dual Unsupervised Discriminant Projection for Face Recognition.- Applying Wikipedia-Based Explicit Semantic Analysis for Query-Biased Document Summarization.- Special Session on New Hand-Based Biometric Methods.- A New Approach for Vein Pattern-Based Recognition.- Study of Hand-Dorsa Vein Recognition.- DHV Image Registration Using Boundary Optimization.- Special Session on Recent Advances in Image Segmentation.- A Novel Level Set Model Based on Local Information.- A Multi-Descriptor, Multi-Nearest Neighbor Approach for Image Classification.- Orthogonal Locally Discriminant Projection for Palmprint Recognition.- Special Session on Theories and Applications in Advanced Intelligent Computing.- OPC UA Based Information Modeling for Distributed Industrial Systems.- Voting-Averaged Combination Method for Regressor Ensemble.- Face Recognition Using the Feature Fusion Technique Based on LNMF and NNSC Algorithms.- A PDOC Method for Topology Optimization Design.- Special Session on Search Based Software Engineering.- A Decision Support System Based on GIS for Grain Logistics Vehicle Routing Problem.- On Database Normalization Using User Interface Normal Form.- Special Session on Bio-inspired Computing and Applications.- Improved Particle Swarm Optimizers with Application on Constrained Portfolio Selection.- An Improved Image Rectification Algorithm Based on Particle Swarm Optimization.- Particle Swarm Optimizer Based on Small-World Topology and Comprehensive Learning.- Multi-Objective PSO Based on Evolutionary Programming.- Special Session on Advance in Dimensionality Reduction Methods and Its Applications.- Two-Dimensional Sparse Principal Component Analysis for Palmprint Recognition.- Discovery of Protein's Multifunction and Diversity of Information Transmission.- Special Session on Protein and Gene Bioinformatics: Methods and Applications.- Identification and Analysis of Binding Site Residues in Protein Complexes: Energy Based Approach.- Density Based Merging Search of Functional Modules in Protein-Protein Interaction (PPI) Networks.- Topology Prediction of ?-Helical and ?-Barrel Transmembrane Proteins Using RBF Networks.- Palmprint Recognition Based on Neighborhood Rough Set.- Increasing Reliability of Protein Interactome by Combining Heterogeneous Data Sources with Weighted Network Topological Metrics.- Predicting Protein Stability Change upon Double Mutation from Partial Sequence Information Using Data Mining Approach.- Inference of Gene Expression Regulation via microRNA Transfection.- A Residual Level Potential of Mean Force Based Approach to Predict Protein-Protein Interaction Affinity.
• (source: Nielsen Book Data)

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intel- gence, machine learning, pattern recognition, image processing, bioinformatics, and computational biology. It aims to bring together researchers and practitioners from both academia and industry to share ideas, problems, and solutions related to the m- tifaceted aspects of intelligent computing. ICIC 2010, held in Changsha, China, August 18-21, 2010, constituted the 6th - ternational Conference on Intelligent Computing. It built upon the success of ICIC 2009, ICIC 2008, ICIC 2007, ICIC 2006, and ICIC 2005 that were held in Ulsan, Korea, Shanghai, Qingdao, Kunming and Hefei, China, respectively. This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was "Advanced Intelligent Computing Technology and Applications". Papers focusing on this theme were solicited, addressing theories, methodologies, and applications in science and technology.
(source: Nielsen Book Data)

This volume, in conjunction with the two volumes CICS 0002 and LNAI 4682, constitutes the refereed proceedings of the Third International Conference on Intelligent Computing held in Qingdao, China, in August 2007. The 139 full papers published here were carefully reviewed and selected from among 2,875 submissions. Collectively, these papers represent some of the most important findings and insights into the field of intelligent computing.
(source: Nielsen Book Data)

• Biological and Quantum Computing
• Intelligent Computing in Bioinformatics
• Computational Genomics and Proteomics
• Intelligent Computing in Signal Processing
• Intelligent Computing in Pattern Recognition
• Intelligent Computing in Communication
• Intelligent Agent and Web Applications
• Intelligent Fault Diagnosis
• Intelligent Control and Automation
• Intelligent Data Fusion and Security
• Intelligent Prediction and Time Series Analysis
• Natural Language Processing and Expert Systems
• Intelligent Image/Document Retrievals
• Network-Based Intelligence and Automation
• Intelligent Robot Systems Based on Vision Technology
• Computational Intelligence for Image Analysis.

This book - in conjunction with the two volumes "CCIS 0015" and "LNAI 5226" - constitutes the refereed proceedings of the 4th International Conference on Intelligent Computing, ICIC 2008, held in Shanghai, China, in September 2008. The 152 revised full papers of this volume were carefully reviewed and selected from a total of 2336 submissions.The papers are organized in topical sections on biological and quantum computing, intelligent computing in bioinformatics, computational genomics and proteomics, intelligent computing in signal processing, intelligent computing in pattern recognition, intelligent computing in communication, intelligent agent and web applications, intelligent fault diagnosis, intelligent control and automation, intelligent data fusion and security, intelligent prediction and time series analysis, natural language processing and expert systems, intelligent image/document retrievals, network-based intelligence and automation, intelligent robot systems based on vision technology, and computational intelligence for image analysis.
(source: Nielsen Book Data)

• Efficient Search in Hidden Text of Large DjVu Documents.-Towards the Processing of Historic Documents.-Hierarchical Classification of OAI Metadata Using the DDC Taxonomy.-Moving towards Adaptive Search in Digital Libraries.-Automatic Gazetteer Generation from Wikipedia.-Hybrid and Interactive Domain-Specific Translation for Multilingual Access to Digital Libraries.-Metadata Enrichment via Topic Models for Author Name Disambiguation.-Semantic Disambiguation in Folksonomy: A Case Study.-Advances in Deep Parsing of Scholarly Paper Content.-Robust Argumentative Zoning for Sensemaking in Scholarly Documents.
• (source: Nielsen Book Data)

This book constitutes the thoroughly refereed post proceedings of two international workshops on special aspects of digital libraries, namely the First International Workshop on Natural Language Processing for Digital Libraries, NLP4DL 2009, held in Viareggio, Italy in June 2009 and the CACAO Project Workshop Advanced Technologies for Digital Libraries, AT4DL 2009, held in Trento, Italy in September 2009. A new open call was sent after the workshops. The revised full papers presented at the workshops and the newly submitted ones went through two rounds of reviewing and revision. The 10 papers selected address various aspects of NLP in digital libraries, search, classification, and digital document processing.
(source: Nielsen Book Data)

• Inference and Declaration of Independence in Task-Parallel Programs
• BDDT: Block-Level Dynamic Dependence Analysis for Task-Based
• A User-Level NUMA-Aware Scheduler for Optimizing Virtual Machine Performance
• Towards RTOS: A Preemptive Kernel Basing on Barrelfish
• Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets
• Pruning False Positives of Static Data-Race Detection via Thread Specialization
• G-Paradex: GPU-Based Parallel Indexing for Fast Data Deduplication
• Research on SPH Parallel Acceleration Strategies for Multi-GPU Platform
• Binarization-Based Human Detection for Compact FPGA Implementation
• HPACS: A High Privacy and Availability Cloud Storage Platform with Matrix Encryption
• ECAM: An Efficient Cache Management Strategy for Address Mappings in Flash Translation Layer
• A Performance Study of Software Prefetching for Tracing Garbage Collectors
• Adaptive Implementation Selection in the SkePU Skeleton Programming Library
• Automatic Skeleton-Based Compilation through Integration with an Algorithm Classification
• Hierarchical Clustering Routing Protocol Based on Optimal Load Balancing in Wireless Sensor Networks
• An Efficient Parallel Mechanism for Highly-Debuggable Multicore Simulator
• Data Access Type Aware Replacement Policy for Cache Clustering Organization of Chip Multiprocessors
• Agent-Based Credibility Protection Model for Decentralized Network Computing Environment
• A Vectorized K-Means Algorithm for Intel Many Integrated Core Architecture
• Towards Eliminating Memory Virtualization Overhead
• An Improved FPGAs-Based Loop Pipeline Scheduling Algorithm for Reconfigurable Compiler
• ACF: Networks-on-Chip Deadlock Recovery with Accurate Detection and Elastic Credit
• An Auction and League Championship Algorithm Based Resource Allocation Mechanism for Distributed Cloud
• Accelerating Software Model Checking Based on Program Backbone
• A Cloud Computing System for Snore Signals Processing
• Research on Optimum Checkpoint Interval for Hybrid Fault Tolerance
• Programming Real-Time Image Processing for Manycores in a High-Level Language
• Self-adaptive Retransmission for Network Coding with TCP.

This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013. The 30 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers cover a wide range of topics capturing some of the state of the art and practice in parallel architecture, parallel software, concurrent and distributed systems, and cloud computing, with a highlight on computing systems for big data applications.

• Intro; Preface; Organization; Contents; Improving Memory Access Performance of In-Memory Key-Value Store Using Data Prefetching Techniques; 1 Introduction; 2 Background and Motivation; 3 Prefetching Architecture Design; 3.1 Structure Overview; 3.2 Index Range Register (IRR); 3.3 Prefetching Address Control Unit (PACU); 3.4 Prefetching Size Control Unit (PSCU); 4 Evaluation; 4.1 Experiment Setup; 4.2 Experiment Results; 5 Related Work; 6 Conclusion; References; DDC: Distributed Data Collection Framework for Failure Prediction in Tianhe Supercomputers; Abstract; 1 Introduction; 2 Related Work

• 3 The DDC Design3.1 Tianhe Supercomputer Series; 3.2 Multiple Data Sources Combined Prediction Model; 3.3 An Overview of the DDC Design; 4 Evaluation; 4.1 Hardware Status Data; 4.2 Compute Node Running Status Data; 4.3 ES Collector Overhead; 4.4 RS Collector Overhead; 5 Conclusions and Future Work; Acknowledgments; References; Optimizing the MapReduce Framework for CPU-MIC Heterogeneous Cluster; 1 Introduction; 2 Background; 2.1 Intel MIC Architecture; 2.2 MapReduce; 3 Design and Implementation; 3.1 The Overall Framework; 3.2 SIMD Friendly Map; 3.3 Pipelined Reduce

• 3.4 Memory Management Scheme4 Experimental Evaluation; 4.1 Experimental Setup; 4.2 Benchmark Implementation; 4.3 Experimental Results; 5 Conclusion and Future Work; References; Stable Matching Scheduler for Single-ISA Heterogeneous Multi-core Processors; Abstract; 1 Introduction; 2 Related Work; 3 Stable Matching Scheduler; 3.1 Scheduler Algorithm; 3.2 Predction Model; 4 Experiments and Results; 4.1 Experimental Methodology; 4.2 Results and Analysis; 5 Conclusion and FutureWork; References; RPECA-Rumor Propagation Based Eventual Consistency Assessment Algorithm; Abstract; 1 Introduction

• 2 Related Work2.1 Eventual Consistency; 2.2 Rumor Propagation and Complex Network; 3 Hypothesis and Math; 4 Numerical Results; 4.1 Small-World Networks; 4.2 SF Networks; 4.3 Time-Complexity in Different Networks; 5 Conclusion; Acknowledgments; References; Efficient Implementation of MIPS Code Generator for the IonMonkey JavaScript Compiler; Abstract; 1 Introduction; 2 Related Work; 2.1 Nitro's MacroAssembler; 2.2 Hierarchy of IonMonkey; 3 Porting; 3.1 Double-Layer Cross Platform; 3.2 Patch; 3.3 Jump Source Chain; 3.4 ABI; 3.5 Truncate; 4 Optimization; 4.1 Short-Distance Jump

• 4.2 Range Analysis4.3 Peephole Optimization; 4.4 Compiler Parameter Tuning; 5 Evaluation; 5.1 Correctness; 5.2 Performance; 6 Conclusions; References; Effects of Quenched Disorder on Liquid Crystal: A Simulation of Rough Cylinder Confinement; Abstract; 1 Introduction; 2 Models and Simulation Details; 2.1 Description of Models; 2.2 Model Construction; 2.3 Simulation Details; 3 Results and Discussion; 3.1 Orientational Order; 3.2 Translational Order; 3.3 Diffusion; 3.4 Rotation; 4 Conclusion; Acknowledgements; References; Visual Tracking Based on Convolutional Deep Belief Network

This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They deal with the recent advances in big data processing; parallel architectures and systems; parallel software; parallel algorithms and applications; and distributed and cloud computing.