![]() |
Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vie
ISBN: 9783319092836 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications;...
This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, he...
|
cena:
203,13 |
![]() |
Intelligent Computing in Bioinformatics: 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014, Proceedings
ISBN: 9783319093291 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book - in conjunction with the volumes LNCS 8588 and LNAI 8589 - constitutes the refereed proceedings of the 10th International Conference on Intelligent Computing, ICIC 2014, held in Taiyuan, China, in August 2014. The 58 papers of this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections such as machine learning; neural networks; image processing; computational systems biology and medical informatics; biomedical informatics theory and methods; advances on bio-inspired computing; protein and gene bioinformatics: analysis,...
This book - in conjunction with the volumes LNCS 8588 and LNAI 8589 - constitutes the refereed proceedings of the 10th International Conference on Int...
|
cena:
203,13 |
![]() |
Learning and Intelligent Optimization: 8th International Conference, Lion 8, Gainesville, Fl, Usa, February 16-21, 2014. Revised Selected Papers
ISBN: 9783319095837 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February 2014. The 33 contributions presented were carefully reviewed and selected for inclusion in this book. A large variety of topics are covered, such as algorithm configuration; multiobjective optimization; metaheuristics; graphs and networks; logistics and transportation; and biomedical applications.
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, wh...
|
cena:
203,13 |
![]() |
Structural Information and Communication Complexity: 21st International Colloquium, Sirocco 2014, Takayama, Japan, July 23-25, 2014, Proceedings
ISBN: 9783319096193 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 21st International Colloquium on Structural Information and Communication Complexity, SIROCCO 2014, held in Takayama, Japan, in July 2014. The 24 full papers presented together with 5 invited talks were carefully reviewed and selected from 51 submissions. The focus of the colloquium is on following subjects Shared Memory and Multiparty Communication, Network Optimization, CONGEST Algorithms and Lower Bounds, Wireless networks, Aggregation and Creation Games in Networks, Patrolling and Barrier Coverage, Exploration, Rendevous and Mobile...
This book constitutes the refereed proceedings of the 21st International Colloquium on Structural Information and Communication Complexity, SIROCCO 20...
|
cena:
203,13 |
![]() |
Genetic Programming: 17th European Conference, EuroGP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
ISBN: 9783662443026 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book constitutes the refereed proceedings of the 17th European Conference on Genetic Programming, Euro GP 2014, held in Grenada, Spain, in April 2014 co-located with the Evo*2014 events, Evo BIO, Evo COP, Evo MUSART and Evo Applications. The 15 revised full papers presented together with 5 poster papers were carefully reviewed and selected form 40 submissions. The wide range of topics in this volume reflects the current state of research in the field. Thus, we see topics as diverse as search-based software engineering, image analysis, dynamical systems, evolutionary robotics and... The book constitutes the refereed proceedings of the 17th European Conference on Genetic Programming, Euro GP 2014, held in Grenada, Spain, in Apri... |
cena:
195,05 |
![]() |
Evolutionary Computation in Combinatorial Optimization: 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers
ISBN: 9783662443194 / Angielski / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th European Conference on Evolutionary Computation in Combinatorial Optimization, Evo COP 2014, held in Granada, Spain, in April 2014, co-located with the Evo*2014 events Euro GP, Evo BIO, Evo MUSART and Evo Applications. The 20 revised full papers presented were carefully reviewed and selected from 42 submissions. The papers cover the following topics: swarm intelligence algorithms, fitness landscapes and adaptive algorithms, real world and routing problems and cooperative and metaheuristic search. This book constitutes the refereed proceedings of the 14th European Conference on Evolutionary Computation in Combinatorial Optimization, Evo COP 2... |
cena:
195,05 |
![]() |
Ultra Low Power Electronics and Adiabatic Solutions
ISBN: 9781848217386 / Angielski / Twarda / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The improvement of energy efficiency in electronics and computing systems is currently central to information and communication technology design; low-cost cooling, autonomous portable systems and functioning on recovered energy all need to be continuously improved to allow modern technology to compute more while consuming less. This book presents the basic principles of the origins and limits of heat dissipation in electronic systems. Mechanisms of energy dissipation, the physical foundations for understanding CMOS components and sophisticated optimization techniques are explored... The improvement of energy efficiency in electronics and computing systems is currently central to information and communication technology design; ... |
cena:
726,57 |
![]() |
Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
ISBN: 9783662444641 / Angielski / Miękka / 640 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees...
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Founda...
|
cena:
203,13 |
![]() |
Mathematical Foundations of Computer Science 2014: 39th International Symposium, Mfcs 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
ISBN: 9783662445211 / Angielski / Miękka / 561 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees...
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Founda...
|
cena:
203,13 |
![]() |
Computer Algebra in Scientific Computing: 16th International Workshop, Casc 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
ISBN: 9783319105147 / Angielski / Miękka / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Poland, in September 2014. The 33 full papers presented were carefully reviewed and selected for inclusion in this book.
The papers address issues such as Studies in polynomial algebra are represented by contributions devoted to factoring sparse bivariate polynomials using the priority queue, the construction of irreducible polynomials by using the Newton index, real polynomial root finding by means of matrix and polynomial iterations, application... This book constitutes the proceedings of the 16th International Workshop on Computer Algebra in Scientific Computing, CASC 2014, held in Warsaw, Polan...
|
cena:
203,13 |
![]() |
Algorithms and Architectures for Parallel Processing: 14th International Conference, Ica3pp 2014, Dalian, China, August 24-27, 2014. Proceedings, Part
ISBN: 9783319111933 / Angielski / Miękka / 689 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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...
This two volume set LNCS 8630 and 8631 constitutes the proceedings of the 14th International Conference on Algorithms and Architectures for Parallel P...
|
cena:
203,13 |
![]() |
Algorithms and Architectures for Parallel Processing: 14th International Conference, Ica3pp 2014, Dalian, China, August 24-27, 2014. Proceedings, Part
ISBN: 9783319111964 / Angielski / Miękka / 849 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 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...
This two volume set LNCS 8630 and 8631 constitutes the proceedings of the 14th International Conference on Algorithms and Architectures for Parallel P...
|
cena:
203,13 |
![]() |
Computational Logistics: 5th International Conference, ICCL 2014, Valparaíso, Chile, September 24-26, 2014, Proceedings
ISBN: 9783319114200 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Conference on Computational Logistics, ICCL 2014, held in Valparaiso, Chile, in September 2014. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in the book. They are organized in topical sections entitled: optimization of transport problems; container terminal applications; simulation and environmental sustainability applications.
This book constitutes the refereed proceedings of the 5th International Conference on Computational Logistics, ICCL 2014, held in Valparaiso, Chile, i...
|
cena:
162,54 |
![]() |
Algorithms - ESA 2014: 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings
ISBN: 9783662447765 / Angielski / Miękka / 860 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22st Annual European Symposium on Algorithms, ESA 2014, held in Wroc aw, Poland, in September 2014, as part of ALGO 2014. The 69 revised full papers presented were carefully reviewed and selected from 269 initial submissions: 57 out of 221 in Track A, Design and Analysis, and 12 out of 48 in Track B, Engineering and Applications. The papers present original research in the areas of design and mathematical analysis of algorithms; engineering, experimental analysis, and real-world applications of algorithms and data structures.
This book constitutes the refereed proceedings of the 22st Annual European Symposium on Algorithms, ESA 2014, held in Wroc aw, Poland, in September 20...
|
cena:
203,13 |
![]() |
Practical Analysis of Algorithms
ISBN: 9783319098876 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to providing a review of the fundamental mathematical notions necessary to understand these concepts. Features: includes numerous fully-worked examples and step-by-step proofs, assuming no strong mathematical background; describes the foundation of the analysis of algorithms theory in terms of the big-Oh, Omega, and Theta notations; examines recurrence relations; discusses the concepts of basic operation, traditional loop counting, and best case...
This book introduces the essential concepts of algorithm analysis required by core undergraduate and graduate computer science courses, in addition to...
|
cena:
182,82 |
![]() |
Rough Sets and Knowledge Technology: 9th International Conference, Rskt 2014, Shanghai, China, October 24-26, 2014, Proceedings
ISBN: 9783319117393 / Angielski / Miękka / 867 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed conference proceedings of the 9th International Conference on Rough Sets and Knowledge Technology, RSKT 2014, held in Shanghai, China, in October 2014. The 70 papers presented were carefully reviewed and selected from 162 submissions. The papers in this volume cover topics such as foundations and generalizations of rough sets, attribute reduction and feature selection, applications of rough sets, intelligent systems and applications, knowledge technology, domain-oriented data-driven data mining, uncertainty in granular computing, advances in...
This book constitutes the thoroughly refereed conference proceedings of the 9th International Conference on Rough Sets and Knowledge Technology, RSKT ...
|
cena:
203,13 |
![]() |
Advances in Swarm Intelligence: 5th International Conference, Icsi 2014, Hefei, China, October 17-20, 2014, Proceedings, Part I
ISBN: 9783319118567 / Angielski / Miękka / 510 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book and its companion volume, LNCS vol. 8794 and 8795 constitute the proceedings of the 5th International Conference on Swarm Intelligence, ICSI 2014, held in Hefei, China in October 2014. The 107 revised full papers presented were carefully reviewed and selected from 198 submissions. The papers are organized in 18 cohesive sections, 3 special sessions and one competitive session covering all major topics of swarm intelligence research and development such as novel swarm-based search methods; novel optimization algorithm; particle swarm optimization; ant colony optimization for...
This book and its companion volume, LNCS vol. 8794 and 8795 constitute the proceedings of the 5th International Conference on Swarm Intelligence, ICSI...
|
cena:
203,13 |
![]() |
Advances in Swarm Intelligence: 5th International Conference, Icsi 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II
ISBN: 9783319118963 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book and its companion volume, LNCS vol. 8794 and 8795 constitute the proceedings of the 5th International Conference on Swarm Intelligence, ICSI 2014, held in Hefei, China in October 2014. The 107 revised full papers presented were carefully reviewed and selected from 198 submissions. The papers are organized in 18 cohesive sections, 3 special sessions and one competitive session covering all major topics of swarm intelligence research and development such as novel swarm-based search methods; novel optimization algorithm; particle swarm optimization; ant colony optimization for...
This book and its companion volume, LNCS vol. 8794 and 8795 constitute the proceedings of the 5th International Conference on Swarm Intelligence, ICSI...
|
cena:
203,13 |
![]() |
Analytic Pattern Matching: From DNA to Twitter
ISBN: 9780521876087 / Angielski / Twarda / 385 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How do you distinguish a cat from a dog by their DNA? Did Shakespeare really write all of his plays? Pattern matching techniques can offer answers to these questions and to many others, from molecular biology, to telecommunications, to classifying Twitter content. This book for researchers and graduate students demonstrates the probabilistic approach to pattern matching, which predicts the performance of pattern matching algorithms with very high precision using analytic combinatorics and analytic information theory. Part I compiles known results of pattern matching problems via analytic...
How do you distinguish a cat from a dog by their DNA? Did Shakespeare really write all of his plays? Pattern matching techniques can offer answers to ...
|
cena:
428,78 |
![]() |
Emerging Research on Swarm Intelligence and Algorithm Optimization
ISBN: 9781466663282 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Throughout time, scientists have looked to nature in order to understand and model solutions for complex real-world problems. In particular, the study of self-organizing entities, such as social insect populations, presents a new opportunity within the field of artificial intelligence.
>Emerging Research on Swarm Intelligence and Algorithm Optimization discusses current research analyzing how the collective behavior of decentralized systems in the natural world can be applied to intelligent system design. Discussing the application of swarm principles, optimization techniques,... Throughout time, scientists have looked to nature in order to understand and model solutions for complex real-world problems. In particular, the study...
|
cena:
1172,01 |