Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being -
SDG 7 Affordable and Clean Energy
Fingerprint
Dive into the research topics where Muhammad Syifaul Mufid is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Disordered discrete-time quantum walk over max-plus algebra
Firmansyah, M. I. D., Mufid, M. S., Subiono & Davvaz, B., Mar 2025, In: Discrete Event Dynamic Systems: Theory and Applications. 35, 1, p. 1-21 21 p., 100419.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
Global Trends and Thematic Evolution of Machine Learning in Breast Cancer Research
Yuliati, D., Irawan, M. I. & Mufid, M. S. U., 2025, 2025 International Conference on Artificial Intelligence, Blockchain, Cloud Computing, and Data Analytics, ICoABCD 2025. Institute of Electrical and Electronics Engineers Inc., (2025 International Conference on Artificial Intelligence, Blockchain, Cloud Computing, and Data Analytics, ICoABCD 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Timed concurrent system modeling and verification of home care plan
Taryana, A., Adzkiya, D., Mufid, M. S. U. & Mukhlash, I., Feb 2025, In: International Journal of Electrical and Computer Engineering. 15, 1, p. 870-882 13 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Control design of discrete-time unicycle model using satisfiability modulo theory
Adzkiya, D., Mufid, M. S. U., Saputri, F. S. & Abate, A., 2024, In: Systems Science and Control Engineering. 12, 1, 2316166.Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (Scopus) -
LTL Model Checking for Verification of Electronic Medical Record (EMR) Design
Taryana, A., Adzkiya, D., Mufid, M. S., Mukhlash, I. & Abate, A., 2024, Applied and Computational Mathematics - ICoMPAC 2023. Adzkiya, D. & Fahim, K. (eds.). Springer, p. 283-297 15 p. (Springer Proceedings in Mathematics and Statistics; vol. 455).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review