Search Results - Construction Engineering

  1. Consistency and Completeness of Rewriting in the Calculus of Constructions

    Get full text
    Online Article RSS Article
  2. An Improved Construction of Variety-Evasive Subspace Families

    Published in ArXiv cs.CC Recent Papers (2026)
    Get full text
    Online Article RSS Article
  3. Construction of Chinese Traditional Cultural Nouns Knowledge Base

    Get full text
    Online Article RSS Article
  4. STARE: Step-wise Temporal Alignment and Red-teaming Engine for Multi-modal Toxicity Attack

    Published in ArXiv cs.CR Recent Papers (2026)
    Subjects: “…Civil & Construction…”
    Get full text
    Online Article RSS Article
  5. Calcium aluminate cement based high early strength engineered cementitious composites with recycled artificial flaws

    Subjects: “…Building and Construction…”
    Get full text
    Online Article RSS Article
  6. Constructions of locally repairable codes via concatenated codes

    Published in ArXiv cs.IT Recent Papers (2026)
    Get full text
    Online Article RSS Article
  7. Improving Safety Performance in Nigeria’s Oil and Gas Construction Industry: A Human Factors Engineering Approach [version 2; peer review: awaiting peer review]

    Published in AAS Open Research (2026)
    Get full text
    Online Article RSS Article
  8. An Analysis of Tennenbaum's Theorem in Constructive Type Theory

    Get full text
    Online Article RSS Article
  9. Constructing Higher Inductive Types as Groupoid Quotients

    Get full text
    Online Article RSS Article
  10. McShane-Whitney extensions in constructive analysis

    Get full text
    Online Article RSS Article
  11. Constructing categories and setoids of setoids in type theory

    Get full text
    Online Article RSS Article
  12. Internalising modified realisability in constructive type theory

    Get full text
    Online Article RSS Article
  13. Construction and Research of Sports Medicine Environment in Sports Experimental Center

    Published in Biotechnology Frontier (2021)
    Get full text
    Online Article RSS Article
  14. Evaluation of Foamed Concrete Properties Containing Engineered Pozzolans and Compressive Strength Prediction Through Artificial Neural Networks

    Subjects: “…Building and Construction…”
    Get full text
    Online Article RSS Article
  15. From Dissipativity Theory to Compositional Construction of Control Barrier Certificates

    Get full text
    Online Article RSS Article
  16. Potential use and benefits of automation for traffic control in roadway construction

    Subjects: “…Building and Construction…”
    Get full text
    Online Article RSS Article
  17. Evaluating mixed reality technology for architectural design and construction layout

    Subjects: “…Building and Construction…”
    Get full text
    Online Article RSS Article
  18. Construction of Quantum Rank-Metric Codes Using Hermitian Orthogonality

    Published in ArXiv cs.IT Recent Papers (2026)
    Get full text
    Online Article RSS Article
  19. Constructing Fully Complete Models of Multiplicative Linear Logic

    Get full text
    Online Article RSS Article
  20. The Completeness of Propositional Resolution: A Simple and Constructive Proof

    Get full text
    Online Article RSS Article