Search Results - information (systems OR system)

Refine Results
  1. 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:
  2. 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:
  3. 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:
  4. 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:
  5. 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:
  6. 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:
  7. Cover Image

    Integrating Wearable Devices and Recommendation System: Towards a Next Generation Healthcare Service Delivery

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Social Shaping Leadership in Enterprise System Acquisition and Development: The Influence of Reference Users in Xizi Holdings

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    An Integrated Physics‐Informed Deep CNN and Adaptive Elite‐Based PSO‐Catboost for Wind Energy Systems Fault Classification

    Published in IET Renewable Power Generation (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Meteorology‐Informed Coordinated Operation of Low‐Carbon Park Energy System Considering Electric Vehicle Clusters and Energy Storage

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

    Optimal Planning for Public Charging Infrastructure by Behaviour‐Based Electric Vehicle Charging Demand Simulations and Geographic Information System

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

    A Simulation-based Approach to Acquire Information Security Baseline of Network Device

    Published in Information Engineering (2013)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Taming the Generative AI Wild West: Integrating Knowledge Graphs in Digital Library Systems

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

    Make Some Noise for Ground Truthing! Frictional Design against Epistemic Sclerosis in Decision Support Systems

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    KNOWLEDGE, PRACTICES AND FACTORS INFLUENCING REPORTING OF NOTIFIABLE DISEASES AMONG HEALTH WORKERS IN TWO SELECTED RURAL AND URBAN LOCAL GOVERNMENT AREAS OF OYO STATE, NIGERI...

    Published 2014-03
    Full Text Available
    Access Repository
    Thesis
    Save to List
    Saved in:
  16. Cover Image

    Revisiting curriculum design in architectural education in Nigeria: the information technology factor.

    Published 2012
    Subjects: “…SOCIAL SCIENCES::Statistics, computer and systems science::Informatics, computer and systems science::Information technology…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  17. 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:
  18. 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:
  19. 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:
  20. 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:

Search Tools: