Search Results - Information Systems

Search alternatives:

  1. Taming the Generative AI Wild West: Integrating Knowledge Graphs in Digital Library Systems

    Published in Code4Lib Journal (2025)
    Get full text
    Online Article RSS Article
  2. Optimal Sizing of Photovoltaic Systems With Flexible Curtailment Strategy

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  3. Chemical Recommender System: Replacement Suggestions for Small Molecules

    Published in Journal of Open Source Software (2026)
    Get full text
    Online Article RSS Article
  4. A Tertiary Study on Approaches for Developing Recommender Systems

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  5. An embedded vision-based system for cyclist detection and counting

    Get full text
    Online Article RSS Article
  6. A Behavioral Theory for Distributed Systems with Weak Recovery

    Get full text
    Online Article RSS Article
  7. A proof system for graph (non)-isomorphism verification

    Get full text
    Online Article RSS Article
  8. Specification and Verification of Timing Properties in Interoperable Medical Systems

    Get full text
    Online Article RSS Article
  9. The Complexity of Reachability in Affine Vector Addition Systems with States

    Get full text
    Online Article RSS Article
  10. Affine Extensions of Integer Vector Addition Systems with States

    Get full text
    Online Article RSS Article
  11. An extended type system with lambda-typed lambda-expressions

    Get full text
    Online Article RSS Article
  12. Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems

    Get full text
    Online Article RSS Article
  13. Higher-dimensional automata modeling shared-variable systems

    Get full text
    Online Article RSS Article
  14. A coalgebraic treatment of conditional transition systems with upgrades

    Get full text
    Online Article RSS Article
  15. Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically

    Get full text
    Online Article RSS Article
  16. On Reachability for Unidirectional Channel Systems Extended with Regular Tests

    Get full text
    Online Article RSS Article
  17. Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems

    Get full text
    Online Article RSS Article
  18. Definability of linear equation systems over groups and rings

    Get full text
    Online Article RSS Article
  19. A type reduction theory for systems with replicated components

    Get full text
    Online Article RSS Article
  20. Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

    Get full text
    Online Article RSS Article