Search Results - information (systems OR system)

  1. ProactivePIM: Accelerating Weight-Sharing Embedding Layer With PIM for Scalable Recommendation System

    Published in IEEE Access (2025)
    Get full text
    Online Article RSS Article
  2. Adaptive Event-Triggered Bipartite Consensus of Matrix-Weighted Linear Multi-Agent Systems

    Published in IEEE Access (2025)
    Get full text
    Online Article RSS Article
  3. Enhanced Counter-UAS Capabilities in Close-In Weapon Systems Using Hierarchical Reinforcement Learning

    Published in IEEE Access (2025)
    Get full text
    Online Article RSS Article
  4. Modular coinduction up-to for higher-order languages via first-order transition systems

    Get full text
    Online Article RSS Article
  5. Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

    Get full text
    Online Article RSS Article
  6. Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction

    Get full text
    Online Article RSS Article
  7. Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

    Get full text
    Online Article RSS Article
  8. A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

    Get full text
    Online Article RSS Article
  9. Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

    Get full text
    Online Article RSS Article
  10. Active Fiducial Marker-Based Precise Underwater Positioning System for Industrial and Robotics Applications

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  11. TIPS: A Prompt Engineering Framework for Code Classification and Generation on Resource-Constrained Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  12. Sliding Mode Control Design Using PIR Sliding Surface for Second Order Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  13. SHIELD: System for Harmful Explicit-Content Identification and Evaluation Through LLM-Driven Approach

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  14. visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  15. Lightweight Maritime Surveillance System Based on ResNeXt-18 and YOLO-HPSD

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  16. Adaptive Fault-Tolerant Containment Control of Multiagent Systems With Dynamic Event-Triggering Strategies

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  17. EVALUATION OF THE EFFECTIVENESS OF THE COLLEGIATE SYSTEM OF ADMINISTRATION IN COLLEGES OF MEDICINE IN NIGERIAN FEDERAL UNIVERSITIES

    Published 2012
    Full Text Available
    Access Repository
    Article
  18. Artificial Intelligence–Driven Accelerated Diagnostic Systems for Rapid X-Ray Interpretation, Automated Blood Analysis, and Ultra-Fast Laboratory Processing

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