Fuzzy Techniques: Theory and Applications, Ralph Baker Kearfott; Ildar Batyrshin; Marek Refor
Автор: Srikanta Patnaik; Baojiang Zhong Название: Soft Computing Techniques in Engineering Applications ISBN: 3319046926 ISBN-13(EAN): 9783319046921 Издательство: Springer Рейтинг: Цена: 19591.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book details recent research on soft computing techniques in vision science. It presents basic research extending to visual perception and visual system, cognitive psychology and psychophysics.
Автор: Seyed Hadi Nasseri; Ali Ebrahimnejad; Bing-Yuan Ca Название: Fuzzy Linear Programming: Solution Techniques and Applications ISBN: 3030174190 ISBN-13(EAN): 9783030174194 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Поставка под заказ.
Описание: This book presents the necessary and essential backgrounds of fuzzy set theory and linear programming, particularly a broad range of common Fuzzy Linear Programming (FLP) models and related, convenient solution techniques. These models and methods belong to three common classes of fuzzy linear programming, namely: (i) FLP problems in which all coefficients are fuzzy numbers, (ii) FLP problems in which the right-hand-side vectors and the decision variables are fuzzy numbers, and (iii) FLP problems in which the cost coefficients, the right-hand-side vectors and the decision variables are fuzzy numbers. The book essentially generalizes the well-known solution algorithms used in linear programming to the fuzzy environment. Accordingly, it can be used not only as a textbook, teaching material or reference book for undergraduate and graduate students in courses on applied mathematics, computer science, management science, industrial engineering, artificial intelligence, fuzzy information processes, and operations research, but can also serve as a reference book for researchers in these fields, especially those engaged in optimization and soft computing. For textbook purposes, it also includes simple and illustrative examples to help readers who are new to the field.
Описание: Artificial intelligence is at the forefront of research and implementation in many industries including healthcare and agriculture. Whether it's detecting disease or generating algorithms, deep learning techniques are advancing exponentially. Researchers and professionals need a platform in which they can keep up with machine learning trends and their developments in the real world.
The Handbook of Research on Applications and Implementations of Machine Learning Techniques provides innovative insights into the multi-disciplinary applications of machine learning algorithms for data analytics. The content within this publication examines disease identification, neural networks, and language support. It is designed for IT professionals, developers, data analysts, technology specialists, R&D professionals, industrialists, practitioners, researchers, academicians, and students seeking research on deep learning procedures and their enactments in the fields of medicine, engineering, and computer science.
Автор: Andrei Voronkov Название: Rewriting Techniques and Applications ISBN: 3540705880 ISBN-13(EAN): 9783540705888 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008. This book includes papers that cover research on various aspects of rewriting including areas such as applications and foundational issues.
Автор: Chang Wen Chen; Zhu Li; Shiguo Lian Название: Intelligent Multimedia Communication: Techniques and Applications ISBN: 3642269435 ISBN-13(EAN): 9783642269431 Издательство: Springer Рейтинг: Цена: 22201.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book explores aspects of multimedia data, including fundamental knowledge and the latest key techniques, and also typical applications and open issues. Coverage includes present and future video coding standards, free-viewpoint TV techniques, and more.
Описание: Statistical Model Checking: Past, Present and Future.- Hypothesis testing for rare-event simulation: limitations and possibilities.- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.- Feedback Control for Statistical Model Checking of Cyber-Physical Systems.- Probabilistic Model Checking of Incomplete Models.- Plasma Lab: A Modular Statistical Model Checking Platform.- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO.- Statistical Model Checking for Product Lines.- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems.- Better railway engineering through statistical model checking.- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle.- Automatic Synthesis of Code using Genetic Programming.- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).- Symbolic Execution with CEGAR.- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations.- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form.- A Model Interpreter for Timed Automata.- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction.- Combinatory Process Synthesis.- Synthesis from a Practical Perspective.- A Long and Winding Road Towards Modular Synthesis.- Semantic heterogeneity in the formal development of complex systems: an introduction.- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach.- Towards Functional Requirements Analytics.- Heterogeneous Semantics and Unifying Theories.- Static and Runtime Verification: Competitors or Friends?.- StaRVOOrS - Episode II, Strengthen and Distribute the Force.- A Model-Based Approach to Combining Static and Dynamic Verification Techniques.- Information flow analysis for Go.- Challenges in High-Assurance Runtime Verification .- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.- Considering Type-State Verification for Quantified Event Automata.- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.- On Combinations of Static and Dynamic Analysis.- Safer Refactorings.- Rigorous Engineering of Collective Adaptive Systems.- Programming of CAS systems by relying on attribute-based communication.- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems.- A Calculus for Open Ensembles and Their Composition.- Logic Fragments: coordinating entities with logic programs.- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference.- A Library and Scripting Language for Tool Independent Simulation Descriptions.- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel.- Smart coordination of autonomic component ensembles in the context of ad-hoc communication.- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems.- Rigorous graphical modelling of movement in Collective Adaptive Systems.- Integration and Promotion of Autonomy with the ARE Framework.- Safe Artificial Intelligence and Formal Methods.- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues.- Correctness-by-Construction and Post-hoc Verification: Friends or Foes?.- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?.- Deductive Verification of Legacy Code.- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families.- Conditions for Compatibility of Components - The case of masters and slaves.- A Logic for Statistical Model Checking of Dynamic Software Architectures.- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms
Описание: This book covers the combination of technologies which enables the transformation of everyday objects into smart objects, creating a paradigm that connects the real world with the digital world. Discusses progress made thus far, and emerging innovations.
Описание: This book brings together academic scientists, professors, research scholars and students to share and disseminate information on knowledge and scientific research works related to computing, networking, and informatics to discuss the practical challenges encountered and the solutions adopted.
Описание: This book introduces readers to innovative bio-inspired computing techniques for image processing applications. It demonstrates how a significant drawback of image processing - not providing the simultaneous benefits of high accuracy and less complexity - can be overcome, proposing bio-inspired methodologies to help do so.
Описание: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
Описание: This book covers the combination of technologies which enables the transformation of everyday objects into smart objects, creating a paradigm that connects the real world with the digital world. Discusses progress made thus far, and emerging innovations.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
