0
Your cart

Your cart is empty

Browse All departments
Price
  • R100 - R250 (4)
  • R250 - R500 (28)
  • R500+ (4,939)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Compact Representations for the Design of Quantum Logic (Paperback, 1st ed. 2017): Philipp Niemann, Robert Wille Compact Representations for the Design of Quantum Logic (Paperback, 1st ed. 2017)
Philipp Niemann, Robert Wille
R1,221 R1,110 Discovery Miles 11 100 Save R111 (9%) Shipped within 7 - 12 working days

This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs - a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of present-day prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrix descriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantum-mechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification.

Recent Developments in Metaheuristics (Hardcover, 1st ed. 2018): Lionel Amodeo, El--Ghazali Talbi, Farouk Yalaoui Recent Developments in Metaheuristics (Hardcover, 1st ed. 2018)
Lionel Amodeo, El--Ghazali Talbi, Farouk Yalaoui
R3,589 R2,841 Discovery Miles 28 410 Save R748 (21%) Shipped within 7 - 12 working days

This book highlights state-of-the-art developments in metaheuristics research. It examines all aspects of metaheuristic research including new algorithmic developments, applications, new research challenges, theoretical developments, implementation issues, in-depth experimental studies. The book is divided into two sections. Part I is focused on new optimization and modeling techniques based on metaheuristics. The chapters in this section cover topics from multi-objective problems with fuzzy data with triangular-valued objective functions, to hyper-heuristics optimization methodology, designing genetic algorithms, and also the cuckoo search algorithm. The techniques described help to enhance the usability and increase the potential of metaheuristic algorithms. Part II showcases advanced metaheuristic approaches to solve real-life applications issues. This includes an examination of scheduling, the vehicle routing problem, multimedia sensor network, supplier selection, bin packing, objects tracking, and radio frequency identification. In the fields covered in the chapters are of high-impact applications of metaheuristics. The chapters offer innovative applications of metaheuristics that have a potential of widening research frontiers. Altogether, this book offers a comprehensive look at how researchers are currently using metaheuristics in different domains of design and application.

e-Business and Telecommunications - 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised... e-Business and Telecommunications - 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009. Revised Selected Papers (Paperback, Edition.)
Mohammad S. Obaidat, Joaquim Filipe
R2,219 R1,775 Discovery Miles 17 750 Save R444 (20%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 6th International Joint Conference on e-Business and Telecommunications, ICETE 2009, held in Milan, Italy, in July 2009. The 34 revised full papers presented together with 4 invited papers in this volume were carefully reviewed and selected from 300 submissions. They have passed two rounds of selection and improvement. The papers are organized in topical sections on e-business; security and cryptography; signal processing and multimedia applications; wireless information networks and systems.

Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings... Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings (Paperback, 1st ed. 2017)
Marco Bozzano, Yannis Papadopoulos
R1,349 R1,238 Discovery Miles 12 380 Save R111 (8%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017. The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

EVOLVE - A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII (Hardcover, 1st ed. 2017):... EVOLVE - A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation VII (Hardcover, 1st ed. 2017)
Michael Emmerich, Andre Deutz, Oliver Schutze, Pierrick Legrand, Emilia Tantar, …
R2,891 R2,580 Discovery Miles 25 800 Save R311 (11%) Shipped within 7 - 12 working days

This book comprises nine selected works on numerical and computational methods for solving multiobjective optimization, game theory, and machine learning problems. It provides extended versions of selected papers from various fields of science such as computer science, mathematics and engineering that were presented at EVOLVE 2013 held in July 2013 at Leiden University in the Netherlands. The internationally peer-reviewed papers include original work on important topics in both theory and applications, such as the role of diversity in optimization, statistical approaches to combinatorial optimization, computational game theory, and cell mapping techniques for numerical landscape exploration. Applications focus on aspects including robustness, handling multiple objectives, and complex search spaces in engineering design and computational biology.

Formal Languages and Compilation (Hardcover, 3rd ed. 2019): Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti Formal Languages and Compilation (Hardcover, 3rd ed. 2019)
Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti
R1,804 R1,372 Discovery Miles 13 720 Save R432 (24%) Shipped within 7 - 12 working days

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used for defining the syntax of languages, and for implementing simple translators. This significantly updated and expanded third edition has been enhanced with additional coverage of regular expressions, visibly pushdown languages, bottom-up and top-down deterministic parsing algorithms, and new grammar models. Topics and features: describes the principles and methods used in designing syntax-directed applications such as parsing and regular expression matching; covers translations, semantic functions (attribute grammars), and static program analysis by data flow equations; introduces an efficient method for string matching and parsing suitable for ambiguous regular expressions (NEW); presents a focus on extended BNF grammars with their general parser and with LR(1) and LL(1) parsers (NEW); introduces a parallel parsing algorithm that exploits multiple processing threads to speed up syntax analysis of large files; discusses recent formal models of input-driven automata and languages (NEW); includes extensive use of theoretical models of automata, transducers and formal grammars, and describes all algorithms in pseudocode; contains numerous illustrative examples, and supplies a large set of exercises with solutions at an associated website. Advanced undergraduate and graduate students of computer science will find this reader-friendly textbook to be an invaluable guide to the essential concepts of syntax-directed compilation. The fundamental paradigms of language structures are elegantly explained in terms of the underlying theory, without requiring the use of software tools or knowledge of implementation, and through algorithms simple enough to be practiced by paper and pencil.

Matrix and Tensor Factorization Techniques for Recommender Systems (Paperback, 1st ed. 2016): Panagiotis Symeonidis, Andreas... Matrix and Tensor Factorization Techniques for Recommender Systems (Paperback, 1st ed. 2016)
Panagiotis Symeonidis, Andreas Zioupos
R1,197 R1,086 Discovery Miles 10 860 Save R111 (9%) Shipped within 7 - 12 working days

This book presents the algorithms used to provide recommendations by exploiting matrix factorization and tensor decomposition techniques. It highlights well-known decomposition methods for recommender systems, such as Singular Value Decomposition (SVD), UV-decomposition, Non-negative Matrix Factorization (NMF), etc. and describes in detail the pros and cons of each method for matrices and tensors. This book provides a detailed theoretical mathematical background of matrix/tensor factorization techniques and a step-by-step analysis of each method on the basis of an integrated toy example that runs throughout all its chapters and helps the reader to understand the key differences among methods. It also contains two chapters, where different matrix and tensor methods are compared experimentally on real data sets, such as Epinions, GeoSocialRec, Last.fm, BibSonomy, etc. and provides further insights into the advantages and disadvantages of each method. The book offers a rich blend of theory and practice, making it suitable for students, researchers and practitioners interested in both recommenders and factorization methods. Lecturers can also use it for classes on data mining, recommender systems and dimensionality reduction methods.

Handbook of Applied Cryptography (Hardcover, New): Alfred John Menezes, Paul C.Van Oorschot, Scott A. Vanstone Handbook of Applied Cryptography (Hardcover, New)
Alfred John Menezes, Paul C.Van Oorschot, Scott A. Vanstone
R1,259 Discovery Miles 12 590 Shipped within 7 - 12 working days

Cryptography, in particular public-key cryptography, has emerged in the last 20 years as an important discipline that is not only the subject of an enormous amount of research, but provides the foundation for information security in many applications. Standards are emerging to meet the demands for cryptographic protection in most areas of data communications. Public-key cryptographic techniques are now in widespread use, especially in the financial services industry, in the public sector, and by individuals for their personal privacy, such as in electronic mail. This Handbook will serve as a valuable reference for the novice as well as for the expert who needs a wider scope of coverage within the area of cryptography. It is a necessary and timely guide for professionals who practice the art of cryptography.
The Handbook of Applied Cryptography provides a treatment that is multifunctional:

Visual Saliency: From Pixel-Level to Object-Level Analysis (Paperback, 1st ed. 2019): Jianming Zhang, Filip Malmberg, Stan... Visual Saliency: From Pixel-Level to Object-Level Analysis (Paperback, 1st ed. 2019)
Jianming Zhang, Filip Malmberg, Stan Sclaroff
R1,549 R1,251 Discovery Miles 12 510 Save R298 (19%) Shipped within 7 - 12 working days

This book will provide an introduction to recent advances in theory, algorithms and application of Boolean map distance for image processing. Applications include modeling what humans find salient or prominent in an image, and then using this for guiding smart image cropping, selective image filtering, image segmentation, image matting, etc.In this book, the authors present methods for both traditional and emerging saliency computation tasks, ranging from classical low-level tasks like pixel-level saliency detection to object-level tasks such as subitizing and salient object detection. For low-level tasks, the authors focus on pixel-level image processing approaches based on efficient distance transform. For object-level tasks, the authors propose data-driven methods using deep convolutional neural networks. The book includes both empirical and theoretical studies, together with implementation details of the proposed methods. Below are the key features for different types of readers. For computer vision and image processing practitioners: Efficient algorithms based on image distance transforms for two pixel-level saliency tasks; Promising deep learning techniques for two novel object-level saliency tasks; Deep neural network model pre-training with synthetic data; Thorough deep model analysis including useful visualization techniques and generalization tests; Fully reproducible with code, models and datasets available. For researchers interested in the intersection between digital topological theories and computer vision problems: Summary of theoretic findings and analysis of Boolean map distance; Theoretic algorithmic analysis; Applications in salient object detection and eye fixation prediction. Students majoring in image processing, machine learning and computer vision: This book provides up-to-date supplementary reading material for course topics like connectivity based image processing, deep learning for image processing; Some easy-to-implement algorithms for course projects with data provided (as links in the book); Hands-on programming exercises in digital topology and deep learning.

Cellular Communications Systems in Congested Environments - Resource Allocation and End-to-End Quality of Service Solutions... Cellular Communications Systems in Congested Environments - Resource Allocation and End-to-End Quality of Service Solutions with MATLAB (Hardcover, 1st ed. 2017)
Ahmed Abdelhadi
R2,190 R1,976 Discovery Miles 19 760 Save R214 (10%) Shipped within 7 - 12 working days

This book presents a mathematical treatment of the radio resource allocation of modern cellular communications systems in contested environments. It focuses on fulfilling the quality of service requirements of the living applications on the user devices, which leverage the cellular system, and with attention to elevating the users' quality of experience. The authors also address the congestion of the spectrum by allowing sharing with the band incumbents while providing with a quality-of-service-minded resource allocation in the network. The content is of particular interest to telecommunications scheduler experts in industry, communications applications academia, and graduate students whose paramount research deals with resource allocation and quality of service.

Quantum Zero-Error Information Theory (Hardcover, 1st ed. 2016): Elloa B. Guedes, Francisco Marcos De Assis, Rex Antonio da... Quantum Zero-Error Information Theory (Hardcover, 1st ed. 2016)
Elloa B. Guedes, Francisco Marcos De Assis, Rex Antonio da Costa Medeiros
R2,447 R2,193 Discovery Miles 21 930 Save R254 (10%) Shipped within 7 - 12 working days

This book aims at presenting the field of Quantum Information Theory in an intuitive, didactic and self-contained way, taking into account several multidisciplinary aspects. Therefore, this books is particularly suited to students and researchers willing to grasp fundamental concepts in Quantum Computation and Quantum Information areas. The field of Quantum Information Theory has increased significantly over the last three decades. Many results from classical information theory were translated and extended to a scenario where quantum effects become important. Most of the results in this area allows for an asymptotically small probability of error to represent and transmit information efficiently. Claude E.Shannon was the first scientist to realize that error-free classical information transmission can be accomplished under certain conditions. More recently, the concept of error-free classical communication was translated to the quantum context. The so-called Quantum Zero-Error Information Theory completes and extends the Shannon Zero-Error Information Theory.

Pattern Classification (Hardcover, 2nd Edition): Richard O. Duda, Peter E. Hart Pattern Classification (Hardcover, 2nd Edition)
Richard O. Duda, Peter E. Hart; Revised by David G. Stork; David G. Stork
R3,516 R2,820 Discovery Miles 28 200 Save R696 (20%) Shipped within 7 - 12 working days

From the reviews . . .

"The first edition of this book, published 30 years ago by Duda and Hart, has been a defining book for the field of Pattern Recognition. Stork has done a superb job of updating the book. He has undertaken a monumental task of sifting through 30 years of material in a rapidly growing field and presented another snapshot of the field, determining what will be of importance for the next 30 years and incorporating it into this second edition. The style is easy to read as in the original book and the statistical, mathematical material comes alive with many new illustrations. The end result is harmonious, leading the reader through many new topics..." —Sargur N. Srihari, PhD, Director, Center for Excellence in Document Analysis and Recognition, Distinguished Professor, Department of Computer Science and Engineering, SUNY at Buffalo

Practitioners developing or investigating pattern recognition systems in such diverse application areas as speech recognition, optical character recognition, image processing, or signal analysis, often face the difficult task of having to decide among a bewildering array of available techniques. This unique text/professional reference provides the information you need to choose the most appropriate method for a given class of problems, presenting an in-depth, systematic account of the major topics in pattern recognition today. A new edition of a classic work that helped define the field for over a quarter century, this practical book updates and expands the original work, focusing on pattern classification and the immense progress it has experienced in recent years. Special features include:

  • Clear explanations of both classical and new methods, including neural networks, stochastic methods, genetic algorithms, and theory of learning
  • Over 350 high-quality, two-color illustrations highlighting various concepts
  • Numerous worked examples
  • Pseudocode for pattern recognition algorithms
  • Expanded problems, keyed specifically to the text
  • Complete exercises, linked to the text
  • Algorithms to explain specific pattern-recognition and learning techniques
  • Historical remarks and important references at the end of chapters
  • Appendices covering the necessary mathematical background
Algorithms and Data Structures - 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings... Algorithms and Data Structures - 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings (Paperback, Edition.)
Frank Dehne, John Iacono, Jorg-Rudiger Sack
R2,246 R1,797 Discovery Miles 17 970 Save R449 (20%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 12th Algorithms and Data Structures Symposium, WADS 2011, held in New York, NY, USA, in August 2011.
The Algorithms and Data Structures Symposium - WADS (formerly "Workshop on Algorithms and Data Structures") is intended as a forum for researchers in the area of design and analysis of algorithms and data structures. The 59 revised full papers presented in this volume were carefully reviewed and selected from 141 submissions. The papers present original research on the theory and application of algorithms and data structures in all areas, including combinatorics, computational geometry, databases, graphics, parallel and distributed computing.

Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity (Paperback, 1st ed. 2016):... Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity (Paperback, 1st ed. 2016)
Michal Skrzypczak
R1,300 R1,189 Discovery Miles 11 890 Save R111 (9%) Shipped within 7 - 12 working days

The book is based on the PhD thesis "Descriptive Set Theoretic Methods in Automata Theory," awarded the E.W. Beth Prize in 2015 for outstanding dissertations in the fields of logic, language, and information. The thesis reveals unexpected connections between advanced concepts in logic, descriptive set theory, topology, and automata theory and provides many deep insights into the interplay between these fields. It opens new perspectives on central problems in the theory of automata on infinite words and trees and offers very impressive advances in this theory from the point of view of topology. "...the thesis of Michal Skrzypczak offers certainly what we expect from excellent mathematics: new unexpected connections between a priori distinct concepts, and proofs involving enlightening ideas." Thomas Colcombet.

Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1,... Logical Aspects of Computational Linguistics - 6th International Conference, LACL 2011, Montpellier, France, June 29 -- July 1, 2011. Proceedings (Paperback, Edition.)
Sylvain Pogodalla, Jean-Philippe Prost
R1,338 R1,092 Discovery Miles 10 920 Save R246 (18%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011, held in Montpellier, France, in June/July 2011. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers address a wide range of logical and formal methods in computational linguistics such as type-theoretic grammars, dependency grammars, formal language theory, grammatical inference, minimalism, generation, and lexical and formal semantics.

Integer Programming and Combinatorial Optimization - 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17,... Integer Programming and Combinatorial Optimization - 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings (Paperback, Edition.)
Oktay Gunluk, Gerhard J Woeginger
R1,877 R1,508 Discovery Miles 15 080 Save R369 (20%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2011, held in New York, USA in June 2011. The 33 papers presented were carefully reviewed and selected from 110 submissions. The conference is a forum for researchers and practitioners working on various aspects of integer programming and combinatorial optimization with the aim to present recent developments in theory, computation, and applications. The scope of IPCO is viewed in a broad sense, to include algorithmic and structural results in integer programming and combinatorial optimization as well as revealing computational studies and novel applications of discrete optimization to practical problems.

Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and... Compiler Construction - 20th International Conference, CC 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceedings (Paperback, Edition.)
Jens Knoop
R1,560 R1,262 Discovery Miles 12 620 Save R298 (19%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrucken, Germany, March 26 April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 15 revised full papers presented together with the abstract of one invited talk were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on JIT compilation and code generation, program analysis, reversible computing and interpreters, parallelism and high-performance computing, and task and data distribution."

Dependence Logic - Theory and Applications (Hardcover, 1st ed. 2016): Samson Abramsky, Juha Kontinen, Jouko Vaananen, Heribert... Dependence Logic - Theory and Applications (Hardcover, 1st ed. 2016)
Samson Abramsky, Juha Kontinen, Jouko Vaananen, Heribert Vollmer
R2,002 R1,777 Discovery Miles 17 770 Save R225 (11%) Shipped within 7 - 12 working days

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning expressive power of several variants of dependence logic with different sets of logical connectives and generalized dependence atoms; connections between inclusion logic and the least-fixed point logic; an overview of dependencies in databases by addressing the relationships between implication problems for fragments of statistical conditional independencies, embedded multivalued dependencies, and propositional logic; various Markovian models used to characterize dependencies and causality among variables in multivariate systems; applications of dependence logic in social choice theory; and an introduction to the theory of secret sharing, pointing out connections to dependence and independence logic.

Effective DevOps (Paperback): Jennifer Davis, Katherine Daniels Effective DevOps (Paperback)
Jennifer Davis, Katherine Daniels
R1,043 R600 Discovery Miles 6 000 Save R443 (42%) Shipped within 7 - 12 working days

Some companies think that adopting devops means bringing in specialists or a host of new tools. With this practical guide, you'll learn why devops is a professional and cultural movement that calls for change from inside your organization. Authors Ryn Daniels and Jennifer Davis provide several approaches for improving collaboration within teams, creating affinity among teams, promoting efficient tool usage in your company, and scaling up what works throughout your organization's inflection points. Devops stresses iterative efforts to break down information silos, monitor relationships, and repair misunderstandings that arise between and within teams in your organization. By applying the actionable strategies in this book, you can make sustainable changes in your environment regardless of your level within your organization. Explore the foundations of devops and learn the four pillars of effective devops Encourage collaboration to help individuals work together and build durable and long-lasting relationships Create affinity among teams while balancing differing goals or metrics Accelerate cultural direction by selecting tools and workflows that complement your organization Troubleshoot common problems and misunderstandings that can arise throughout the organizational lifecycle Learn from case studies from organizations and individuals to help inform your own devops journey

Optimization of Polynomials in Non-Commuting Variables (Paperback, 1st ed. 2016): Sabine Burgdorf, Igor Klep, Janez Povh Optimization of Polynomials in Non-Commuting Variables (Paperback, 1st ed. 2016)
Sabine Burgdorf, Igor Klep, Janez Povh
R1,076 R982 Discovery Miles 9 820 Save R94 (9%) Shipped within 7 - 12 working days

This book presents recent results on positivity and optimization of polynomials in non-commuting variables. Researchers in non-commutative algebraic geometry, control theory, system engineering, optimization, quantum physics and information science will find the unified notation and mixture of algebraic geometry and mathematical programming useful. Theoretical results are matched with algorithmic considerations; several examples and information on how to use NCSOStools open source package to obtain the results provided. Results are presented on detecting the eigenvalue and trace positivity of polynomials in non-commuting variables using Newton chip method and Newton cyclic chip method, relaxations for constrained and unconstrained optimization problems, semidefinite programming formulations of the relaxations and finite convergence of the hierarchies of these relaxations, and the practical efficiency of algorithms.

Algorithms -- ESA 2010, Part II - 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Paperback,... Algorithms -- ESA 2010, Part II - 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings (Paperback, Edition.)
Mark De Berg, Ulrich Meyer
R1,334 R1,088 Discovery Miles 10 880 Save R246 (18%) Shipped within 7 - 12 working days

This volume contains the 69 papers presented at the 16th Annual European Symposium on Algorithms (ESA 2010), held in Liverpool during September 6-8, 2010, including three papers by the distinguished invited speakers Artur Czumaj, Herbert Edelsbrunner, and Paolo Ferragina. ESA 2010 was organized as a part of ALGO 2010, which also included the 10th Workshop on Algorithms in Bioinformatics (WABI), the 8th Workshop on Approximation and Online Algorithms (WAOA), and the 10th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS). The European Symposium on Algorithms covers research in the design, use, andanalysisofe?cientalgorithmsanddata structures.As inpreviousyears,the symposium had two tracks: the Design and Analysis Track and the Engineering and Applications Track, each with its own Program Committee. In total 245 papers adhering to the submission guidelines were submitted. Each paper was reviewed by three or four referees. Based on the reviews and the often extensive electronicdiscussionsfollowingthem, thecommittees selected 66papersintotal: 56 (out of 206) to the Design and Analysis Track and 10 (out of 39) to the Engineering andApplicationstrack.We believethat thesepaperstogethermade up a strong and varied program, showing the depth and breadth of current algorithms research.

Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010,... Computer Algebra in Scientific Computing - 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings (Paperback, Edition.)
Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
R1,558 R1,261 Discovery Miles 12 610 Save R297 (19%) Shipped within 7 - 12 working days

The CASC Workshops are traditionally held in turn in the Commonwealth of IndependentStates(CIS)andoutsideCIS(Germanyinparticular,but,attimes, also other countries with lively CA communities). The previous CASC Wo- shop was held in Japan, and the 12th workshop was held for the ?rst time in Armenia, which is one of the CIS republics. It should be noted that more than 35 institutes and scienti?c centers function within the National Academy of S- ences of Armenia (further details concerning the structure of the academy can be foundhttp://www. sci. am). These institutions are concerned, in particular, with problems in such branches of natural science as mathematics, informatics, physics, astronomy, biochemistry, etc. It follows from the talks presented at the previous CASC workshops that the methods and systems of computer algebra may be applied successfully in all the above-listed branches of natural sciences. Therefore, the organizers of the 12th CASC Workshop hope that the present workshop will help the Armenian scientists to become even more familiar with the capabilities of advanced computer algebra methods and systems and to get in touch with specialists in computer algebra from other countries. The 11 earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC 2001, CASC 2002, CASC 2003, CASC 2004, CASC 2005, CASC 2006, CASC 2007, and CASC 2009 were held, respectively, in St. Petersburg (R- sia), Munich (Germany), Samarkand (Uzbekistan), Konstanz (Germany), Yalta (Ukraine), Passau (Germany), St.

Methods and Tools of Parallel Programming Multicomputers - Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May... Methods and Tools of Parallel Programming Multicomputers - Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers (Paperback, Edition.)
Ching-Hsien Hsu, Victor Malyshkin
R1,667 R1,344 Discovery Miles 13 440 Save R323 (19%) Shipped within 7 - 12 working days

It is our great pleasure to present the proceedings of the second Russia-Taiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010). MTPP is the main regular event of the Russia-Taiwan scientific forum that covers the many dimensions of methods and tools of parallel programming, algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated every aspect of daily life, the power of computing systems has become increasingly critical. Therefore, MTPP is intended to play an important role allowing researchers to exchange information regarding advancements in the state of the art and practice of IT-driven services and applications, as well as to identify emerging research topics and define the future directions of parallel computing. We received a large number of high-quality submissions this year. In the first stage, all papers submitted were screened for their relevance and general submission requirements. These manuscripts then underwent a rigorous peer-review process with at least three reviewers per paper. At the end, 33 papers were accepted for presentation and included in the main proceedings. To encourage and promote the work presented at MTPP 2010, we are delighted to inform the authors that some of the papers will be accepted in special issues of the Journal of Supercomputing, which has played a prominent role in promoting the development and use of parallel and distributed processing.

Controlled Natural Language - Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009,... Controlled Natural Language - Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers (Paperback, 2010 ed.)
Norbert E. Fuchs
R1,661 R1,340 Discovery Miles 13 400 Save R321 (19%) Shipped within 7 - 12 working days

Controlled natural languages (CNLs) are subsets of natural languages, obtained by - stricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languagesfall into two major types: those that - prove readability for human readers, and those that enable reliable automatic semantic analysis of the language. [. . . ] The second type of languages has a formal logical basis, i. e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as ?rst-order logic. Thus, those languages can be used as knowledge representation languages, and writing of those languages is supported by fully au- matic consistency and redundancy checks, query answering, etc. Wikipedia Variouscontrollednatural languagesof the second type have been developedby a n- ber of organizations, and have been used in many different application domains, most recently within the Semantic Web. The workshop CNL 2009 was dedicated to discussing the similarities and the d- ferences of existing controlled natural languages of the second type, possible impro- ments to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.

Parallel Processing and Applied Mathematics, Part I - 8th International Conference, PPAM 2009, Wroclaw, Poland, September... Parallel Processing and Applied Mathematics, Part I - 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 (Paperback, 2010 ed.)
Roman Wyrzykowski, Jack Dongarra, Konrad J. Karczewski, Jerzy Wa sniewski
R2,676 R2,124 Discovery Miles 21 240 Save R552 (21%) Shipped within 7 - 12 working days

Wearepleasedtopresenttheproceedingsofthe8thInternationalConferenceon Parallel Processing and Applied Mathematics - PPAM 2009, which was held in Wroc law, Poland, September 13-16, 2009. It was organized by the Department ofComputer andInformationSciencesof theCzestochowaUniversity ofTechno- logy,withthehelpoftheWroc lawUniversityofTechnology,FacultyofComputer Science and Management. The main organizer was Roman Wyrzykowski. PPAM is a biennial conference. Seven previous events have been held in di?erentplacesinPolandsince1994.Theproceedingsofthelastfourconferences havebeenpublishedbySpringerintheLectureNotes in Computer Science series (Nal ecz' ow, 2001,vol.2328;Czestochowa,2003,vol.3019;Poznan ', 2005,vol.3911; Gdan 'sk, 2007, vol. 4967). The PPAM conferences have become an international forum for exchanging ideasbetweenresearchersinvolvedinparallelanddistributedcomputing,incl- ing theory and applications, as well as applied and computational mathematics. The focus of PPAM 2009 was on models, algorithms, and software tools which facilitate e?cient and convenient utilization of modern parallel and distributed computing architectures, as well as on large-scale applications. Thismeeting gatheredmorethan210participantsfrom 32countries.A strict refereeing process resulted in the acceptance of 129 contributed presentations, while approximately46% of the submissionswere rejected. Regular tracksof the conference covered such important ?elds of parallel/distributed/grid computing and applied mathematics as: - Parallel/distributed architectures and mobile computing - Numerical algorithms and parallel numerics - Parallel and distributed non-numerical algorithms - Tools and environments for parallel/distributed/grid computing - Applications of parallel/distributed computing - Applied mathematics and neural networks Plenary and Invited Speakers The plenary and invited talks were presented by: - Srinivas Aluru from the Iowa State University (USA) - Dominik Behr from AMD (USA) - Ewa Deelman from the University of Southern California (USA) - Jack Dongarra from the University of Tennessee and Oak Ridge National

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Essential Maths Skills for AS/A Level…
Victoria Ellis, Gavin Craddock Paperback R278 Discovery Miles 2 780
Algorithmic Number Theory - 9th…
Guillaume Hanrot, Francois Morain, … Paperback R2,078 R1,606 Discovery Miles 16 060
Modern Computational Finance - AAD and…
Antoine Savine, Leif Andersen Hardcover R1,696 R1,119 Discovery Miles 11 190
Katherine Johnson
Leila Rasheed Paperback  (1)
R142 R108 Discovery Miles 1 080
Petri Net Synthesis
Eric Badouel, Luca Bernardinello, … Hardcover R1,589 R1,464 Discovery Miles 14 640
Practical Statistics for Data Scientists
Peter Bruce, Andrew Bruce Paperback R1,032 R589 Discovery Miles 5 890
Studies in Complexity and Cryptography…
Oded Goldreich Paperback R2,502 R1,990 Discovery Miles 19 900
Cryptanalysis
Helen Fouche Gaines Paperback R191 R141 Discovery Miles 1 410
Programming the Finite Element Method
I.M. Smith, D.V. Griffiths, … Hardcover R1,909 R1,689 Discovery Miles 16 890
Basic Category Theory for Computer…
Benjamin C Pierce Paperback R624 R478 Discovery Miles 4 780

 

Partners