2,632 research outputs found

    CirFix: Automatically Repairing Defects in Hardware Design Code (Artifact)

    No full text
    This submission includes an artifact for CirFix, a framework for automatically repairing defects in hardware designs implemented in languages like Verilog. We also present a benchmark suite of 32 defect scenarios corresponding to a variety of hardware projects. Overall, CirFix produces plausible repairs for 21/32 and correct repairs for 16/32 of the defect scenarios. This repair rate is comparable to that of successful program repair approaches for software, indicating CirFix is effective at bringing over the benefits of automated program repair to the hardware domain for the first time. Please contact Hammad Ahmad ([email protected]) if you have any questions

    Forest Above Ground Biomass (AGB) Estimation and Mapping through High-Resolution Optical Satellite Imagery (≤5 m Spatial Resolution) – A Literature Review

    No full text
    <p>A database of methodology, accuracy and average AGB value published in peer-reviewed forty-four published articles (2004-2019) for forest AGB estimation and mapping using high-resolution satellite imagery</p&gt

    A comparative study of energy consumption between various hospitals in Malaysia / Hammad Ahmad Ainuddin

    No full text
    The buildings’ sector consumes about 15% of the total energy consumption in Malaysia. Of the biggest contributors to this figure are hospitals, which usually use energy above average due to their operation hours, occupants, and complex services. A survey study was conducted during various energy management system audits to Malaysian hospitals where important data for energy, load apportioning, and significant energy users are collected and comparatively analyzed. The data spans the period of three years from 2015 up till 2017 and the hospitals are categorized by their number of resident specialties and subspecialties. From the study, it was estimated that in 2015, district hospitals consume in average 2,237,776 kWh having a BEI of 148.92 kWh/m2.year; minor specialist hospitals consume in average 6,155,092 kWh having a BEI of 216.62 kWh/m2.year; major specialist hospitals consume in average 17,848,413 kWh having a BEI of 241.89 kWh/m2.year; general hospitals consume in average 28,224,856 kWh having a BEI of 240.96 kWh/m2.year. The load apportioning for 5 different hospitals were also analyzed and it was found that HVAC contributes to about 69% of the total load in hospitals. The study also found in 2016 that, the impacts of El Niño Southern Oscillation event to hospitals’ energy consumption increased the energy consumption up to 13.6% depending on the types of hospitals. The study concluded with ways that could improve energy performance in hospitals from various angles that include technical, management and system improvement

    PERIWAYAT MUDALLIS DALAM KITAB SHAHIH BUKHARI (Analisis Riwayat Hammad bin Usamah bin Zaid)

    No full text
    Hammad bin Usamah bin Zaid merupakan seorang periwayat hadis yang dipandang telah melakukan tadlis dalam meriwayatkan hadis, namun ternyata riwayatnya masih dimasukkan oleh Imam al Bukhari yang sangat terkenal dalam selektif memasukkan riwayat seorang periwayat hadis ke dalam kitab Shahih-nya. Tujuan dari penelitian ini adalah untuk mengetahui kualitas seorang periwayat yang dinilai tadlis oleh beberapa ulama dan riwayatnya dimasukkan dalam kitab Shahih Bukhari. Metode yang digunakan dalam penelitian ini adalah historis dan deskriptif analisis dengan pendekatan kualitatif. Hasil penelitian menunjukkan bahwa Hammad bin Usamah bin Zaid dinilai tsiqah oleh ulama seperti Yahya bin Ma’in, al ‘Ajliy, Ibnu Hibban bahkan Ahmad bin Hambal pun menjawab perumpamaan dengan Hammad bin Usamah dan Abu ‘Ashim bagaikan 100 orang Abu ‘Ashim. Jalaludin al Syuyuti memasukkan beliau kedalam kitab mudallisnya, al Mu’thi dan al Qurtubi juga menilai beliau tadlis, kemudian Ibnu Hajar mengelompokkan Hammad bin Usamah bin Zaid kedalam tingkatan tadlis kedua yaitu periwayat yang diterima tadlis-nya karena terdapat riwayatnya didalam kitab Shahih karena kemasyhuranya, dan karena sedikit melakukan tadlis dalam periwayatan hadis atau bahkan tidak melakukan tadlis kecuali dari periwayat yang tsiqah. .Secara umum Hammad bin Usamah bin Zaid dinilai sebagai periwayat yang tsiqoh dan riwayatnya dapat dijadikan hujjah. Didalam kitab Shahih Bukhari ditemukan empat buah hadis yang diriwayatkan oleh Hammad bin Usamah bin Zaid, dua hadis pertama menggunakan sighat ‘an’anah, menurut Ibnu Hajar meskipun tidak dengan sighat sima’ yang jelas ,tapi riwayatnya dimasukkan kedalam kitab Shahih Bukhri maka menjadi boleh, sedangkan dua hadis yang lain dengan sighat haddatsana ,bisa dipastikan bahwa antara Hammad in Usamah bin Zaid dan gurunya pernah saling bertemu, maka semua hadis beliau bisa diterima riwayatnya dengan alasan hadis-hadisnya ada yang menggunakan lafadz sima’yang jelas dan ada yang tidak, namun masih bisa diterima karena bukan merupakan hadis pokok

    Effect of polyethylene glycol (PEG) length on the fluorescence intensity of carbon dots / Muhamad Azwan Hammad Ahmad

    No full text
    Carbon dots (CD) are luminescent nanoparticles that can be used to track biological processes inside cells. They are less toxic than similar alternatives, making them more suitable for use in live biological systems, but the light-emitting properties of those currently made are not ideal. CD is one of the recent substance that are being used as a tools for bio-imaging probes. Fluorescent CD-based imaging probes have becoming a new medical diagnostic tools due to its advance labelling technology. One of its characteristics is superior brightness and photo­ stability. Besides that, the usage of carbon nanoparticles is safe as it is non-toxic which is suitable for biological staining and diagnostics. In this research, the factors affecting fluorescence intensity of CD was investigated by treating the CD by via surface passivation method. The objective of this study is to find an optimum amount of surface passivating agent i.e. polyethylene glycol (PEG) required to produce maximum fluorescence spectra. It has been concluded that as the length of PEG used in the passivation method increases, the fluorescence intensity of CD was enhanced

    Breaking Dichotomies: Counter-Narratives in the Spoken Word Poetry of Suheir Hammad

    No full text
    This article analyzes the spoken word poetry of the Palestinian-American author, Suheir Hammad, who attempts to deconstruct dichotomies between Arabs and Americans and to create a concept of transnational humanness. Through cultural criticism, Hammad reverses the process of Othering when she humanizes Palestinians and detaches suffering from national belonging. Her creative resistance represents a renegotiation of Americaness and its relation to Islam and Arabs, and opens up de-nationalized spaces of comparison

    Where are the mothers? Interrogating maternal mortality as a violation of the rights to life and health : a Nigerian and Ethiopian perspective

    No full text
    A Dissertation submitted to the Faculty of Law University of Pretoria, in partial fulfilment of the requirements for the degree Masters of Law (LLM in Human Rights and Democratisation in Africa). Prepared under the supervision of Dr. Salah Hammad, Faculty of Law, Addis Ababa University, AddisThesis (LLM (Human Rights and Democratisation in Africa))--University of Pretoria, 2009.The author argues that maternal mortality can easily be avoided and that the right to health and life is as much a developmental issue as it is one of human rights. Focuses on the maternal mortality ratio and relevant laws protecting women’s right to life and health in Nigeria and Ethiopia.http://www.chr.up.ac.za/Centre for Human RightsLL

    sj-docx-1-tau-10.1177_17562872241226582 – Supplemental material for Successful bladder-sparing partial cystectomy for muscle-invasive domal urothelial carcinoma with sarcomatoid differentiation: a case report

    No full text
    Supplemental material, sj-docx-1-tau-10.1177_17562872241226582 for Successful bladder-sparing partial cystectomy for muscle-invasive domal urothelial carcinoma with sarcomatoid differentiation: a case report by Mark Sultan, Ahmad Abdelaziz, Muhammed A. Hammad, Juan R. Martinez, Shady A. Ibrahim, Mahra Nourbakhsh and Ramy F. Youssef in Therapeutic Advances in Urology</p

    sj-docx-2-tau-10.1177_17562872241226582 – Supplemental material for Successful bladder-sparing partial cystectomy for muscle-invasive domal urothelial carcinoma with sarcomatoid differentiation: a case report

    No full text
    Supplemental material, sj-docx-2-tau-10.1177_17562872241226582 for Successful bladder-sparing partial cystectomy for muscle-invasive domal urothelial carcinoma with sarcomatoid differentiation: a case report by Mark Sultan, Ahmad Abdelaziz, Muhammed A. Hammad, Juan R. Martinez, Shady A. Ibrahim, Mahra Nourbakhsh and Ramy F. Youssef in Therapeutic Advances in Urology</p

    Buy now, pay later: balancing convenience and caution in consumer finance / Hafizah Hammad Ahmad Khan, Noorlailahusna Mohd Yusof and Fathiyah Ahmad @ Ahmad Jali

    No full text
    In an era characterized by rapid technological advancements and an increasing desire for convenience, financial services are not immune to the wave of innovation that is transforming the world. PayLater Services, a recent innovation in the financial industry, is a prime example of this. This financial solution has revolutionized the payment process for goods and services, providing greater flexibility and convenience than ever before (Cook et al., 2023)
    corecore