Search Results - "computable"

Variant Construction from Theoretical Foundation to Applications

Subjects: “…Computer science Mathematics.…”
Link to Metadata

Proceedings of the 2021 DigitalFUTURES The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021) /

Subjects: “…Computer-aided engineering.…”
Link to Metadata

Hybrid Intelligence Proceedings of the 4th International Conference on Computational Design and Robotic Fabrication (CDRF 2022) /

Subjects: “…Computer-aided engineering.…”
Link to Metadata

Moving Broadband Mobile Communications Forward Intelligent Technologies for 5G and Beyond

Subjects: “…fog computing, machine learning, artificial intelligence, deep learning, big data, cloud computing…”
DOAB: download the publication
DOAB: description of the publication

Interdisciplinary Insights for Digital Touch Communication by Jewitt, Carey

Subjects: “…Computer science…”
DOAB: download the publication
DOAB: description of the publication

Intelligent Human Computer Interaction: 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings by Catherine Achard

Subjects: “…computer networks…”
DOAB: download the publication
DOAB: description of the publication

Recent Advances in Understanding the Basic Mechanisms of Atrial Fibrillation Using Novel Computational Approaches

Subjects: “…computer simulation…”
DOAB: download the publication
DOAB: description of the publication

System- and Data-Driven Methods and Algorithms

Subjects: “…Computer simulation…”
DOAB: download the publication
DOAB: description of the publication

Elements of dynamic and 2-SAT programming: paths, trees, and cuts by Bentert, Matthias

Subjects: “…shortest paths computation…”
DOAB: download the publication
DOAB: description of the publication

Interdisciplinary Insights for Digital Touch Communication by Jewitt, Carey

Subjects: “…Computer science…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

System- and Data-Driven Methods and Algorithms

Subjects: “…Computer simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Elements of dynamic and 2-SAT programming: paths, trees, and cuts by Bentert, Matthias

Subjects: “…shortest paths computation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Policy-Oriented Technology Assessment Across Europe Expanding Capacities /

Subjects: “…Computer engineering.…”
Link to Metadata

The Huawei and Snowden Questions Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? / by Lysne, Olav

Subjects: “…Computer engineering.…”
Link to Metadata

Bayesian Methods in the Search for MH370 by Gordon, Neil, Davey, Sam, Holland, Ian, Rutten, Mark, Williams, Jason

Subjects: “…Computer science Mathematics.…”
Link to Metadata

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Subjects: “…computer programming…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Subjects: “…computer programming…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020

Subjects: “…Computer-based algorithms…”
DOAB: download the publication
DOAB: description of the publication

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020

Subjects: “…Computer-based algorithms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Subjects: “…computer networks…”
DOAB: download the publication
DOAB: description of the publication