Автор: Eduardo Massad; Neli R.S. Ortega; La?cio C. Barros Название: Fuzzy Logic in Action: Applications in Epidemiology and Beyond ISBN: 3540690921 ISBN-13(EAN): 9783540690924 Издательство: Springer Рейтинг: Цена: 32004.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book marks a paradigm shift in medical science. It explores topics in epidemiology, mathematical modeling and uncertainty within the framework of fuzzy sets and dynamic systems, giving new ways to predict, diagnose and treat various ailments.
Автор: Gan Название: Visual Sensing and its Applications ISBN: 3642182860 ISBN-13(EAN): 9783642182860 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Поставка под заказ.
Описание: “Visual Sensing and its Applications: Integration of Laser Sensors to Industrial Robots” provides comprehensive and up-to-date coverage of research and development on this robotic vision system. A laser-structured light is the main concern in discussions of visual sensing. Also addressed in this book are all components of the robotic vision system and an emphasis on how to increase the accuracy of the system using three levels of calibration. This includes calibration of the vision system (eye calibration), calibration of eye-to-hand configuration and calibration of robot kinematics (hand calibration). With the integration of the laser sensors to industrial robots numerous applications in the field of robotic welding, grinding, machining, inspection, and palletizing are illustrated based on practical engineering projects in order to demonstrate how the visual sensing is performed. The book will serve as a valuable resource for researchers and engineers in the areas of robotics and machine vision. Dr. Zhongxue Gan is a vice chairman and chief scientist of the ENN Group, China. He serves as a member of the National Energy Expert Consultation Committee of China and member of the National Coal Council of the USA. He is also a co-founder of Intersmart Robotic Systems Co. Ltd., China. He was a research fellow in flexible automation systems at ABB and a founding director of ABB Corporate Research Robot Laboratories, both in the USA and in China. Dr. Qing Tang is a co-founder and CEO of Intersmart Robotic Systems Co. Ltd., China and an adjunct professor in Physics at Sichuan University, China. He was a principle consulting engineer and project manager at the ABB Corporate Research Robot Laboratory in the USA.
Автор: Ghosh Название: Logic and Its Applications ISBN: 3662540681 ISBN-13(EAN): 9783662540688 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge.
Автор: Lucanu Название: Rewriting Logic and Its Applications ISBN: 3319448013 ISBN-13(EAN): 9783319448015 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on Rewriting Logic and its Applications, WRLA 2016, held as a satellite event of ETAPS 2016, in Eindhoven, The Netherlands, in April 2016.The 8 revised full papers presented together with 2 invited papers and 3 abstracts were carefully reviewed and selected from 14 submissions. The papers cover several topics such as: foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; and applications.
Автор: Santiago Escobar Название: Rewriting Logic and Its Applications ISBN: 3319129031 ISBN-13(EAN): 9783319129037 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation.- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude.- Real-Time Maude and Its Applications.- Conditional Narrowing Modulo in Rewriting Logic and Maude.- Language Definitions as Rewrite Theories.- Infinite-State Model Checking of LTLR Formulas Using Narrowing.- Modelling and Verifying Contract-Oriented Systems in Maude.- Towards Static Analysis of Functional Programs Using Tree Automata Completion.- Framework for Mobile Ad hoc Networks in Real-Time Maude.- Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.- 2D Dependency Pairs for Proving Operational Termination of CTRSs.- FunKons: Component-Based Semantics in K.- An Integration of CafeOBJ into Full Maude.- Rewriting Modulo SMT and Open System Analysis.- Formal Specification of Button-Related Fault-Tolerance Micropatterns.- A Formal Semantics of the OSEK/VDX Standard in K Framework and Its Applications.
Автор: Dan E. Tamir; Naphtali D. Rishe; Abraham Kandel Название: Fifty Years of Fuzzy Logic and its Applications ISBN: 3319382411 ISBN-13(EAN): 9783319382418 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a comprehensive report on the evolution of Fuzzy Logic since its formulation in Lotfi Zadeh`s seminal paper on "fuzzy sets," published in 1965.
Автор: Mohua Banerjee; Krishna S. Название: Logic and Its Applications ISBN: 3662458233 ISBN-13(EAN): 9783662458235 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Homotopy Type Theory.- The Relevance of Relevance to Relevance Logic.- Logic-Automata Connections for Transformations.- Truths about Simpson's Paradox: Saving the Paradox from Falsity.- Some instances of graded consequence in the context of interval-valued Semantics.- Neighborhood Contingency Logic.- Hierarchies in inclusion logic with lax semantics.- A Modal Logic for Non-deterministic Information Systems.- Tableaux for non-normal public announcement logic.-A pragmatistic approach to propositional knowledge based on the successful behavior of belief.- Bьchi Automata Optimisations Formalised in Isabelle/HOL.- Nēya's logical model for Ascertaining Sound Arguments.- Negative Existentials and Non-denoting Terms.- Ordinals in an algebra-valued model of a paraconsistent set theory.- Extending Carnap's Continuum to Binary Relations. Representing Imperfect Information of Procedures with Hyper Models.
Описание: Fuzzy Logic and its Applications... covers a wide range of the theory and applications of fuzzy logic and related systems, including industrial applications of fuzzy technology, implementing human intelligence in machines and systems.
Автор: Vito Di Ges?; Francesco Masulli; Alfredo Petrosino Название: Fuzzy Logic and Applications ISBN: 3540310193 ISBN-13(EAN): 9783540310198 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in 2003. This work addresses the issues of theoretical, experimental and applied fuzzy logic and related techniques, focussing on rough set theory, neural networks, genetic algorithms and soft computing.
Автор: Isabelle Bloch; Alfredo Petrosino; Andrea G.B. Tet Название: Fuzzy Logic and Applications ISBN: 3540325298 ISBN-13(EAN): 9783540325291 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Fuzzy Logic and Applications held in September 2005. This book includes papers that are organized in topical sections on neuro-fuzzy systems, fuzzy logic and possibility theory, pattern recognition, evolutionary algorithms, control, and bioinformatics.
Автор: Jeffrey J. Joyce; Carl-Johan H. Seger Название: Higher Order Logic Theorem Proving and Its Applications ISBN: 3540578269 ISBN-13(EAN): 9783540578260 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Containing the edited proceedings of the 1993 Higher-Order Logic User`s Group Workshop, held at the University of British Columbia, Vancouver, Canada in August 1993, this volume explores higher-order logic theory proving, its usage and applications.
Автор: J. Harris Название: Fuzzy Logic Applications in Engineering Science ISBN: 9048170346 ISBN-13(EAN): 9789048170340 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Fuzzy logic is a relatively new concept in science applications. Hitherto, fuzzy logic has been a conceptual process applied in the field of risk management. Its potential applicability is much wider than that, however, and its particular suitability for expanding our understanding of processes and information in science and engineering in our post-modern world is only just beginning to be appreciated.
Written as a companion text to the author's earlier volume "An Introduction to Fuzzy Logic Applications", the book is aimed at professional engineers and students and those with an interest in exploring the potential of fuzzy logic as an information processing kit with a wide variety of practical applications in the field of engineering science and develops themes and topics introduced in the author's earlier text.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
