Theory of Cryptography: 18th International Conference, Tcc 2020, Durham, Nc, Usa, November 16-19, 2020, Proceedings, Part II, Pass Rafael, Pietrzak Krzysztof
Описание: This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.
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 three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference on Theory of Cryptography, TCCC 2020, held in Durham, NC, USA, in November 2020. The total of 71 full papers presented in this three-volume set was carefully reviewed and selected from 167 submissions.
Описание: This book constitutes the proceedings of the 12th International Conference on Security and Cryptography for Networks, SCN 2020, held in Amalfi, Italy, in September 2020*.The 33 papers presented in this volume were carefully reviewed and selected from 87 submissions. *The conference was held virtually due to the COVID-19 pandemic.
Описание: This volume constitutes the proceedings of the 11th International Conference on post-quantum cryptography, PQCrypto 2020, held in Paris, France in April 2020. The 29 full papers presented in this volume were carefully reviewed and selected from 86 submissions.
Описание: This book constitutes the refereed proceedings of the 21st International Conference on Product-Focused Software Process Improvement, PROFES 2020, held in Turin, Italy, in November 2020.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Provable Security, ProvSec 2020, held in Singapore, in November 2020.
Описание: This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions.
Описание: On the Memory Fault Resilience of TLS 1.3.- On Internal Re-keying.- A Systematic Appraisal of Side Channel Evaluation Strategies.- Taming the many EdDSAs.- SoK: Comparison of the Security of Real World RSA Hash-and-Sign Signatures.- The Vacuity of the Open Source Security Testing Methodology Manual.- Vision: A Critique of Immunity Passports and W3C Decentralized Identifiers.
Описание: Foundations of Conceptual Modeling.- A Refinement Calculus for Requirements Engineering based on Argumentation Theory.- Neo4j Keys.- Past Trends and Future Prospects in Conceptual Modeling - A Bibliometric Analysis.- Process Mining and Conceptual Modeling.- Bot Log Mining: Using Logs from Robotic Process Automation for Process Mining.- Discovering Data Models from Event Logs.- Semi-Automated Time-Granularity Detection for Data-Driven Simulation Using Process Mining and System Dynamics.- Identifying Cohorts: Recommending Drill-Downs Based on Differences in Behaviour for Process Mining.- Conceptual Modeling of Business Rules and Processes.- Sensemaking in Dual Artefact Tasks - The Case of Business Process Models and Business Rules.- Do Declarative Process Models Help to Reduce Cognitive Biases Related to Business Rules?.- Modeling Behavioral Deontic Constraints using UML and OCL.- Defining Instance Spanning Constraint Patterns for Business Processes Based on Proclets.- Contribution of Conceptual Modeling to Enhancing Historians' Intuition - Application to Prosopography.- A Code-efficient Process Scripting Language.- Assessing the Compliance of Business Process Models with Regulatory Documents.- Modeling Chatbots, Narratives and Natural Language.- Model-driven Chatbot Development.- Supporting Collaborative Modeling via Natural Language Processing.- Automatic Generation of Chatbots for Conversational Web Browsing.- Modeling Narrative Structures in Logical Overlays on Top of Knowledge Repositories.- Towards a Conceptual Model for Data Narratives.- Subcontracting and Assignment and Substitution for Legal Contracts in Symboleo.- Ontology and Conceptual Modeling.- Towards a Reference Ontology for Digital Platforms.- An Ontological Analysis of the Notion of Treatment.- Transformation of Ontology-Based Conceptual Models into Relational Schemas.- Towards an Ontology Network on Human-Computer Interaction.- Ontology-based Modeling and Analysis of Trustworthiness Requirements: Preliminary Results.- Upper-level Types of Occurrent Based on the Principle of Ontological Conservation.- A Core Ontology for Economic Exchanges.- Applications of Conceptual Modeling.- Towards a Model-Driven Architecture for Interactive Digital Twin Cockpits.- Empowering Virus Sequence Research through Conceptual Modeling.- Modeling Interactive Smart Spaces.- The Conceptual Schema of Ethereum.- Towards Privacy Policy Conceptual Modeling.- Schema Design, Evolution, NoSQL.- An Empirical Study on the Design and Evolution of NoSQL Database Schemas.- A Study on the Effect of a Table's Involvement in Foreign Keys to Its Schema Evolution.- A Workload-driven Document Database Schema Recommender (DBSR).- Empirical Studies of Conceptual Modeling.- Quantifying the Impact of EER Modeling on Relational Database Success: An Experimental Investigation.- Modeling Difficulties in Data Modeling: Similarities and Differences between Experienced and Non-experienced Modelers.- Towards a Framework for Empirical Measurement of Conceptualization Qualities.- Networks, Graphs and Conceptual Modeling.- Deep Temporal Multi-Graph Convolutional Network for Crime Prediction.- A Conceptual Framework for Dynamic Planning of Alternative Routes in Road Networks.- EER-MLN: EER Approach For Modeling and Mapping and Analyzing Complex Data As Multilayer Networks (MLNs).- Conceptual Modeling of Complex and Data-Rich Systems.- Modeling and Analysis of Boundary Objects and Methodological Islands in Large-Scale Systems Development.- Structural and Computational Properties of Possibilistic Armstrong Databases.- Trust-aware Curation of Linked Open Data Logs.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
