Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Proceedings, Wang Xin, Lisi Francesca Alessandra, Xiao Guohui
Автор: Shi Zhongzhi, Vadera Sunil, Chang Elizabeth Название: Intelligent Information Processing X: 11th Ifip Tc 12 International Conference, Iip 2020, Hangzhou, China, July 3-6, 2020, Proceedings ISBN: 3030469301 ISBN-13(EAN): 9783030469306 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 11th IFIP TC 12 International Conference on Intelligent Information Processing, IIP 2020, held in Hangzhou, China, in July 2020. The 24 full papers and 5 short papers presented were carefully reviewed and selected from 36 submissions. and computer vision and image understanding.
Автор: Gao Honghao, Feng Zhiyong, Yu Jun Название: Communications and Networking: 14th Eai International Conference, Chinacom 2019, Shanghai, China, November 29 - December 1, 2019, Proceedings, Part I ISBN: 3030411133 ISBN-13(EAN): 9783030411138 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers are organized in topical sections on Internet of Things (IoT), antenna, microwave and cellular communication, wireless communications and networking, network and information security, communication QoS, reliability and modeling, pattern recognition and image signal processing, and information processing.
Автор: Jain Lakhmi C., Peng Sheng-Lung, Wang Shiuh-Jeng Название: Security with Intelligent Computing and Big-Data Services 2019: Proceedings of the 3rd International Conference on Security with Intelligent Computing ISBN: 3030468275 ISBN-13(EAN): 9783030468279 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This edited book is about basics and high level concepts regarding Blockchain Technology and Application, Multimedia Security, Information Processing, Security of Network, Cloud and IoT, Cryptography and Cryptosystem, Learning and Intelligent Computing, Information Hiding.
Автор: Uddin Mohammad Shorif, Bansal Jagdish Chand Название: Proceedings of International Joint Conference on Computational Intelligence: Ijcci 2019 ISBN: 9811536066 ISBN-13(EAN): 9789811536069 Издательство: Springer Рейтинг: Цена: 186330.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book gathers outstanding research papers presented at the International Joint Conference on Computational Intelligence (IJCCI 2019), held at the University of Liberal Arts Bangladesh (ULAB), Dhaka, on 25-26 October 2019 and jointly organized by the University of Liberal Arts Bangladesh (ULAB), Bangladesh;
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).
Автор: Wang Xin, Lisi Francesca A., Xiao Guohui Название: Semantic Technology: 9th Joint International Conference, Jist 2019, Hangzhou, China, November 25-27, 2019, Revised Selected Papers ISBN: 981153411X ISBN-13(EAN): 9789811534119 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed proceedings of the 9th Joint International Semantic Technology Conference, JIST 2019, held in Hangzhou, China, in November 2019.The 12 full papers and 12 short papers presented were carefully reviewed and selected from 70 submissions.
Автор: Li Gang, Shen Heng Tao, Yuan Ye Название: Knowledge Science, Engineering and Management: 13th International Conference, Ksem 2020, Hangzhou, China, August 28-30, 2020, Proceedings, Part II ISBN: 3030553922 ISBN-13(EAN): 9783030553920 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set of LNAI 12274 and LNAI 12275 constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.*The 58 revised full papers and 27 short papers were carefully reviewed and selected from 291 submissions.
Автор: Dastani Mehdi, Dong Huimin, Van Der Torre Leon Название: Logic and Argumentation: Third International Conference, Clar 2020, Hangzhou, China, April 6-9, 2020, Proceedings ISBN: 3030446379 ISBN-13(EAN): 9783030446376 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Group Belief.- Broadening Label-based Argumentation Semantics with May-Must Scales.- Semirings of Evidence.- Logic Programming, Argumentation and Human Reasoning.- Reasoning about Degrees of Con rmation.- Ideal related algebras and their logics { Extended abstract.- Computer-supported Analysis of Arguments in Climate Engineering.-A Logic of Knowledge and Belief Based on Abstract Arguments.- A Meta-level Annotation Language for Legal Texts.- Towards an Executable Methodology for the Formalization of Legal Texts.- Goal-driven Structured Argumentation for Patient Management in a Multimorbidity Setting.- Intuitionistic-Bayesian Semantics of First-Order Logic for Generics.- Ambiguity Preference and Context Learning in Uncertain Signaling.- A Decidable Multi-Agent Logic for Reasoning about Actions, Instruments, and Norms.- Preservation of Admissibility with Rationality and Feasibility Constraints.- Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope.- Reasoning as Speech Acts.- Dynamics of Fuzzy Argumentation Frameworks .- Probabilistic three-value argumentation frameworks.- Further Steps Towards a Logic of Polarization in Social Networks.- A Formalization of the Slippery Slope Argument.
DepCoS - RELCOMEX is an annual series of conferences organized by Wroclaw University of Technology to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. In contrast to classic analyses which were concentrated on reliability of technical resources and structures built from them, dependability is based on multi-disciplinary approach to theory, technology and maintenance of a system considered to be a multifaceted amalgamation of technical, information, organization, software and human (users, administrators, supervisors, etc.) resources. Diversity of processes being realized (data processing, system management, system monitoring, etc.), their concurrency and their reliance on in-system intelligence often severely impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods.
This book presents the proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, which took place in Brun w Palace, Poland, from 30th June to 4th July, 2014. The articles selected for this volume illustrate the variety of topics that must be included in system dependability analysis: tools, methodologies and standards for modelling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks or management of transportation networks.
Автор: Wang Fu Lee, Xie Haoran, Lam Wai Название: Information Retrieval Technology: 15th Asia Information Retrieval Societies Conference, Airs 2019, Hong Kong, China, November 7-9, 2019, Proceedings ISBN: 3030428346 ISBN-13(EAN): 9783030428341 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 15th Information Retrieval Technology Conference, AIRS 2019, held in Hong Kong, China, in November 2019.The 14 full papers presented together with 3 short papers were carefully reviewed and selected from 27 submissions.
Автор: Gonзalves Josй Alexandre, Braz-Cйsar Manuel, Coelho Joгo Paulo Название: Controlo 2020: Proceedings of the 14th Apca International Conference on Automatic Control and Soft Computing, July 1-3, 2020, Braganз ISBN: 3030586529 ISBN-13(EAN): 9783030586522 Издательство: Springer Рейтинг: Цена: 279500.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Covering a wide range of theoretical and practical issues, the contributions describes a number of different control approaches, such adaptive control, fuzzy and neuro-fuzzy control, remote and robust control systems, real time an fault tolerant control, among others.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz