Search Results - ((cone OR code) OR some)

  1. Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Online Article RSS Article
  2. PyDislocDyn: A Python code for calculating dislocation drag and other crystal properties

    Published in Journal of Open Source Software (2025)
    Get full text
    Online Article RSS Article
  3. Lazy lossless compression by symbol lookahead invalidation in universal adaptive stream-based entropy coding

    Published in JDSA (2026)
    Get full text
    Online Article RSS Article
  4. Effects of Copper (II) Nitrate Trihydrate Admixture on some Fresh and Hardened Properties of Concrete

    Published 2018
    Full Text Available
    Access Repository
    Article
  5. Sorption characteristics of cement composite reinforced with some locally available lignocellulosic materials in Nigeria

    Published 2013
    Full Text Available
    Access Repository
    Article
  6. Determination of Some Physical and Mechanical Properties of Termite Mound Clay Relevant to Silo Construction

    Published 2013
    Full Text Available
    Access Repository
    Article
  7. A VECTOR MATRIX APPROACH OF COUNTING CYCLIC QUOTIENTS OF SOME ABELIAN P-GROUPS

    Published 2009
    Full Text Available
    Access Repository
    Article
  8. Floristic structure of some selected plots in olokemeji forest reserve, Ogun state, Nigeria

    Published 2021
    Full Text Available
    Access Repository
    Article
  9. Socio-economic implications and environmental effects of oil spillage in some communities in the Niger Delta

    Published 2009-03
    Full Text Available
    Access Repository
    Article
  10. BIOACCUMULATION OF SOME METALS IN THE FISH SAROTHERODON GALILAEUS CAUGHT FROM ALARO STREAM IN IBADAN

    Published 2016
    Full Text Available
    Access Repository
    Article
  11. Genetic control of total phenolic content and some kernel compositional traits in purple maize

    Published 2022-06
    Full Text Available
    Access Repository
    Article
  12. Interaction of some selected Trace elements with Thyroid hormones in patients with Goiter in Ibadan, Nigeria

    Published 2014
    Full Text Available
    Access Repository
    Article
  13. Nutritional composition and label evaluation of some commercial dry dog foods in Ibadan, Nigeria

    Published 2011
    Full Text Available
    Access Repository
    Article
  14. Nutritional composition and label evaluation of some commercial dry dog foods in Ibadan, Nigeria

    Published 2011
    Full Text Available
    Access Repository
    Article
  15. Felling induced dynamic stresses in some tropical hardwoods from Nigerian lowland rainforest

    Published 2011-06
    Full Text Available
    Access Repository
    Article
  16. ANTICANCER, ANTIOXIDANT AND IMMUNO-MODULATORY EFFECTS OF ACACIA HONEY IN SOME CANCER CELL LINES

    Published 2014
    Full Text Available
    Access Repository
    Article
  17. The influence of post-cracked exposure period on some physical properties of palm kernel shells

    Published 2000
    Full Text Available
    Access Repository
    Conference Proceeding
  18. Human immunodeficiency virus types 1 and 2 infection in some rural areas of Nigeria

    Published 1998
    Full Text Available
    Access Repository
    Article
  19. Cataloguing backlogs in academic libraries:a case study of some selected universities in Nigeria.

    Published 2010
    Full Text Available
    Access Repository
    Article
  20. Evaluation of pharmaceutical and microbial qualities of some herbal medicinal products in South Western Nigeria

    Published 2007-03
    Full Text Available
    Access Repository
    Article