Описание: 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.
Описание: This book gathers papers presented at the 13th International Conference on Genetic and Evolutionary Computing (ICGEC 2019), which was held in Qingdao, China, from 1st to 3rd, November 2019.
Описание: 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.
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.
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).
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 6th International Conference on Information Management and Big Data, SIMBig 2019, held in Lima, Peru, in August 2019.The 15 full papers and 16 short papers presented were carefully reviewed and selected from 104 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
