Search Results - statistics

Refine Results
  1. 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:
  2. 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:
  3. Cover Image

    Extending QuAK with Nested Quantitative Automata

    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

    Fast Obligation Translation and Synthesis

    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

    sweap: Reactive Synthesis for Infinite-State Integer Problems

    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

    Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families

    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

    On Knowledge Compilation For Two-Variable First-Order 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:
  8. Cover Image

    Optimal LTLf Synthesis

    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

    Adaptive Teacher Exposure for Self-Distillation in LLM Reasoning

    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

    Minimization of Streaming Transducers

    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

    Comparative evaluation of climatic data observation methods in Ibadan, Nigeria

    Published 2010-06
    Subjects: “…Statistical analyses…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  12. Cover Image

    Best distribution and plotting positions of daily maximum flood estimation at Ona River in Ogun-Oshun River Basin, Nigeria

    Published 2011
    Subjects: “…Statistical modelling,…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  13. Cover Image

    Optimum soil conditioning for Celosia Argentea propagation subjected to irrigation scheduling

    Published 2008
    Subjects: “…Statistical Analyses,…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  14. Cover Image

    On some properties of a hetereogeneous transfer function involving symmetric saturated linear (SATLINS) with hyperbolic tangent (TANH) transfer functions

    Published 2013-11
    Subjects: “…Statistical neural network…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  15. Cover Image

    Exploring the Challenges of SMT Project for Resource Scarce Language in Africa: A Case Study of English-Yoruba Language Machine Translation

    Published 2013
    Subjects: “…Statistical Machine Translation…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  16. Cover Image

    Human Evaluation of Yorùbá-English Google Translation

    Published 2016
    Subjects: “…Statistical Machine Translation…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  17. Cover Image

    Evaluation of three methods for estimating leaf area index of cowpea (Vigna unguiculata)

    Published 2011-03
    Subjects: “…Statistical Analysis…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  18. Cover Image

    Bio-social correlates of intention to use or not to use contraception: The case of Ghana and Nigeria

    Published 2015
    Subjects: “…Statistical neural network…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  19. Cover Image

    Revisiting curriculum design in architectural education in Nigeria: the information technology factor.

    Published 2012
    Subjects: “…SOCIAL SCIENCES::Statistics, computer and systems science::Informatics, computer and systems science::Information technology…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  20. Cover Image

    Non-parametric change-point approach for monitoring shifts in process location and variability

    Published 2015
    Subjects: “…statistical process control…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:

Search Tools: