» książki » Computers - Artificial Intelligence - General
 |
Automated Development of Fundamental Mathematical Theories
ISBN: 9780792320210 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. He presents a new clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semiautomatically in elementary set theory. He presents a semiautomated proof that the composition of homomorphisms is a homomorphism, thus solving a challenge problem.
The author next develops Peano's arithmetic, and gives more than 1200 definitions and theorems in elementary number theory. He gives part of the proof of the fundamental theorem of... The author provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover OTTER. He presents a new ...
|
cena:
885,61 |
 |
Metadebates on Science: The Blue Book of "Einstein Meets Magritte"
ISBN: 9780792357629 / Angielski / Twarda / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How do scientists approach science? Scientists, sociologists and philosophers were asked to write on this intriguing problem and to display their results at the International Congress Einstein Meets Magritte'. The outcome of their effort can be found in this rather unique book, presenting all kinds of different views on science. Quantum mechanics is a discipline which deserves and receives special attention in this book, mainly because it is fascinating and, hence, appeals to the general public. This book not only contains articles on the introductory level, it also provides new insights and...
How do scientists approach science? Scientists, sociologists and philosophers were asked to write on this intriguing problem and to display their resu...
|
cena:
885,61 |
 |
Algebra of Conscience
ISBN: 9780792371212 / Angielski / Twarda / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Conscience is an essential human attribute. Nevertheless, in the construction of formal models of the subject it is customarily left outside the framework of theoretical analysis. The Algebra of Conscience, whose first edition appeared in 1982, was the first specialized work modeling the phenomenon of conscience. The method used in this book made it possible to connect moral experience with decision-making procedures on the level of mathematical models. The application of such models allows us to propose the hypothesis of two fundamentally different ethical systems...
Conscience is an essential human attribute. Nevertheless, in the construction of formal models of the subject it is customarily left outside the frame...
|
cena:
885,61 |
 |
Arguing on the Toulmin Model: New Essays in Argument Analysis and Evaluation
ISBN: 9781402049378 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Summarizing, in The Uses of Argument Toulmin emphasized a number of points that are by now familiar, but still deserve attention: 1. Reasoning and argument involve not only support for points of view, but also attack against them. 2. Reasoning can have qualified conclusions. 3. There are other good types of argument than those of standard formal logic. 4. Unstated assumptions linking premisses to a conclusion are better thought of as inference licenses than as implicit premisses. 5. Standards of reasoning can be field dependent, and can be themselves the subject of argumentation. Each of...
Summarizing, in The Uses of Argument Toulmin emphasized a number of points that are by now familiar, but still deserve attention: 1. Reasoning and arg...
|
cena:
885,61 |
 |
New Computational Methods in Power System Reliability
ISBN: 9783540778103 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Power system reliability is the focus of intensive study due to its critical role in providing energy supply to modern society. This comprehensive book describes application of some new specific techniques: universal generating function method and its combination with Monte Carlo simulation and with random processes methods, Semi-Markov and Markov reward models and genetic algorithm. The book can be considered as complementary to power system reliability textbooks. Power system reliability is the focus of intensive study due to its critical role in providing energy supply to modern society. This comprehensive ... |
cena:
885,61 |
 |
Brain Inspired Cognitive Systems
ISBN: 9780387790992 / Angielski / Twarda / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Brain Inspired Cognitive Systems 2008 (June 24-27, 2008; Sao Luis, Brazil) brought together leading scientists and engineers who use analytic, syntactic and computational methods both to understand the prodigious processing properties of biological systems and, specifically, of the brain, and to exploit such knowledge to advance computational methods towards ever higher levels of cognitive competence. This book includes the papers presented at four major symposia: Part I - Cognitive Neuroscience Part II - Biologically Inspired Systems Part III - Neural... Brain Inspired Cognitive Systems 2008 (June 24-27, 2008; Sao Luis, Brazil) brought together leading scientists and engineers who use analytic, synt... |
cena:
885,61 |
 |
The Impact of Emerging Technologies on Computer Science and Operations Research
ISBN: 9780792395423 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The emergence of high-performance computers and sophisticated software tech nology has led to significant advances in the development and application of operations research. In turn, the growing complexity of operations research models has posed an increasing challenge to computational methodology and computer technology. This volume focuses on recent advances in the fields of Computer Science and Operations Research, on the impact of technologi cal innovation on these disciplines, and on the close interaction between them. The papers cover many relevant topics: computational probability;...
The emergence of high-performance computers and sophisticated software tech nology has led to significant advances in the development and application ...
|
cena:
885,61 |
 |
Paradigm Shift for Future Tennis: The Art of Tennis Physiology, Biomechanics and Psychology
ISBN: 9783642170942 / Angielski / Twarda / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book "Paradigm Shift for Future Tennis" starts with revelations that make obvious the limitations of today's tennis, which does not use the laws of modern Biomechanics and Neurophysiology. The second part of the book includes a new approach to the quantum mind of a champion. It will reveal the secret weapon of Roger Federer and the blueprint of a future tennis champion. This book will expose the new tennis shot emerging from the field of sports science. It is a real weapon, which can generate a ball-speed similar to that of the first serve: the Power High-Forehand. Its aim is to... The book "Paradigm Shift for Future Tennis" starts with revelations that make obvious the limitations of today's tennis, which does not use the law... |
cena:
885,61 |
 |
Arguing on the Toulmin Model: New Essays in Argument Analysis and Evaluation
ISBN: 9789048172337 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Summarizing, in The Uses of Argument Toulmin emphasized a number of points that are by now familiar, but still deserve attention: 1. Reasoning and argument involve not only support for points of view, but also attack against them. 2. Reasoning can have qualified conclusions. 3. There are other good types of argument than those of standard formal logic. 4. Unstated assumptions linking premisses to a conclusion are better thought of as inference licenses than as implicit premisses. 5. Standards of reasoning can be field dependent, and can be themselves the subject of argumentation. Each of...
Summarizing, in The Uses of Argument Toulmin emphasized a number of points that are by now familiar, but still deserve attention: 1. Reasoning and arg...
|
cena:
885,61 |
 |
Brain Inspired Cognitive Systems 2008
ISBN: 9781461425403 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Brain Inspired Cognitive Systems 2008 (June 24-27, 2008; Sao Luis, Brazil) brought together leading scientists and engineers who use analytic, syntactic and computational methods both to understand the prodigious processing properties of biological systems and, specifically, of the brain, and to exploit such knowledge to advance computational methods towards ever higher levels of cognitive competence. This book includes the papers presented at four major symposia: Part I - Cognitive Neuroscience Part II - Biologically Inspired Systems Part III - Neural... Brain Inspired Cognitive Systems 2008 (June 24-27, 2008; Sao Luis, Brazil) brought together leading scientists and engineers who use analytic, synt... |
cena:
885,61 |
 |
Neural Systems: Analysis and Modeling
ISBN: 9781461365815 / Angielski / Miękka / 465 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In recent years there has been tremendous activity in computational neuroscience resulting from two parallel developments. On the one hand, our knowledge of real nervous systems has increased dramatically over the years; on the other, there is now enough computing power available to perform realistic simulations of actual neural circuits. This is leading to a revolution in quantitative neuroscience, which is attracting a growing number of scientists from non-biological disciplines. These scientists bring with them expertise in signal processing, information theory, and dynamical systems...
In recent years there has been tremendous activity in computational neuroscience resulting from two parallel developments. On the one hand, our knowle...
|
cena:
885,61 |
 |
Computing Tools for Modeling, Optimization and Simulation: Interfaces in Computer Science and Operations Research
ISBN: 9781461370628 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computing Tools for Modeling, Optimization and Simulation reflects the need for preserving the marriage between operations research and computing in order to create more efficient and powerful software tools in the years ahead. The 17 papers included in this volume were carefully selected to cover a wide range of topics related to the interface between operations research and computer science. The volume includes the now perennial applications of rnetaheuristics (such as genetic algorithms, scatter search, and tabu search) as well as research on global optimization, knowledge...
Computing Tools for Modeling, Optimization and Simulation reflects the need for preserving the marriage between operations research and compu...
|
cena:
885,61 |
 |
Objects for Concurrent Constraint Programming
ISBN: 9781461375029 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial information provided by a shared constraint store. This constraint store serves as a communication medium between concurrent threads of control and as a vehicle for their synchronization.
Objects for Concurrent Constraint Programming analyzes the possibility of supporting object-oriented programming in ccp. Starting from established approaches, the book covers various object models and discusses their properties. Small Oz, a... Concurrent constraint programming (ccp) is a recent development in programming language design. Its central contribution is the notion of partial info...
|
cena:
885,61 |
 |
Uncertainty Management in Information Systems: From Needs to Solutions
ISBN: 9781461378655 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As its title suggests, "Uncertainty Management in Information Systems" is a book about how information systems can be made to manage information permeated with uncertainty. This subject is at the intersection of two areas of knowledge: information systems is an area that concentrates on the design of practical systems that can store and retrieve information; uncertainty modeling is an area in artificial intelligence concerned with accurate representation of uncertain information and with inference and decision-making under conditions infused with uncertainty. New applications of information...
As its title suggests, "Uncertainty Management in Information Systems" is a book about how information systems can be made to manage information perme...
|
cena:
885,61 |
 |
Quantification in Natural Languages: Volume I
ISBN: 9789401041423 / Angielski / Miękka / 760 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of papers grew outof a research project on "Cross-Linguistic Quantification" originated by Emmon Bach, Angelika Kratzer and Barbara Partee in 1987 at the University of Massachusetts at Amherst, and supported by National Science Foundation Grant BNS 871999. The publication also reflects directly or indirectly several other related activ ities. Bach, Kratzer, and Partee organized a two-evening symposium on cross-linguistic quantification at the 1988 Annual Meeting of the Linguistic Society of America in New Orleans (held without financial support) in order to bring the project to...
This volume of papers grew outof a research project on "Cross-Linguistic Quantification" originated by Emmon Bach, Angelika Kratzer and Barbara Partee...
|
cena:
885,61 |
 |
Paradigm Shift for Future Tennis: The Art of Tennis Physiology, Biomechanics and Psychology
ISBN: 9783642423291 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book "Paradigm Shift for Future Tennis" starts with revelations that make obvious the limitations of today's tennis, which does not use the laws of modern Biomechanics and Neurophysiology. The second part of the book includes a new approach to the quantum mind of a champion. It will reveal the secret weapon of Roger Federer and the blueprint of a future tennis champion. This book will expose the new tennis shot emerging from the field of sports science. It is a real weapon, which can generate a ball-speed similar to that of the first serve: the Power High-Forehand. Its aim is to generate...
The book "Paradigm Shift for Future Tennis" starts with revelations that make obvious the limitations of today's tennis, which does not use the laws o...
|
cena:
885,61 |
 |
Road Vehicle Automation 5
ISBN: 9783319948959 / Angielski / Twarda / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
885,61 |
 |
Advanced Manufacturing and Automation VIII
ISBN: 9789811323744 / Angielski / Twarda / 707 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceeding will assist academic researchers and industrial engineers to implement the concepts and theories of Industry 4.0 in industrial practice, in order to effectively respond to the challenges posed by the 4th industrial revolution and smart factory.
The proceeding will assist academic researchers and industrial engineers to implement the concepts and theories of Industry 4.0 in industrial practice...
|
cena:
885,61 |
 |
Road Vehicle Automation 5
ISBN: 9783030069346 / Angielski / Miękka / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
885,61 |
 |
Computational Bioengineering and Bioinformatics: Computer Modelling in Bioengineering
ISBN: 9783030436575 / Angielski / Twarda / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
885,61 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
