Author: Dachuan Xu
Publisher: Springer
ISBN: 3319213989
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. The 49 revised full papers and 11 shorter papers presented were carefully reviewed and selected from various submissions. The papers cover various topics including algorithms and data structures; algorithmic game theory; approximation algorithms and online algorithms; automata, languages, logic and computability; complexity theory; computational learning theory; cryptography, reliability and security; database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Computing and Combinatorics
Author: Dachuan Xu
Publisher: Springer
ISBN: 3319213989
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. The 49 revised full papers and 11 shorter papers presented were carefully reviewed and selected from various submissions. The papers cover various topics including algorithms and data structures; algorithmic game theory; approximation algorithms and online algorithms; automata, languages, logic and computability; complexity theory; computational learning theory; cryptography, reliability and security; database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Publisher: Springer
ISBN: 3319213989
Category : Computers
Languages : en
Pages : 778
Book Description
This book constitutes the refereed proceedings of the 21st International Conference on Computing and Combinatorics, COCOON 2015, held in Beijing, China, in August 2015. The 49 revised full papers and 11 shorter papers presented were carefully reviewed and selected from various submissions. The papers cover various topics including algorithms and data structures; algorithmic game theory; approximation algorithms and online algorithms; automata, languages, logic and computability; complexity theory; computational learning theory; cryptography, reliability and security; database theory, computational biology and bioinformatics; computational algebra, geometry, number theory, graph drawing and information visualization; graph theory, communication networks, optimization and parallel and distributed computing.
Mechanics
Author: T. T. Taylor
Publisher: Elsevier
ISBN: 1483139980
Category : Science
Languages : en
Pages : 412
Book Description
Mechanics: Classical and Quantum is a 13-chapter book that begins by explaining the Lagrangian and Hamiltonian formulation of mechanics. The Hamilton-Jacobi theory, historical background of the quantum theory, and wave mechanics are then described. Subsequent chapters discuss the time-independent Schrödinger equation and some of its applications; the operators, observables, and the quantization of a physical system; the significance of expectation values; and the concept of measurement in quantum mechanics. The matrix mechanics and the "hydrogenic atom", an atom in which one electron moves under the influence of a nucleus of charge that, to a very good approximation, can be thought of as a point, are also presented. This book will be very useful to students studying this field of interest.
Publisher: Elsevier
ISBN: 1483139980
Category : Science
Languages : en
Pages : 412
Book Description
Mechanics: Classical and Quantum is a 13-chapter book that begins by explaining the Lagrangian and Hamiltonian formulation of mechanics. The Hamilton-Jacobi theory, historical background of the quantum theory, and wave mechanics are then described. Subsequent chapters discuss the time-independent Schrödinger equation and some of its applications; the operators, observables, and the quantization of a physical system; the significance of expectation values; and the concept of measurement in quantum mechanics. The matrix mechanics and the "hydrogenic atom", an atom in which one electron moves under the influence of a nucleus of charge that, to a very good approximation, can be thought of as a point, are also presented. This book will be very useful to students studying this field of interest.
Term Indexing
Author: Peter Graf
Publisher: Springer Science & Business Media
ISBN: 9783540610403
Category : Computers
Languages : en
Pages : 308
Book Description
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Publisher: Springer Science & Business Media
ISBN: 9783540610403
Category : Computers
Languages : en
Pages : 308
Book Description
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
Artificial Intelligence and Computational Intelligence
Author: Fu Lee Wang
Publisher: Springer Science & Business Media
ISBN: 3642165265
Category : Computers
Languages : en
Pages : 404
Book Description
This two-volume proceedings contains revised selected papers from the International Conference on Artificial Intelligence and Computational Intelligence, AICI 2010, held in Sanya, China, in October 2010. The total of 105 high-quality papers presented were carefully reviewed and selected from 1216 submissions. The topics covered are: applications of artificial intelligence; automated problem solving; automatic programming; data mining and knowledge discovering; distributed AI and agents; expert and decision support systems; fuzzy logic and soft computing; intelligent information fusion; intelligent scheduling; intelligent signal processing; machine learning; machine vision; multi-agent systems; natural language processing; neural networks; pattern recognition; robotics; applications of computational intelligence; biomedical informatics and computation; fuzzy computation; genetic algorithms; immune computation; information security; intelligent agents and systems; nature computation; particle swarm optimization; and probabilistic reasoning.
Publisher: Springer Science & Business Media
ISBN: 3642165265
Category : Computers
Languages : en
Pages : 404
Book Description
This two-volume proceedings contains revised selected papers from the International Conference on Artificial Intelligence and Computational Intelligence, AICI 2010, held in Sanya, China, in October 2010. The total of 105 high-quality papers presented were carefully reviewed and selected from 1216 submissions. The topics covered are: applications of artificial intelligence; automated problem solving; automatic programming; data mining and knowledge discovering; distributed AI and agents; expert and decision support systems; fuzzy logic and soft computing; intelligent information fusion; intelligent scheduling; intelligent signal processing; machine learning; machine vision; multi-agent systems; natural language processing; neural networks; pattern recognition; robotics; applications of computational intelligence; biomedical informatics and computation; fuzzy computation; genetic algorithms; immune computation; information security; intelligent agents and systems; nature computation; particle swarm optimization; and probabilistic reasoning.
Algorithms and Architectures for Parallel Processing
Author: Xiang-he Sun
Publisher: Springer
ISBN: 3319111949
Category : Computers
Languages : en
Pages : 711
Book Description
This two volume set LNCS 8630 and 8631 constitutes the proceedings of the 14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, held in Dalian, China, in August 2014. The 70 revised papers presented in the two volumes were selected from 285 submissions. The first volume comprises selected papers of the main conference and papers of the 1st International Workshop on Emerging Topics in Wireless and Mobile Computing, ETWMC 2014, the 5th International Workshop on Intelligent Communication Networks, IntelNet 2014, and the 5th International Workshop on Wireless Networks and Multimedia, WNM 2014. The second volume comprises selected papers of the main conference and papers of the Workshop on Computing, Communication and Control Technologies in Intelligent Transportation System, 3C in ITS 2014, and the Workshop on Security and Privacy in Computer and Network Systems, SPCNS 2014.
Publisher: Springer
ISBN: 3319111949
Category : Computers
Languages : en
Pages : 711
Book Description
This two volume set LNCS 8630 and 8631 constitutes the proceedings of the 14th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2014, held in Dalian, China, in August 2014. The 70 revised papers presented in the two volumes were selected from 285 submissions. The first volume comprises selected papers of the main conference and papers of the 1st International Workshop on Emerging Topics in Wireless and Mobile Computing, ETWMC 2014, the 5th International Workshop on Intelligent Communication Networks, IntelNet 2014, and the 5th International Workshop on Wireless Networks and Multimedia, WNM 2014. The second volume comprises selected papers of the main conference and papers of the Workshop on Computing, Communication and Control Technologies in Intelligent Transportation System, 3C in ITS 2014, and the Workshop on Security and Privacy in Computer and Network Systems, SPCNS 2014.
Time-Varying Network Optimization
Author: Dan Sha
Publisher: Springer Science & Business Media
ISBN: 0387712151
Category : Computers
Languages : en
Pages : 234
Book Description
This text describes a series of models, propositions, and algorithms developed in recent years on time-varying networks. References and discussions on relevant problems and studies that have appeared in the literature are integrated in the book. Its eight chapters consider problems including the shortest path problem, the minimum-spanning tree problem, the maximum flow problem, and many more. The time-varying traveling salesman problem and the Chinese postman problem are presented in a chapter together with the time-varying generalized problem. While these topics are examined within the framework of time-varying networks, each chapter is self-contained so that each can be read – and used – separately.
Publisher: Springer Science & Business Media
ISBN: 0387712151
Category : Computers
Languages : en
Pages : 234
Book Description
This text describes a series of models, propositions, and algorithms developed in recent years on time-varying networks. References and discussions on relevant problems and studies that have appeared in the literature are integrated in the book. Its eight chapters consider problems including the shortest path problem, the minimum-spanning tree problem, the maximum flow problem, and many more. The time-varying traveling salesman problem and the Chinese postman problem are presented in a chapter together with the time-varying generalized problem. While these topics are examined within the framework of time-varying networks, each chapter is self-contained so that each can be read – and used – separately.
Mobile Intelligent Autonomous Systems
Author: Jitendra R. Raol
Publisher: CRC Press
ISBN: 1000755649
Category : Technology & Engineering
Languages : en
Pages : 835
Book Description
Going beyond the traditional field of robotics to include other mobile vehicles, this reference and "recipe book" describes important theoretical concepts, techniques, and applications that can be used to build truly mobile intelligent autonomous systems (MIAS). With the infusion of neural networks, fuzzy logic, and genetic algorithm paradigms for MIAS, it blends modeling, sensors, control, estimation, optimization, signal processing, and heuristic methods in MIAS and robotics, and includes examples and applications throughout. Offering a comprehensive view of important topics, it helps readers understand the subject from a system-theoretic and practical point of view.
Publisher: CRC Press
ISBN: 1000755649
Category : Technology & Engineering
Languages : en
Pages : 835
Book Description
Going beyond the traditional field of robotics to include other mobile vehicles, this reference and "recipe book" describes important theoretical concepts, techniques, and applications that can be used to build truly mobile intelligent autonomous systems (MIAS). With the infusion of neural networks, fuzzy logic, and genetic algorithm paradigms for MIAS, it blends modeling, sensors, control, estimation, optimization, signal processing, and heuristic methods in MIAS and robotics, and includes examples and applications throughout. Offering a comprehensive view of important topics, it helps readers understand the subject from a system-theoretic and practical point of view.
Active Networks
Author: Stefan Covaci
Publisher: Springer
ISBN: 3540485074
Category : Computers
Languages : en
Pages : 373
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999. The 30 revised full papers presented were carefully reviewed and selected from a total of 80 submissions. The book is divided in sections on networks architectures, platforms, active management and control, and security. All in all, this book provides a unique state-of-the-art account of architectural aspects, technologies, and prototype systems that will impact the way future networked businesses will be created and managed.
Publisher: Springer
ISBN: 3540485074
Category : Computers
Languages : en
Pages : 373
Book Description
This book constitutes the refereed proceedings of the First International Workshop on Active Networks, IWAN'99, held in Berlin, Germany in June/July 1999. The 30 revised full papers presented were carefully reviewed and selected from a total of 80 submissions. The book is divided in sections on networks architectures, platforms, active management and control, and security. All in all, this book provides a unique state-of-the-art account of architectural aspects, technologies, and prototype systems that will impact the way future networked businesses will be created and managed.
Intelligent Computing in Engineering and Architecture
Author: Ian F.C. Smith
Publisher: Springer Science & Business Media
ISBN: 3540462465
Category : Computers
Languages : en
Pages : 703
Book Description
This book constitutes the thoroughly refereed proceedings of the 13th Workshop of the European Group for Intelligent Computing in Engineering and Architecture, EG-ICE 2006, held in Ascona, Switzerland in June 2006. The 59 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. All issues of advanced informatics are covered including a range of techniques.
Publisher: Springer Science & Business Media
ISBN: 3540462465
Category : Computers
Languages : en
Pages : 703
Book Description
This book constitutes the thoroughly refereed proceedings of the 13th Workshop of the European Group for Intelligent Computing in Engineering and Architecture, EG-ICE 2006, held in Ascona, Switzerland in June 2006. The 59 revised full papers were carefully reviewed and selected from numerous submissions for inclusion in the book. All issues of advanced informatics are covered including a range of techniques.
Progress in VLSI Design and Test
Author: Hafizur Rahaman
Publisher: Springer
ISBN: 3642314945
Category : Computers
Languages : en
Pages : 427
Book Description
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale computing and nanotechnology.
Publisher: Springer
ISBN: 3642314945
Category : Computers
Languages : en
Pages : 427
Book Description
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale computing and nanotechnology.