Search Results - Information Technology Journal

Refine Results
  1. Cover Image

    PyMilo: A Python Library for ML I/O

    Published in Journal of Open Source Software (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    FSML – A Modern Fortran Statistics and Machine Learning Library

    Published in Journal of Open Source Software (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    The Agda standard library: version 2.0

    Published in Journal of Open Source Software (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    emlearn-micropython: Machine Learning and Digital Signal Processing for MicroPython

    Published in Journal of Open Source Software (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Sunny.jl: A Julia Package for Spin Dynamics

    Published in Journal of Open Source Software (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Hardness of monadic second-order formulae over succinct graphs

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

    Rewriting Modulo Traced Comonoid Structure

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

    Enumeration and updates for conjunctive linear algebra queries through expressibility

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

    Quantitative Semantics for Jumping Automata

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

    Approximating Queries on Probabilistic Graphs

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

    Trade-offs between classical and quantum space using spooky pebbling

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

    From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity

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

    Data-Aware Hybrid Tableaux

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

    Simplifying explicit subtyping coercions in a polymorphic calculus with effects

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

    On the consistency of stronger lower bounds for NEXP

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

    Type Isomorphisms for Multiplicative-Additive Linear Logic

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

    Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

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

    Alignment complete relational Hoare logics for some and all

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

    On the Descriptive Complexity of Groups without Abelian Normal Subgroups

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

    A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations

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

Search Tools: