Search Results - information system

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

    Get full text
    Online Article RSS Article
  2. Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

    Get full text
    Online Article RSS Article
  3. A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains

    Get full text
    Online Article RSS Article
  4. On linear rewriting systems for Boolean logic and some applications to proof theory

    Get full text
    Online Article RSS Article
  5. The General Vector Addition System Reachability Problem by Presburger Inductive Invariants

    Get full text
    Online Article RSS Article
  6. LSTM-Based Estimation of Harmonic Source Equivalent Parameters in Power Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  7. Design and Evaluation of an LLM-Based Knowledge Graph System for Photosynthesis Research

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  8. CRISP: Cyber-Resilient Intelligent Systems for Predicting Threats in Digital Ecosystems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  9. A Quantum Approximate Optimization Algorithm for Resource Allocation in Database System

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  10. better_launch: A better replacement for the ROS2 launch system

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  11. Termination of Graph Transformation Systems via Generalized Weighted Type Graphs

    Get full text
    Online Article RSS Article
  12. A Reliable Stream Learning Model for Network Intrusion Detection Systems

    Get full text
    Online Article RSS Article
  13. Pattern of spread of African swine fever in south-western Nigeria, 1997-2005

    Published 2007
    Subjects: “…Geographic information system…”
    Full Text Available
    Access Repository
    Article
  14. Geographical analysis of voter apathy in presidential elections between 1999 and 2011 in Nigeria

    Published 2015
    Subjects: “…Geographic information system (GIS)…”
    Full Text Available
    Access Repository
    Article
  15. A Pulsar-Inspired Timing Framework for Power System: Optimization and Performance Evaluation

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  16. Virtual Reality-Based Telerehabilitation System for Cerebral Palsy Treatment With Electromyography Feedback

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  17. Implementation and Evaluation of Hierarchical Beam Selection Algorithm for mmWave WPT Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  18. Visual Interference Suppression for Physical Object Detection in Projector-Based AR System

    Published in IEEE Access (2025)
    Get full text
    Online Article RSS Article
  19. A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity

    Get full text
    Online Article RSS Article
  20. Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

    Get full text
    Online Article RSS Article