↓ Skip to main content
What is this page? Embed badge

Perspectives of System Informatics

Overview of attention for book
Cover of 'Perspectives of System Informatics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Rapid Instruction Decoding for IA-32
  3. Altmetric Badge
    Chapter 2 Case-Based Genetic Optimization of Web User Interfaces
  4. Altmetric Badge
    Chapter 3 Inter-country Competition and Collaboration in the miRNA Science Field
  5. Altmetric Badge
    Chapter 4 Archival Information Systems: New Opportunities for Historians
  6. Altmetric Badge
    Chapter 5 Two-Step Deductive Verification of Control Software Using Reflex
  7. Altmetric Badge
    Chapter 6 Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing
  8. Altmetric Badge
    Chapter 7 Parallel Factorization of Boolean Polynomials
  9. Altmetric Badge
    Chapter 8 Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains
  10. Altmetric Badge
    Chapter 9 The Analytical Object Model as a Base of Heterogeneous Data Integration
  11. Altmetric Badge
    Chapter 10 Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm
  12. Altmetric Badge
    Chapter 11 A Metamodel-Based Approach for Adding Modularization to KeYmaera’s Input Syntax
  13. Altmetric Badge
    Chapter 12 Nobrainer: An Example-Driven Framework for C/C++ Code Transformations
  14. Altmetric Badge
    Chapter 13 A Logical Approach to the Analysis of Aerospace Images
  15. Altmetric Badge
    Chapter 14 Data Compression Algorithms in Analysis of UI Layouts Visual Complexity
  16. Altmetric Badge
    Chapter 15 Computable Topology for Reliable Computations
  17. Altmetric Badge
    Chapter 16 About Leaks of Confidential Data in the Process of Indexing Sites by Search Crawlers
  18. Altmetric Badge
    Chapter 17 An Ontology-Based Approach to the Agile Requirements Engineering
  19. Altmetric Badge
    Chapter 18 Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS
  20. Altmetric Badge
    Chapter 19 Verification and Validation of Semantic Annotations
  21. Altmetric Badge
    Chapter 20 Towards Automatic Deductive Verification of C Programs over Linear Arrays
  22. Altmetric Badge
    Chapter 21 Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
  23. Altmetric Badge
    Chapter 22 Causality-Based Testing in Time Petri Nets
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
3 Dimensions
Summary Wikipedia Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Perspectives of System Informatics
Published by
Springer International Publishing, February 2020
DOI 10.1007/978-3-030-37487-7
ISBNs
978-3-03-037486-0, 978-3-03-037487-7
Editors

Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei

View on publisher site

This page is provided by Altmetric.