Search Results - Information Systems

Search alternatives:

  1. Parametric a Priori-Aided Beamspace Channel Tracking for Terahertz Massive MIMO Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  2. Stability Margin Index of the Receiving-End Power System Based on the Whole Process Simulation

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  3. CAGR: A Cross-Accelerator Graph Optimization Framework for Efficient Recommender System Inference

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  4. Low-Complexity Degenerate Entanglement- Assisted Communication Systems for Strong Atmospheric Turbulence Channels

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  5. Leg-Shared System Integrating Grid-Connected Photovoltaic and Dynamic Wireless Power Transfer

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  6. Design and Control of Virtual Synchronous Generator With Hybrid Energy Storage and Renewable Energy Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  7. ProactivePIM: Accelerating Weight-Sharing Embedding Layer With PIM for Scalable Recommendation System

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

    Published in IEEE Access (2025)
    Get full text
    Online Article RSS Article
  9. 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
  10. Modular coinduction up-to for higher-order languages via first-order transition systems

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

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

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

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

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

    Get full text
    Online Article RSS Article
  16. 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
  17. 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
  18. Sliding Mode Control Design Using PIR Sliding Surface for Second Order Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  19. 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
  20. 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