Computational Modeling and Problem Solving in the Networked World: Interfaces in Computer Science and Operations Research
ISBN: 9781461353669 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a compilation of a selected subset of research articles presented at the Eighth INFORMS Computing Society Conference, held in Chandler, Arizona, from January 8 to 10, 2003. The articles in this book represent the diversity and depth of the interface between ORiMS (operations research and the management sciences) and CS/AI (computer science and artificial intelligence ). This volume starts with two papers that represent the reflective and integrative thinking that is critical to any scientific discipline. These two articles present philosophical perspectives on computation,...
This book is a compilation of a selected subset of research articles presented at the Eighth INFORMS Computing Society Conference, held in Chandler, A...
|
|
cena:
574,29 zł |
Advances in Artificial Intelligence: 26th Canadian Conference on Artificial Intelligence, Canadian AI 2013, Regina, Canada, May 28-31, 2013. Proceedin
ISBN: 9783642384561 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, held in Regina, SK, Canada, in May 2013. The 17 regular papers and 15 short papers presented were carefully reviewed and selected from 73 initial submissions and are accompanied by 8 papers from the Graduate Student Symposium that were selected from 14 submissions. The papers cover a variety of topics within AI, such as: information extraction, knowledge representation, search, text mining, social networks, temporal associations.
This book constitutes the refereed proceedings of the 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, held in Regina, SK, Canad...
|
|
cena:
191,40 zł |
Natural and Artificial Computation in Engineering and Medical Applications: 5th International Work-Conference on the Interplay Between Natural and Art
ISBN: 9783642386213 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, held in Mallorca, Spain, in June 2013. The 92 revised full papers presented in LNCS 7930 and LNCS 7931 were carefully reviewed and selected from numerous submissions. The first part, LNCS 7930, entitled "Natural and Artificial Models in Computation and Biology," includes all the contributions mainly related to the methodological, conceptual, formal, and experimental developments in the fields of...
The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Na...
|
|
cena:
191,40 zł |
Natural and Artificial Models in Computation and Biology: 5th International Work-Conference on the Interplay Between Natural and Artificial Computatio
ISBN: 9783642386367 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2013, held in Mallorca, Spain, in June 2013. The 92 revised full papers presented in LNCS 7930 and LNCS 7931 were carefully reviewed and selected from numerous submissions. The first part, LNCS 7930, entitled "Natural and Artificial Models in Computation and Biology," includes all the contributions mainly related to the methodological, conceptual, formal, and experimental developments in the fields of...
The two volume-set, LNCS 7930 and LNCS 7931, constitutes the refereed proceedings of the 5th International Work-Conference on the Interplay between Na...
|
|
cena:
191,40 zł |
Computing and Combinatorics: 19th International Conference, Cocoon 2013, Hangzhou, China, June 21-23, 2013, Proceedings
ISBN: 9783642387678 / Angielski / Miękka / 861 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 19th International Conference on Computing and Combinatorics, COCOON 2013, held in Hangzhou, China, in June 2013. The 56 revised full papers presented were carefully reviewed and selected from 120 submissions. There was a co-organized workshop on discrete algorithms of which 8 short papers were accepted and a workshop on computational social networks where 12 papers out of 25 submissions were accepted.
This book constitutes the refereed proceedings of the 19th International Conference on Computing and Combinatorics, COCOON 2013, held in Hangzhou, Chi...
|
|
cena:
191,40 zł |
Developments in Language Theory: 17th International Conference, Dlt 2013, Marne-La-Vallée, France, June 18-21, 2013, Proceedings
ISBN: 9783642387708 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallee, France, in June 2013. The 34 full papers presented in this volume were carefully reviewed and selected from 63 submissions. The scope of the conference includes, among others, the following topics and areas: combinatorial and algebraic properties of words and languages; grammars, acceptors and transducers for strings, trees, graphs, arrays; algebraic theories for automata and languages; codes; efficient text algorithms; symbolic dynamics; decision...
This book constitutes the proceedings of the 17th International Conference on Developments in Language Theory, DLT 2013, held in Marne-la-Vallee, Fran...
|
|
cena:
191,40 zł |
The Nature of Computation: Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
ISBN: 9783642390524 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. |
|
cena:
191,40 zł |
Advances in Neural Networks- ISNN 2013: 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part I
ISBN: 9783642390647 / Angielski / Miękka / 687 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on Neural Networks, ISNN 2013, held in Dalian, China, in July 2013. The 157 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in following topics: computational neuroscience, cognitive science, neural network models, learning algorithms, stability and convergence analysis, kernel methods, large margin methods and SVM, optimization algorithms, varational methods, control, robotics, bioinformatics and biomedical...
The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on Neural Networks, ISNN 2013, held in ...
|
|
cena:
191,40 zł |
Advances in Neural Networks- ISNN 2013: 10th International Symposium on Neural Networks, ISNN 2013, Dalian, China, July 4-6, 2013, Proceedings, Part II
ISBN: 9783642390678 / Angielski / Miękka / 653 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on Neural Networks, ISNN 2013, held in Dalian, China, in July 2013. The 157 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in following topics: computational neuroscience, cognitive science, neural network models, learning algorithms, stability and convergence analysis, kernel methods, large margin methods and SVM, optimization algorithms, varational methods, control, robotics, bioinformatics and biomedical...
The two-volume set LNCS 7951 and 7952 constitutes the refereed proceedings of the 10th International Symposium on Neural Networks, ISNN 2013, held in ...
|
|
cena:
191,40 zł |
Unconventional Computation and Natural Computation: 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
ISBN: 9783642390739 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation and Natural Computation, UCNC 2013, held in Milan, Italy, in July 2013. The 30 papers (28 full papers, 8 poster papers, and 2 invited papers) were carefully reviewed and selected from 46 submissions. The topics of the volume include: quantum, cellular, molecular, neural, DNA, membrane, and evolutionary computing; cellular automata; computation based on chaos and dynamical systems; massive parallel computation; collective intelligence; computation based on physical principles such...
This book constitutes the refereed proceedings of the 12th International Conference on Unconventional Computation and Natural Computation, UCNC 2013, ...
|
|
cena:
176,13 zł |
Implementation and Application of Automata: 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings
ISBN: 9783642392733 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, held in Halifax, NS, Canada, in July 2013. The 25 revised full papers presented together with 3 invited papers and 7 short papers were carefully selected from 43 submissions. The papers cover various topics such as complexity of automata; compressed automata; counter automata; dictionary matching; edit distance; homing sequences; implementation; minimization of automata; model checking; parsing of regular expressions; partial word automata;...
This book constitutes the thoroughly refereed papers of the 18th International Conference on Implementation and Application of Automata, CIAA 2013, he...
|
|
cena:
191,40 zł |
Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings
ISBN: 9783642393099 / Angielski / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 46 submissions. The topics covered are automata, grammars, languages and other formal systems; various modes of operations and complexity measures; co-operating systems; succinctness of description of objects, state-explosion-like phenomena; circuit complexity of Boolean functions and related measures;...
This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in Lo...
|
|
cena:
191,40 zł |
Discrete Mathematics for Computing
ISBN: 9780230216112 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discrete Mathematics for Computing presents the essential mathematics needed for the study of computing and information systems. The subject is covered in a gentle and informal style, but without compromising the need for correct methodology. It is perfect for students with a limited background in mathematics. This new edition includes: This book is ideal for... Discrete Mathematics for Computing presents the essential mathematics needed for the study of computing and information systems. The subjec... |
|
cena:
337,10 zł |
Categories and Computer Science
ISBN: 9780521422260 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theory as part of the curriculum for undergraduate computer science students. Here, the theory is developed in a straightforward way, and is enriched with many examples from computer science.
Category Theory has, in recent years, become increasingly important and popular in computer science, and many universities now introduce Category Theo...
|
|
cena:
202,81 zł |
Reinforcement Learning and Dynamic Programming Using Function Approximators
ISBN: 9781439821084 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From household appliances to applications in robotics, engineered systems involving complex dynamics can only be as effective as the algorithms that control them. While Dynamic Programming (DP) has provided researchers with a way to optimally solve decision and control problems involving complex dynamic systems, its practical value was limited by algorithms that lacked the capacity to scale up to realistic problems. However, in recent years, dramatic developments in Reinforcement Learning (RL), the model-free counterpart of DP, changed our understanding of what is possible. Those... From household appliances to applications in robotics, engineered systems involving complex dynamics can only be as effective as the algorithms tha... |
|
cena:
544,64 zł |
Biomimetic and Biohybrid Systems: Second International Conference, Living Machines 2013, London, UK, July 29 -- August 2, 2013, Proceedings
ISBN: 9783642398018 / Angielski / Miękka / 463 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the second International Conference on Biomimetic and Biohybrid Systems, Living Machines 2013, held in London, UK, in July/August 2013. The 65 revised full papers presented were carefully reviewed and selected from various submissions. The papers are targeted at the intersection of research on novel live-like technologies inspired by scientific investigation of biological systems, biomimetics, and research that seeks to interface biological and artificial systems to create biohybrid systems
This book constitutes the refereed proceedings of the second International Conference on Biomimetic and Biohybrid Systems, Living Machines 2013, held ...
|
|
cena:
191,40 zł |
Activity Recognition in Pervasive Intelligent Environments
ISBN: 9789491216404 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book consists of a number of chapters addressing different aspects of activity recognition, roughly in three main categories of topics. The first topic will be focused on activity modeling, representation and reasoning using mathematical models, knowledge representation formalisms and AI techniques. The second topic will concentrate on activity recognition methods and algorithms. Apart from traditional methods based on data mining and machine learning, we are particularly interested in novel approaches, such as the ontology-based approach, that facilitate data integration, sharing and...
This book consists of a number of chapters addressing different aspects of activity recognition, roughly in three main categories of topics. The first...
|
|
cena:
382,84 zł |
Automated Theorem Proving: Theory and Practice
ISBN: 9781461265191 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving. The early chapters introduce first-order predicate calculus, well-formed formulae, and their transformation to clauses. Then the author goes on to show how the two methods work and provides numerous examples for readers to try their hand at theorem-proving experiments. Each chapter comes with exercises designed to familiarise the readers with the ideas and with the...
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. Th...
|
|
cena:
459,42 zł |
Boosting: Foundations and Algorithms
ISBN: 9780262526036 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Boosting is an approach to machine learning based on the idea of creating a highly accurate predictor by combining many weak and inaccurate "rules of thumb." A remarkably rich theory has evolved around boosting, with connections to a range of topics, including statistics, game theory, convex optimization, and information geometry. Boosting algorithms have also enjoyed practical success in such fields as biology, vision, and speech processing. At various times in its history, boosting has been perceived as mysterious, controversial, even paradoxical. This book, written by the... Boosting is an approach to machine learning based on the idea of creating a highly accurate predictor by combining many weak and inaccurate... |
|
cena:
309,86 zł |
Background Modeling and Foreground Detection for Video Surveillance
ISBN: 9781482205374 / Angielski / Twarda / 631 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Background modeling and foreground detection are important steps in video processing used to detect robustly moving objects in challenging environments. This requires effective methods for dealing with dynamic backgrounds and illumination changes as well as algorithms that must meet real-time and low memory requirements. Incorporating both established and new ideas, Background Modeling and Foreground Detection for Video Surveillance provides a complete overview of the concepts, algorithms, and applications related to background modeling and foreground... Background modeling and foreground detection are important steps in video processing used to detect robustly moving objects in challenging environm... |
|
cena:
518,65 zł |