Search Results - information system

Refine Results
  1. Cover Image

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

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Active Fiducial Marker-Based Precise Underwater Positioning System for Industrial and Robotics Applications

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    TIPS: A Prompt Engineering Framework for Code Classification and Generation on Resource-Constrained Systems

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Sliding Mode Control Design Using PIR Sliding Surface for Second Order Systems

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    SHIELD: System for Harmful Explicit-Content Identification and Evaluation Through LLM-Driven Approach

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model

    Published in Journal of Open Source Software (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Lightweight Maritime Surveillance System Based on ResNeXt-18 and YOLO-HPSD

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Adaptive Fault-Tolerant Containment Control of Multiagent Systems With Dynamic Event-Triggering Strategies

    Published in IEEE Access (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    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
    Save to List
    Saved in:
  14. Cover Image

    Information technology: an erosion of cataloguing and classification practices?

    Published 1998-06
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  15. Cover Image

    Cataloguing information agenda for the millennium in Nigerian libraries

    Published 2002
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  16. Cover Image

    Information technology: an erosion of cataloguing and Classification practices?

    Published 2000
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  17. Cover Image

    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
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    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
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    Rethinking Reasoning-Intensive Retrieval: Evaluating and Advancing Retrievers in Agentic Search Systems

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Beyond Similarity Search: A Unified Data Layer for Production RAG Systems

    Published in ArXiv cs.IR Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: