-
1مؤتمر
المؤلفون: Sharmila, Sk., Nagasai, G. Kavya, Sowmya, M., Prasanna, A.Sai, Sri, S. Navya, Meghana, N.
المصدر: 2023 7th International Conference on Computing Methodologies and Communication (ICCMC) Computing Methodologies and Communication (ICCMC), 2023 7th International Conference on. :170-174 Feb, 2023
Relation: 2023 7th International Conference on Computing Methodologies and Communication (ICCMC)
-
2كتاب إلكتروني
المساهمون: Finkbeiner, Bernd, Kovács, Laura
مصطلحات موضوعية: TACAS, formal verification, software systems, hardware systems, static analysis, probabilistic programming, program synthesis, oncurrency, testing, simulations, verification of machine, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
وصف الملف: application/pdf
Relation: Lecture Notes in Computer Science
-
3كتاب إلكتروني
المؤلفون: Khot, AnkitaAff13, Dave, MayankAff13
المساهمون: Kacprzyk, Janusz, Series EditorAff1, Gomide, Fernando, Advisory EditorAff2, Kaynak, Okyay, Advisory EditorAff3, Liu, Derong, Advisory EditorAff4, Pedrycz, Witold, Advisory EditorAff5, Polycarpou, Marios M., Advisory EditorAff6, Rudas, Imre J., Advisory EditorAff7, Wang, Jun, Advisory EditorAff8, Marriwala, Nikhil, editorAff9, Tripathi, C. C., editorAff10, Kumar, Dinesh, editorAff11, Jain, Shruti, editorAff12
المصدر: Mobile Radio Communications and 5G Networks : Proceedings of MRCN 2020. 140:487-499
-
4مورد إلكتروني
مصطلحات الفهرس: Machine Learning, eXplainable Artifical Intelligence, Formal Verification of Machine Learning models, Maskininlärning, förklarbar artificiell intelligens, formell verifiering av maskininlärningsmodeller, Computer and Information Sciences, Data- och informationsvetenskap, Student thesis, info:eu-repo/semantics/bachelorThesis, text
-
5مورد إلكتروني
-
6
-
7
-
8