Search Results - Information Systems

Search alternatives:

Refine Results
  1. 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:
  2. 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:
  3. 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:
  4. Cover Image

    A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

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

    Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

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

    Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently

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

    A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

    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 Axiom System for Propositional Interval Temporal Logic with Infinite Time

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

    A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems

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

    Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

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

    Advancement of Power Electronic Converter and Control Methods in Microgrid Systems: A Review

    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

    itwinai: A Python Toolkit for Scalable Scientific Machine Learning on HPC Systems

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

    Optimized Fourth-Order Symmetric S-Curve Trajectory for Vibration Control in Dynamic 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:
  14. Cover Image

    Htool-DDM: A C++ library for parallel solvers and compressed linear systems.

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

    Unit Commitment Involving Uncertainty in Electric Power Systems Using Orthogonal Experiments

    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

    IoT-Enabled Real-Time Monitoring and Disease Prediction System for Sustainable Aquaculture

    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

    Beyond Inductive and Capacitive: A Review of Hybrid Wireless Power Transfer 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

    Autonomous Load Control for Frequency Regulation in Low-Inertia Systems: An Experimental Demonstration

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

    MOTHERS’ PERCEIVED HEALTH WORKER INFORMATION AND COMMUNICATION TECHNOLOGY USE AND DISSEMINATED INFORMATION ON MATERNAL HEALTH PRACTICES IN NIGERIA

    Published 2017-07
    Full Text Available
    Access Repository
    Thesis
    Save to List
    Saved in:
  20. Cover Image

    Fair Agents: Balancing Multistakeholder Alignment in Multi-Agent Personalization 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: