-
1تقرير
المؤلفون: 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
-
2دورية
المؤلفون: Li, Beidi, Tin, Tan Bee
المصدر: New Zealand studies in applied linguistics, 2013; v.19 n.2:p.21-35
-
3دورية أكاديمية
المؤلفون: Rausch, Christopher, Talebi, Saeed, Poshdar, Mani, Li, Beidi, Schultz, Carl
المصدر: In Automation in Construction September 2022 141
-
4كتاب إلكتروني
المؤلفون: Li, BeidiAff10, Nielsen, Rasmus O.Aff10, Johansen, Karsten W.Aff10, Teizer, JochenAff11, Larsen, Peter GormAff10, Schultz, CarlAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Aff9, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Margaria, Tiziana, editorAff8
المصدر: 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
-
5دورية أكاديمية
المؤلفون: Li, Beidi, Schultz, Carl, Teizer, Jochen, Golovina, Olga, Melzner, Jürgen
المصدر: In Advanced Engineering Informatics January 2022 51
-
6دورية أكاديمية
المؤلفون: Li, Beidi, Fitzgerald, John, Schultz, Carl
المصدر: In Advanced Engineering Informatics January 2022 51
-
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
8
المؤلفون: 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 -
9
المؤلفون: 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 -
10
المؤلفون: 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