{"id":11259,"date":"2017-04-14T17:56:03","date_gmt":"2017-04-14T17:56:03","guid":{"rendered":"http:\/\/qu.edu.iq\/repository\/?p=11259"},"modified":"2025-09-13T23:12:00","modified_gmt":"2025-09-13T20:12:00","slug":"%d9%85-%d9%85-%d8%b2%d9%8a%d9%86%d8%a9-%d8%ad%d8%b3%d9%8a%d9%86-%d8%aa%d9%88%d9%85%d8%a7%d9%86","status":"publish","type":"post","link":"https:\/\/repository.qu.edu.iq\/?p=11259","title":{"rendered":"\u0645.\u062f \u0632\u064a\u0646\u0629 \u062d\u0633\u064a\u0646 \u062a\u0648\u0645\u0627\u0646"},"content":{"rendered":"

1-Formal verification for security and attacks in IoT physical layer<\/a><\/p>\n

2-Cluster-based information retrieval by using (K-means)-hierarchical parallel genetic algorithms approach<\/a><\/p>\n

3-Service to service communication based on CBPS system: refinement and verification<\/a><\/p>\n

4-Formal modelling and verification of scalable service composition in IoT environment<\/a><\/p>\n

5-Automated scoring for essay questions in E-learning<\/a><\/p>\n

6-Formal service conflict detection through abstraction and refinement<\/a><\/p>\n

7-Correct-by-construction approach for formal verification of IOT architecture<\/a><\/p>\n

8-Content-based audio retrieval by using elitism GA-KNN approach<\/a><\/p>\n

9-Ensuring the Correctness and Reliability of CBPS System Using Event\u2010B<\/a><\/p>\n

10-An in-depth comparison of software frameworks for developing desktop applications using web technologies<\/a><\/p>\n

\n","protected":false},"excerpt":{"rendered":"

1-Formal verification for security and attacks in IoT physical layer 2-Cluster-based information retrieval by using (K-means)-hierarchical parallel genetic algorithms approach … <\/i>\u0642\u0631\u0627\u0621\u0629 \u0627\u0644\u0645\u0632\u064a\u062f<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[19],"tags":[],"class_list":["post-11259","post","type-post","status-publish","format-standard","hentry","category-19"],"_links":{"self":[{"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=\/wp\/v2\/posts\/11259","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=11259"}],"version-history":[{"count":3,"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=\/wp\/v2\/posts\/11259\/revisions"}],"predecessor-version":[{"id":40627,"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=\/wp\/v2\/posts\/11259\/revisions\/40627"}],"wp:attachment":[{"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=11259"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=11259"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/repository.qu.edu.iq\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=11259"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}