Search Results - "Formal"

  1. 241

    Data/Knowledge-Driven Behaviour Analysis for Maritime Autonomous Surface Ships

    Published 2023
    Subjects: “…formal expression…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  2. 242

    Environmental Sustainability in Maritime Infrastructures

    Published 2021
    Subjects: “…formal planning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  3. 243

    Feasible, Robust and Reliable Automation and Control for Autonomous Systems

    Published 2022
    Subjects: “…formal methods…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 244

    Artificial Intelligence for Multisource Geospatial Information

    Published 2023
    Subjects: “…formal semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  5. 245
  6. 246

    Race Characters Ethnic Literature and the Figure of the American Dream by Rana, Swati

    Published 2020
    Subjects: “…literary formalism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  7. 247

    Quantum Foundations. 90 Years of Uncertainty by Fortin, Sebastian

    Published 2019
    Subjects: “…Quantum Hamilton-Jacobi Formalism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  8. 248
  9. 249
  10. 250

    Cyber Security of Critical Infrastructures

    Published 2021
    Subjects: “…formal verification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  11. 251

    Cooperative/Collaborative Learning

    Published 2022
    Subjects: “…semi-formal learning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  12. 252

    Approaches and Methods of Science Teaching and Sustainable Development

    Published 2022
    Subjects: “…non-formal education…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  13. 253
  14. 254

    Knowledge Engineering and Data Mining

    Published 2023
    Subjects: “…formal ontologies…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  15. 255

    Geometry of Submanifolds and Homogeneous Spaces by Kaimakamis, George

    Published 2020
    Subjects: “…formality…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  16. 256

    Big Data Computing for Geospatial Applications

    Published 2020
    Subjects: “…formalization…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  17. 257

    Quantum Cosmology

    Published 2022
    Subjects: “…ADM formalism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  18. 258

    Deductive Systems in Traditional and Modern Logic

    Published 2020
    Subjects: “…formal theory of law…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  19. 259

    Quantum Nonlocality by Vaidman, Lev

    Published 2019
    Subjects: “…density-matrix formalism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 260

    Optics for AI and AI for Optics

    Published 2020
    Subjects: “…Jaynes-Cummings-Hubbard formalism…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter