MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06391cam a2200685Ia 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
on1134853149 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20220128125940.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr un|---aucuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
200104s2019 sz o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
EBLCP |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
EBLCP |
| Modifying agency |
GW5XE |
| -- |
OCLCF |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
LQU |
| -- |
UPM |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
1137806856 |
| -- |
1157136671 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783030374877 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3030374874 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783030374860 |
| Qualifying information |
(print) |
| 024 8# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-030-37 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000066453153 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)1134853149 |
| Canceled/invalid control number |
(OCoLC)1137806856 |
| -- |
(OCoLC)1157136671 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA75.5 |
| Item number |
.I5443 2019 eb |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
004 |
| Edition number |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
International Andrei Ershov Memorial Conference |
| Number of part/section/meeting |
(12th : |
| Date of meeting |
2019 : |
| Location of meeting |
Novosibirsk, Russia) |
| 9 (RLIN) |
69155 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Perspectives of System Informatics : |
| Remainder of title |
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers / |
| Statement of responsibility, etc. |
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
PSI 2019 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Cham : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2019. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (279 pages) |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture Notes in Computer Science ; |
| Volume/sequential designation |
11964 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
Serienbezeichnung |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 505 8# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
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 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
3.1 Parallel Factorization Algorithm |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
14749 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
948464 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systems engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
16713 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer programming. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872390 |
| 9 (RLIN) |
3021 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst00872451 |
| 9 (RLIN) |
941 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systems engineering. |
| Source of heading or term |
fast |
| Authority record control number |
(OCoLC)fst01141455 |
| 9 (RLIN) |
4746 |
| 655 #4 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 9 (RLIN) |
396 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
fast |
| Authority record control number |
(OCoLC)fst01423772 |
| 9 (RLIN) |
6065 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Bjørner, Nikolaj. |
| 9 (RLIN) |
42670 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Virbitskaite, Irina. |
| 9 (RLIN) |
23433 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Voronkov, Andrei, |
| Dates associated with a name |
1959- |
| 9 (RLIN) |
16227 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Bjørner, Nikolaj. |
| Title |
Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers. |
| Place, publisher, and date of publication |
Cham : Springer International Publishing AG, ©2019 |
| International Standard Book Number |
9783030374860 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
11964. |
| 9 (RLIN) |
948465 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 1, |
| Name of part/section of a work |
Theoretical computer science and general issues. |
| 9 (RLIN) |
20736 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-030-37487-7">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/978-3-030-37487-7</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6001685 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |