Reliable Implementation of Real Number Algorithms: Theory and Practice
ISBN: 9783540855200 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A large amount of the capacity of today's computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number computations: the problem of veri?edor reliablecomputations. Since real numbersare objects c- taining an in?nite amount of information, they cannot be represented precisely on a computer. This leads to the well-known problems caused by unveri?ed - plementations of real number algorithms using ?nite precision. While this is t- ditionally seen to be a problem in numerical...
A large amount of the capacity of today's computers is used for computations that can be described as computations involving real numbers. In this boo...
|
|
cena:
195,42 zł |
Algorithms, Architectures and Information Systems Security
ISBN: 9789812836236 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains articles written by leading researchers in the fields of algorithms, architectures, and information systems security. The first five chapters address several challenging geometric problems and related algorithms. These topics have major applications in pattern recognition, image analysis, digital geometry, surface reconstruction, computer vision and in robotics. The next five chapters focus on various optimization issues in VLSI design and text architectures, and in wireless networks. The last six chapters comprise scholarly articles on information systems security...
This volume contains articles written by leading researchers in the fields of algorithms, architectures, and information systems security. The first f...
|
|
cena:
692,58 zł |
Group-Theoretic Algorithms and Graph Isomorphism
ISBN: 9783540114932 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
89,87 zł |
Genetic Programming Theory and Practice VI
ISBN: 9780387876221 / Angielski / Twarda / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Genetic Programming Theory and Practice VI was developed from the sixth workshop at the University of Michigan's Center for the Study of Complex Systems to facilitate the exchange of ideas and information related to the rapidly advancing field of Genetic Programming (GP). Contributions from the foremost international researchers and practitioners in the GP arena examine the similarities and differences between theoretical and empirical results on real-world problems. The text explores the synergy between theory and practice, producing a comprehensive view of the state of... Genetic Programming Theory and Practice VI was developed from the sixth workshop at the University of Michigan's Center for the St... |
|
cena:
390,87 zł |
Utilizing Problem Structure in Planning: A Local Search Approach
ISBN: 9783540202592 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Planning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated software agent. For this reason, planning, as a central research area of artificial intelligence from its beginnings, has gained even more attention and importance recently. After giving a general introduction to AI planning, the book describes and carefully evaluates the algorithmic techniques used in fast-forward planning systems (FF), demonstrating their excellent performance in many wellknown benchmark domains. In advance, an original and detailed... Planning is a crucial skill for any autonomous agent, be it a physically embedded agent, such as a robot, or a purely simulated software agent. For... |
|
cena:
195,42 zł |
Algorithms and Data Structures: 8th International Workshop, Wads 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings
ISBN: 9783540405450 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS 2003, held in Ottawa, Ontario, Canada, in July/August 2003. The 40 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 126 submissions. A broad variety of current aspects in algorithmics and data structures is addressed. The refereed proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS 2003, held in Ottawa, Ontario, Canada, in July/A... |
|
cena:
195,42 zł |
Algorithms and Computations: 6th International Symposium, Isaac '95 Cairns, Australia, December 4 - 6, 1995. Proceedings Proceedings.
ISBN: 9783540605737 / Angielski / Miękka / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in December 1995.
The 45 revised full papers presented together with the abstracts of three invited talks were selected from a total of 130 submissions. The papers address many current aspects of research and advanced applications of algorithms and computations; among the topics covered are graph theory and graph algorithms, computational geometry, computational logics, searching and sorting, approximation and optimization, algebraic... This book presents the refereed proceedings of the 6th International Symposium on Algorithms and Computation, ISAAC '95, held in Cairns, Australia, in...
|
|
cena:
195,42 zł |
Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
ISBN: 9783540606154 / Angielski / Miękka / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral Dissertation Competition. The author improved the presentation and included the progress achieved since the thesis was approved by the University of California at Berkeley.
This work is a fascinating piece of theoretical computer science research building on deep results from different areas. It provides new theoretical insights and advances applicable techniques in such different areas as computational complexity, efficient (randomized) checking of proofs, programs and... This book is based on the author's PhD thesis which was selected as the winning thesis of the 1993 ACM Doctoral Dissertation Competition. The author i...
|
|
cena:
195,42 zł |
Solving Irregularly Structured Problems in Parallel: 4th International Symposium, Irregular '97, Paderborn, Germany, June 12-13, 1997, Proceedings
ISBN: 9783540631385 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97, held in Paderborn, Germany, in June 1997.
The 18 revised full papers presented were carefully selected by the program committee for inclusion in the volume; also included are full papers by the five invited speakers. Among the topics covered are discrete algorithms, randomized methods and approximation algorithms, implementations, programming environments, systems and applications, and scheduling and load balancing. This book constitutes the refereed proceedings of the 4th International Symposium on Solving Irregularly Structured Problems in Parallel, IRREGULAR'97...
|
|
cena:
195,42 zł |
Constraint Handling Rules: Current Research Topics
ISBN: 9783540922421 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen, ithasbecomeamajordeclarativespeci?cationandimplemen- tion language for constraint-based algorithms and applications. In recent years, the ?ve Workshops on Constraint Handling Rules have spurred the exchange of ideas within the CHR community, which has led to increased international collaboration, new theoretical results and optimized implementations. The aim of this volume of Lecture Notes in Ariti?cial Intelligence was to attract high-quality research papers on these recent advances in CHR. The 8...
The ConstraintHandling Rules (CHR) languagecameto life morethan 15 years ago.Sincethen, ithasbecomeamajordeclarativespeci?cationandimplemen- tion lang...
|
|
cena:
195,42 zł |
Large-Scale Scientific Computing: 5th International Conference, Lssc 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
ISBN: 9783540319948 / Angielski / Miękka / 704 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Large-Scale Scientific Computations, LSSC 2005, held in Sozopol, Bulgaria in June 2005. The 75 revised full papers presented together with five invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections. This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Large-Scale Scientific Computations, LSSC 200... |
|
cena:
390,87 zł |
Genetic and Evolutionary Computation -- Gecco 2003: Genetic and Evolutionary Computation Conference Chicago, Il, Usa, July 12-16, 2003 Proceedings, Pa
ISBN: 9783540406037 / Angielski / Miękka / 1280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The set LNCS 2723 and LNCS 2724 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2003, held in Chicago, IL, USA in July 2003. The 193 revised full papers and 93 poster papers presented were carefully reviewed and selected from a total of 417 submissions. The papers are organized in topical sections on a-life adaptive behavior, agents, and ant colony optimization; artificial immune systems; coevolution; DNA, molecular, and quantum computing; evolvable hardware; evolutionary robotics; evolution strategies and evolutionary programming;...
The set LNCS 2723 and LNCS 2724 constitutes the refereed proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2003, held in Chica...
|
|
cena:
195,42 zł |
Optimization Theory: Recent Developments from Mátraháza
ISBN: 9781402000096 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains refereed papers based on the lectures presented at the XIV International Conference on Mathematical Programming held at Matrahaza, Hungary, between 27-31 March 1999. This conference was organized by the Laboratory of Operations Research and Deci- sion Systems at the Computer and Automation Institute, Hungarian Academy of Sciences. The editors hope this volume will contribute to the theory and applications of mathematical programming. As a tradition of these events, the main purpose of the confer- ence was to review and discuss recent advances and promising research trends...
This volume contains refereed papers based on the lectures presented at the XIV International Conference on Mathematical Programming held at Matrahaza...
|
|
cena:
390,87 zł |
Optimization Techniques for Solving Complex Problems
ISBN: 9780470293324 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Real-world problems and modern optimization techniques to solve them
Here, a team of international experts brings together core ideas for solving complex problems in optimization across a wide variety of real-world settings, including computer science, engineering, transportation, telecommunications, and bioinformatics. Part One--covers methodologies for complex problem solving including genetic programming, neural networks, genetic algorithms, hybrid evolutionary algorithms, and more. Part Two--delves into applications including DNA sequencing and reconstruction, location of... Real-world problems and modern optimization techniques to solve them
Here, a team of international experts brings together core ideas for solving c... |
|
cena:
778,47 zł |
Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques
ISBN: 9781584888208 / Angielski / Twarda / 950 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algorithms and Theory of Computation Handbook, Second Edition: Special Topics and Techniques provides an up-to-date compendium of fundamental computer science topics and techniques. It also illustrates how the topics and techniques come together to deliver efficient solutions to important practical problems. Along with updating and revising many of the existing chapters, this second edition contains more than 15 new chapters. This edition now covers self-stabilizing and pricing algorithms as well as the theories of privacy and anonymity, databases,... Algorithms and Theory of Computation Handbook, Second Edition: Special Topics and Techniques provides an up-to-date compendium of ... |
|
cena:
1075,61 zł |
Algorithms and Theory of Computation Handbook, Volume 1: General Concepts and Techniques
ISBN: 9781584888222 / Angielski / Twarda / 988 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compendium of fundamental computer science topics and techniques. It illustrates how the topics and techniques come together to deliver efficient solutions to important practical problems. It contains four chapters that cover external memory and parameterized algorithms as well as computational number theory and algorithmic coding theory.
A compendium of fundamental computer science topics and techniques. It illustrates how the topics and techniques come together to deliver efficient so...
|
|
cena:
1075,61 zł |
Differential Evolution: Fundamentals and Applications in Electrical Engineering
ISBN: 9780470823927 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'Differential Evolution' covers fundamentals of differential evolution, parametric study on intrinsic control parameters of differential evolution, and applications of differential evolution in electrical engineering.
'Differential Evolution' covers fundamentals of differential evolution, parametric study on intrinsic control parameters of differential evolution, an...
|
|
cena:
997,75 zł |
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics: 7th European Conference, Evobio 2009 Tübingen, Germany, April 15-17, 200
ISBN: 9783642011832 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, EvoBIO 2009, held in Tubingen, Germany, in April 2009 colocated with the Evo* 2009 events. The 17 revised full papers were carefully reviewed and selected from 44 submissions. EvoBio is the premiere European event for experts in computer science meeting with experts in bioinformatics and the biological sciences, all interested in the interface between evolutionary computation, machine learning, data mining, bioinformatics, and...
This book constitutes the refereed proceedings of the 7th European Conference on Evolutionary Computation, Machine Learning and Data Mining in Bioinfo...
|
|
cena:
195,42 zł |
Genetic Programming: 12th European Conference, Eurogp 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings
ISBN: 9783642011801 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 12th European Conference on Genetic Programming, EuroGP 2009, took place in Tu ]bingen, Germany during April 15-17 at one of the oldest univer- ties in Germany, the Eberhard Karls Universitat ] Tubing ] en. This volume c- tains manuscripts of the 21 oral presentations held during the day, and the nine posters that were presented during a dedicated evening session and reception. The topics covered in this volume re?ectthecurrentstateoftheartofgenetic programming, including representations, theory, operators and analysis, feature selection, generalization, coevolution, and numerous...
The 12th European Conference on Genetic Programming, EuroGP 2009, took place in Tu ]bingen, Germany during April 15-17 at one of the oldest univer- ti...
|
|
cena:
195,42 zł |
Numerical Sound Synthesis: Finite Difference Schemes and Simulation in Musical Acoustics
ISBN: 9780470510469 / Angielski / Twarda / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Digital sound synthesis has long been approached using standard digital filtering techniques. Newer synthesis strategies, however, make use of physical descriptions of musical instruments, and allow for much more realistic and complex sound production and thereby synthesis becomes a problem of simulation.
This book has a special focus on time domain finite difference methods presented within an audio framework. It covers time series and difference operators, and basic tools for the construction and analysis of finite difference schemes, including frequency-domain and energy-based methods,... Digital sound synthesis has long been approached using standard digital filtering techniques. Newer synthesis strategies, however, make use of physica...
|
|
cena:
601,73 zł |