Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.).

By: (12th : International Andrei Ershov Memorial Conference (12th : 2019 : Novosibirsk, Russia)
Contributor(s): Bjørner, Nikolaj | Virbitskaite, Irina | Voronkov, Andrei, 1959-
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 11964.; LNCS sublibrary: Publisher: Cham : Springer, 2019Description: 1 online resource (279 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9783030374877; 3030374874Other title: PSI 2019Subject(s): Computer science -- Congresses | Computer programming -- Congresses | Systems engineering -- Congresses | Computer programming | Computer science | Systems engineeringGenre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Print version:: Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers.DDC classification: 004 LOC classification: QA75.5 | .I5443 2019 ebOnline resources: Click here to access online
Contents:
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
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Print version record.

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

3.1 Parallel Factorization Algorithm

Includes author index.

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.

There are no comments for this item.

to post a comment.

Powered by Koha