Search Results - information system

Refine Results
  1. Cover Image

    Compositional Verification for Timed Systems Based on Automatic Invariant Generation

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Model Checking Vector Addition Systems with one zero-test

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Knowledge-Based Synthesis of Distributed Systems Using Event Structures

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    A System of Interaction and Structure II: The Need for Deep Inference

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Scholarly Communications in 2025: An Aerial Evaluation of a System Challenged by AI and Much More

    Published in Learned Publishing (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Improving Services in a hybrid academic library System

    Published 2021
    Subjects: “…Systems dynamics…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  12. Cover Image

    solve_nivp: A Python toolkit for integrating nonsmooth dynamical systems

    Published in Journal of Open Source Software (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Design of Multi-Agent-Based Energy Management System for DC Microgrids

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Intelligent Decision Support System for Evacuation and Replacement of Personnel in Hybrid Threats

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Noncontact Multi-Domain Mass Imbalance Detection in Rotational Machinery Systems

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    System Neural Diversity: Measuring Behavioral Heterogeneity in Multi-Agent Learning

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Fine-grained Analysis and Faster Algorithms for Iteratively Solving Linear Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Power Line Energy Harvesting System for GaN Transistors Monitoring

    Published in IEEE Access (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: