Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Khurram, Sajid"'
Publikováno v:
Pakistan Journal of Medical and Health Sciences. 16:403-406
Objective: To determine etiology, sensitivity and resistance pattern of urinary tract infection in pediatrics age group 0 to 16 years at tertiary care hospital. Methodology: It was a cross-sectional study conducted inPediatric department of Aga khan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6cb2b732958d3941aa89dff24b02db4f
https://doi.org/10.53350/pjmhs20221611403
https://doi.org/10.53350/pjmhs20221611403
Publikováno v:
Pakistan Journal of Medical and Health Sciences. 16:448-450
Objective: To determine the frequency of thrombocytopenia in neonates undergoing exchange transfusion of blood for severe neonatal jaundice. Methodology: Total 200 neonates fulfilling the selection criteria were included in the study from neonatology
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::459fe77a2c66d134c41906530ab1c11a
https://doi.org/10.53350/pjmhs20221611448
https://doi.org/10.53350/pjmhs20221611448
Autor:
Koeppel, Maria D. H., Hollerbach, Brittany S., von Thaden, Terry L., Kelley, Hannah, Kaipust, Christopher M., Jitnarin, Nattinee, Khurram, Sajid, Poston, Walker S. Carlos, Haddock, Christopher K., Jahnke, Sara A.
Publikováno v:
American Journal of Qualitative Research; 2022, Vol. 6 Issue 3, p155-167, 13p
Autor:
Koeppel, Maria D. H., Hollerbach, Brittany S., von Thaden, Terry L., Khurram, Sajid, Kelley, Hannah, Jitnarin, Nattinee, Kaipust, Christopher M., Poston, Walker S. Carlos, Haddock, Christopher K., Jahnke, Sara A.
Publikováno v:
International Fire Service Journal of Leadership & Management; 2022, Vol. 16, p17-25, 9p
Publikováno v:
Formal Methods in System Design. 22:205-224
The logic of equality with uninterpreted functions has been proposed for verifying abstract hardware designs. The ability to perform fast satisfiability checking over this logic is imperative for such verification paradigms to be successful. We prese
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::755c2880151893f95653ef48c41b9729
https://doi.org/10.1023/a:1022988809947
https://doi.org/10.1023/a:1022988809947
Publikováno v:
Computer Aided Verification ISBN: 9783540646082
CAV
CAV
The logic of equality with uninterpreted functions has been proposed for verifying abstract hardware designs. The ability to perform fast satisfiability checking over this logic is imperative for this verification paradigm to be successful. We presen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5b2520ef229a3f3833818896bc3a1130
https://doi.org/10.1007/bfb0028749
https://doi.org/10.1007/bfb0028749
Autor:
Felice Balarin, Khurram Sajid
Publikováno v:
Hardware Description Languages and their Applications ISBN: 9781475753875
Arithmetic operations on integers are very expensive to represent in formalisms that most automatic formal verification tools use. To deal with this problem, a verification methodology is proposed where systems that include such operations are simpli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f4b2828024908d57465867d2d124c62
https://doi.org/10.1007/978-0-387-35064-6_3
https://doi.org/10.1007/978-0-387-35064-6_3
Publikováno v:
DAC
We define a notion of equivalence for designs containingblack boxes i.e., components whose functionality is notknown; these arise naturally in the course of hierarchicaldesign. Using this notion, we describe a sound andcomplete methodology for optimi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::584e5f13784f8af5c6b00023a34ff658
https://doi.org/10.1145/266021.266045
https://doi.org/10.1145/266021.266045
Publikováno v:
Formal Methods in System Design; May2003, Vol. 22 Issue 3, p205-224, 20p
Conference
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.