Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / PSI 2019 Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.). - Cham : Springer, 2019. - 1 online resource (279 pages) - Lecture Notes in Computer Science ; 11964 LNCS sublibrary. SL 1, Theoretical computer science and general issues Serienbezeichnung . - Lecture notes in computer science ; 11964. LNCS sublibrary. SL 1, Theoretical computer science and general issues. .

3.1 Parallel Factorization Algorithm Includes author index.

Intro -- Preface -- Organization -- Abstracts -- Towards Knowledge Graph Based Representation, Augmentation and Exploration of Scholarly Communication -- On Termination of Probabilistic Programs -- Safety Verification for Deep Neural Networks with Provable Guarantees -- Automated-Reasoning Revolution: From Theory to Practice and Back -- The Power of Symbolic Automata and Transducers -- Contents -- Rapid Instruction Decoding for IA-32 -- 1 Introduction -- 2 IA-32 Instruction Set Architecture -- 2.1 Instructions on IA-32 -- 2.2 Classification of IA-32 Instructions 2.3 Encoding Trees and Instructions Types -- 3 General Architecture of EIDIA Decoder -- 4 Output Interface of EIDIA -- 5 Evaluation -- 6 Conclusion -- References -- Case-Based Genetic Optimization of Web User Interfaces -- Abstract -- 1 Introduction -- 2 Methods -- 2.1 Background and Related Work -- 2.2 The Evolutionary Algorithm for WUI Design -- 2.3 CBR: The Problem Features and the Solutions' Chromosome Structure -- 3 Implementation -- 3.1 The Case-Based Retrieval -- 3.2 The Chromosome Structure Specification -- 3.3 Repository of Content -- 3.4 Example of the EA Data Structures -- 4 Conclusion Acknowledgement -- References -- Inter-country Competition and Collaboration in the miRNA Science Field -- 1 Introduction -- 1.1 Author Disambiguation Overview -- 1.2 Affiliation Disambiguation Problem -- 2 Methods and Materials -- 2.1 Prerequisites -- 2.2 Dataset -- 2.3 Evaluation Metrics -- 2.4 Data Preprocessing -- 2.5 Clustering and Similarity -- 2.6 K-Mer Boolean Vector Sorting -- 2.7 Country Identification -- 3 Results -- 3.1 PubMed Statistics -- 3.2 Countries Publication Activity -- 3.3 Countries Interaction Graph -- 3.4 Joint Publications -- 4 Discussion -- 5 Conclusion -- References Archival Information Systems: New Opportunities for Historians -- 1 Introduction -- 2 Tools -- 3 Analogies and Problems -- 4 Technology and Method of Digital Historical Factography -- 5 Expansion of Project Activities -- 6 ``Migration'' Policy -- 7 Conclusion -- References -- Two-Step Deductive Verification of Control Software Using Reflex -- 1 Introduction -- 2 Specification of Properties of Reflex Programs -- 3 Rewriting Annotated Reflex Programs into C-Projections -- 4 Generating Verification Conditions for C-Projections of Reflex Programs -- 5 Discussion and Conclusion -- References Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing -- 1 Introduction -- 2 Related Work -- 3 Methods -- 3.1 Self-organizing Maps -- 3.2 n-gram Statistics -- 3.3 Hyperdimensional Computing -- 3.4 Mapping of n-gram Statistics with Hyperdimensional Computing -- 4 Experimental Results -- 5 Conclusions -- References -- Parallel Factorization of Boolean Polynomials -- 1 Introduction -- 2 Background -- 2.1 Factorization Algorithm -- 2.2 IsEqual Procedure -- 2.3 Scope for Parallelism -- 3 Proposed Approach

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.

9783030374877 3030374874


Computer science--Congresses.
Computer programming--Congresses.
Systems engineering--Congresses.
Computer programming.
Computer science.
Systems engineering.


Electronic books.
Conference papers and proceedings.

QA75.5 / .I5443 2019 eb

004

Powered by Koha