Search Results - information (systems OR system)

  1. Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

    Get full text
    Online Article RSS Article
  2. Model Checking Vector Addition Systems with one zero-test

    Get full text
    Online Article RSS Article
  3. Knowledge-Based Synthesis of Distributed Systems Using Event Structures

    Get full text
    Online Article RSS Article
  4. Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

    Get full text
    Online Article RSS Article
  5. Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems

    Get full text
    Online Article RSS Article
  6. A System of Interaction and Structure II: The Need for Deep Inference

    Get full text
    Online Article RSS Article
  7. Integrating Wearable Devices and Recommendation System: Towards a Next Generation Healthcare Service Delivery

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  8. 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
    Online Article RSS Article
  9. 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
    Online Article RSS Article
  10. 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
    Online Article RSS Article
  11. 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
    Online Article RSS Article
  12. 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
    Online Article RSS Article
  13. Taming the Generative AI Wild West: Integrating Knowledge Graphs in Digital Library Systems

    Published in Code4Lib Journal (2025)
    Get full text
    Online Article RSS Article
  14. Make Some Noise for Ground Truthing! Frictional Design against Epistemic Sclerosis in Decision Support Systems

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  15. 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
  16. 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
  17. solve_nivp: A Python toolkit for integrating nonsmooth dynamical systems

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  18. Design of Multi-Agent-Based Energy Management System for DC Microgrids

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  19. Intelligent Decision Support System for Evacuation and Replacement of Personnel in Hybrid Threats

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  20. Noncontact Multi-Domain Mass Imbalance Detection in Rotational Machinery Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article