Search Results - information system

  1. Are there Hilbert-style Pure Type Systems?

    Get full text
    Online Article RSS Article
  2. ATAS - Academic Text Analysis System

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  3. Integrating Wearable Devices and Recommendation System: Towards a Next Generation Healthcare Service Delivery

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  4. Social Shaping Leadership in Enterprise System Acquisition and Development: The Influence of Reference Users in Xizi Holdings

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  5. A Model-Based Systems Engineering Framework for Technology Roadmaps (MBSE-TRM): Application to Electronic Warfare Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  6. Bibliometric Method for Reviewing Smart Flexible Manufacturing Systems in Disruption Contexts

    Published in Journal of Scientometric Research (2025)
    Get full text
    Online Article RSS Article
  7. KNOWLEDGE, PRACTICES AND FACTORS INFLUENCING REPORTING OF NOTIFIABLE DISEASES AMONG HEALTH WORKERS IN TWO SELECTED RURAL AND URBAN LOCAL GOVERNMENT AREAS OF OYO STATE, NIGERI...

    Published 2014-03
    Full Text Available
    Access Repository
    Thesis
  8. Make Some Noise for Ground Truthing! Frictional Design against Epistemic Sclerosis in Decision Support Systems

    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Online Article RSS Article
  9. Mental‐Health Help‐Seeking Among Muslims in the Liverpool City Region: A SystemInformed Qualitative Study of Knowledge, Attitudes, Practices

    Published in Health Expectations (2026)
    Get full text
    Online Article RSS Article
  10. Origins of Stability in Automated Underwater Vehicle Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  11. A Categorical Treatment of Open Linear Systems

    Get full text
    Online Article RSS Article
  12. Branch-Well-Structured Transition Systems and Extensions

    Get full text
    Online Article RSS Article
  13. Minimality Notions via Factorization Systems and Examples

    Get full text
    Online Article RSS Article
  14. The Theory of Traces for Systems with Nondeterminism, Probability, and Termination

    Get full text
    Online Article RSS Article
  15. Datatype defining rewrite systems for naturals and integers

    Get full text
    Online Article RSS Article
  16. On the Expressive Power of Higher-Order Pushdown Systems

    Get full text
    Online Article RSS Article
  17. Coaxioms: flexible coinductive definitions by inference systems

    Get full text
    Online Article RSS Article
  18. On completeness and parametricity in the realizability semantics of System F

    Get full text
    Online Article RSS Article
  19. Reasoning About Bounds in Weighted Transition Systems

    Get full text
    Online Article RSS Article