Mohamed El Halaby

14 papers Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2020 — conf
Feature Selection for the Classification of Alzheimer's Disease Data.
ICSIM
Hany Al Ashwal, Areeg Abdalla, Mohamed El Halaby, Ahmed A. Moustafa
2020 — conf
Learning the Satisfiability of Ł-clausal Forms.
SAI (2)
Mohamed El Halaby, Areeg Abdalla
2020 J jnl
New phase transitions for formulas in Łukasiewicz logic.
Frontiers Comput. Sci.
Mohamed El Halaby, Areeg Abdalla
2020 J jnl
The Automatic Detection of Cognition Using EEG and Facial Expressions.
Sensors
Mohamed El Kerdawy, Mohamed El Halaby, Afnan Hassan, Mohamed Maher, Hatem A. Fayed, Doaa Shawky, Ashraf H. Badawi
2019 — conf
Facilitating Classroom Orchestration Using EEG to Detect the Cognitive States of Learners.
AMLTA
Zainab Mohamed, Mohamed El Halaby, Tamer Said, Doaa Shawky, Ashraf H. Badawi
2019 J jnl
The Application of Unsupervised Clustering Methods to Alzheimer's Disease.
Frontiers Comput. Neurosci.
Hany Al Ashwal, Mohamed El Halaby, Jacob J. Crouse, Areeg Abdalla, Ahmed A. Moustafa
2018 J jnl
Characterizing Focused Attention and Working Memory Using EEG.
Sensors
Zainab Mohamed, Mohamed El Halaby, Tamer Said, Doaa Shawky, Ashraf H. Badawi
2018 J jnl
Maximizing the Number of Satisfied L-clauses.
CoRR
Mohamed El Halaby, Areeg Abdalla
2018 J jnl
Solving the Course-timetabling Problem of Cairo University Using Max-SAT.
CoRR
Mohamed El Halaby
2016 — conf
Fuzzy Maximum Satisfiability.
INFOS
Mohamed El Halaby, Areeg Abdalla
2016 J jnl
Fuzzy Maximum Satisfiability.
CoRR
Mohamed El Halaby, Areeg Abdalla
2016 J jnl
On the Computational Complexity of MaxSAT.
Electron. Colloquium Comput. Complex.
Mohamed El Halaby
2016 — conf
Solving MaxSAT by Successive Calls to a SAT Solver.
IntelliSys (1)
Mohamed El Halaby
2016 J jnl
Solving MaxSAT by Successive Calls to a SAT Solver.
CoRR
Mohamed El Halaby