830 research outputs found
ali-ghanbari/memu: v1.0
No full textToward Speeding up Mutation Analysis by Memoizing Expensive Method
Automatic Goal Clone Detection in Rocq
No full textProof engineering in Rocq is a labor-intensive process, and as proof developments grow in size, redundancy and maintainability become challenges. One such redundancy is goal cloning, i.e., proving α-equivalent goals multiple times, leading to wasted effort and bloated proof scripts. In this paper, we introduce clone-finder, a novel technique for detecting goal clones in Rocq proofs. By leveraging the formal notion of α-equivalence for Gallina terms, clone-finder systematically identifies duplicated proof goals across large Rocq codebases. We evaluate clone-finder on 40 real-world Rocq projects from the CoqGym dataset. Our results reveal that each project contains an average of 27.73 instances of goal clone. We observed that the clones can be categorized as either exact goal duplication, generalization, or α-equivalent goals with different proofs, each signifying varying levels duplicate effort. Our findings highlight significant untapped potential for proof reuse in Rocq-based formal verification projects, paving the way for future improvements in automated proof engineering
On Accelerating Deep Neural Network Mutation Analysis
No full textThe usage of Deep Neural Networks (DNNs) is increasing rapidly across various domains, necessitating rigorous testing to ensure validity, usability, and effectiveness. Mutation analysis of DNNs, a technique that applies mutations to models, creating mutants used to evaluate effectiveness, has emerged as a powerful approach for assessing model robustness. However, existing mutation analysis techniques for DNNs face prohibitive computational costs, especially for large real-world models. This creates a critical need to accelerate the analysis of
DNN mutations while maintaining the effectiveness of the testing.
The primary contribution of this thesis is DEEPMAACC, a novel tool that was designed to mitigate these computational expenses. DEEPMAACC implements two distinct acceleration methods: neuron clustering and mutant clustering. Both methods utilize hierarchical agglomerative clustering to group neurons or mutants with similar weights, with the aim of improving efficiency while maintaining the accuracy of the mutation score. To evaluate DEEPMAACC, this research conducts an empirical study using eight DNN models on four popular classification datasets and two DNN architectures. The secondary contribution of this thesis is two more approaches that are used to accelerate the mutation analysis of DNNs. The approaches are Random Mutant Selection and Boundary Sample Size Selection. Random Mutant Selection is inspired by Ghanbari et al. and acts as a baseline to show that randomly choosing a certain percentage of mutants will not result in the same outcomes as DEEPMAACC. Boundary Sample Size Selection is a unique approach inspired by Shen et al. which only tests on certain sensitivities of decision boundary samples
The similarity of Ali (as) and Jesus (PBUH) in Islamic tradition
No full textAccording to the teachings of the Shia, Imam Ali (AS) has unique features by which he earned the merits of becoming the successor to the Prophet (pbuh) as the Imam and Wali. One of the most important of his features is his similarity to the Jesus as one of the greatest prophets before Prophet Muhammad (pbuh). This similarity was first mentioned in some Islamic traditions, especially the ones narrated through Shiite Isnad in interpretation of the verses 57-59 of the Surta Az-Zukhruf. In these traditions, the Prophet has regarded the Position of Imam Ali (AS) in his nation the same as Jesus's Position among the Israel. The Quran has cited the inimical arguments of the Arab infidels against this prophet's saying: they considered the worshiping of their own gods better than accepting Prophet's remark in equating his cousin with Jesus (pbuh). By resorting to this remark, the infidels regarded worshiping their own gods more preferable than deifying a man. Therefore, the first and most prominent similarity between Imam Ali (AS) and Jesus Christ (pbuh) is attributing divinity to Imam Ali (AS), at least by some of his extreme lovers. The Quranic command saying: "Do not Exaggerate about your religion… .(Quran 4:17) refers to the Christian extremism in deifying Jesus, But soon word Ghali was borrowed from this verse and used to refer to Shiite extremists. Moreover, the Quran (4: 159), talks about the advent of Jesus Christ to his followers before their death .The same concept has been mentioned in Shiite traditions about Imam Ali (AS), according to which, he is believed to be present beside every dying Muslim individual. This appearance of Imam Ali (AS) would remind us the idea of Imam Ali's (AS) return to this world. Thus, the return of Imam Ali (AS) to this world is the third similarity between Imam Ali (AS) and Jesus Christ (PBUH). Not only the return of Jesus has been mentioned in in the Christian tradition as the one manifested to the apostles after his ascension and also his return as the Messiah, the savior of the world, but in the Islamic tradition and the Koran (AZ-ZUKHRUF: 61) it is also pointed out that Jesus's (pbuh ) return is certainly a sign for resurrection. It is so interesting that in Shiite commentaries under this verse and other Quranic verses (Naml:2) the return of Imam Ali (AS) to the world has been mentioned as eschatological signs. This return happens due to the high position of Jesus Christ and Ali (AS) both of whom in Christian and Shiite traditions possess the two concepts of ascending and descending. It is narrated from Imam Ali (AS) that he described himself as having the quality of return. The reflection of such remarks among the Shiite extremists led to the denial of Imam Ali's death and his divinity. The extremists who were known as Nasiris expressed the divinity of Imam Ali (AS) in the form of trinity and in Baktashi Sufism; this concept has been elaborated as the three hypostases of Allah, Muhammad and Ali. In Ibn Arabi mysticism the divinity has been manifested in ultimate authority he considers for both of them. Besides all these similarities, the miracles done by Imam Ali (like: the revival of the dead, speaking in the cradle, and rising in the clouds) are all similar to the ones narrated for Jesus Christ. Furthermore, Imam Ali's moral features like his chivalry and piety match the qualities of Jesus inferred from his biography
sj-tiff-1-isp-10.1177_00207640231182358 – Supplemental material for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019
No full textSupplemental material, sj-tiff-1-isp-10.1177_00207640231182358 for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019 by Paria Aghababaie-Babaki, Mohammad-Reza Malekpour, Esmaeil Mohammadi, Sahar Saeedi Moghaddam, Mohammad-Mahdi Rashidi, Ali Ghanbari, Mahsa Heidari-Foroozan, Zahra Esfahani, Sahar Mohammadi Fateh, Amirali Hajebi, Rosa Haghshenas, Elmira Foroutan Mehr, Negar Rezaei, Bagher Larijani and Farshad Farzadfar in International Journal of Social Psychiatry</p
sj-docx-6-isp-10.1177_00207640231182358 – Supplemental material for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019
No full textSupplemental material, sj-docx-6-isp-10.1177_00207640231182358 for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019 by Paria Aghababaie-Babaki, Mohammad-Reza Malekpour, Esmaeil Mohammadi, Sahar Saeedi Moghaddam, Mohammad-Mahdi Rashidi, Ali Ghanbari, Mahsa Heidari-Foroozan, Zahra Esfahani, Sahar Mohammadi Fateh, Amirali Hajebi, Rosa Haghshenas, Elmira Foroutan Mehr, Negar Rezaei, Bagher Larijani and Farshad Farzadfar in International Journal of Social Psychiatry</p
sj-tiff-3-isp-10.1177_00207640231182358 – Supplemental material for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019
No full textSupplemental material, sj-tiff-3-isp-10.1177_00207640231182358 for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019 by Paria Aghababaie-Babaki, Mohammad-Reza Malekpour, Esmaeil Mohammadi, Sahar Saeedi Moghaddam, Mohammad-Mahdi Rashidi, Ali Ghanbari, Mahsa Heidari-Foroozan, Zahra Esfahani, Sahar Mohammadi Fateh, Amirali Hajebi, Rosa Haghshenas, Elmira Foroutan Mehr, Negar Rezaei, Bagher Larijani and Farshad Farzadfar in International Journal of Social Psychiatry</p
sj-tiff-4-isp-10.1177_00207640231182358 – Supplemental material for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019
No full textSupplemental material, sj-tiff-4-isp-10.1177_00207640231182358 for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019 by Paria Aghababaie-Babaki, Mohammad-Reza Malekpour, Esmaeil Mohammadi, Sahar Saeedi Moghaddam, Mohammad-Mahdi Rashidi, Ali Ghanbari, Mahsa Heidari-Foroozan, Zahra Esfahani, Sahar Mohammadi Fateh, Amirali Hajebi, Rosa Haghshenas, Elmira Foroutan Mehr, Negar Rezaei, Bagher Larijani and Farshad Farzadfar in International Journal of Social Psychiatry</p
sj-docx-5-isp-10.1177_00207640231182358 – Supplemental material for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019
No full textSupplemental material, sj-docx-5-isp-10.1177_00207640231182358 for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019 by Paria Aghababaie-Babaki, Mohammad-Reza Malekpour, Esmaeil Mohammadi, Sahar Saeedi Moghaddam, Mohammad-Mahdi Rashidi, Ali Ghanbari, Mahsa Heidari-Foroozan, Zahra Esfahani, Sahar Mohammadi Fateh, Amirali Hajebi, Rosa Haghshenas, Elmira Foroutan Mehr, Negar Rezaei, Bagher Larijani and Farshad Farzadfar in International Journal of Social Psychiatry</p
sj-tiff-2-isp-10.1177_00207640231182358 – Supplemental material for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019
No full textSupplemental material, sj-tiff-2-isp-10.1177_00207640231182358 for Global, regional, and national burden and quality of care index (QCI) of bipolar disorder: A systematic analysis of the Global Burden of Disease Study 1990 to 2019 by Paria Aghababaie-Babaki, Mohammad-Reza Malekpour, Esmaeil Mohammadi, Sahar Saeedi Moghaddam, Mohammad-Mahdi Rashidi, Ali Ghanbari, Mahsa Heidari-Foroozan, Zahra Esfahani, Sahar Mohammadi Fateh, Amirali Hajebi, Rosa Haghshenas, Elmira Foroutan Mehr, Negar Rezaei, Bagher Larijani and Farshad Farzadfar in International Journal of Social Psychiatry</p
- …
