Showing 161 - 180 results of 1,753 for search '"functionalization"', query time: 0.11s Refine Results
  1. 161
  2. 162
  3. 163

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

    Published 2016
    Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 164

    Chapter New Insights and Horizons from the Linear Response Function in Conceptual DFT by Stuyver, Thijs

    Published 2019
    Subjects: “…conceptual DFT, linear response function, nearsightedness of electronic matter, alchemical derivatives, molecular conductivity…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 165
  6. 166
  7. 167
  8. 168
  9. 169
  10. 170
  11. 171
  12. 172
  13. 173

    Chapter New Insights and Horizons from the Linear Response Function in Conceptual DFT by Stuyver, Thijs

    Published 2019
    Subjects: “…conceptual DFT, linear response function, nearsightedness of electronic matter, alchemical derivatives, molecular conductivity…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  14. 174
  15. 175
  16. 176
  17. 177
  18. 178
  19. 179
  20. 180