Search Results - "statistics"

Refine Results
  1. Cover Image

    The Polynomial Counting Capabilities of Message Passing Neural Networks

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    A Deductive Refinement Calculus for Differential-Algebraic Programs

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Just Previsions

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Formal Verification of Imperative First-Class Functions in Move

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Combining Mechanical and Agentic Specification Inference for Move

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Weighted Rules under the Stable Model Semantics

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Categorical Message Passing Language (CaMPL) for programmers

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    Barrier Certificates for Uncertain Temporal Specifications

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Dsat: A Native SAT Solver for Discrete Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Set Automata and Limits of Decidability of Two-Variable Logic on Data Words

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    Well-Scoped Locally Nameless Representation of Syntax

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Lattice Deduction Transformers

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs

    Published in ArXiv cs.LO Recent Papers (2026)
    Subjects: “…Mathematics & Statistics…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    A survey of face recognition techniques

    Published 2007
    Subjects: “…statistical approaches…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  20. Cover Image

    Modelling trends in contraception usage in Nigeria and Ghana

    Published 2018
    Subjects: “…Statistical neural network…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:

Search Tools: