Search Results - information (systems OR system)

Refine Results
  1. Cover Image

    System Neural Diversity: Measuring Behavioral Heterogeneity in Multi-Agent Learning

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

    Fine-grained Analysis and Faster Algorithms for Iteratively Solving Linear Systems

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

    Power Line Energy Harvesting System for GaN Transistors Monitoring

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

    Small Term Reachability and Related Problems for 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

    Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

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

    A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

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

    Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

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

    A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

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

    On linear rewriting systems for Boolean logic and some applications to proof theory

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

    The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

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

    LSTM-Based Estimation of Harmonic Source Equivalent Parameters in Power 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:
  12. Cover Image

    Design and Evaluation of an LLM-Based Knowledge Graph System for Photosynthesis Research

    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

    CRISP: Cyber-Resilient Intelligent Systems for Predicting Threats in Digital Ecosystems

    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:
  14. Cover Image

    A Quantum Approximate Optimization Algorithm for Resource Allocation in Database System

    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:
  15. Cover Image

    better_launch: A better replacement for the ROS2 launch system

    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:
  16. Cover Image

    Termination of Graph Transformation Systems via Generalized Weighted Type Graphs

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

    A Reliable Stream Learning Model for Network Intrusion Detection Systems

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

    Application of geographic information systems to management of municipal solid waste depots in Lagos Island Local Government Area of Lagos State

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

    Administrative and infrastructural factors affecting library and information science educators’ actual use of educational support systems for teaching in Nigerian universities

    Published 2019
    Subjects: “…Educational support systems…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  20. Cover Image

    Designing information systems for equity and sustainability: enhancing resource access, capacity development, and governance in mangrove-dependent small-scale fisheries

    Published in Maritime Studies (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: