Новинка

9956.09 руб.

An introductory book that provides theoretical, practical, and application coverage of the emerging field of type-2 fuzzy logic control Until recently, little was known about type-2 fuzzy controllers due to the lack of basic calculation methods available for type-2 fuzzy sets and logic—and many different aspects of type-2 fuzzy control still needed to be investigated in order to advance this new and powerful technology. This self-contained reference covers everything readers need to know about the growing field. Written with an educational focus in mind, Introduction to Type-2 Fuzzy Logic Control: Theory and Applications uses a coherent structure and uniform mathematical notations to link chapters that are closely related, reflecting the book’s central themes: analysis and design of type-2 fuzzy control systems. The book includes worked examples, experiment and simulation results, and comprehensive reference materials. The book also offers downloadable computer programs from an associated website. Presented by world-class leaders in type-2 fuzzy logic control, Introduction to Type-2 Fuzzy Logic Control: Is useful for any technical person interested in learning type-2 fuzzy control theory and its applications Offers experiment and simulation results via downloadable computer programs Features type-2 fuzzy logic background chapters to make the book self-contained Provides an extensive literature survey on both fuzzy logic and related type-2 fuzzy control Introduction to Type-2 Fuzzy Logic Control is an easy-to-read reference book suitable for engineers, researchers, and graduate students who want to gain deep insight into type-2 fuzzy logic control.
Новинка

9261.21 руб.

Provides a unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost thirty years of research on fuzzy modeling. It provides a unique view of both the theory and various types of applications. The book is divided into two parts. The first part contains an extensive presentation of the theory of fuzzy modeling. The second part presents selected applications in three important areas: control and decision-making, image processing, and time series analysis and forecasting. The authors address the consistent and appropriate treatment of the notions of fuzzy sets and fuzzy logic and their applications. They provide two complementary views of the methodology, which is based on fuzzy IF-THEN rules. The first, more traditional method involves fuzzy approximation and the theory of fuzzy relations. The second method is based on a combination of formal fuzzy logic and linguistics. A very important topic covered for the first time in book form is the fuzzy transform (F-transform). Applications of this theory are described in separate chapters and include image processing and time series analysis and forecasting. All of the mentioned components make this book of interest to students and researchers of fuzzy modeling as well as to practitioners in industry. Features: Provides a foundation of fuzzy modeling and proposes a thorough description of fuzzy modeling methodology Emphasizes fuzzy modeling based on results in linguistics and formal logic Includes chapters on natural language and approximate reasoning, fuzzy control and fuzzy decision-making, and image processing using the F-transform Discusses fuzzy IF-THEN rules for approximating functions, fuzzy cluster analysis, and time series forecasting Insight into Fuzzy Modeling is a reference for researchers in the fields of soft computing and fuzzy logic as well as undergraduate, master and Ph.D. students. Vilém Novák, D.Sc. is Full Professor and Director of the Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, Czech Republic. Irina Perfilieva, Ph.D. is Full Professor, Senior Scientist, and Head of the Department of Theoretical Research at the Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, Czech Republic. Antonín Dvorák, Ph.D. is Associate Professor, and Senior Scientist at the Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, Czech Republic.
Новинка

5957.4 руб.

Fuzzy Logic with Engineering Applications, Fourth Edition Timothy J. Ross, University of New Mexico, USA The latest update on this popular textbook The importance of concepts and methods based on fuzzy logic and fuzzy set theory has been rapidly growing since the early 1990s and all the indications are that this trend will continue in the foreseeable future. Fuzzy Logic with Engineering Applications, Fourth Edition is a new edition of the popular textbook with 15% of new and updated material. Updates have been made to most of the chapters and each chapter now includes new end-of-chapter problems. Key features: New edition of the popular textbook with 15% of new and updated material. Includes new examples and end-of-chapter problems. Has been made more concise with the removal of out of date material. Covers applications of fuzzy logic to engineering and science. Accompanied by a website hosting a solutions manual and software. The book is essential reading for graduates and senior undergraduate students in civil, chemical, mechanical and electrical engineering as wells as researchers and practitioners working with fuzzy logic in industry.
Новинка

2639 руб.

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuseson many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers.This two-volume handbook provides an up-to-date systematic presentation of the best-developed areas of MFL. Its intended audience is researchers working on MFL or related fields, who may use the text as a reference book, and anyone looking for a comprehensive introduction to MFL. Despite being located in the realm of pure mathematical logic, this handbook will also be useful for readers interested in logical foundations of fuzzy set theory or in a mathematical apparatus suitable for dealing with some philosophical and linguistic issues related to vagueness.The first volume contains a gentle introduction to MFL, a presentation of an abstract algebraic framework for MFL, chapters on proof theory and algebraic semantics of fuzzy logics, and, finally, an algebraic study of Hájek's logic BL.The second volume is devoted to Łukasiewicz logic and MValgebras, Gödel-Dummett logic and its variants, fuzzy logics in expanded propositional languages, studies of functional representations for fu...
Новинка

2614 руб.

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers.This two-volume handbook provides an up-to-date systematic presentation of the best-developed areas of MFL. Its intended audience is researchers working on MFL or related fields, who may use the text as a reference book, and anyone looking for a comprehensive introduction to MFL. Despite being located in the realm of pure mathematical logic, this handbook will also be useful for readers interested in logical foundations of fuzzy set theory or in a mathematical apparatus suitable for dealing with some philosophical and linguistic issues related to vagueness.The first volume contains a gentle introduction to MFL, a presentation of an abstract algebraic framework for MFL, chapters on proof theory and algebraic semantics of fuzzy logics, and, fi nally, an algebraic study of Hájek's logic BL. The second volume is devoted to Łukasiewicz logic and MValgebras, Gödel-Dummett logic and its variants, fuzzy logics in expanded propositional languages, studies of functional representations for...
Новинка

11190.63 руб.

Computational Intelligence: Synergies of Fuzzy Logic, Neural Networks and Evolutionary Computing presents an introduction to some of the cutting edge technological paradigms under the umbrella of computational intelligence. Computational intelligence schemes are investigated with the development of a suitable framework for fuzzy logic, neural networks and evolutionary computing, neuro-fuzzy systems, evolutionary-fuzzy systems and evolutionary neural systems. Applications to linear and non-linear systems are discussed with examples. Key features: Covers all the aspects of fuzzy, neural and evolutionary approaches with worked out examples, MATLAB® exercises and applications in each chapter Presents the synergies of technologies of computational intelligence such as evolutionary fuzzy neural fuzzy and evolutionary neural systems Considers real world problems in the domain of systems modelling, control and optimization Contains a foreword written by Lotfi Zadeh Computational Intelligence: Synergies of Fuzzy Logic, Neural Networks and Evolutionary Computing is an ideal text for final year undergraduate, postgraduate and research students in electrical, control, computer, industrial and manufacturing engineering.
Новинка

8875.32 руб.

A mathematical introduction to the theory and applications of logic and set theory with an emphasis on writing proofs Highlighting the applications and notations of basic mathematical concepts within the framework of logic and set theory, A First Course in Mathematical Logic and Set Theory introduces how logic is used to prepare and structure proofs and solve more complex problems. The book begins with propositional logic, including two-column proofs and truth table applications, followed by first-order logic, which provides the structure for writing mathematical proofs. Set theory is then introduced and serves as the basis for defining relations, functions, numbers, mathematical induction, ordinals, and cardinals. The book concludes with a primer on basic model theory with applications to abstract algebra. A First Course in Mathematical Logic and Set Theory also includes: Section exercises designed to show the interactions between topics and reinforce the presented ideas and concepts Numerous examples that illustrate theorems and employ basic concepts such as Euclid’s lemma, the Fibonacci sequence, and unique factorization Coverage of important theorems including the well-ordering theorem, completeness theorem, compactness theorem, as well as the theorems of Löwenheim–Skolem, Burali-Forti, Hartogs, Cantor–Schröder–Bernstein, and König An excellent textbook for students studying the foundations of mathematics and mathematical proofs, A First Course in Mathematical Logic and Set Theory is also appropriate for readers preparing for careers in mathematics education or computer science. In addition, the book is ideal for introductory courses on mathematical logic and/or set theory and appropriate for upper-undergraduate transition courses with rigorous mathematical reasoning involving algebra, number theory, or analysis.
Новинка

4630.6 руб.

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic – propositional and first-order – provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study.
Новинка

2539 руб.

Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated also by philosophical and computational problems of vagueness and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in this area focuses on many-valued logics with linearly ordered truth values and has yielded elegant and deep mathematical theories and challenging problems, thus continuing to attract an ever increasing number of researchers.This handbook provides, through its several volumes, an up-to-date systematic presentation of the best-developed areas of MFL. Its intended audience is researchers working on MFL or related fields, that may use the text as a reference book, and anyone looking for a comprehensive introduction to MFL. This handbook will be useful not only for readers interested in pure mathematical logic, but also for those interested in logical foundations of fuzzy set theory or in a mathematical apparatus suitable for dealing with some philosophical and linguistic issues related to vagueness.This third volume starts with three chapters on semantics of fuzzy logics, namely, on the structure of linearly ordered algebras, on semantic games, and on Ulam-Rényi games; it continues with an introduction to fuzzy logics with evaluated syntax, a survey of fuzzy description logics, and a study of probability on MV-algebras; and it ends with a philosophical chapter on the role of fuzzy logics in theories of vagu...
Новинка

9261.21 руб.

Provides an in-depth and even treatment of the three pillars of computational intelligence and how they relate to one another This book covers the three fundamental topics that form the basis of computational intelligence: neural networks, fuzzy systems, and evolutionary computation. The text focuses on inspiration, design, theory, and practical aspects of implementing procedures to solve real-world problems. While other books in the three fields that comprise computational intelligence are written by specialists in one discipline, this book is co-written by current former Editor-in-Chief of IEEE Transactions on Neural Networks and Learning Systems, a former Editor-in-Chief of IEEE Transactions on Fuzzy Systems, and the founding Editor-in-Chief of IEEE Transactions on Evolutionary Computation. The coverage across the three topics is both uniform and consistent in style and notation. Discusses single-layer and multilayer neural networks, radial-basis function networks, and recurrent neural networks Covers fuzzy set theory, fuzzy relations, fuzzy logic interference, fuzzy clustering and classification, fuzzy measures and fuzzy integrals Examines evolutionary optimization, evolutionary learning and problem solving, and collective intelligence Includes end-of-chapter practice problems that will help readers apply methods and techniques to real-world problems Fundamentals of Computational intelligence is written for advanced undergraduates, graduate students, and practitioners in electrical and computer engineering, computer science, and other engineering disciplines.
Новинка

6577 руб.

This book deals with a concise study of convergence in intuitionistic fuzzy n-normed linear spaces. This book mainly contains the author's own research work in the area of lacunary ideal convergence. Fuzzy normed spaces have been an increasingly popular area of mathematical research in recent times, both in terms of theory and applications. But the availability of books in the area of fuzzy normed spaces is very rare. This book provides a good discussion on the development of both fuzzy and intuitionistic fuzzy set theory. The transition from fuzzy normed linear spaces to intuitionistic fuzzy n-normed linear spaces has been presented systematically. Anybody interested in the theory or application of fuzzy or intuitionistic fuzzy normed spaces will find this book more than useful. The book is written in such a way that mathematical prerequisites are minimum. Since the main subject of study in this book is a generalisaton of the concept of usual convergence, so all the related results in convergence have been incorporated in the book. This book may be used as a ready reference for an up to date account of results in the theory of fuzzy/intuitionistic fuzzy normed linear spaces.
Новинка

2114 руб.

Elementary Logic with Applications is written for undergraduate logic and logic programming courses. Logic has been applied to a wide variety of subjects such as software engineering and hardware design, to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations. Recently many extensions of classical logic such as temporal, modal, relevance, fuzzy and non-monotonic logics have been widely used in computer science, therefore requiring a new formulation of classic logic which can be modified to yield the effect of non-classical logics. This text aims to introduce classical logic in such a way that one can easily deviate into discussing non-classical logics. It defines a number of different types of logics and the differences between them, starting with the basic notions of the most common logic. Elementary Logic with Applications develops a theorem prover for classical logic in a way that maintains a procedural point of view and presents the reader with the real challenges facing applied logic. Dov Gabbay and Odinaldo Rodrigues have been teaching logic and computer science for many years. Dov Gabbay has written numerous other titles on the subject of logic and is a world authority on non-classical logics. Odinaldo Rodrigues is widely known for his work on logic, belief revision and argumentation. The “Elementary Logic with Applications” course is currently taught at the Department of Informatics, King's Co...
Новинка

4214 руб.

Doctoral Thesis / Dissertation from the year 2010 in the subject Engineering - Artificial Intelligence, grade: PhD, Korea University, Seoul (College of Engineering - Dept of Industrial Systems and Information Engineering), course: Intelligence Control and Artificial Intelligence, language: English, abstract: Fuzzy Logic (FL) is a particular area of interest in the study of Artificial intelligence(AI) based on the idea that in fuzzy sets each element in the set can assume a value from0 to 1, not just 0 or 1, as in classic or crisp set theory. The gradation in the extent towhich an element is belonging to the relevant sets is called the degree of membership.This degree of membership is a measure of the element's belonging to the set, and thus ofthe precision with which it explains the phenomenon being evaluated. A linguisticexpression is given to each fuzzy set. The information contents of the fuzzy rules are thenused to infer the output using a suitable inference engine. The key contribution of fuzzylogic in computation of information described in natural language made it applicable to avariety of applications and problem domains; from simple control systems to humandecision support systems. Yet, despite its long-standing origins, it is a relatively new field,and as such leaves much room for development.The thesis presents two novel applications of fuzzy systems; a human decisionsupport system to help teachers to fairly evaluate students and two hybrid intelligentfuzzy sys...
Новинка

7714.01 руб.

Presents a systematic treatment of fuzzy fractional differential equations as well as newly developed computational methods to model uncertain physical problems Complete with comprehensive results and solutions, Fuzzy Arbitrary Order System: Fuzzy Fractional Differential Equations and Applications details newly developed methods of fuzzy computational techniquesneeded to model solve uncertainty. Fuzzy differential equations are solved via various analytical andnumerical methodologies, and this book presents their importance for problem solving, prototypeengineering design, and systems testing in uncertain environments. In recent years, modeling of differential equations for arbitrary and fractional order systems has been increasing in its applicability, and as such, the authors feature examples from a variety of disciplines to illustrate the practicality and importance of the methods within physics, applied mathematics, engineering, and chemistry, to name a few. The fundamentals of fractional differential equations and the basic preliminaries of fuzzy fractional differential equations are first introduced, followed by numerical solutions, comparisons of various methods, and simulated results. In addition, fuzzy ordinary, partial, linear, and nonlinear fractional differential equations are addressed to solve uncertainty in physical systems. In addition, this book features: Basic preliminaries of fuzzy set theory, an introduction of fuzzy arbitrary order differential equations, and various analytical and numerical procedures for solving associated problems Coverage on a variety of fuzzy fractional differential equations including structural, diffusion, and chemical problems as well as heat equations and biomathematical applications Discussions on how to model physical problems in terms of nonprobabilistic methods and provides systematic coverage of fuzzy fractional differential equations and its applications Uncertainties in systems and processes with a fuzzy concept Fuzzy Arbitrary Order System: Fuzzy Fractional Differential Equations and Applications is an ideal resource for practitioners, researchers, and academicians in applied mathematics, physics, biology, engineering, computer science, and chemistry who need to model uncertain physical phenomena and problems. The book is appropriate for graduate-level courses on fractional differential equations for students majoring in applied mathematics, engineering, physics, and computer science.
Новинка

3502 руб.

This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Logic Programming, Temporal Logic, Logic and Learning, Combination of Logics, Practical Reasoning, Logic and Artificial Intelligence, Abduction, Theorem Proving, and Goal-Directed Reasoning. It will be invaluable reading for researchers and graduate students in Logic and Computer Science, and a fabulous source of inspiration for research students in search of a topic for a PhD in logic and theoretical computer science.
Новинка

3489 руб.

This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the lattest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Logic Programming, Temporal Logic, Logic and Learning, Combination of Logics, Practical Reasoning, Logic and Artificial Intelligence, Abduction, Theorem Proving, and Goal-Directed Reasoning. It will be invaluable reading for researchers and graduate students in Logic and Computer Science, and a fabulous source of inspiration for research students in search of a topic for a PhD in logic or theoretical computer science.
Новинка

5398.71 руб.

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site (www.wiley.com/go/henle) linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays
Новинка

3164 руб.

Mathematical logic grew out of philosophical questions regarding the foundations of mathematics, but logic has now outgrown its philosophical roots, and has become an integral part of mathematics in general.This book is designed for students who plan to specialize in logic, as wellas for those who are interested in the applications of logic to other areas of mathematics. Used as a text, it could form the basis of a beginninggraduate-level course.There are three main chapters:Set Theory, Model Theory, and Recursion Theory.The Set Theory chapter describes the set-theoretic foundations of all of mathematics, based on the ZFC axioms.It also covers technical results about the Axiom of Choice, well-orderings, and the theory of uncountable cardinals.The Model Theory chapter discusses predicate logic and formal proofs, and covers the Completeness, Compactness, and Löwenheim-Skolem Theorems,elementary submodels, model completeness, and applications to algebra.This chapter also continues the foundational issues begun in the set theory chapter.Mathematics can now be viewed as formal proofs from ZFC.Also, model theory leads to models of set theory.This includes a discussion of absoluteness, and an analysis of models such as H(κ) and R(γ).The Recursion Theory chapter develops some basic facts about computable functions, and uses them to prove a number of results of foundational importance; in particular, Church's theorem on the undecidability of logical consequence, the incompleteness...
Новинка

1639 руб.

Книга "Fuzzy Logic. The Revolutionary Computer Technology That Is Changing Our World".
Новинка

9182.7 руб.

Statistical data are not always precise numbers, or vectors, or categories. Real data are frequently what is called fuzzy. Examples where this fuzziness is obvious are quality of life data, environmental, biological, medical, sociological and economics data. Also the results of measurements can be best described by using fuzzy numbers and fuzzy vectors respectively. Statistical analysis methods have to be adapted for the analysis of fuzzy data. In this book, the foundations of the description of fuzzy data are explained, including methods on how to obtain the characterizing function of fuzzy measurement results. Furthermore, statistical methods are then generalized to the analysis of fuzzy data and fuzzy a-priori information. Key Features: Provides basic methods for the mathematical description of fuzzy data, as well as statistical methods that can be used to analyze fuzzy data. Describes methods of increasing importance with applications in areas such as environmental statistics and social science. Complements the theory with exercises and solutions and is illustrated throughout with diagrams and examples. Explores areas such quantitative description of data uncertainty and mathematical description of fuzzy data. This work is aimed at statisticians working with fuzzy logic, engineering statisticians, finance researchers, and environmental statisticians. It is written for readers who are familiar with elementary stochastic models and basic statistical methods.
Новинка

3227 руб.

Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.This volume contains invited and contributed papers from the sixth conference in the series, held for the first time outside Europe, in Noosa, Queensland, Australia, in September 2006. It reports on considerable progress, both in the foundations of modal logic and in a number of application areas. It includes papers on the theory of modal logic itself, on process theory, multi-agent systems and spatial reasoning, and work on quantified modal logic, modal reasoning methods, and philosophical issues.
Новинка

7331.79 руб.

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory. The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions. The book presents algorithmic proofs of theorems whenever possible. These proofs are written in the calculational style advocated by Dijkstra, with arguments explicitly spelled out step by step. The author’s intent is for readers to learn not only the proofs, but the heuristics that guide said proofs. Introduction to Lattice Theory with Computer Science Applications: Examines; posets, Dilworth’s theorem, merging algorithms, lattices, lattice completion, morphisms, modular and distributive lattices, slicing, interval orders, tractable posets, lattice enumeration algorithms, and dimension theory Provides end of chapter exercises to help readers retain newfound knowledge on each subject Includes supplementary material at www.ece.utexas.edu/~garg Introduction to Lattice Theory with Computer Science Applications is written for students of computer science, as well as practicing mathematicians.
Новинка

1789 руб.

The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications. Both deductive and non-deductive consequence are discussed. The starting point is classical deductive consequence: classical logic is the reference system, and the non-classical deductive systems are seen as extensions, deviations, or variations thereof. The discussion of non-classical deductive consequence focuses on many-valued, intuitionistic, modal, paraconsistent, and substructural logical consequences. The topic of non-deductive consequence is elaborated on from the viewpoints of abductive, inductive, and probabilistic logics. All in all, the major contemporary (classes of) logical systems are here discussed. The approach is mathematical in essence, and the mathematical background, mainly founded on order relations, is treated thoroughly and in an accessible way for the non-mathematician.
Новинка

2502 руб.

Advances in Modal Logic is a unique international forum representing the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics.This volume contains invited and contributed papers from the eighth conference in the AiML series, held in Moscow, Russia, in August 2010. It reports on substantial advances, both in the foundations of modal logic and in a number of application areas. It includes papers on general problems in model theory, proof theory and algorithmic properties of modal logics, on systems for spatial, temporal and epistemic reasoning, on related kinds of logics - description, relevance, substructural, intuitionistic, and on related topics in algebraic logic.
Новинка

6942.24 руб.

A highly successful presentation of the fundamental concepts of number theory and computer programming Bridging an existing gap between mathematics and programming, Elementary Number Theory with Programming provides a unique introduction to elementary number theory with fundamental coverage of computer programming. Written by highly-qualified experts in the fields of computer science and mathematics, the book features accessible coverage for readers with various levels of experience and explores number theory in the context of programming without relying on advanced prerequisite knowledge and concepts in either area. Elementary Number Theory with Programming features comprehensive coverage of the methodology and applications of the most well-known theorems, problems, and concepts in number theory. Using standard mathematical applications within the programming field, the book presents modular arithmetic and prime decomposition, which are the basis of the public-private key system of cryptography. In addition, the book includes: Numerous examples, exercises, and research challenges in each chapter to encourage readers to work through the discussed concepts and ideas Select solutions to the chapter exercises in an appendix Plentiful sample computer programs to aid comprehension of the presented material for readers who have either never done any programming or need to improve their existing skill set A related website with links to select exercises An Instructor’s Solutions Manual available on a companion website Elementary Number Theory with Programming is a useful textbook for undergraduate and graduate-level students majoring in mathematics or computer science, as well as an excellent supplement for teachers and students who would like to better understand and appreciate number theory and computer programming. The book is also an ideal reference for computer scientists, programmers, and researchers interested in the mathematical applications of programming.
Новинка

10727.86 руб.

This second edition of Adaptive Filters: Theory and Applications has been updated throughout to reflect the latest developments in this field; notably an increased coverage given to the practical applications of the theory to illustrate the much broader range of adaptive filters applications developed in recent years. The book offers an easy to understand approach to the theory and application of adaptive filters by clearly illustrating how the theory explained in the early chapters of the book is modified for the various applications discussed in detail in later chapters. This integrated approach makes the book a valuable resource for graduate students; and the inclusion of more advanced applications including antenna arrays and wireless communications makes it a suitable technical reference for engineers, practitioners and researchers. Key features: • Offers a thorough treatment of the theory of adaptive signal processing; incorporating new material on transform domain, frequency domain, subband adaptive filters, acoustic echo cancellation and active noise control. • Provides an in-depth study of applications which now includes extensive coverage of OFDM, MIMO and smart antennas. • Contains exercises and computer simulation problems at the end of each chapter. • Includes a new companion website hosting MATLAB® simulation programs which complement the theoretical analyses, enabling the reader to gain an in-depth understanding of the behaviours and properties of the various adaptive algorithms.
Новинка

10102 руб.

This book focuses on risk management through fuzzy logic for uncertainty in Share Market, Business Decision, Customer Decision in Internet Marketing, and Cloud computing. Risk management is a process of identifying, assessment, and prioritization of risk in business. The goal of risk management is to protect business from unexpected results. Risk management also use to protect employees, customers from negative results. Fuzzy logic was used since it is a tool capable of modeling complex and uncertain or vague data using simple terminology such as IF-Then statements. Fuzzy rule based expert system is very effective for knowledge representation of any system. It is an essential tool which balances the economic, social and environmental benefits The fuzzy rule base can be use to optimize the E-Commerce services and rule discovery facilities and could be used to optimize policy knowledge. E-Commerce rule based fuzzy models provide a powerful and robust tool for encapsulating and exploiting knowledge. This book will help the customer for decision making in share market, where buying and selling of shares takes place from anywhere, wherever with the help of internet connected computer.
Новинка

8514 руб.

The goal of this book is to let people know about the information retrieval system. It cover the problems in this domain and reviews the solution in current space. It explains how to build the fuzzy inference system in order to score the documents in such a way that most relevant documents will get the higher score against the user's information need. Relevant documents are ranked and then fetched on the basis on these scores. This book provides an overview of fuzzy logic and explains the core concepts underlying fuzzy logic. It also explains the design and implementation strategy of neuro fuzzy inference system for information retrieval by using Adaptive Neuro Fuzzy Inference System (ANFIS) toolbox available in MATLAB. Results and Evaluation are also given at the end for neuro fuzzy inference system and its comparison with the existing techniques for information retrieval.
Новинка

2926.27 руб.

Researching Education Through Actor-Network Theory offers a new take on educational research, demonstrating the ways in which actor-network theory can expand the understanding of educational change. An international collaboration exploring diverse manifestations of educational change Illustrates the impact of actor-network theory on educational research Positions education as a key area where actor-network theory can add value, as it has been shown to do in other social sciences A valuable resource for anyone interested in the sociology and philosophy of education
Новинка

12196.08 руб.

This book presents fundamentals of reliability engineering with its applications in evaluating reliability of multistage interconnection networks. In the first part of the book, it introduces the concept of reliability engineering, elements of probability theory, probability distributions, availability and data analysis. The second part of the book provides an overview of parallel/distributed computing, network design considerations, and more. The book covers a comprehensive reliability engineering methods and its practical aspects in the interconnection network systems. Students, engineers, researchers, managers will find this book as a valuable reference source.
Новинка

152 руб.

Decision making by the aircrafts services of the international airport, which provides for intensive traffic of aircraft and their ground handling, becomes a very topical issue. If earlier it was believed that the intensity is provided only by the number of runways, nowadays a large accumulation of aircraft on the airport platform-field creates equally complex difficulties in comparison with aircraft take-offs and landings. Solving such problems with the use of «crisp methods» of queuing theory gives little. This article deals with modern «fuzzy methods» based on simulation modeling and fuzzy logic.
Новинка

12354.47 руб.

A guide to the systematic analytical results for ridge, LASSO, preliminary test, and Stein-type estimators with applications Theory of Ridge Regression Estimation with Applications offers a comprehensive guide to the theory and methods of estimation. Ridge regression and LASSO are at the center of all penalty estimators in a range of standard models that are used in many applied statistical analyses. Written by noted experts in the field, the book contains a thorough introduction to penalty and shrinkage estimation and explores the role that ridge, LASSO, and logistic regression play in the computer intensive area of neural network and big data analysis. Designed to be accessible, the book presents detailed coverage of the basic terminology related to various models such as the location and simple linear models, normal and rank theory-based ridge, LASSO, preliminary test and Stein-type estimators.The authors also include problem sets to enhance learning. This book is a volume in the Wiley Series in Probability and Statistics series that provides essential and invaluable reading for all statisticians. This important resource: Offers theoretical coverage and computer-intensive applications of the procedures presented Contains solutions and alternate methods for prediction accuracy and selecting model procedures Presents the first book to focus on ridge regression and unifies past research with current methodology Uses R throughout the text and includes a companion website containing convenient data sets Written for graduate students, practitioners, and researchers in various fields of science, Theory of Ridge Regression Estimation with Applications is an authoritative guide to the theory and methodology of statistical estimation.
Новинка

2339 руб.

Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that thedomains of variables are finite.As such, propositional logic finds applications in describing problems stemmingfrom computer science, computer engineering and combinatorial optimization.But logic goes beyond just providing descriptive means - it is supported bymechanisms for computation of answers.At present there is a class of software systems, SAT solvers, that allow(given enough of resources) for solving problems expressed in propositionallogic.This book studies syntax, semantics, and algorithms for finding solutions ofproblems expressible in propositional logic. It is addressed to individuals whowant to understand the principles on which SAT solvers are based and gain adeeper understanding of techniques used in logic-based solving.
Новинка

2152 руб.

This is the first of a two-volume work combining two fundamental components of contemporary computing into classical deductive computing, a powerful form of computation, highly adequate for programming and automated theorem proving, which, in turn, have fundamental applications in areas of high complexity and/or high security such as mathematical proof, software specification and verification, and expert systems. Deductive computation is concerned with truth-preservation: This is the essence of the satisfiability problem, or SAT, the central computational problem in computability and complexity theory. The Turing machine provides the classical version of this theory—classical computing—with its standard model, which is physically concretized—and thus spatial-temporally limited and restricted—in the von Neumann, or digital, computer. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing and classical deduction with the classical first-order predicate calculus with a view to computational implementations.As a complement to the mathematical-based exposition of the topics we offer the reader a very large selection of exercises. T...
Новинка

3552 руб.

Logic for Artificial Intelligence and Information Technology is based on student notes used to teach logic to second year undergraduates and Artificial Intelligence to graduate students at the University of London since1984, first at Imperial College and later at King's College.Logic has been applied to a wide variety of subjects such as theoretical computer science, software engineering, hardware design, logic programming, computational linguistics and artificial intelligence. In this way it has served to stimulate the research for clear conceptual foundations.Over the past 20 years many extensions of classical logic such as temporal, modal, relevance, fuzzy, probabilistic and non-monotoinic logics have been widely used in computer science and artificial intelligence, therefore requiring new formulations of classical logic, which can be modified to yield the effect of the new applied logics.The text introduces classical logic in a goal directed way which can easily deviate into discussing other applied logics. It defines the many types of logics and differences between them.Dov Gabbay, FRSC, FAvH, FRSA, FBCS, is Augustus De Morgan Professor of Logic at the University of London. He has written over 300 papers in logic and over 20 books. He is Editor-in-Chief of several leading journals and has published over 50 handbooks of logic volumes. He is a world authority on applied logics and is one of the directors and founder of the UK charity the International Federation of Com...
Новинка

9261.21 руб.

Presents an introduction to differential equations, probability, and stochastic processes with real-world applications of queues with delay and delayed network queues Featuring recent advances in queueing theory and modeling, Delayed and Network Queues provides the most up-to-date theories in queueing model applications. Balancing both theoretical and practical applications of queueing theory, the book introduces queueing network models as tools to assist in the answering of questions on cost and performance that arise throughout the life of a computer system and signal processing. Written by well-known researchers in the field, the book presents key information for understanding the essential aspects of queues with delay and networks of queues with unreliable nodes and vacationing servers. Beginning with simple analytical fundamentals, the book contains a selection of realistic and advanced queueing models that address current deficiencies. In addition, the book presents the treatment of queues with delay and networks of queues, including possible breakdowns and disruptions that may cause delay. Delayed and Network Queues also features: Numerous examples and exercises with applications in various fields of study such as mathematical sciences, biomathematics, engineering, physics, business, health industry, and economics A wide array of practical applications of network queues and queueing systems, all of which are related to the appropriate stochastic processes Up-to-date topical coverage such as single- and multiserver queues with and without delays, along with the necessary fundamental coverage of probability and difference equations Discussions on queueing models such as single- and multiserver Markovian queues with balking, reneging, delay, feedback, splitting, and blocking, as well as their role in the treatment of networks of queues with and without delay and network reliability Delayed and Network Queues is an excellent textbook for upper-undergraduate and graduate-level courses in applied mathematics, queueing theory, queueing systems, probability, and stochastic processes. The book is also an ideal reference for academics and practitioners in mathematical sciences, biomathematics, operations research, management, engineering, physics, business, economics, health industry, and industrial engineering. Aliakbar Montazer Haghighi, PhD, is Professor and Head of the Department of Mathematics at Prairie View A&M University, USA, as well as founding Editor-in-Chief of Applications and Applied Mathematics: An International Journal (AAM). His research interests include probability, statistics, stochastic processes, and queueing theory. Among his research publications and books, Dr. Haghighi is the coauthor of Difference and Differential Equations with Applications in Queueing Theory (Wiley, 2013). Dimitar P. Mishev, PhD, is Professor in the Department of Mathematics at Prairie View A&M University, USA. His research interests include differential and difference equations and queueing theory. The author of numerous research papers and three books, Dr. Mishev is the coauthor of Difference and Differential Equations with Applications in Queueing Theory (Wiley, 2013).
Новинка

8232.35 руб.

The only book to provide a unified view of the interplay between computational number theory and cryptography Computational number theory and modern cryptography are two of the most important and fundamental research fields in information security. In this book, Song Y. Yang combines knowledge of these two critical fields, providing a unified view of the relationships between computational number theory and cryptography. The author takes an innovative approach, presenting mathematical ideas first, thereupon treating cryptography as an immediate application of the mathematical concepts. The book also presents topics from number theory, which are relevant for applications in public-key cryptography, as well as modern topics, such as coding and lattice based cryptography for post-quantum cryptography. The author further covers the current research and applications for common cryptographic algorithms, describing the mathematical problems behind these applications in a manner accessible to computer scientists and engineers. Makes mathematical problems accessible to computer scientists and engineers by showing their immediate application Presents topics from number theory relevant for public-key cryptography applications Covers modern topics such as coding and lattice based cryptography for post-quantum cryptography Starts with the basics, then goes into applications and areas of active research Geared at a global audience; classroom tested in North America, Europe, and Asia Incudes exercises in every chapter Instructor resources available on the book’s Companion Website Computational Number Theory and Modern Cryptography is ideal for graduate and advanced undergraduate students in computer science, communications engineering, cryptography and mathematics. Computer scientists, practicing cryptographers, and other professionals involved in various security schemes will also find this book to be a helpful reference.
Новинка

8632.29 руб.

An authoritative and quantitative approach to modern game theory with applications from economics, political science, military science, and finance Mathematical Game Theory combines both the theoretical and mathematical foundations of game theory with a series of complex applications along with topics presented in a logical progression to achieve a unified presentation of research results. This book covers topics such as two-person games in strategic form, zero-sum games, N-person non-cooperative games in strategic form, two-person games in extensive form, parlor and sport games, bargaining theory, best-choice games, cooperative games and dynamic games. Several classical models used in economics are presented which include Cournot, Bertrand, Hotelling, and Stackelberg as well as coverage of modern branches of game theory such as negotiation models, potential games, parlor games, and best choice games. Mathematical Game Theory: • Presents a good balance of both theoretical foundations and complex applications of game theory. • Features an in-depth analysis of parlor and sport games, networking games, and bargaining models. • Provides fundamental results in new branches of game theory, best choice games, network games, and dynamic games. • Presents numerous examples and exercises along with detailed solutions at the end of each chapter. • Is supported by an accompanying website featuring course slides and lecture content. Covering a host of important topics, this book provides a research springboard for graduate students and a reference for researchers who might be working in the areas of applied mathematics, operations research, computer science, or economical cybernetics.
Новинка

2727 руб.

The ``Many Sides of Logic'' is a volume containing a selectionof the papers delivered at three simultaneous events heldbetween 11-17 May 2008 in Paraty, RJ, Brazil, continuing a traditionof three decades of Brazilian and Latin-American meetings and celebratingthe 30th anniversary of an institution congenital with the matureinterest for logic, epistemology and history of sciences in Brazil:CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and theHistory of Science at the State University of Campinas (UNICAMP)XV EBL -15th Brazilian Logic ConferenceXIV SLALM - 14th Latin-American Symposium on Mathematical LogicSeveral renowned logicians, philosophers and mathematicians gathered incolonial Paraty, a historic village on the Braziliancoast founded in the 17th Century and surrounded by the luscious Atlanticrain forest to deliver lectures and talks celebrating the many sides oflogic: the philosophical, the mathematical, the computational, the historical,and the multiple facets therein.The topics of the joint conferences, well represented here, includedphilosophical and mathematical Logic and applications with emphasis onmodel theory and proof theory, set theory, non-classical logics andapplications, history and philosophy of logic, philosophy of the formalsciences and issues on the foundations of mathematics.The events have been preceded by a Logic School planned for studentsand young researchers held at the UNICAMP campus in Campinas, SP.
Новинка

12349.01 руб.

A systematic introduction to the theory, development and latest research results of radar data processing technology • Presents both classical theory and development methods of radar data processing • Provides state-of-the-art research results, including data processing for modern style radars, and tracking performance evaluation theory • Includes coverage of performance evaluation, registration algorithm for Radar network, data processing of passive radar, pulse Doppler radar, and phased array radar • Has applications for those engaged in information engineering, radar engineering, electronic countermeasures, infrared techniques, sonar techniques, and military command
Новинка

8639 руб.

This book is designed in the light of the new guidelines of research. The 21st century is an era of globalization and technology which occupies the prime position. In this context, writing a text book on "Research Ethics in Computer Science" assumes special significance because of its importance and relevance to science and technology. We have endeavored to acquaint the readers with the tools, techniques, applications and challenges existing in the area of Computer Science. Matter in this book is the outcome of the hands-on research experience. This book is helpful for the Researchers in the field of Computer Science with theory and applications. The analysis should help shed some light on this new and exciting research and should be especially useful to professionals in Computer Science in the field of Image Processing and Remote Sensing.
Новинка

18294.12 руб.

Mathematical Morphology allows for the analysis and processing of geometrical structures using techniques based on the fields of set theory, lattice theory, topology, and random functions. It is the basis of morphological image processing, and finds applications in fields including digital image processing (DSP), as well as areas for graphs, surface meshes, solids, and other spatial structures. This book presents an up-to-date treatment of mathematical morphology, based on the three pillars that made it an important field of theoretical work and practical application: a solid theoretical foundation, a large body of applications and an efficient implementation. The book is divided into five parts and includes 20 chapters. The five parts are structured as follows: Part I sets out the fundamental aspects of the discipline, starting with a general introduction, followed by two more theory-focused chapters, one addressing its mathematical structure and including an updated formalism, which is the result of several decades of work. Part II extends this formalism to some non-deterministic aspects of the theory, in particular detailing links with other disciplines such as stereology, geostatistics and fuzzy logic. Part III addresses the theory of morphological filtering and segmentation, featuring modern connected approaches, from both theoretical and practical aspects. Part IV features practical aspects of mathematical morphology, in particular how to deal with color and multivariate data, links to discrete geometry and topology, and some algorithmic aspects; without which applications would be impossible. Part V showcases all the previously noted fields of work through a sample of interesting, representative and varied applications.
Новинка

12354.47 руб.

An in-depth description of the state-of-the-art of 3D shape analysis techniques and their applications This book discusses the different topics that come under the title of «3D shape analysis». It covers the theoretical foundations and the major solutions that have been presented in the literature. It also establishes links between solutions proposed by different communities that studied 3D shape, such as mathematics and statistics, medical imaging, computer vision, and computer graphics. The first part of 3D Shape Analysis: Fundamentals, Theory, and Applications provides a review of the background concepts such as methods for the acquisition and representation of 3D geometries, and the fundamentals of geometry and topology. It specifically covers stereo matching, structured light, and intrinsic vs. extrinsic properties of shape. Parts 2 and 3 present a range of mathematical and algorithmic tools (which are used for e.g., global descriptors, keypoint detectors, local feature descriptors, and algorithms) that are commonly used for the detection, registration, recognition, classification, and retrieval of 3D objects. Both also place strong emphasis on recent techniques motivated by the spread of commodity devices for 3D acquisition. Part 4 demonstrates the use of these techniques in a selection of 3D shape analysis applications. It covers 3D face recognition, object recognition in 3D scenes, and 3D shape retrieval. It also discusses examples of semantic applications and cross domain 3D retrieval, i.e. how to retrieve 3D models using various types of modalities, e.g. sketches and/or images. The book concludes with a summary of the main ideas and discussions of the future trends. 3D Shape Analysis: Fundamentals, Theory, and Applications is an excellent reference for graduate students, researchers, and professionals in different fields of mathematics, computer science, and engineering. It is also ideal for courses in computer vision and computer graphics, as well as for those seeking 3D industrial/commercial solutions.
Новинка

11498.89 руб.

From theory to techniques, the first all-in-one resource for EIS There is a clear demand in advanced process industries, defense, and Internet and communication (VoIP) applications for intelligent yet adaptive/evolving systems. Evolving Intelligent Systems is the first self- contained volume that covers this newly established concept in its entirety, from a systematic methodology to case studies to industrial applications. Featuring chapters written by leading world experts, it addresses the progress, trends, and major achievements in this emerging research field, with a strong emphasis on the balance between novel theoretical results and solutions and practical real-life applications. Explains the following fundamental approaches for developing evolving intelligent systems (EIS): the Hierarchical Prioritized Structure the Participatory Learning Paradigm the Evolving Takagi-Sugeno fuzzy systems (eTS+) the evolving clustering algorithm that stems from the well-known Gustafson-Kessel offline clustering algorithm Emphasizes the importance and increased interest in online processing of data streams Outlines the general strategy of using the fuzzy dynamic clustering as a foundation for evolvable information granulation Presents a methodology for developing robust and interpretable evolving fuzzy rule-based systems Introduces an integrated approach to incremental (real-time) feature extraction and classification Proposes a study on the stability of evolving neuro-fuzzy recurrent networks Details methodologies for evolving clustering and classification Reveals different applications of EIS to address real problems in areas of: evolving inferential sensors in chemical and petrochemical industry learning and recognition in robotics Features downloadable software resources Evolving Intelligent Systems is the one-stop reference guide for both theoretical and practical issues for computer scientists, engineers, researchers, applied mathematicians, machine learning and data mining experts, graduate students, and professionals.
Новинка

20907.56 руб.

Mathematical problems such as graph theory problems are of increasing importance for the analysis of modelling data in biomedical research such as in systems biology, neuronal network modelling etc. This book follows a new approach of including graph theory from a mathematical perspective with specific applications of graph theory in biomedical and computational sciences. The book is written by renowned experts in the field and offers valuable background information for a wide audience.
Новинка

1952 руб.

Deontic logic deals with obligation, permission and related normative concepts. This textbook introduces three frameworks that have dominated the landscape of deontic logic: monadic deontic logic, dyadic deontic logic, and input/output logic. It describes their language, semantics, proof theory, and gives soundness and completeness theorems. The addition of exercises makes the book ideal for self-study or as a textbook in class.Deontic logic remains neutral on application issues. Over the years, it has been applied in a variety of fields, including philosophy, ethics, linguistics, computer science, and the law. This textbook will serve as a valuable resource for students and researchers wishing to gain a practical understanding of deontic logic for use in their work.
Новинка

4639 руб.

In the past forty years there has been a revolution in logic. There is a widening consensus that mathematical logic has not been a satisfactory theory of argumentation, where argumentation is taken as a means of rational belief-revision and conflict resolution. It is also widely held that the traditional informal fallacies are inadequately analyzed in standard accounts found in the logical writings of the period 1950-1970.Here in nineteen chapters are the classical papers of Woods and Walton published in the decade 1972-1982, and constituting the so-called Woods-Walton Approach to fallacy theory. Originally published as a collection in 1989, the book is now re-issued with a new Forward by Dale Jacquette. Woods and Walton are recognized for their seminal role in reviving the fallacies project in logic and giving to the fallacies research programme much of its evolving character and emphasis. It is one of their principal contentions that the fallacies respond best to theoretical pluralism and that different analytical tools are needed for different fallacies.Again conveniently available in a single volume, these papers are indispensable reading for a new generation of researchers in informal logic, argumentation theory, critical thinking, computer science, linguistics and cognitive psychology.John Woods is also author of The Death of Argument: Fallacies in Agent-Based Reasoning 2005. Douglas Walton is author of A Pragmatic Theory of Fallacy 1995.
Новинка

8241.95 руб.

This comprehensive introduction to computational network theory as a branch of network theory builds on the understanding that such networks are a tool to derive or verify hypotheses by applying computational techniques to large scale network data. The highly experienced team of editors and high-profile authors from around the world present and explain a number of methods that are representative of computational network theory, derived from graph theory, as well as computational and statistical techniques. With its coherent structure and homogenous style, this reference is equally suitable for courses on computational networks.
Новинка

9182.7 руб.

Explains for the first time how «computing with words» can aid in making subjective judgments Lotfi Zadeh, the father of fuzzy logic, coined the phrase «computing with words» (CWW) to describe a methodology in which the objects of computation are words and propositions drawn from a natural language. Perceptual Computing explains how to implement CWW to aid in the important area of making subjective judgments, using a methodology that leads to an interactive device—a «Perceptual Computer»—that propagates random and linguistic uncertainties into the subjective judgment in a way that can be modeled and observed by the judgment maker. This book focuses on the three components of a Perceptual Computer—encoder, CWW engines, and decoder—and then provides detailed applications for each. It uses interval type-2 fuzzy sets (IT2 FSs) and fuzzy logic as the mathematical vehicle for perceptual computing, because such fuzzy sets can model first-order linguistic uncertainties whereas the usual kind of fuzzy sets cannot. Drawing upon the work on subjective judgments that Jerry Mendel and his students completed over the past decade, Perceptual Computing shows readers how to: Map word-data with its inherent uncertainties into an IT2 FS that captures these uncertainties Use uncertainty measures to quantify linguistic uncertainties Compare IT2 FSs by using similarity and rank Compute the subsethood of one IT2 FS in another such set Aggregate disparate data, ranging from numbers to uniformly weighted intervals to nonuniformly weighted intervals to words Aggregate multiple-fired IF-THEN rules so that the integrity of word IT2 FS models is preserved Free MATLAB-based software is also available online so readers can apply the methodology of perceptual computing immediately, and even try to improve upon it. Perceptual Computing is an important go-to for researchers and students in the fields of artificial intelligence and fuzzy logic, as well as for operations researchers, decision makers, psychologists, computer scientists, and computational intelligence experts.
Новинка

7044.42 руб.

The book focuses on mobile agents, which are computer programs that can autonomously migrate between network sites. This text introduces the concepts and principles of mobile agents, provides an overview of mobile agent technology, and focuses on applications in networking and distributed computing.
Новинка

1939 руб.

On 17-18 February 2011 the third installment of PhDs in Logic took place at the Academy Palace in Brussels, Belgium. Some forty European logicians gathered to discuss a diverse range of topics in mathematical and philosophical logic. PhDs in Logic is an annual series of graduate conferences/winter schools, run for and by PhD students. The winter school consists of tutorials taught by well established researchers; the graduate conference provides young logicians withan excellent opportunity to share their results with a large audience of peersand established logicians. This volume bundles thirteen of the papers presented at the graduate conference of PhDs in Logic III. These papers deal with a wide variety of topics, coming from subfields such as algebraic logic, set theory, and philosophical logic. All papers share the common goal of advancing the boundaries of research in logic and its applications, thus turning this volume into a unique overview of what's hot and upcoming in the field of logic.
Новинка

2027 руб.

Logic and philosophy of logic have increasingly become areas of research and great interest in Latin America and Spain, where significant work has been done and continues to be done in both of these fields. The goal of this volume is to draw attention to this work through a collection of original and unpublished papers by specialists from Latin America and Spain.Some of the papers are of importance for set-theory and model theory. They cover topics such as the foundations of paraconsistency, the use of paraconsistent logic as a basis for set-theory, and the methodological aspects in both the justiﬁcation of new axioms in set theory and the formalization of pre-theoretic notions. Other papers are related to epistemic logic. They deal with the issues of abduction and the choice of the simplest hypothesis, the definition of group probability, and the nature of explanation and understanding in such logic. There are also papers on logical paradoxes, the semantics of names (including fictional names), and the nature of relations. Max A. Freund is Professor of Logic and Philosophy at the University of Costa Rica and the National University of Costa Rica. He is co-author of the book Modal Logic: its syntax and semantics (Oxford University Press, 2008), as well as the author of Judicial Logic (Costa Rica Institute of Technology Press, 2007), and of a forthcoming book The Logic of Sortals (Springer, 2019).Max Fernandez de Castro is Professor of Logic and Philosophy at the Autonomous Me...
Новинка

10033.71 руб.

Describes how to systematically implement various characteristic mode (CM) theories into designs of practical antenna systems This book examines both theoretical developments of characteristic modes (CMs) and practical developments of CM-based methodologies for a variety of critical antenna designs. The book is divided into six chapters. Chapter 1 provides an introduction and discusses the recent advances of the CM theory and its applications in antenna engineering. Chapter 2 describes the formulation of the characteristic mode theory for perfectly electrically conducting (PEC) bodies and discusses its numerical implementations. Chapter 3 presents the CM theory for PEC structures embedded in multilayered medium and its applications. Chapter 4 covers recent advances in CM theory for dielectric bodies and also their applications. Chapter 5 discusses the CM theory for N-port networks and its applications to the design of antenna arrays. Finally, Chapter 6 discusses the design of platform-integrated antenna systems using characteristic modes. This book features the following: Introduces characteristic mode theories for various electromagnetic structures including PEC bodies, structures in multilayered medium, dielectric bodies, and N-port networks Examines CM applications in electrically small antennas, microstrip patch antennas, dielectric resonator antennas, multiport antennas, antenna arrays, and platform mounted antenna systems Discusses numerical algorithms for the implementation of the characteristic mode theories in computer code Characteristic Modes: Theory and Applications in Antenna Engineering will help antenna researchers, engineers, and students find new solutions for their antenna design challenges.
Новинка

11190.63 руб.

A hands-on guide to image registration theory and methods—with examples of a wide range of real-world applications Theory and Applications of Image Registration offers comprehensive coverage of feature-based image registration methods. It provides in-depth exploration of an array of fundamental issues, including image orientation detection, similarity measures, feature extraction methods, and elastic transformation functions. Also covered are robust parameter estimation, validation methods, multi-temporal and multi-modality image registration, methods for determining the orientation of an image, methods for identifying locally unique neighborhoods in an image, methods for detecting lines in an image, methods for finding corresponding points and corresponding lines in images, registration of video images to create panoramas, and much more. Theory and Applications of Image Registration provides readers with a practical guide to the theory and underpinning principles. Throughout the book numerous real-world examples are given, illustrating how image registration can be applied to problems in various fields, including biomedicine, remote sensing, and computer vision. Also provided are software routines to help readers develop their image registration skills. Many of the algorithms described in the book have been implemented, and the software packages are made available to the readers of the book on a companion website. In addition, the book: Explores the fundamentals of image registration and provides a comprehensive look at its multi-disciplinary applications Reviews real-world applications of image registration in the fields of biomedical imaging, remote sensing, computer vision, and more Discusses methods in the registration of long videos in target tracking and 3-D reconstruction Addresses key research topics and explores potential solutions to a number of open problems in image registration Includes a companion website featuring fully implemented algorithms and image registration software for hands-on learning Theory and Applications of Image Registration is a valuable resource for researchers and professionals working in industry and government agencies where image registration techniques are routinely employed. It is also an excellent supplementary text for graduate students in computer science, electrical engineering, software engineering, and medical physics.
Новинка

7402 руб.

The study of non-associative rings has yielded many interesting results. The special theories like the theory of alternative rings, in which the associative law is replaced by a weak substitute,have applications almost comparable to the theory of associative rings. The study of right alternative rings is bound to be useful, for it is a valuable tool in ares of mathematics such as Graph theory, Functional analysis as well as in more practical world of Mathematical Economics, Computer Science and Engineering.
Новинка

9569.43 руб.

A novel approach to decision engineering, with a verified framework for modeling human reasoning Soft Computing Evaluation Logic provides an in-depth examination of evaluation decision problems and presents comprehensive guidance toward the use of the Logic Scoring of Preference (LSP) method in modeling complex decision criteria. Fully aligned with current developments in computational intelligence, the discussion covers the design and use of LSP criteria for evaluation and comparison in diverse areas, such as search engines, medical conditions, real estate, space management, habitat mitigation projects in ecology, and land use and residential development suitability maps, with versatile transfer to other similar decision-modeling contexts. Human decision making is rife with fuzziness, imprecision, uncertainty, and half-truths—yet humans make evaluation decisions every day. In this book, such decision processes are observed, analyzed, and modeled. The result is graded logic, a soft computing mathematical infrastructure that provides both formal logic and semantic generalizations of classical Boolean logic. Graded logic is used for logic aggregation in the context of evaluation models consistent with observable properties of human reasoning. The LSP method, based on graded logic and logic aggregation, is a vital component of an industrial-strength decision engineering framework. Thus, the book: Provides detailed theoretical background for graded logic Provides a theory of logic aggregators Explains the LSP method for designing complex evaluation criteria and their use Shows techniques for evaluation, comparison, and selection of complex systems, as well as the cost/suitability analysis, optimization, sensitivity analysis, tradeoff analysis, and missingness-tolerant aggregation Includes a survey of available LSP software tools, including ISEE, ANSY and LSP.NT. With quantitative modeling of human reasoning, novel approaches to modeling decision criteria, and a verified decision engineering framework applicable to a broad array of applications, this book is an invaluable resource for graduate students, researchers, and practitioners working within the decision engineering realm.
Новинка

2164 руб.

This volume is a homage to the computer scientist and philosopherTarcísio Haroldo Cavalcante Pequeno. Tarcísio dedicated his researchto subjects ranging from logic to philosophy through artificialintelligence, theoretical computer science and language. His maincontributions were in nonmonotonic and paraconsistent logics,especially the study of negation; algebraic approaches to the semanticsof programming languages, applications of intuitions from gamesemantics to automatic theorem proving; tableaux methods forparaconsistent logics and the role of rule following and ruleconsciousness in cognition, motivated by his interest in philosophyand the problem of demarcation of rationality.The contributions to this volume reflect the broad range of interests characteristic ofTarcísio's scientific interests. Topics include relations betweenlogic and category theory, specifications of model checkers,philosophy of paraconsistent logics, epistemic logic, abstractargumentation semantics, natural language processing, foundations ofmathematics, philosophical aspects of natural language processing,philosophy of logic and language, metaphysics, philosophy of science.During the last forty years, Tarcísio oriented, inspired andcollaborated with many researchers and established the field of logicas an active research area in Northeast Brazil. This book expressesthe admiration of his colleagues and the recognition of his influenceon their academic lives.
Новинка

11879.3 руб.

How many ways do exist to mix different ingredients, how many chances to win a gambling game, how many possible paths going from one place to another in a network ? To this kind of questions Mathematics applied to computer gives a stimulating and exhaustive answer. This text, presented in three parts (Combinatorics, Probability, Graphs) addresses all those who wish to acquire basic or advanced knowledge in combinatorial theories. It is actually also used as a textbook. Basic and advanced theoretical elements are presented through simple applications like the Sudoku game, search engine algorithm and other easy to grasp applications. Through the progression from simple to complex, the teacher acquires knowledge of the state of the art of combinatorial theory. The non conventional simultaneous presentation of algorithms, programs and theory permits a powerful mixture of theory and practice. All in all, the originality of this approach gives a refreshing view on combinatorial theory.
Новинка

1330 руб.

2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient way of treating algebraic logic in a unified manner.
Новинка

1564 руб.

The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net). Presents an introduction to differential equations, probability, and stochastic processes with real-world applications of queues with delay and delayed network queues Featuring recent advances in queueing theory and modeling, Delayed and Network Queues provides the most up-to-date theories in queueing model applications. Balancing both theoretical and practical applications of queueing theory, the book introduces queueing network models as tools to assist in the answering of questions on cost and performance that arise throughout the life of a computer system and signal processing. Written by well-known researchers in the field, the book presents key information for understanding the essential aspects of queues with delay and networks of queues with unreliable nodes and vacationing servers. Beginning with simple analytical fundamentals, the book contains a selection of realistic and advanced queueing models that address current deficiencies. In addition, the book presents the treatment of queues with delay and networks of queues, including possible breakdowns and disruptions that may cause delay. Delayed and Network Queues also features: Numerous examples and exercises with applications in various fields of study such as mathematical sciences, biomathematics, engineering, physics, business, health industry, and economics A wide array of practical applications of network queues and queueing systems, all of which are related to the appropriate stochastic processes Up-to-date topical coverage such as single- and multiserver queues with and without delays, along with the necessary fundamental coverage of probability and difference equations Discussions on queueing models such as single- and multiserver Markovian queues with balking, reneging, delay, feedback, splitting, and blocking, as well as their role in the treatment of networks of queues with and without delay and network reliability Delayed and Network Queues is an excellent textbook for upper-undergraduate and graduate-level courses in applied mathematics, queueing theory, queueing systems, probability, and stochastic processes. The book is also an ideal reference for academics and practitioners in mathematical sciences, biomathematics, operations research, management, engineering, physics, business, economics, health industry, and industrial engineering. Aliakbar Montazer Haghighi, PhD, is Professor and Head of the Department of Mathematics at Prairie View A&M University, USA, as well as founding Editor-in-Chief of Applications and Applied Mathematics: An International Journal (AAM). His research interests include probability, statistics, stochastic processes, and queueing theory. Among his research publications and books, Dr. Haghighi is the coauthor of Difference and Differential Equations with Applications in Queueing Theory (Wiley, 2013). Dimitar P. Mishev, PhD, is Professor in the Department of Mathematics at Prairie View A&M University, USA. His research interests include differential and difference equations and queueing theory. The author of numerous research papers and three books, Dr. Mishev is the coauthor of Difference and Differential Equations with Applications in Queueing Theory (Wiley, 2013).