![]() |
Numerical Mathematics and Advanced Applications Enumath 2015
ISBN: 9783319399270 / Angielski / Twarda / 643 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent advances in and aspects of numerical mathematics and scientific and industrial applications. The previous ENUMATH meetings took place in Paris (1995), Heidelberg (1997), Jyvaskyla (1999), Ischia (2001), Prague (2003), Santiago de Compostela (2005), Graz (2007), Uppsala (2009), Leicester (2011) and Lausanne (2013). This book presents a selection of invited and contributed lectures from the ENUMATH 2015 conference, which was organised by the... The European Conference on Numerical Mathematics and Advanced Applications (ENUMATH), held every 2 years, provides a forum for discussing recent ad... |
cena:
814,55 |
![]() |
Translational Biomedical Informatics: A Precision Medicine Perspective
ISBN: 9789811015021 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces readers to essential methods and applications in translational biomedical informatics, which include biomedical big data, cloud computing and algorithms for understanding omics data, imaging data, electronic health records and public health data. The storage, retrieval, mining and knowledge discovery of biomedical big data will be among the key challenges for future translational research. The paradigm for precision medicine and healthcare needs to integratively analyze not only the data at the same level - e.g. different omics data at the molecular level - but also... This book introduces readers to essential methods and applications in translational biomedical informatics, which include biomedical big data, clou... |
cena:
610,90 |
![]() |
Computer Games: Fourth Workshop on Computer Games, Cgw 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, G
ISBN: 9783319394015 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Fourth Computer Games Workshop, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, held in conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, in July 2015.The 12 revised full papers presented were carefully reviewed and selected from 27 submissions. The papers address all aspects of artificial intelligence and computer game playing. They discuss topics such as Monte-Carlo methods; heuristic search; board games; card games; video...
This book constitutes the refereed proceedings of the Fourth Computer Games Workshop, CGW 2015, and the Fourth Workshop on General Intelligence in Gam...
|
cena:
203,61 |
![]() |
Pattern Recognition: 8th Mexican Conference, McPr 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings
ISBN: 9783319393926 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th Mexican Conference on Pattern Recognition, MCPR 2016, held in Guanajuato, Mexico, in June 2016. The 34 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on computer vision and image analysis; pattern recognition and artificial intelligent techniques; signal processing and analysis; and applications of pattern recognition. This book constitutes the refereed proceedings of the 8th Mexican Conference on Pattern Recognition, MCPR 2016, held in Guanajuato, Mexico, in June... |
cena:
203,61 |
![]() |
Automated Theory Formation in Pure Mathematics
ISBN: 9781447111139 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be...
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big p...
|
cena:
407,25 |
![]() |
Selected Writings on Computing: A Personal Perspective
ISBN: 9781461256977 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to the University each day, where I used to spend most of my time in the company of others, I now went there only one day a week and was most of the time -that is, when not travelling - alone in my study. In my solitude, mail and the written word in general became more and more important. The circumstance that my employer and I had the Atlantic Ocean between us was a further incentive to keep a fairly complete record of...
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine c...
|
cena:
529,44 |
![]() |
Geometric Computing for Perception Action Systems: Concepts, Algorithms, and Scientific Applications
ISBN: 9781461265351 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. After an introduction to geometric algebra, and the necessary math concepts that are needed, the book examines a variety of applications in the field of cognitive systems using geometric algebra as the mathematical system. There is strong evidence that geobetric albegra can be used to carry out efficient computations at all levels in the cognitive system. Geometric algebra reduces the complexity of algebraic expressions and as a result, it improves algorithms both in speed and accuracy. The book is addressed to a broad audience of computer scientists, cyberneticists, and engineers. It...
After an introduction to geometric algebra, and the necessary math concepts that are needed, the book examines a variety of applications in the field ...
|
cena:
203,61 |
![]() |
A Proof Theory for General Unification
ISBN: 9781461267584 / Angielski / Miękka / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig- inated by Herbrand and developed in the case of standard first-order unifi- cation by Martelli and Montanari. The formalism presents the unification computation as a set of non-deterministic transformation rules for con- verting a set of equations to be unified into an explicit representation of a unifier (if such exists). This provides an abstract and mathematically elegant means of analysing the properties of unification in various settings by...
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig- i...
|
cena:
203,61 |
![]() |
Logic of Domains
ISBN: 9781461267638 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logics are introduced; these serve as foundations for systematic derivations of proof systems from denotational semantics of programming languages. Any proof system so derived is guaranteed to agree with denotational se- mantics in the sense that the denotation of any program coincides with the set of assertions true of it. The study focuses on two categories for dena- tational semantics: SFP domains, and the less standard, but important, category of stable...
This monograph studies the logical aspects of domains as used in de- notational semantics of programming languages. Frameworks of domain logics are in...
|
cena:
407,25 |
![]() |
Descriptive Complexity
ISBN: 9781461268093 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is a relatively self-contained introduction to the subject, which includes the necessary background material, as well as numerous examples and exercises.
By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such ...
|
cena:
346,16 |
![]() |
Computer-Based Instruction in Military Environments
ISBN: 9781461282433 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of papers is the result of a symposium sponsored by NATO's Defense Research Group Panel VIII in the Spring of 1985. The symposium came into being when it became obvious to the NATO countries that research, development and utilization of advanced technologies for training was the best means of increasing both training effectiveness and efficiency. This symposium was the second in a series of three devoted to training. The series was structured to cover all aspects of training. The first series addressed the value of training, the second one dealt with the application of...
This collection of papers is the result of a symposium sponsored by NATO's Defense Research Group Panel VIII in the Spring of 1985. The symposium came...
|
cena:
203,61 |
![]() |
Machine Learning, Meta-Reasoning and Logics
ISBN: 9781461289067 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains a selection of papers presented at the International Workshop Machine Learning, Meta-Reasoning and Logics held in Hotel de Mar in Sesimbra, Portugal, 15-17 February 1988. All the papers were edited afterwards. The Workshop encompassed several fields of Artificial Intelligence: Machine Learning, Belief Revision, Meta-Reasoning and Logics. The objective of this Workshop was not only to address the common issues in these areas, but also to examine how to elaborate cognitive architectures for systems capable of learning from experience, revising their beliefs and reasoning...
This book contains a selection of papers presented at the International Workshop Machine Learning, Meta-Reasoning and Logics held in Hotel de Mar in S...
|
cena:
610,90 |
![]() |
Knowledge Acquisition for Expert Systems: A Practical Handbook
ISBN: 9781461290193 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Building an expert system involves eliciting, analyzing, and interpreting the knowledge that a human expert uses when solving problems. Expe rience has shown that this process of "knowledge acquisition" is both difficult and time consuming and is often a major bottleneck in the production of expert systems. Unfortunately, an adequate theoretical basis for knowledge acquisition has not yet been established. This re quires a classification of knowledge domains and problem-solving tasks and an improved understanding of the relationship between knowledge structures in human and machine. In the...
Building an expert system involves eliciting, analyzing, and interpreting the knowledge that a human expert uses when solving problems. Expe rience ha...
|
cena:
203,61 |
![]() |
Data Transportation and Protection
ISBN: 9781461292906 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A new breed of engineer is developing in our contemporary society. These engineers are concerned with communications and computers, economics and regulation. These new engineers apply themselves to data-to its pack aging, transmission, and protection. They are data engineers. Formal curricula do not yet exist for their dedicated development. Rather they learn most of their tools "on the job" and their roots are in computer engineering, communications engineering, and applied mathe matics. There is a need to draw relevant material together and present it so that those who wish to become data...
A new breed of engineer is developing in our contemporary society. These engineers are concerned with communications and computers, economics and regu...
|
cena:
203,61 |
![]() |
Genetic Programming Theory and Practice
ISBN: 9781461347477 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Genetic Programming Theory and Practice explores the emerging interaction between theory and practice in the cutting-edge, machine learning method of Genetic Programming (GP). The material contained in this contributed volume was developed from a workshop at the University of Michigan's Center for the Study of Complex Systems where an international group of genetic programming theorists and practitioners met to examine how GP theory informs practice and how GP practice impacts GP theory. The contributions cover the full spectrum of this relationship and are written by leading...
Genetic Programming Theory and Practice explores the emerging interaction between theory and practice in the cutting-edge, machine le...
|
cena:
610,90 |
![]() |
An Introduction to Protein Informatics
ISBN: 9781461348399 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Protein informatics is a newer name for an already existing discipline. It encompasses the techniques used in bioinformatics and molecular modeling that are related to proteins. While bioinformatics is mainly concerned with the collection, organization, and analysis of biological data, molecular modeling is devoted to representation and manipulation of the structure of proteins. Protein informatics requires substantial prerequisites on computer science, mathematics, and molecular biology. The approach chosen here, allows a direct and rapid grasp on the subject starting from basic... Protein informatics is a newer name for an already existing discipline. It encompasses the techniques used in bioinformatics and molecular modeling... |
cena:
682,45 |
![]() |
System-On-Chip Architectures and Implementations for Private-Key Data Encryption
ISBN: 9781461348979 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In System-on-Chip Architectures and Implementations for Private-Key Data Encryption, new generic silicon architectures for the DES and Rijndael symmetric key encryption algorithms are presented. The generic architectures can be utilised to rapidly and effortlessly generate system-on-chip cores, which support numerous application requirements, most importantly, different modes of operation and encryption and decryption capabilities. In addition, efficient silicon SHA-1, SHA-2 and HMAC hash algorithm architectures are described. A single-chip Internet... In System-on-Chip Architectures and Implementations for Private-Key Data Encryption, new generic silicon architec... |
cena:
407,25 |
![]() |
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
ISBN: 9781461349570 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the ...
|
cena:
407,25 |
![]() |
Secure Electronic Voting
ISBN: 9781461349815 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Secure Electronic Voting is an edited volume, which includes chapters authored by leading experts in the field of security and voting systems. The chapters identify and describe the given capabilities and the strong limitations, as well as the current trends and future perspectives of electronic voting technologies, with emphasis in security and privacy. Secure Electronic Voting includes state-of-the-art material on existing and emerging electronic and Internet voting technologies, which may eventually lead to the development of adequately secure e-voting...
Secure Electronic Voting is an edited volume, which includes chapters authored by leading experts in the field of security and voting...
|
cena:
472,45 |
![]() |
Computational Algorithms for Fingerprint Recognition
ISBN: 9781461351030 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Biometrics such as fingerprint, face, gait, iris, voice and signature, recognizes one's identity using his/her physiological or behavioral characteristics. Among these biometric signs, fingerprint has been researched the longest period of time, and shows the most promising future in real-world applications. However, because of the complex distortions among the different impressions of the same finger, fingerprint recognition is still a challenging problem. Computational Algorithms for Fingerprint Recognition presents an entire range of novel computational... Biometrics such as fingerprint, face, gait, iris, voice and signature, recognizes one's identity using his/her physiological or behavioral characte... |
cena:
407,25 |