Search Results - Construction Engineering

  1. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics

    Get full text
    Online Article RSS Article
  2. Critical risk identification in construction projects using 2D and 3D risk matrices

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  3. Back Cover: Microengineering the Liver: Strategies for Constructing Functional Liver‐on‐a‐Chip Devices (EXP2 2/2026)

    Published in Exploration (2026)
    Get full text
    Online Article RSS Article
  4. On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

    Get full text
    Online Article RSS Article
  5. The constructing and empirical research on primary and secondary school teachers’ digital competencies in the age of artificial intelligence

    Published in Discover AI (2026)
    Get full text
    Online Article RSS Article
  6. A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks

    Published in IEEE Access (2026)
    Get full text
    Online Article RSS Article
  7. Integrated Experimental and Data-Driven Approach to Strength Prediction of Mortars Incorporating Thermally Activated Construction Waste Powder

    Subjects: “…Building and Construction…”
    Get full text
    Online Article RSS Article
  8. Emergent Communication for Co-constructed Emotion Between Embodied Agents via Collective Predictive Coding

    Published in ArXiv cs.MA Recent Papers (2026)
    Get full text
    Online Article RSS Article
  9. A management approach to construction and demolition wastes in ibadan metropolis

    Published 2014
    Full Text Available
    Access Repository
    Article
  10. Correction: Critical risk identification in construction projects using 2D and 3D risk matrices

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  11. Construction of a depression risk prediction model for hepatitis B patients based on machine learning strategy

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  12. REBENCH: A Procedural, Fair-by-Construction Benchmark for LLMs on Stripped-Binary Types and Names (Extended Version)

    Published in ArXiv cs.CR Recent Papers (2026)
    Subjects: “…Civil & Construction…”
    Get full text
    Online Article RSS Article
  13. The intrinsic structure and interrelations of tea culture constructed from tea-related toponym texts: Evidence from China

    Published in PLOS ONE (2026)
    Get full text
    Online Article RSS Article
  14. Professionals view on the causes and effects of construction projects abandonment in ibadan metropolis, Nigeria

    Published 2016
    Full Text Available
    Access Repository
    Article
  15. Hamilton decompositions of the directed 7-torus at odd modulus via root-flat certificates and a prefix-count construction

    Published in ArXiv cs.DM Recent Papers (2026)
    Get full text
    Online Article RSS Article
  16. WORKING CONDITIONS OF CASUAL WORKERS IN SELECTED CONSTRUCTION FIRMS IN LAGOS STATE, NIGERIA

    Published 2015-08
    Full Text Available
    Access Repository
    Article
  17. EVALUATION OF WASTEWATER MANAGEMENT SYSTEMS IN ABUJA FOR SUSTAINABILITY AND DEVELOPMENT OF APPROPRIATE ENGINEERING STRATEGY

    Published 2013-06
    Full Text Available
    Access Repository
    Article
  18. Archives

    Subjects: “…— — — — — Structural Engineering…”
    Get full text
    Online Article RSS Article
  19. Effect of Variation in Physical and Mechanical Properties of Reinforcing Steel on Post-Construction Parameters of Buildings in Nigeria

    Published 2023
    Full Text Available
    Access Repository
    Article
  20. INFLUENCE OF ENGINEERING PROPERTIES OF THE SOIL, GEOLOGICAL AND HYDROMETEROLOGY FACTORS ON FAILURES AND DISTRESS OF EARTH DAMS IN NORTH-EASTERN NIGERIA

    Published 2014-12
    Full Text Available
    Access Repository
    Article