Search Results - information system

  1. Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

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

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

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

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

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

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  9. 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
  10. 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
  11. Lightweight Maritime Surveillance System Based on ResNeXt-18 and YOLO-HPSD

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  12. 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
  13. MAPPING THE EFFECT OF FOOD PRICES, PRODUCTIVITY AND POVERTY IN THE DEVELOPMENT DOMAINS OF NIGERIA

    Published 2013-12
    Subjects: “…Geographic information system…”
    Full Text Available
    Access Repository
    Article
  14. Information technology: an erosion of cataloguing and classification practices?

    Published 1998-06
    Full Text Available
    Access Repository
    Article
  15. Cataloguing information agenda for the millennium in Nigerian libraries

    Published 2002
    Full Text Available
    Access Repository
    Article
  16. Information technology: an erosion of cataloguing and Classification practices?

    Published 2000
    Full Text Available
    Access Repository
    Article
  17. The Bandit's Blind Spot: The Critical Role of User State Representation in Recommender Systems

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  18. Investigating the Effects of Different Levels of User Control in an Interactive Educational Recommender System

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  19. Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Online Article RSS Article
  20. Beyond Similarity Search: A Unified Data Layer for Production RAG Systems

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Online Article RSS Article