Search

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

Electronic engineering and informatics are disciplines which underpin the complex digital technology on which we have all now come to depend. This book presents the proceedings of ICEEI 2023, the 5th International Conference on Electronic Engineering and Informatics, which took place as a hybrid event from 23 to 25 June 2023 in Wuhan, China, with around 150 participating delegates. The conference brought together leading academics, researchers and practitioners from around the world to present recent innovations, trends, and concerns, and discuss practical challenges and solutions. It also gave delegates the opportunity to share their experience and research results and exchange views on all aspects of electronic engineering and informatics. A total of 266 submissions were received for the conference, of which 93 were accepted for presentation and publication after a careful double-blind peer review process. The papers are divided into 3 sections, covering electronic device simulation and system modelling; target recognition and information decision making; and network data processing and security detection. Providing a current overview of advances and research results in the relevant fields, the book will be of interest to those working in all areas of electronic engineering and informatics.

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

This volume set constitutes the refereed proceedings of the 16th International Conference on Knowledge Science, Engineering and Management, KSEM 2023, which was held in Guangzhou, China, during August 16–18, 2023. The 114 full papers and 30 short papers included in this book were carefully reviewed and selected from 395 submissions. They were organized in topical sections as follows: knowledge science with learning and AI; knowledge engineering research and applications; knowledge management systems; and emerging technologies for knowledge science, engineering and management.

The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023. The 1274 papers presented in the proceedings set were carefully reviewed and selected from 652 submissions. The ICONIP conference aims to provide a leading international forum for researchers, scientists, and industry professionals who are working in neuroscience, neural networks, deep learning, and related fields to share their new ideas, progress, and achievements.

The annual Computational Neuroscience Meeting (CNS) began in 1990 as a small workshop called Analysis and Modeling of Neural Systems. The goal of the workshop was to explore the boundary between neuroscience and computation. Riding on the success of several seminal papers, physicists had made'Neural Networks'fashionable, and soon the quantitative methods used in these abstract model networks started permeating the methods and ideas of experimental neuroscientists. Although experimental neurophysiological approaches provided many advances, it became increasingly evident that mathematical and computational techniques would be required to achieve a comprehensive and quantitative understanding of neural system function. “Computational Neuroscience” emerged to complement experimental neurophysiology. The Encyclopedia of Computational Neuroscience, published in conjunction with the Organization for Computational Neuroscience, will be an extensive reference work consultable by both researchers and graduate level students. It will be a dynamic, living reference, updatable and containing linkouts and multimedia content whenever relevant.

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.This is an open access book.

Smart Design, Science & Technology represents the proceedings of the IEEE 6th International Conference on Applied System Innovation (ICASI 2020), which was held in Taitung, Taiwan November 5-8, 2020. The conference received more than 200 submitted papers from at least 11 different countries, whereby roughly one third of these papers was selected by the committees and invited to present at ICASI 2020. This book aims to provide an integrated communication platform for researchers from a wide range of disciplines including information technology, communication science, applied mathematics, computer science, advanced material science, and engineering. Only high quality papers were allowed to publish in the volume. Hopefully, interdisciplinary collaborations between science and engineering technologists in academia and industry will be enhanced via this unique international network.

The main goal of Internet of Things (IoT) is to make secure, reliable, and fully automated smart environments. However, there are many technological challenges in deploying IoT. This includes connectivity and networking, timeliness, power and energy consumption dependability, security and privacy, compatibility and longevity, and network/protocol standards. Internet of Things and Secure Smart Environments: Successes and Pitfalls provides a comprehensive overview of recent research and open problems in the area of IoT research. Features: Presents cutting edge topics and research in IoT Includes contributions from leading worldwide researchers Focuses on IoT architectures for smart environments Explores security, privacy, and trust Covers data handling and management (accumulation, abstraction, storage, processing, encryption, fast retrieval, security, and privacy) in IoT for smart environments This book covers state-of-the-art problems, presents solutions, and opens research directions for researchers and scholars in both industry and academia.

