Advanced Intelligent Systems for Sustainable Development (Ai2sd`2019): Volume 5 - Advances Intelligent Systems for Multimedia Processing and Mathemati, Ezziyyani Mostafa
Описание: This book presents real-world problems and exploratory research in computational statistics, mathematical modeling, artificial intelligence and software engineering in the context of the intelligent systems.This book constitutes the refereed proceedings of the 3rd Computational Methods in Systems and Software 2019 (CoMeSySo 2019), a groundbreaking online conference that provides an international forum for discussing the latest high-quality research results.
Автор: James N. Furze; Anil K. Gupta; Darren M. Reynolds; Название: Mathematical Advances Towards Sustainable Environmental Systems ISBN: 3319439006 ISBN-13(EAN): 9783319439006 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This edited volume focuses on how we can protect our environment and enhance environmental sustainability when faced with changes and pressures imposed by our expansive needs. The volume unites multiple subject areas within sustainability, enabling the techniques and philosophy in the chapters to be applied to research areas in environmental science, plant sciences, energy, biodiversity and conservation. The chapters from expert contributors cover topics such as mathematical modelling tools used to monitor diversity of plant species, and the stability of ecosystem services such as biogeochemical cycling. Empirical research presented here also brings together mathematical developments in the important fields of robotics including kinematics, dynamics, path planning, control, vision, and swarmanoids. Through this book readers will also discover about rainfall-runoff modelling which will give them a better idea of the effects of climate change on the sustainability of water resources at the watershed scale. Modelling approaches will also be examined that maximize readers insights into the global problem of energy transition, i.e. the switch to an energy production system using renewable resources only. Collective and discrete insights are made to assist with synergy which should progress well beyond this book. Insight is also given to assist policy formations, development and implementations. The book has a strong multi-disciplinary nature at its core, and will appeal to both generalist readers and specialists in information technology, mathematics, biology, physics, chemistry and environmental sciences.
Автор: Herman Geuvers; Matthew England; Osman Hasan; Flor Название: Intelligent Computer Mathematics ISBN: 3319620746 ISBN-13(EAN): 9783319620749 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning;
Описание: This book describes the latest advances in intelligent techniques such as fuzzy logic, neural networks, and optimization algorithms, and their relevance in building intelligent information systems in combination with applied mathematics.
Автор: Radek Silhavy; Roman Senkerik; Zuzana Kominkova Op Название: Cybernetics and Mathematics Applications in Intelligent Systems ISBN: 3319572636 ISBN-13(EAN): 9783319572635 Издательство: Springer Рейтинг: Цена: 27950.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents new methods for and approaches to real-world problems as well as exploratory research describing novel mathematics and cybernetics applications in intelligent systems.
Автор: Furze James N., Swing Kelly, Gupta Anil K. Название: Mathematical Advances Towards Sustainable Environmental Systems ISBN: 3319829386 ISBN-13(EAN): 9783319829388 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Through this book readers will also discover about rainfall-runoff modelling which will give them a better idea of the effects of climate change on the sustainability of water resources at the watershed scale.
Автор: Tecuci Название: Knowledge Engineering ISBN: 1107122562 ISBN-13(EAN): 9781107122567 Издательство: Cambridge Academ Рейтинг: Цена: 11722.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents a significant advancement in knowledge engineering based on learning agent technology. Using the software Disciple-EBR, students, practitioners, and researchers can rapidly develop learning assistants in numerous domains that require evidence-based reasoning, including cyber security, law, forensics, medicine, and education.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions.
Автор: Jacques Carette; David Aspinall; Christoph Lange; Название: Intelligent Computer Mathematics ISBN: 3642393195 ISBN-13(EAN): 9783642393198 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Calculemus.- The Rooster and the Butterflies.- Optimising Problem Formulation for Cylindrical Algebraic Decomposition.- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation.- Certification of Bounds of Non-linear Functions: The Templates Method.- Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy.- A Universal Machine for Biform Theory Graphs.- MKM.- Mathematical Practice, Crowdsourcing, and Social Machines.- Automated Reasoning Service for HOL Light.- Understanding Branch Cuts of Expressions.- Formal Mathematics on Display: A Wiki for Flyspeck.- Determining Points on Handwritten Mathematical Symbols.- Capturing Hiproofs in HOL Light.- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.- Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System.- DML.- Mathematics and the World Wide Web.- Structural Similarity Search for Mathematics Retrieval.- Towards Machine-Actionable Modules of a Digital Mathematics Library: The Example of DML-CZ.- A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions.- Three Years of DLMF: Web, Math and Search.- Escaping the Trap of Too Precise Topic Queries.- Using MathML to Represent Units of Measurement for Improved Ontology Alignment.- Systems and Projects.- A Web Interface for Isabelle: The Next Generation.- The ForMaRE Project - Formal Mathematical Reasoning in Economics.- LATExml 2012 - A Year of LATExml.- The MMT API: A Generic MKM System.- Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today.- A Dynamic Symbolic Geometry Environment Based on the GrцbnerCover Algorithm for the Computation of Geometric Loci and Envelopes.- ML4PG in Computer Algebra Verification.- Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.- The Web Geometry Laboratory Project.- swMATH - A New Information Service for Mathematical Software.- Software for Evaluating Relevance of Steps in Algebraic Transformations.- The DeLiVerMATH Project: Text Analysis in Mathematics.
Автор: Rabe Название: Intelligent Computer Mathematics ISBN: 3319968114 ISBN-13(EAN): 9783319968117 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018.
Автор: George A. Anastassiou Название: Intelligent Mathematics: Computational Analysis ISBN: 3642436587 ISBN-13(EAN): 9783642436581 Издательство: Springer Рейтинг: Цена: 36570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Knowledge can be modeled and computed using computational mathematical methods, then lead to real world conclusions. This book examines a wide array of topics in computational analysis.
Автор: Cezary Kaliszyk; Edwin Brady; Andrea Kohlhase; Cla Название: Intelligent Computer Mathematics ISBN: 3030232492 ISBN-13(EAN): 9783030232498 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
