Search Results - Information Technology Journal

Refine Results
  1. PyMilo: A Python Library for ML I/O

    Published in Journal of Open Source Software (2025)
    Get full text
    Online Article RSS Article
  2. FSML – A Modern Fortran Statistics and Machine Learning Library

    Published in Journal of Open Source Software (2025)
    Get full text
    Online Article RSS Article
  3. The Agda standard library: version 2.0

    Published in Journal of Open Source Software (2025)
    Get full text
    Online Article RSS Article
  4. emlearn-micropython: Machine Learning and Digital Signal Processing for MicroPython

    Published in Journal of Open Source Software (2025)
    Get full text
    Online Article RSS Article
  5. Sunny.jl: A Julia Package for Spin Dynamics

    Published in Journal of Open Source Software (2025)
    Get full text
    Online Article RSS Article
  6. Hardness of monadic second-order formulae over succinct graphs

    Get full text
    Online Article RSS Article
  7. Rewriting Modulo Traced Comonoid Structure

    Get full text
    Online Article RSS Article
  8. Enumeration and updates for conjunctive linear algebra queries through expressibility

    Get full text
    Online Article RSS Article
  9. Quantitative Semantics for Jumping Automata

    Get full text
    Online Article RSS Article
  10. Approximating Queries on Probabilistic Graphs

    Get full text
    Online Article RSS Article
  11. Trade-offs between classical and quantum space using spooky pebbling

    Get full text
    Online Article RSS Article
  12. From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity

    Get full text
    Online Article RSS Article
  13. Data-Aware Hybrid Tableaux

    Get full text
    Online Article RSS Article
  14. Simplifying explicit subtyping coercions in a polymorphic calculus with effects

    Get full text
    Online Article RSS Article
  15. On the consistency of stronger lower bounds for NEXP

    Get full text
    Online Article RSS Article
  16. Type Isomorphisms for Multiplicative-Additive Linear Logic

    Get full text
    Online Article RSS Article
  17. Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

    Get full text
    Online Article RSS Article
  18. Alignment complete relational Hoare logics for some and all

    Get full text
    Online Article RSS Article
  19. On the Descriptive Complexity of Groups without Abelian Normal Subgroups

    Get full text
    Online Article RSS Article
  20. A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations

    Get full text
    Online Article RSS Article