Search Results - information system

  1. A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

    Get full text
    Online Article RSS Article
  2. Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

    Get full text
    Online Article RSS Article
  3. Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

    Get full text
    Online Article RSS Article
  4. A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

    Get full text
    Online Article RSS Article
  5. A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time

    Get full text
    Online Article RSS Article
  6. A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

    Get full text
    Online Article RSS Article
  7. Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

    Get full text
    Online Article RSS Article
  8. Advancement of Power Electronic Converter and Control Methods in Microgrid Systems: A Review

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  9. itwinai: A Python Toolkit for Scalable Scientific Machine Learning on HPC Systems

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  10. Optimized Fourth-Order Symmetric S-Curve Trajectory for Vibration Control in Dynamic Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  11. Htool-DDM: A C++ library for parallel solvers and compressed linear systems.

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  12. Unit Commitment Involving Uncertainty in Electric Power Systems Using Orthogonal Experiments

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  13. IoT-Enabled Real-Time Monitoring and Disease Prediction System for Sustainable Aquaculture

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  14. Beyond Inductive and Capacitive: A Review of Hybrid Wireless Power Transfer Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  15. Autonomous Load Control for Frequency Regulation in Low-Inertia Systems: An Experimental Demonstration

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  16. Rethinking Human-Centric Cybersecurity: A Mixed-Methods Analysis of Incident Severity Determinants

    Published in Computer and Information Science (2026)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  17. Comparative Evaluation of Deep Learning Models, Security Tools, and Detection Frameworks for SQL Injection Attack Detection

    Published in Computer and Information Science (2026)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  18. Quipu Data Structure

    Published in Computer and Information Science (2026)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  19. A New Framework for Nuanced Sentiment Analysis in Political Communication: A Machine Learning Approach to the Case Study of His Majesty King Abdullah II's UN Speech

    Published in Computer and Information Science (2026)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  20. Analyzing Humanitarian Advocacy: A Machine Learning Approach to Sentiment Analysis of Her Majesty Queen Rania of Jordan's Speech

    Published in Computer and Information Science (2026)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article