Автор: Babo Rosalina, Dey Nilanjan, Ashour Amira S. Название: Workgroups Eassessment: Planning, Implementing and Analysing Frameworks ISBN: 9811599076 ISBN-13(EAN): 9789811599071 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book was developed during a particular pandemic situation in the whole world which confined people to their homes. This book provides a better understanding about the importance of teams` assessment and collaborative work, as well as the use of collaboration tools and online assessment techniques supported by technology.
Автор: Leite Diego Azevedo Название: The Twenty-First Century Mechanistic Theory of Human Cognition: A Critical Analysis ISBN: 3030636798 ISBN-13(EAN): 9783030636791 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents a theoretical critical appraisal of the Mechanistic Theory of Human Cognition (MTHC), which is one of the most popular major theories in the contemporary field of cognitive science.
Автор: Satapathy Suresh Chandra, Zhang Yu-Dong, Bhateja Vikrant Название: Intelligent Data Engineering and Analytics: Frontiers in Intelligent Computing: Theory and Applications (Ficta 2020), Volume 2 ISBN: 9811556784 ISBN-13(EAN): 9789811556784 Издательство: Springer Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gathers the proceedings of the 8th International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA 2020), held at NIT Surathkal, Karnataka, India, on 4-5 January 2020.
Автор: Rita Singh Название: Profiling Humans from their Voice ISBN: 9811384029 ISBN-13(EAN): 9789811384028 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is about recent research in the area of profiling humans from their voice, which seeks to deduce and describe the speaker's entire persona and their surroundings from voice alone. It covers several key aspects of this technology, describing how the human voice is unique in its ability to both capture and influence the human persona -- how, in some ways, voice is more potent and valuable then DNA and fingerprints as a metric, since it not only carries information about the speaker, but also about their current state and their surroundings at the time of speaking. It provides a comprehensive review of advances made in multiple scientific fields that now contribute to its foundations. It describes how artificial intelligence enables mechanisms of discovery that were not possible before in this context, driving the field forward in unprecedented ways. It also touches upon related and relevant challenges posed by voice disguise and other mechanisms of voice manipulation. The book acts as a good resource for academic researchers, and for professional agencies in many areas such as law enforcement, healthcare, social services, entertainment etc.
Автор: Hernes Marcin, Wojtkiewicz Krystian, Szczerbicki Edward Название: Advances in Computational Collective Intelligence: 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 - December 3, 2020, Procee ISBN: 3030631184 ISBN-13(EAN): 9783030631185 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes refereed proceedings of the 12th International Conference on International Conference on Computational Collective Intelligence, ICCCI 2020, held in Da Nang, Vietnam, in November - December 2020. intelligent management information systems; intelligent modeling and simulation approaches for games and real world systems;
Автор: Chew Esyin, Abdul Majeed Anwar P. P., Liu Pengcheng Название: Rita 2020: Proceedings of the 8th International Conference on Robot Intelligence Technology and Applications ISBN: 9811648026 ISBN-13(EAN): 9789811648021 Издательство: Springer Цена: 222670.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The areas covered include: Instrumentation and Control, Automation, Autonomous Systems, Biomechatronics and Rehabilitation Engineering, Intelligent Systems, Machine Learning, Mobile Robotics, Social Robotics and Humanoid Robotics, Sensors and Actuators, and Machine Vision, as well as Signal and Image Processing.
Автор: Gheorghe Gheorghe Ion Название: Proceedings of the International Conference of Mechatronics and Cyber- Mixmechatronics - 2020 ISBN: 3030539725 ISBN-13(EAN): 9783030539726 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book presents state-of-the-art research in the field of mechatronics and cyber-mixmechatronics, gathering papers from almost all continents.
Автор: Lopata Audrius, Butkiene Rita, Gudoniene Daina Название: Information and Software Technologies: 26th International Conference, Icist 2020, Kaunas, Lithuania, October 15-17, 2020, Proceedings ISBN: 3030595056 ISBN-13(EAN): 9783030595050 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 26th International Conference on Information and Software Technologies, ICIST 2020, held in Kaunas, Lithuania, in October 2020.The 23 full papers and 7 short papers presented were carefully reviewed and selected from 78 submissions.
Автор: Nakano Keisuke, Sagonas Konstantinos Название: Functional and Logic Programming: 15th International Symposium, Flops 2020, Akita, Japan, September 14-16, 2020, Proceedings ISBN: 3030590240 ISBN-13(EAN): 9783030590246 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Interactive Theorem Proving/ HOL.- Competing inheritance paths in dependent type theory: a case study in functional analysis.- A Lean tactic for normalising ring expressions with exponents (short paper).- Practical proof search for Coq by type inhabitation.- Quotients of Bounded Natural Functors.- Trakhtenbrot's Theorem in Coq.- Deep Generation of Coq Lemma Names Using Elaborated Terms.- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.- Validating Mathematical Structures.- Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description).- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.- Formalizations.- Formalizing the Face Lattice of Polyhedra.- Algebraically Closed Fields in Isabelle/HOL.- Formalization of Forcing in Isabelle/ZF.- Reasoning about Algebraic Structures with Implicit Carriers in Isabelle/HOL.- Formal Proof of the Group Law for Edwards Elliptic Curves.- Verifying Farad_zev-Read type Isomorph-Free Exhaustive Generation.- Verification.- Verified Approximation Algorithms.- Efficient Verified Implementation of Introsort and Pdqsort.- A Fast Verified Liveness Analysis in SSA form.- Verification of Closest Pair of Points Algorithms.- Reasoning Systems and Tools.- A Polymorphic Vampire (short paper).- N-PAT: A Nested Model-Checker (system description).- HYPNO: Theorem Proving with Hypersequent Calculi for Non-Normal Modal Logics (system description).- Implementing superposition in iProver (system description).- Moin: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (system description).- Make E Smart Again.- Automatically Proving and Disproving Feasibility Conditions.- -term: Verify Termination Properties Automatically (system description).- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description).- The Imandra Automated Reasoning System (system description).- A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (system description).- Sequoia: a playground for logicians (system description).- Prolog Technology Reinforcement Learning Prover (system description).
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
