0
Your cart

Your cart is empty

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

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

Numerical Methods and Applications - 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised... Numerical Methods and Applications - 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Ivan Dimov, Stefka Fidanova, Ivan Lirkov
R1,714 R1,370 Discovery Miles 13 700 Save R344 (20%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. The 34 revised full papers presented were carefully reviewed and selected from 56 submissions for inclusion in this book. The papers are organized in the following topical sections: Monte Carlo and quasi-Monte Carlo methods; metaheuristics for optimization problems; advanced numerical methods for scientific computing; advanced numerical techniques for PDEs and applications; solving large engineering and scientific problems with advanced mathematical models; numerical simulations and back analysis in civil and mechanical engineering.

Algorithms for Sensor Systems - 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless... Algorithms for Sensor Systems - 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, Wroclaw, Poland, September 12, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Jie Gao, Alon Efrat, Sandor P. Fekete, YanYong Zhang
R1,395 R869 Discovery Miles 8 690 Save R526 (38%) Shipped within 7 - 12 working days

This book constitutes thoroughly refereed and revised selected papers from the 10th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, ALGOSENSORS 2014, held in Wroclaw, Poland, on September 12, 2014. The 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections named: robot planning; algorithms and data structures on graphs; and wireless networks.

Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014,... Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Ivan Lanese, Eric Madelaine
R1,884 R1,334 Discovery Miles 13 340 Save R550 (29%) Shipped within 7 - 12 working days

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.

MATLAB Deep Learning - With Machine Learning, Neural Networks and Artificial Intelligence (Paperback, 1st ed.): Phil Kim MATLAB Deep Learning - With Machine Learning, Neural Networks and Artificial Intelligence (Paperback, 1st ed.)
Phil Kim
R924 R778 Discovery Miles 7 780 Save R146 (16%) Shipped within 7 - 12 working days

Get started with MATLAB for deep learning and AI with this in-depth primer. In this book, you start with machine learning fundamentals, then move on to neural networks, deep learning, and then convolutional neural networks. In a blend of fundamentals and applications, MATLAB Deep Learning employs MATLAB as the underlying programming language and tool for the examples and case studies in this book. With this book, you'll be able to tackle some of today's real world big data, smart bots, and other complex data problems. You'll see how deep learning is a complex and more intelligent aspect of machine learning for modern smart data analysis and usage. What You'll Learn Use MATLAB for deep learning Discover neural networks and multi-layer neural networks Work with convolution and pooling layers Build a MNIST example with these layers Who This Book Is For Those who want to learn deep learning using MATLAB. Some MATLAB experience may be useful.

Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges - 5th International Workshop,... Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges - 5th International Workshop, STACOM 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014, Revised Selected Papers (Paperback, 2015 ed.)
Oscar Camara, Tommaso Mansi, Mihaela Pop, Kawal Rhode, Maxime Sermesant, …
R1,706 R1,258 Discovery Miles 12 580 Save R448 (26%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Statistical Atlases and Computational Models of the Heart: Imaging and Modelling Challenges, STACOM 2014, held in conjunction with MICCAI 2014, in Boston, MA, USA, in September 2014. The 30 revised full papers were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics such as sections on cardiac image processing; atlas construction; statistical modelling of cardiac function across different patient populations; cardiac mapping; cardiac computational physiology; model customization; atlas based functional analysis; ontological schemata for data and results; integrated functional and structural analyses; as well as the pre-clinical and clinical applicability of these methods.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI - Selected Papers from ACOMP 2013 (Paperback): Abdelkader... Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI - Selected Papers from ACOMP 2013 (Paperback)
Abdelkader Hameurlain, Josef Kung, Roland Wagner, Tran Khanh Dang, Nam Thoai
R1,095 R998 Discovery Miles 9 980 Save R97 (9%) Shipped within 7 - 12 working days

The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science. Since the 1990s, the Internet has become the main driving force behind application development in all domains. An increase in the demand for resource sharing across different sites connected through networks has led to an evolution of data- and knowledge-management systems from centralized systems to decentralized systems enabling large-scale distributed applications providing high scalability. Current decentralized systems still focus on data and knowledge as their main resource. Feasibility of these systems relies basically on P2P (peer-to-peer) techniques and the support of agent systems with scaling and decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and knowledge-centered systems in large-scale environments. This, the 16th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of 7 papers, selected from the 30 papers presented at the International Conference on Advanced Computing and Applications, ACOMP 2013, held October 23-25, 2013, in Ho Chi Minh City, Vietnam. Topics covered include data engineering, information retrieval, query processing and optimization, energy-efficient resource allocation, and security and privacy.

Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings (Paperback, 2015... Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings (Paperback, 2015 ed.)
Mohua Banerjee
R1,452 R818 Discovery Miles 8 180 Save R634 (44%) Shipped within 7 - 12 working days

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence, systems of logic in the Indian tradition, and other disciplines which are of direct interest to mathematical and philosophical logic.

Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday (Paperback, 2014 ed.):... Computing with New Resources - Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday (Paperback, 2014 ed.)
Cristian S. Calude, Rusins Freivalds, Kazuo Iwama
R2,481 R1,515 Discovery Miles 15 150 Save R966 (39%) Shipped within 7 - 12 working days

Professor Jozef Gruska is a well known computer scientist for his many and broad results. He was the father of theoretical computer science research in Czechoslovakia and among the first Slovak programmers in the early 1960s. Jozef Gruska introduced the descriptional complexity of grammars, automata, and languages, and is one of the pioneers of parallel (systolic) automata. His other main research interests include parallel systems and automata, as well as quantum information processing, transmission, and cryptography. He is co-founder of four regular series of conferences in informatics and two in quantum information processing and the Founding Chair (1989-96) of the IFIP Specialist Group on Foundations of Computer Science.

Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings... Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Paperback, Edition.)
Jaco C. van de Pol; Volume editing by Michael Weber
R1,339 R1,102 Discovery Miles 11 020 Save R237 (18%) Shipped within 7 - 12 working days

This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Software (SPIN 2010). The workshop was organized by and held at the University of Twente, The Netherlands, on 27-29 September 2010. The workshop was co-located with the 5th International Conference on Graph Transformation (ICGT 2010) and several of its satellite workshops, and with the joint PDMC and HiBi workshops, on Parallel and Distributed Methods for veri?Cation and on High-performance computational systems Biology. The SPIN workshopis a forum for practitioners and researchersinterested in state-spaceanalysisofsoftware-intensivesystems.Thisisapplicableinparticular to concurrent and asynchronous systems, including protocols. The name of the workshop re?ects the SPIN model checking tool by Gerard J. Holzmann, which won the ACM System Software Award 2001, and is probably the most widely used industrial-strength model checker around. The focus of the workshop is on theoretical advances and extensions, al- rithmic improvements, and empirical evaluation studies of (mainly) state-based modelcheckingtechniques,asimplementedintheSPINmodelcheckerandother tools. The workshop encourages interaction and exchange of ideas with all - lated areas in software engineering. To this end, we co-located SPIN 2010 with the graph transformation, and high-performance analysis communities. This year, we received 33 submissions, divided between 29 regular and 4 tool papers.Eachpaperwasrigorouslyreviewedbyatleastfourreviewers,andjudged onitsqualityandits signi?canceandrelevanceforSPIN.Weaccepted13regular papers, and 2 tool papers for presentation and for publication in this volume.

Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18,... Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Paperback, 2014 ed.)
Dimitra Giannakopoulou, Daniel Kroening
R1,699 R1,065 Discovery Miles 10 650 Save R634 (37%) Shipped within 7 - 12 working days

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan,... New Frontiers in Artificial Intelligence - JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers (Paperback, 2014 ed.)
Yukiko Nakano, Ken Satoh, Daisuke Bekki
R1,881 R1,330 Discovery Miles 13 300 Save R551 (29%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2013 Workshops LENLS, JURISIN, MiMI, AAA, and DDS which tool place on October 2013, in Japan. The 28 contributions in this volume were carefully reviewed and selected from 48 submissions. LENLS (Logic and Engineering of Natural Language Semantics) is an annual international workshop on formal semantics and pragmatics. LENLS10 was the tenth event in the series, and it focused on the formal and theoretical aspects of natural language. JURISIN (Juris-Informatics) 2013 was the seventh event in the series. The purpose of this workshop was to discuss fundamental and practical issues for jurisinformatics, bringing together experts from a variety of relevant backgrounds, including law, social science, information and intelligent technology, logic,and philosophy (including the area of AI and law). MiMI (Multimodality in Multiparty Interaction) 2013 covers topics as follows interaction studies, communication studies, conversation analysis, and workplace studies, as well as their applications in other research fields. AAA (Argument for Agreement and Assurance) 2013 focused on the theoretical foundations of argumentation in AI, and the application of argumentation to various fields such as agreement formation and assurance. DDS (Data Discretization and Segmentation for Knowledge Discovery) 2013 discussed segmentation methods for various types of data, such as graphs, trees, strings, and continuous data, and their applications in the areas of Machine Learning and Knowledge Discovery.

Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel,... Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Paperback, 2014 ed.)
Eran Yahav
R1,380 R1,268 Discovery Miles 12 680 Save R112 (8%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Inductive Logic Programming - 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised... Inductive Logic Programming - 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers (Paperback, 2014 ed.)
Gerson Zaverucha, Vitor Santos Costa, Aline Marins Paes
R1,371 R844 Discovery Miles 8 440 Save R527 (38%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.

Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20,... Intelligent Information Processing VII - 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings (Hardcover, 2014 ed.)
Zhongzhi Shi, Zhaohui Wu, David Leake, Uli Sattler
R2,125 R1,928 Discovery Miles 19 280 Save R197 (9%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2014, held in Hangzhou, China, in October 2014. The 32 revised papers presented were carefully reviewed and selected from more than 70 submissions. They are organized in topical sections on machine learning, data mining, web mining, multi-agent systems, automatic reasoning, decision algorithms, multimedia, pattern recognition, and information security.

The Traveling Salesman Problem - A Computational Study (Hardcover): David L. Applegate, Robert E. Bixby, Vasek Chvatal, William... The Traveling Salesman Problem - A Computational Study (Hardcover)
David L. Applegate, Robert E. Bixby, Vasek Chvatal, William J. Cook
R1,854 R1,364 Discovery Miles 13 640 Save R490 (26%) Shipped within 7 - 12 working days

This book presents the latest findings on one of the most intensely investigated subjects in computational mathematics--the traveling salesman problem. It sounds simple enough: given a set of cities and the cost of travel between each pair of them, the problem challenges you to find the cheapest route by which to visit all the cities and return home to where you began. Though seemingly modest, this exercise has inspired studies by mathematicians, chemists, and physicists. Teachers use it in the classroom. It has practical applications in genetics, telecommunications, and neuroscience.

The authors of this book are the same pioneers who for nearly two decades have led the investigation into the traveling salesman problem. They have derived solutions to almost eighty-six thousand cities, yet a general solution to the problem has yet to be discovered. Here they describe the method and computer code they used to solve a broad range of large-scale problems, and along the way they demonstrate the interplay of applied mathematics with increasingly powerful computing platforms. They also give the fascinating history of the problem--how it developed, and why it continues to intrigue us.

Algorithmic Differentiation of Pragma-Defined Parallel Regions - Differentiating Computer Programs Containing OpenMP... Algorithmic Differentiation of Pragma-Defined Parallel Regions - Differentiating Computer Programs Containing OpenMP (Paperback, 2014 ed.)
Michael Forster
R2,361 R1,642 Discovery Miles 16 420 Save R719 (30%) Shipped within 7 - 12 working days

Numerical programs often use parallel programming techniques such as OpenMP to compute the program's output values as efficient as possible. In addition, derivative values of these output values with respect to certain input values play a crucial role. To achieve code that computes not only the output values simultaneously but also the derivative values, this work introduces several source-to-source transformation rules. These rules are based on a technique called algorithmic differentiation. The main focus of this work lies on the important reverse mode of algorithmic differentiation. The inherent data-flow reversal of the reverse mode must be handled properly during the transformation. The first part of the work examines the transformations in a very general way since pragma-based parallel regions occur in many different kinds such as OpenMP, OpenACC, and Intel Phi. The second part describes the transformation rules of the most important OpenMP constructs.

Foundations of Computational Finance with MATLAB (Hardcover): Ed McCarthy Foundations of Computational Finance with MATLAB (Hardcover)
Ed McCarthy
R670 R467 Discovery Miles 4 670 Save R203 (30%) Shipped within 7 - 12 working days

Graduate from Excel to MATLAB(R) to keep up with the evolution of finance data Foundations of Computational Finance with MATLAB(R) is an introductory text for both finance professionals looking to branch out from the spreadsheet, and for programmers who wish to learn more about finance. As financial data grows in volume and complexity, its very nature has changed to the extent that traditional financial calculators and spreadsheet programs are simply no longer enough. Today's analysts need more powerful data solutions with more customization and visualization capabilities, and MATLAB provides all of this and more in an easy-to-learn skillset. This book walks you through the basics, and then shows you how to stretch your new skills to create customized solutions. Part I demonstrates MATLAB's capabilities as they apply to traditional finance concepts, and PART II shows you how to create interactive and reusable code, link with external data sources, communicate graphically, and more. Master MATLAB's basic operations including matrices, arrays, and flexible data structures Learn how to build your own customized solutions when the built-ins just won't do Learn how to handle financial data and industry-specific variables including risk and uncertainty Adopt more accurate modeling practices for portfolios, options, time series, and more MATLAB is an integrated development environment that includes everything you need in one well-designed user interface. Available Toolboxes provide tested algorithms that save you hours of code, and the skills you learn using MATLAB make it easier to learn additional languages if you choose to do so. Financial firms are catching up to universities in MATLAB usage, so this is skill set that will follow you throughout your career. When you're ready to step into the new age of finance, Foundations of Computational Finance with MATLAB provides the expert instruction you need to get started quickly.

Rough Sets and Knowledge Technology - 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014,... Rough Sets and Knowledge Technology - 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014, Proceedings (Paperback, 2014 ed.)
Duoqian Miao, Witold Pedrycz, Dominik Slezak, Georg Peters, Qinghua Hu, …
R2,326 R1,726 Discovery Miles 17 260 Save R600 (26%) Shipped within 7 - 12 working days

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 granular computing, big data to wise decisions, rough set theory, and three-way decisions, uncertainty, and granular computing.

Coalgebraic Methods in Computer Science - 12th  IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014,... Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers (Paperback, 2014 ed.)
Marcello M. Bonsangue
R1,661 R1,027 Discovery Miles 10 270 Save R634 (38%) Shipped within 7 - 12 working days

This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.

Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings... Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Paperback, 2014 ed.)
Elvira Albert, Emil Sekerinski
R1,891 R1,436 Discovery Miles 14 360 Save R455 (24%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014,... Formal Methods in Macro-Biology - First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings (Paperback, 2014 ed.)
Francois Fages, Carla Piazza
R1,521 R989 Discovery Miles 9 890 Save R532 (35%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Noumea, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.

Translational Recurrences - From Mathematical Theory to Real-World Applications (Hardcover, 2014 ed.): Norbert Marwan, Michael... Translational Recurrences - From Mathematical Theory to Real-World Applications (Hardcover, 2014 ed.)
Norbert Marwan, Michael Riley, Alessandro Giuliani, Charles L. Webber Jr.
R2,690 R2,407 Discovery Miles 24 070 Save R283 (11%) Shipped within 7 - 12 working days

This book features 13 papers presented at the Fifth International Symposium on Recurrence Plots, held August 2013 in Chicago, IL. It examines recent applications and developments in recurrence plots and recurrence quantification analysis (RQA) with special emphasis on biological and cognitive systems and the analysis of coupled systems using cross-recurrence methods. Readers will discover new applications and insights into a range of systems provided by recurrence plot analysis and new theoretical and mathematical developments in recurrence plots. Recurrence plot based analysis is a powerful tool that operates on real-world complex systems that are nonlinear, non-stationary, noisy, of any statistical distribution, free of any particular model type and not particularly long. Quantitative analyses promote the detection of system state changes, synchronized dynamical regimes or classification of system states. The book will be of interest to an interdisciplinary audience of recurrence plot users and researchers interested in time series analysis of complex systems in general.

Multi-Step Multi-Input One-Way Quantum Information Processing with Spatial and Temporal Modes of Light (Hardcover): Ryuji Ukai Multi-Step Multi-Input One-Way Quantum Information Processing with Spatial and Temporal Modes of Light (Hardcover)
Ryuji Ukai
R3,282 R2,562 Discovery Miles 25 620 Save R720 (22%) Shipped within 7 - 12 working days

In this thesis, the author develops for the first time an implementation methodology for arbitrary Gaussian operations using temporal-mode cluster states. The author also presents three experiments involving continuous-variable one-way quantum computations, where their non-classical nature is shown by observing entanglement at the outputs. The experimental basic structure of one-way quantum computation over two-mode input state is demonstrated by the controlled-Z gate and the optimum nonlocal gate experiments. Furthermore, the author proves that the operation can be controlled by the gain-tunable entangling gate experiment.

Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014,... Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings (Paperback, 2014 ed.)
Eduardo Ferme, Joao Leite
R2,106 R1,520 Discovery Miles 15 200 Save R586 (28%) Shipped within 7 - 12 working days

This book constitutes the proceedings of the 14th European Conference on Logics in Artificial Intelligence, JELIA 2014, held in Funchal, Madeira, Portugal, in September 2014. The 35 full papers and 14 short papers included in this volume were carefully reviewed and selected from 121 submissions. They are organized in topical sections named: description logics; automated reasoning; logics for uncertain reasoning; non-classical logics; answer-set programming; belief revision; dealing with inconsistency in ASP and DL; reason about actions and causality; system descriptions; short system descriptions; and short papers. The book also contains 4 full paper invited talks.

Similarity Search and Applications - 7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2104,... Similarity Search and Applications - 7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2104, Proceedings (Paperback, 2014 ed.)
Agma Juci Machado Traina, Caetano Traina, Robson Leonardo Ferreira Cordeiro
R1,819 R1,268 Discovery Miles 12 680 Save R551 (30%) Shipped within 7 - 12 working days

This book constitutes the refereed proceedings of the 7th International Conference on Similarity Search and Applications, SISAP 2014, held in A Coruna, Spain, in October 2014. The 21 full papers and 6 short papers presented were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on Improving Similarity Search Methods and Techniques; Indexing and Applications; Metrics and Evaluation; New Scenarios and Approaches; Applications and Specific Domains.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Computing Possible Futures
William B. Rouse Hardcover R732 R646 Discovery Miles 6 460
Numerical Recipes Source Code CD-ROM 3rd…
William H. Press, Saul A. Teukolsky, … CD-ROM R1,793 R1,432 Discovery Miles 14 320
Linear Algebra and Learning from Data
Gilbert Strang Hardcover  (1)
R1,344 R1,276 Discovery Miles 12 760
The Discrete Charm of the Machine - Why…
Kenneth Steiglitz Hardcover R586 R407 Discovery Miles 4 070
Discrete Mathematics for Computing
Peter Grossman Paperback R1,087 R982 Discovery Miles 9 820
Essential Maths Skills for AS/A Level…
Victoria Ellis, Gavin Craddock Paperback R278 Discovery Miles 2 780
Studies in Complexity and Cryptography…
Oded Goldreich Paperback R2,502 R2,007 Discovery Miles 20 070
Introduction to Quantum Information…
Masahito Hayashi, Satoshi Ishizaka, … Hardcover R2,129 R1,717 Discovery Miles 17 170
A Programmer's Introduction to…
Dr Jeremy Kun Paperback R675 R637 Discovery Miles 6 370
Advanced Java Programming
Uttam Kumar Roy Paperback R762 Discovery Miles 7 620

 

Partners