Modeling of distributed file System in big data storage by event- B von Ali, Ammar Alhaj, Varacha, Pavel, Krayem, Said, Jasek, Roman, Zacek, Petr, Chramcov, Bronislav

Volltext

Proving the Effectiveness of Negotiation Protocols KQML in Multi-agent Systems Using Event-B von Ali, Ammar Alhaj, Jasek, Roman, Krayem, Said, Zacek, Petr

Volltext

Sub-region Segmentation of Brain Tumors from Multimodal MRI Images Using 3D U-Net von Ali, Ammar Alhaj, Katta, Rasin, Jasek, Roman, Chramco, Bronislav, Krayem, Said

Volltext

Classification of Plant Diseases Using Convolutional Neural Networks von Ali, Ammar Alhaj, Chramcov, Bronislav, Jasek, Roman, Katta, Rasin, Krayem, Said

Volltext

Detection of Steel Surface Defects Using U-Net with Pre-trained Encoder von Ali, Ammar Alhaj, Chramcov, Bronislav, Jasek, Roman, Katta, Rasin, Krayem, Said, Kadi, Mohammad

Volltext

Formal Development of Fault Tolerance by Replication of Distributed Database Systems von Katta, Rasin, Ali, Ammar Alhaj, Chramcov, Bronislav, Krayem, Said, Jasek, Roman

Volltext

Fault Tolerant Sensor Network Using Formal Method Event-B von Ali, Ammar Alhaj, Chramcov, Bronislav, Jasek, Roman, Katta, Rasin, Krayem, Said

Volltext

Fault Detection Model for Multi Robotic System Using Formal Method Event-B von Awwama, Emad, Ali, Ammar Alhaj, Jasek, Roman, Chramcov, Bronislav, Krayem, Said, Katta, Rasin

Volltext

268 Knowledge, Attitude, Practice, and Barriers Regarding Performing Basic Life Support (BLS), Advanced Cardiovascular Life Support (ACLS), and Advanced Trauma Life Support (ATLS)... von Mohammed, Omer A, Elnour, Mohey Aldien Ahmed Elamin, yousif, Thana Siddig Ahmed, Siddiqua, Zainab, Amin, Mohammed Hammad Jaber, Mohamed, Makia Hussein Makawi, Al-Jabri, Mohammed Musaed, Issa, Rayan Mohamed, Musa, Asim Hatim Mohammed, Alnour, Ammar Alemam Diab, Alhaj, Muzan Ali Mohamed, Kamal, Ahmed, Eldouma, Mohamedelmusafa Yahya Mohamed, Yousif, Yousif Omer Elgaili, Mansoor, Hossam Aldeen Elharith Ali, Ali, Safaa Ibrahim Salem, Magbol, Mustafa

Volltext