The 5-volume proceedings, LNAI 12457 until 12461 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2020, which was held during September 14-18, 2020. The conference was planned to take place in Ghent, Belgium, but had to change to an online format due to the COVID-19 pandemic.The 232 full papers and 10 demo papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. The volumes are organized in topical sections as follows: Part I: Pattern Mining; clustering; privacy and fairness; (social) network analysis and computational social science; dimensionality reduction and autoencoders; domain adaptation; sketching, sampling, and binary projections; graphical models and causality; (spatio-) temporal data and recurrent neural networks; collaborative filtering and matrix completion. Part II: deep learning optimization and theory;active learning; adversarial learning; federated learning; Kernel methods and online learning; partial label learning; reinforcement learning; transfer and multi-task learning; Bayesian optimization and few-shot learning. Part III: Combinatorial optimization; large-scale optimization and differential privacy; boosting and ensemble methods; Bayesian methods; architecture of neural networks; graph neural networks; Gaussian processes; computer vision and image processing; natural language processing; bioinformatics. Part IV: applied data science: recommendation; applied data science: anomaly detection; applied data science: Web mining; applied data science: transportation; applied data science: activity recognition; applied data science: hardware and manufacturing; applied data science: spatiotemporal data. Part V: applied data science: social good; applied data science: healthcare; applied data science: e-commerce and finance; applied data science: computational social science; applied data science: sports; demo track.

