Search Results - information system

Refine Results
  1. Cover Image

    On Reachability for Unidirectional Channel Systems Extended with Regular Tests

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

    Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems

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

    Definability of linear equation systems over groups and rings

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

    A type reduction theory for systems with replicated components

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

    Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

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

    Model Checking Synchronized Products of Infinite Transition Systems

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

    ConstraintHg: A Kernel for Systems Modeling and Simulation

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

    The Global Energy System Model (GENeSYS-MOD) v4.0 - A Flexible Energy System Modeling Framework for Julia and GAMS

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

    Georgia Library Spotlight Spot DOT: Sequoyah Regional Library System’s Discovery Outreach Transport

    Published in Georgia Library Quarterly (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Empowering Online Teaching: A System Review of Online Instructors’ Professional Development in Higher Education

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

    Artificial Intelligence–Driven Accelerated Diagnostic Systems for Rapid X-Ray Interpretation, Automated Blood Analysis, and Ultra-Fast Laboratory Processing

    Published in Computer and Information Science (2026)
    Subjects: “…— — — — Journal of Information Systems…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    FEC-Assisted PAPR Reduction in OFDM System—Performance Analysis

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

    Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

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

    Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity

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

    Termination of Graph Transformation Systems Using Weighted Subgraph Counting

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

    A Session Type System for Asynchronous Unreliable Broadcast Communication

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

    HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems

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

    Architectures in parametric component-based systems: Qualitative and quantitative modelling

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

    On Functions Weakly Computable by Pushdown Petri Nets and Related Systems

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

    Faithful (meta-)encodings of programmable strategies into term rewriting systems

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

Search Tools: