المؤلفون: Froleyks, Nils, Yu, Emily, Biere, Armin, Heljanko, Keijo

مصطلحات موضوعية: Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/2405.04297

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المصدر: 2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :1-11 Oct, 2023

Relation: 2023 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المصدر: 2022 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2022. :59-64 Oct, 2022

Relation: 2022 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Javed, Asad, Yousefnezhad, Narges, Robert, Jeremy, Heljanko, Keijo, Framling, Kary

المصدر: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) Pervasive Computing and Communications Workshops (PerCom Workshops), 2019 IEEE International Conference on. :220-226 Mar, 2019

Relation: 2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)

المؤلفون: Ponce-de-Leon, Hernan, Furbach, Florian, Heljanko, Keijo, Meyer, Roland

المصدر: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018

Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)

المؤلفون: Javed, Asad, Heljanko, Keijo, Buda, Andrea, Framling, Kary

المصدر: 2018 IEEE 4th World Forum on Internet of Things (WF-IoT) Internet of Things (WF-IoT), 2018 IEEE 4th World Forum on. :813-818 Feb, 2018

Relation: 2018 IEEE 4th World Forum on Internet of Things (WF-IoT)

المؤلفون: Javed, Asad, Heljanko, Keijo, Buda, Andrea, Främling, Kary

المصدر: IEEE 4th World Forum on Internet of Things (WF-IoT), Singapore, 5-8 February, 2018

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2001.08433

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo

مصطلحات موضوعية: Computer Science - Machine Learning, Statistics - Machine Learning

URL الوصول: http://arxiv.org/abs/1904.06895

المؤلفون: Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo, Jung, Alexander

مصطلحات موضوعية: Computer Science - Machine Learning, Statistics - Machine Learning

URL الوصول: http://arxiv.org/abs/1809.05896