This book contains the proceedings of the 2018 International Conference on Image Processing, Computer Vision, and Pattern Recognition (IPCV'18).The broad area of Imaging Science is a field that is mainly concerned with the generation, collection, analysis, modification, and visualization of images. The field is multidisciplinary in that it includes topics that are traditionally covered in computer science, physics, mathematics, electrical engineering, AI, psychology and information theory where computer science acts as the topical bridge between all such diverse areas (for a formal definition of Imaging Science, refer to relevant wiki pages). From the computer science perspective, the core of Imaging Science includes the following three intertwined computer science fields, namely: Image Processing, Computer Vision, and Pattern Recognition. The conference covers the research trends in these three important areas.

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification.

This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. The total of 191 full and 42 short papers presented in the three ICIC 2015 volumes was carefully reviewed and selected from 671 submissions. The papers are organized in topical sections such as evolutionary computation and learning; compressed sensing, sparse coding and social computing; neural networks, nature inspired computing and optimization; pattern recognition and signal processing; image processing; biomedical informatics theory and methods; differential evolution, particle swarm optimization and niche technology; intelligent computing and knowledge discovery and data mining; soft computing and machine learning; computational biology, protein structure and function prediction; genetic algorithms; artificial bee colony algorithms; swarm intelligence and optimization; social computing; information security; virtual reality and human-computer interaction; healthcare informatics theory and methods; unsupervised learning; collective intelligence; intelligent computing in robotics; intelligent computing in communication networks; intelligent control and automation; intelligent data analysis and prediction; gene expression array analysis; gene regulation modeling and analysis; protein-protein interaction prediction; biology inspired computing and optimization; analysis and visualization of large biological data sets; motif detection; biomarker discovery; modeling; simulation; and optimization of biological systems; biomedical data modeling and mining; intelligent computing in biomedical signal/image analysis; intelligent computing in brain imaging; neuroinformatics; cheminformatics; intelligent computing in computational biology; computational genomics; special session on biomedical dataintegration and mining in the era of big data; special session on big data analytics; special session on artificial intelligence for ambient assisted living; and special session on swarm intelligence with discrete dynamics.

This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. The total of 191 full and 42 short papers presented in the three ICIC 2015 volumes was carefully reviewed and selected from 671 submissions. The papers are organized in topical sections such as evolutionary computation and learning; compressed sensing, sparse coding and social computing; neural networks, nature inspired computing and optimization; pattern recognition and signal processing; image processing; biomedical informatics theory and methods; differential evolution, particle swarm optimization and niche technology; intelligent computing and knowledge discovery and data mining; soft computing and machine learning; computational biology, protein structure and function prediction; genetic algorithms; artificial bee colony algorithms; swarm intelligence and optimization; social computing; information security; virtual reality and human-computer interaction; healthcare informatics theory and methods; unsupervised learning; collective intelligence; intelligent computing in robotics; intelligent computing in communication networks; intelligent control and automation; intelligent data analysis and prediction; gene expression array analysis; gene regulation modeling and analysis; protein-protein interaction prediction; biology inspired computing and optimization; analysis and visualization of large biological data sets; motif detection; biomarker discovery; modeling; simulation; and optimization of biological systems; biomedical data modeling and mining; intelligent computing in biomedical signal/image analysis; intelligent computing in brain imaging; neuroinformatics; cheminformatics; intelligent computing in computational biology; computational genomics; special session on biomedical data integration and mining in the era of big data; special session on big data analytics; special session on artificial intelligence for ambient assisted living; and special session on swarm intelligence with discrete dynamics.

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata, and theory of programming; and foundations of networked computation: models, algorithms, and information management.

The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The 143 revised full papers presented were carefully reviewed and selected from 507 submissions. The papers are organized in the following three tracks: algorithms, complexity, and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms and information management.

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Comprising a selection of original and innovative articles from the International Conference on Computer Science and Systems Engineering (CSSE 2014), this book includes contributions by an international committee, alongside the participation of experts and scholars in the field of computer science and systems engineering. Contents include, but are not limited to the following: Computational Science and Applications; Computational Mathematics; Intelligent Manufacturing Technology and Services; E-Commerce, Business and Management; IT Bio/Medical Engineering; Security & Management Systems; Computer Physics; Financial Assessment of Intelligent Building Systems; Automated Software Engineering; Knowledge Discovery, Data Mining and Computer Games; Virtual Reality; CAD; Computer graphics/multimedia and practices/applications.

This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.

The proceedings of the 2013 International Conference on Management Innovation and Information Technology (MIIT 2013) presents new research results and demonstrates new systems and techniques in the broad field of management innovation and information technology, and their applications in industrial engineering. Bringing together the work of researchers and developers from around the world this book contains state-of-art results for exploring new areas of research and development. Also discussed are the emerging issues facing businesses and organisations in the knowledge economy. Topics covered relate to the main subject areas of: Economic Growth; Management Innovation; Information Management and Information Technology.

This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.

This two-volume set of LNCS 7965 and LNCS 7966 constitutes the refereed proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP 2013, held in Riga, Latvia, in July 2013. The total of 124 revised full papers presented were carefully reviewed and selected from 422 submissions. They are organized in three tracks focussing on algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation.

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.

This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 115 submissions. The papers are organized in topics such as process semantics and modal transition systems, VAS and pushdown systems, Pi calculus and interaction nets, linearizability and verification of concurrent programs, verification of infinite models, model measure and reversibility, stochastic models, message-based interaction processes, principles of automatic verification, and games and control synthesis.

This book constitutes the refereed proceedings of the 13th International Conference on Systems Simulation, Asia Simulation 2013, held in Singapore, in November 2013. The 45 revised full papers presented together with 18 short papers were carefully reviewed and selected from numerous submissions. The papers address issues such as agent based simulation, scheduling algorithms, simulation methods and tools, simulation and visualization, modeling methodology, simulation in science and engineering, high performance computing and simulation and parallel and distributed simulation.

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. The 25 revised full papers presented, together with one invited talk, were carefully reviewed and selected from 48 submissions. New results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field.

This two-volume set (CCIS 201 and CCIS 202) constitutes the refereed proceedings of the International Conference on Computer Science and Education, CSE 2011, held in Qingdao, China, in July 2011. The 164 revised full papers presented in both volumes were carefully reviewed and selected from a large number of submissions. The papers address a large number of research topics and applications: from artificial intelligence to computers and information technology; from education systems to methods research and other related issues; such as: database technology, computer architecture, software engineering, computer graphics, control technology, systems engineering, network, communication, and other advanced technology, computer education, and life-long education.

This two-volume set (CCIS 201 and CCIS 202) constitutes the refereed proceedings of the International Conference on Computer Science and Education, CSE 2011, held in Qingdao, China, in July 2011. The 164 revised full papers presented in both volumes were carefully reviewed and selected from a large number of submissions. The papers address a large number of research topics and applications: from artificial intelligence to computers and information technology; from education systems to methods research and other related issues; such as: database technology, computer architecture, software engineering, computer graphics, control technology, systems engineering, network, communication, and other advanced technology, computer education, and life-long education.

This book constitutes the refereed proceedings of the Third International Symposium on Intelligence Computation and Applications, ISICA 2008, held in Wuhan, China, in December 2008. The 93 revised full papers were carefully reviewed and selected from about 700 submissions. The papers are organized in topical sections on computational intelligence, evolutionary computation, evolutionary multi-objective and dynamic optimization, evolutionary learning systems, neural networks, classification and recognition, bioinformatics and bioengineering, evolutionary data mining and knowledge discovery, intelligent GIS and control, theory of intelligent computation, combinational and numerical optimization, as well as real-world applications.

Wavelet analysis and its applications have become one of the fastest growing research areas in the past several years. Wavelet theory has been employed in many fields and applications, such as signal and image processing, communication systems, biomedical imaging, radar, air acoustics, and endless other areas. Active media technology is concerned with the development of autonomous computational or physical entities capable of perceiving, reasoning, adapting, learning, cooperating, and delegating in a dynamic environment.This book consists of carefully selected and received papers presented at the conference, and is an attempt to capture the essence of the current state-of-the-art in wavelet analysis and active media technology. Invited papers included in this proceedings includes contributions from Prof P Zhang, T D Bui, and C Y Suen from Concordia University, Canada; Prof N A Strelkov and V L Dol'nikov from Yaroslavl State University, Russia; Prof Chin-Chen Chang and Ching-Yun Chang from Taiwan; Prof S S Pandey from R D University, India; and Prof I L Bloshanskii from Moscow State Regional University, Russia.

The Web is a globalinformationspace consistingoflinked documents andlinked data. As the Web continues to grow and new technologies, modes of interaction, and applications are being developed, the task of the Semantic Web is to unlock the power of information available on the Web into a common semantic inf- mation space and to make it available for sharing and processing by automated tools as well as by people. Right now, the publication of large datasets on the Web, the opening of data access interfaces, and the encoding of the semantics of the data extend the current human-centric Web. Now, the Semantic Web c- munity is tackling the challenges of how to create and manage Semantic Web content, how to make Semantic Web applications robust and scalable, and how to organize and integrate information from di?erent sources for novel uses. To foster the exchange of ideas and collaboration, the International Semantic Web Conference brings together researchers and practitioners in relevant disciplines such as arti?cial intelligence, databases, social networks, distributed computing, Web engineering, information systems, natural language processing, soft c- puting, and human–computer interaction. This volume contains the main proceedings of ISWC 2008, which we are - cited to o?er to the growing community of researchers and practitioners of the Semantic Web. We got a tremendous response to our call for research papers from a truly international community of researchers and practitioners from 41 countries submitting 261 papers. Each paper receivedan averageof 3.

This book is part of a three volume set that constitutes the refereed proceedings of the 4th International Symposium on Neural Networks, ISNN 2007, held in Nanjing, China in June 2007. Coverage includes neural networks for control applications, robotics, data mining and feature extraction, chaos and synchronization, support vector machines, fault diagnosis/detection, image/video processing, and applications of neural networks.

“The true sign of intelligence is not knowledge but imagination.” Albert Einstein Applied arti?cial intelligence researchers have been focusing on developing and employing methods and systems to solve real-life problems in all areas incl- ing engineering, science, industry, automation & robotics, business &?nance, th cyberspace, and man–machine interactions. The 20 International Conference on Industrial, Engineering and Other Applications of Applied Intelligent S- tems (IEA/AIE-2007) held in Kyoto, Japan presented such work performed by many scientists worldwide. The previous IEA/AIE conference held in Japan was the Ninth International Conference on Industrial and Engineering Applications of Arti?cial Intelligence and Expert systems (IEA/AIE-1996) in Fukuoka in 1996. The duration of 11 years between two conferences demanded drastic changes around applied art- cialintelligenceresearch.ThemaincausesaretherapidexpansionoftheInternet and the deluge of electronic and on-line text data. The Program Committee - cusedonAsian-originatingtechnologies,suchasactivemining,integrationofthe Internet and broadcasting, chance discovery, real-world interactions, and fuzzy logic applications. The?rst four are from Japan and the last one is from Taiwan and China. We received 462 papers from all parts of the world. Each paper was sent to at least three Program Committee members for review. Only 116 papers were selected for presentation and publication in the proceedings. We would like to express our sincere thanks to the Program Committee and all the reviewers for their hard work.

The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulation as well as life system-inspired theory and methodology. The concept of a life system is quite broad. It covers both micro and macro c- ponents ranging from cells, tissues and organs across to organisms and ecologic niches. These interact and evolve to produce an overall complex system whose beh- ior is difficult to comprehend and predict. The arrival of the 21st century has been marked by a resurgence of research interest both in arriving at a systems-level und- standing of biology and in applying such knowledge in complex real-world appli- tions. Consequently, computational methods and intelligence in systems, biology, as well as bio-inspired computational intelligence, have emerged as key drivers for new computational methods. For this reason papers dealing with theory, techniques and real-world applications relating to these two themes were especially solicited. Building on the success of a previous workshop in 2004, the 2007 International Conference on Life System Modeling and Simulation (LSMS 2007) was held in Shanghai, China, September 14–17, 2007. The conference was jointly organized by The Shanghai University, Queen's University Belfast together with The Life System Modeling and Simulation Special Interest Committee of the Chinese Association for System Simulation.

This book and its sister volumes constitute the Proceedings of the Third International Symposium on Neural Networks (ISNN 2006) held in Chengdu in southwestern China during May 28–31, 2006. After a successful ISNN 2004 in Dalian and ISNN 2005 in Chongqing, ISNN became a well-established series of conferences on neural computation in the region with growing popularity and improving quality. ISNN 2006 received 2472 submissions from authors in 43 countries and regions (mainland China, Hong Kong, Macao, Taiwan, South Korea, Japan, Singapore, Thailand, Malaysia, India, Pakistan, Iran, Qatar, Turkey, Greece, Romania, Lithuania, Slovakia, Poland, Finland, Norway, Sweden, Demark, Germany, France, Spain, Portugal, Belgium, Netherlands, UK, Ireland, Canada, USA, Mexico, Cuba, Venezuela, Brazil, Chile, Australia, New Zealand, South Africa, Nigeria, and Tunisia) across six continents (Asia, Europe, North America, South America, Africa, and Oceania). Based on rigorous reviews, 616 high-quality papers were selected for publication in the proceedings with the acceptance rate being less than 25%. The papers are organized in 27 cohesive sections covering all major topics of neural network research and development. In addition to the numerous contributed papers, ten distinguished scholars gave plenary speeches (Robert J. Marks II, Erkki Oja, Marios M. Polycarpou, Donald C. Wunsch II, Zongben Xu, and Bo Zhang) and tutorials (Walter J. Freeman, Derong Liu, Paul J. Werbos, and Jacek M. Zurada).