A Brief Program Robustness Survey

Abdalla, Ayman M.; Abdallah, Mohammad; Salah, Mosa I.

doi:10.5121/ijsea.2017.8101

Cited by 10 publications

(5 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, we use the NeuroLang ( https://github.com/NeuroLang/NeuroLang ; Wassermann et al, 2022 ) library to perform all meta-analysis steps and the BrainSpace library ( https://github.com/MICA-MNI/BrainSpace ; Vos de Wael et al, 2022 ) to estimate low-dimensional embeddings of meta-analytic connectivity patterns in the LPFC ( Vos de Wael et al, 2020 ). All source code and data files used in this study will be publicly available to be openly accessed on github at https://github.com/majdabd/lpfc_gradients-meta-analysis (copy archived at swh:1:rev:7ab4efcbc9875b92745b7b1c43864d7352fd3b90 ; Abdallah, 2022 ).…”

Section: Methodsmentioning

confidence: 99%

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis

Abdallah

Zanitti

Iovene

et al. 2022

eLife

View full text Add to dashboard Cite

The lateral prefrontal cortex (LPFC) of humans enables flexible goal-directed behavior. However, its functional organization remains actively debated after decades of research. Moreover, recent efforts aiming to map the LPFC through meta-analysis are limited, either in scope or in the inferred specificity of structure-function associations. These limitations are in part due to the limited expressiveness of commonly-used data analysis tools, which restricts the breadth and complexity of questions that can be expressed in a meta-analysis. Here, we adopt NeuroLang, a novel approach to more expressive meta-analysis based on probabilistic first-order logic programming, to infer the organizing principles of the LPFC from 14,371 neuroimaging studies. Our findings reveal a rostrocaudal and a dorsoventral gradient, respectively explaining the most and second most variance in meta-analytic connectivity across the LPFC. Moreover, we identify a unimodal-to-transmodal spectrum of coactivation patterns along with a concrete-to-abstract axis of structure-function associations extending from caudal to rostral regions of the LPFC. Finally, we infer inter-hemispheric asymmetries along the principal rostrocaudal gradient, identifying hemisphere-specific associations with topics of language, memory, response inhibition, and sensory processing. Overall, this study provides a comprehensive meta-analytic mapping of the LPFC, grounding future hypothesis generation on a quantitative overview of past findings.

show abstract

Section: Methodsmentioning

confidence: 99%

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis

Abdallah

Zanitti

Iovene

et al. 2022

eLife

View full text Add to dashboard Cite

show abstract

“…Their system was produced up to 6.300 l/m 2 /day with a production efficiency of 61.3%, while the calculated maximum theoretical productivity was 10.277 l/m 2 /day. On the other hand, Abdallah et al [17] evaluated the performance of simple design stepped still coupled with sun tracking mechanism in Amman, Jordan.…”

Section: Active Simple Stepped Stillsmentioning

confidence: 99%

Stepped Solar Stills’ Development and Improvement for Seawater Desalination

Shmroukh

2021

SVU-International Journal of Engineering Sciences and Applicati

View full text Add to dashboard Cite

Nowadays freshwater needs were covered by fossil fuel-based desalination systems in many areas over the world. However, fossil fuels' excessive burning results in rapid depletion and pollution of the local environment as well as threat to life sustainability. Therefore, through the last few decades the scientific community focused on the systems relying on solar energy in seawater desalination as a clean alternative.Stepped solar stills, which convert solar energy to the required heat for producing freshwater in seawater desalination, are paid much attention. This article provides a comprehensive analysis of stepped solar stills' development.Performance enhancement techniques, desalinated water production, efficiency and maximum theatrical production are discussed. This work aims to keep researchers and concerned scientific community abreast of stepped solar stills' improvements. Such stills of low construction and running costs can meet the freshwater daily needs for small communities in coastal areas, islands and rural areas especially in Mideast. In conclusion, this review clarified that the stepped type solar stills still need multiple improvements to enhance their production efficiency and freshwater quantity. Further attention should be paid to the design of modified stills to attain better and efficient solar heat absorption as well as evaporation of seawater.

show abstract

“…However, in this research we only interested in forward and backward static slicing techniques. Program slicing is widely used for many purposes: debugging [8], maintenance [18], testing [19,20], detecting dead code [21], measuring program robustness [22][23][24] and quality [25][26][27] and many other applications [26,28]. Therefore, Researchers have tried applying their ideas of using program slicing and advanced tools.…”

Section: Related Workmentioning

confidence: 99%

A proposed forward clause slicing application

Awad

Abdallah

Tamimi

et al. 2019

IJEECS

View full text Add to dashboard Cite

The Clause slicing technique is static slicing techniques which also have forward and backward slicing methods. The Clause slice criteria are the clause and the clause number. In this paper, we have discussed the Clauser tool the forward clause slicing tool introduce some improvements to it. The Clauser mechanism divides the program code statement into clauses, depending on clause slicing rules, identifies the variables and built-in functions, then slices the clauses regarding the slice criterion that was entered by the user. Comparing to other static slicing techniques the clause slicing is more accurate and precise because it considers all the code in micro-level, where it focuses on every syntax in the code. The Clauser still needs to be enhanced to slice more code features.

show abstract

A Brief Program Robustness Survey

Abstract: ABSTRACT

Cited by 10 publications

References 18 publications

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis

Functional gradients in the human lateral prefrontal cortex revealed by a comprehensive coordinate-based meta-analysis

Stepped Solar Stills’ Development and Improvement for Seawater Desalination

A proposed forward clause slicing application

Contact Info

Product

Resources

About