explorations in core.logic
Dafny for Metatheory of Programming Languages
core.logic.nominal at the minikanren confo 2013
How to use the Keras Deep Learning library
A new foundational package for Isabelle/HOL that implements binding-aware datatypes
A type checker for FreshMLTT, a dependent type theory with abstractable names together with an equational characterisation of freshness.
LaTeX source for the article 'Evaluation of Different Binder Combinations of Cement, Slag and CKD for S/S Treatment of TBT Contaminated Sediments' (Lindh & Lemenkova, Acta Mechanica et Automatica 2021, 15(4):236-248). Solidification/stabilisation of dredged sediments, UCS strength evaluation.
Spring Cloud BInder for pgq
LaTeX source for the article 'Shear Bond and Compressive Strength of Clay Stabilised with Lime/Cement Jet Grouting and Deep Mixing: A Case of Norvik, Nynäshamn' (Lindh & Lemenkova, Nonlinear Engineering 2022, 11(1):693-710). Binder-recipe evaluation by shear bond, UCS and P-wave velocity.
LaTeX source for the article 'Dynamics of Strength Gain in Sandy Soil Stabilised with Mixed Binders Evaluated by Elastic P-Waves during Compressive Loading' (Lindh & Lemenkova, Materials 2022, 15(21):7798). Non-destructive P-wave monitoring of UCS strength gain over 90-day curing.
AOSP-inspired device policy service demonstrating Manager → Service → Policy Engine architecture
LaTeX source for the article 'Optimized Workflow Framework in Construction Projects to Control the Environmental Properties of Soil' (Lindh & Lemenkova, Algorithms 2023, 16(6):303).
LaTeX source for the article 'Simplex Lattice Design and X-ray Diffraction for Analysis of Soil Structure: A Case of Cement-Stabilised Compacted Tills Reinforced with Steel Slag and Slaked Lime' (Lindh & Lemenkova, Electronics 2022, 11(22):3726). Simplex-lattice mixture design and XRD for binder-combination evaluation.
To associate your repository with the binders topic, visit your repo's landing page and select "manage topics."