Perspectives of System Informatics : (Record no. 387471)

000 -LEADER
fixed length control field 06263cam a2200661Ia 4500
001 - CONTROL NUMBER
control field on1134853149
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20200626130246.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
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)
029 1# - (OCLC)
OCLC library identifier AU@
System control number 000066453153
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1134853149
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) 69156
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) 69157
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/book/10.1007/978-3-030-37487-7">https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/978-3-030-37487-7</a>
938 ## -
-- ProQuest Ebook Central
-- EBLB
-- EBL6001685
994 ## -
-- 92
-- ATIST
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent Location Current Location Date acquired Date last seen Price effective from Koha item type
  Not Lost     EBook e-Library e-Library 2020-06-26 2020-06-26 2020-06-26 eBook

Powered by Koha