المؤلفون: Tan, Shawn Zheng Kai, Baksi, Shounak, Bjerregaard, Thomas Gade, Elangovan, Preethi, Gopalakrishnan, Thrishna Kuttikattu, Hric, Darko, Joumaa, Joffrey, Li, Beidi, Rabbani, Kashif, Venkatesan, Santhosh Kannan, Valdez, Joshua Daniel, Kuriakose, Saritha Vettikunnel

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

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

المؤلفون: Li, Beidi, Tin, Tan Bee

المصدر: New Zealand studies in applied linguistics, 2013; v.19 n.2:p.21-35

المؤلفون: Rausch, Christopher, Talebi, Saeed, Poshdar, Mani, Li, Beidi, Schultz, Carl

المصدر: In Automation in Construction September 2022 141

المؤلفون: Li, Beidi^Aff10, Nielsen, Rasmus O.^Aff10, Johansen, Karsten W.^Aff10, Teizer, Jochen^Aff11, Larsen, Peter Gorm^Aff10, Schultz, Carl^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff9}, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Margaria, Tiziana, editor^Aff8

المصدر: Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV. 12479:153-174

المؤلفون: Li, Beidi, Schultz, Carl, Teizer, Jochen, Golovina, Olga, Melzner, Jürgen

المصدر: In Advanced Engineering Informatics January 2022 51

المؤلفون: Li, Beidi, Fitzgerald, John, Schultz, Carl

المصدر: In Advanced Engineering Informatics January 2022 51

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

المؤلفون: Li, Beidi, Bhatt, Mehul, Professor, 1980, Schultz, Carl P. L.

المصدر: Leibniz International Proceedings in Informatics, LIPIcs.

مصطلحات موضوعية: Spatial reasoning, Functional logic programming, Lambda-Prolog, Computer Science, Datavetenskap

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-76858
https://doi.org/10.4230/LIPIcs.COSIT.2019.26

المؤلفون: Li, Beidi, Schultz, Carl Peter Leslie, Dimyadi, Johannes, Amor, Robert

المساهمون: Semenov, Vitaly, J. Scherer, Raimar

المصدر: Li, B, Schultz, C P L, Dimyadi, J & Amor, R 2021, Defeasible reasoning for automated building code compliance checking . in V Semenov & R J. Scherer (eds), ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction : Proceedings of the 13th European Conference on Product & Process Modelling (ECPPM 2021), 15-17 September 2021, Moscow, Russia . CRC Press, london, pp. 229-236, 13th European Conference on Product & Process Modelling, Moscow, Russian Federation, 15/09/2021 . https://doi.org/10.1201/9781003191476

URL الوصول: https://explore.openaire.eu/search/publication?articleId=pure_au_____::f3aeaadefdd880185b15f9ccd8c5f92b
https://pure.au.dk/portal/da/publications/defeasible-reasoning-for-automated-building-code-compliance-checking(0c3c2094-752b-4d06-9b69-8c4cc94135aa).html

المؤلفون: Hjelseth, Eilif, Li, Beidi

المصدر: Hjelseth, E & Li, B 2021, Use of “Reasoner” for automated building code compliance assessment . in Proceedings of the 38th International Conference of CIB W78 . Proceedings of the 37th International Conference of CIB W78, pp. 138-147, Automated Code Compliance Checking (A3XC)-Approaches and Applications, Luxembourg, 14/10/2021 . < https://itc.scix.net/pdfs/w78-2021-paper-014.pdf >

URL الوصول: https://explore.openaire.eu/search/publication?articleId=pure_au_____::29a956f6d0a08cc0932ba0c4d311f5dc
https://pure.au.dk/portal/da/publications/use-of-reasoner-for-automated-building-code-compliance-assessment(23d81c82-3ae1-420e-9045-70003df1c2d1).html