Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Sana Shuja"'
Publikováno v:
SAGE Open, Vol 12 (2022)
Education has always been considered as the linchpin for a country’s economic and social development. The dropout rate in schools especially in developing countries has always been a problematic issue and the situation has further been worsened by
Externí odkaz:
https://doaj.org/article/ebe80df604a34d2d99534f4caf3ebf05
Publikováno v:
Sensors, Vol 22, Iss 20, p 7773 (2022)
Type-1 diabetes mellitus (T1DM) is a challenging disorder which essentially involves regulation of the glucose levels to avoid hyperglycemia as well as hypoglycemia. For this purpose, this research paper proposes and develops control algorithms using
Externí odkaz:
https://doaj.org/article/14cf044af1d04d3d8b9731b2e4f22936
Publikováno v:
Journal of Electrical and Computer Engineering, Vol 2015 (2015)
Pacemakers are safety-critical devices whose faulty behaviors can cause harm or even death. Often these faulty behaviors are caused due to bugs in programs used for digital control of pacemakers. We present a formal verification methodology that can
Externí odkaz:
https://doaj.org/article/2bd2be4fe24545199bc5d22ae671b3bc
Autor:
Adeel Iqbal, Ali Nauman, Riaz Hussain, Irfan Latif Khan, Ali Khaqan, Sana Shuja, Sung Won Kim
Publikováno v:
Computers, Materials & Continua. 75:1735-1750
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::236d6c0869fdbe8bc1debc1a19f51103
https://doi.org/10.32604/cmc.2023.034468
https://doi.org/10.32604/cmc.2023.034468
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Scientific Programming, Vol 2020 (2020)
One of the major challenges in the formal verification of embedded system software is the complexity and substantially large size of the implementation. The problem becomes crucial when the embedded system is a complex medical device that is executin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a47ce0974f3f8ee5eb4e885240f811b8
https://doi.org/10.1155/2020/6791891
https://doi.org/10.1155/2020/6791891
Education has always been considered as the linchpin for a country’s economic and social development. The dropout rate in schools especially in third-world countries has always been a problematic issue and the situation has further been worsened by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f7e30e94eacf1710946013bb20e5656
https://doi.org/10.31124/advance.16728967
https://doi.org/10.31124/advance.16728967
Publikováno v:
IET Computers & Digital Techniques. 11:197-203
A formal verification methodology for checking both functional and timing requirements of real-time digital controllers targeted at field programmable gate array technology is proposed. Timed transition systems (TTSs) are used to model both the digit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c41a82e5fcd7dc78fe715e8553a52aec
https://doi.org/10.1049/iet-cdt.2016.0189
https://doi.org/10.1049/iet-cdt.2016.0189
Autor:
Hajra Arif, Shehryar Imtiaz, Shahzad A. Malik, Qadeer Ul Hasan, Junaid Ahmed, Raja Ali Riaz, Sana Shuja, Ali Khaqan
Publikováno v:
Biomedical Research. 29
Type 1 diabetes mellitus is one of the most common childhood diseases which, if not carefully mitigated, can pose menacing risks like hyperglycemia and ketoacidosis, ultimately leading to heart disease, kidney failure and other life-threatening compl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::539ea9133a1f223b688a43d74703a395
https://doi.org/10.4066/biomedicalresearch.29-17-3740
https://doi.org/10.4066/biomedicalresearch.29-17-3740
Publikováno v:
IEEE Embedded Systems Letters. 7:85-88
Stepper motors are electric motors that are used extensively in safety-critical applications such as auto, medical devices, and surgical robots. A popular trend is the use of FPGA-based digital control for stepper motors. We present a formal verifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0ffe7636b6c7455fc6ee377d5b5b789
https://doi.org/10.1109/les.2015.2450677
https://doi.org/10.1109/les.2015.2450677