Search Results - information system

Refine Results
  1. 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:
  2. 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:
  3. 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:
  4. 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:
  5. 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:
  6. 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:
  7. 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:
  8. 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:
  9. 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:
  10. 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:
  11. 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:
  12. 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:
  13. Cover Image

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

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

    A Pulsar-Inspired Timing Framework for Power System: Optimization and Performance Evaluation

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

    Virtual Reality-Based Telerehabilitation System for Cerebral Palsy Treatment With Electromyography Feedback

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

    Implementation and Evaluation of Hierarchical Beam Selection Algorithm for mmWave WPT 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:
  18. Cover Image

    Visual Interference Suppression for Physical Object Detection in Projector-Based AR System

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

    A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity

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

    Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types

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

Search Tools: