Search Results - "automation"

Refine Results
  1. 1101

    IoT for Energy Management Systems and Smart Cities

    Published 2023
    Subjects: “…smart home and automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  2. 1102

    Zukunft der Arbeit in Industrie 4.0

    Published 2015
    Subjects: “…Robotics and Automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  3. 1103

    AI based Robot Safe Learning and Control by Zhou, Xuefeng

    Published 2020
    Subjects: “…Robotics and Automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  4. 1104

    Zukunft der Arbeit in Industrie 4.0

    Published 2015
    Subjects: “…Robotics and Automation…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  5. 1105

    AI based Robot Safe Learning and Control by Zhou, Xuefeng

    Published 2020
    Subjects: “…Robotics and Automation…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  6. 1106

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  7. 1107

    Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

    Published 2020
    Subjects: “…Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  8. 1108

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Published 2021
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  9. 1109
  10. 1110

    Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

    Published 2021
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  11. 1111

    Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

    Published 2023
    Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  12. 1112

    AI-Based Transportation Planning and Operation

    Published 2021
    Subjects: “…automated vehicle…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  13. 1113

    Playing at a Distance Borderlands of Video Game Aesthetic by Fizek, Sonia

    Published 2022
    Subjects: “…automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  14. 1114

    AVENUE21. Automatisierter und vernetzter Verkehr: Entwicklungen des urbanen Europa by Mitteregger, Mathias

    Published 2020
    Subjects: “…Intelligent & automated transport system technology bicssc…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  15. 1115

    AVENUE21. Automatisierter und vernetzter Verkehr: Entwicklungen des urbanen Europa by Mitteregger, Mathias

    Published 2020
    Subjects: “…Intelligent & automated transport system technology bicssc…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter
  16. 1116

    Wireless Power Transfer for Electric Vehicles

    Published 2022
    Subjects: “…automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  17. 1117

    Bisociative Knowledge Discovery An Introduction to Concept, Algorithms, Tools, and Applications /

    Published 2012
    Subjects: “…Automated Pattern Recognition.…”
    Link to Metadata
    Electronic eBook
  18. 1118
  19. 1119

    How Humans Judge Machines by Hidalgo, César A.

    Published 2020
    Subjects: “…Automation…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  20. 1120