420 research outputs found

    A novel approach to generate correctly rounded math libraries for new floating point representations

    No full text
    Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and Posits). These representations do not have correctly rounded math libraries. Further, the use of existing FP libraries for these new representations can produce incorrect results. This paper proposes a novel methodology for generating polynomial approximations that can be used to implement correctly rounded math libraries. Existing methods produce polynomials that approximate the real value of an elementary function f(x) and experience wrong results due to errors in the approximation and due to rounding errors in the implementation. In contrast, our approach generates polynomials that approximate the correctly rounded value of f(x) (i.e., the value of f(x) rounded to the target representation). This methodology provides more margin to identify efficient polynomials that produce correctly rounded results for all inputs. We frame the problem of generating efficient polynomials that produce correctly rounded results as a linear programming problem. Our approach guarantees that we produce the correct result even with range reduction techniques. Using our approach, we have developed correctly rounded, yet faster, implementations of elementary functions for multiple target representations. Our Bfloat16 library is 2.3× faster than the corresponding state-of-the-art while producing correct results for all inputs.Peer reviewedTecnical Report DCS-TR-75

    A novel approach to generate correctly rounded math libraries for new floating point representations

    No full text
    Given the importance of floating-point~(FP) performance in numerous domains, several new variants of FP and its alternatives have been proposed (e.g., Bfloat16, TensorFloat32, and Posits). These representations do not have correctly rounded math libraries. Further, the use of existing FP libraries for these new representations can produce incorrect results. This paper proposes a novel approach for generating polynomial approximations that can be used to implement correctly rounded math libraries. Existing methods generate polynomials that approximate the real value of an elementary function f(x)f(x) and produce wrong results due to approximation errors and rounding errors in the implementation. In contrast, our approach generates polynomials that approximate the correctly rounded value of f(x)f(x) (i.e., the value of f(x)f(x) rounded to the target representation). It provides more margin to identify efficient polynomials that produce correctly rounded results for all inputs. We frame the problem of generating efficient polynomials that produce correctly rounded results as a linear programming problem. Our approach guarantees that we produce the correct result even with range reduction techniques. Using our approach, we have developed correctly rounded, yet faster, implementations of elementary functions for multiple target representations.This is an updated version of the Rutgers DCS-TR-753Tecnical Report DCS-TR-753Peer reviewe

    Editorial: Some More Research on Technology-Enabled Learning

    No full text
    This is the first issue of this year, and we have included twelve items dealing with various aspects of technology-enabled teaching, learning, training — one invited paper, four research papers, three case studies, two reports from the field, and two book reviews. // For every issue of the Journal, we have now an established practice of inviting an international expert in the field to contribute an invited paper on the broader theme of ‘learning for development’. In the invited section of this issue, Aras Bozkurt analyses, through systematic review and biometric analysis — data mining and analytics (especially, text mining and social network analysis — t-SNE analysis) of the publications indexed in Scopus, the mapping of the impact of COVID-19 and the subsequent transition to the new normal. Three broad themes were identified and analysed — i) resilience, adaptability and sustainability in higher education, ii) psychological status and social wellbeing, and iii) the increasing use of online and hybrid modes of teaching-learning. The author underlines that, in the current pandemic context and its aftermath, the pedagogy needs to go beyond the teaching-learning activities to include trauma-informed pedagogies of care and empathy. Though there has been a significant shift toward online/blended/hybrid/hyflex modes of learning, there is a need to consider the instructional/learning design aspects (going beyond the ‘techno-centric educational strategies’) and learn from the ongoing practices and failures for us to be better prepared for the future

    sj-doc-1-dhj-10.1177_20552076231205733 - Supplemental material for Improving the lives of ethnically diverse family carers and people living with dementia using digital media resources – Protocol for the Draw-Care randomised controlled trial

    No full text
    Supplemental material, sj-doc-1-dhj-10.1177_20552076231205733 for Improving the lives of ethnically diverse family carers and people living with dementia using digital media resources – Protocol for the Draw-Care randomised controlled trial by Antonia Thodis, Thu-Ha Dang, Josefine Antoniades and Andrew S. Gilbert, Tuan Nguyen, Danijela Hlis, Mary Gurgone, Briony Dow, Claudia Cooper, Lily-Dongxia Xiao, Nilmini Wickramasinghe, Nalika Ulapane, Mathew Varghese, Santosh Loganathan, Joanne Enticott, Duncan Mortimer, Bianca Brijnath in DIGITAL HEALTH</p

    sj-doc-2-dhj-10.1177_20552076231205733 - Supplemental material for Improving the lives of ethnically diverse family carers and people living with dementia using digital media resources – Protocol for the Draw-Care randomised controlled trial

    No full text
    Supplemental material, sj-doc-2-dhj-10.1177_20552076231205733 for Improving the lives of ethnically diverse family carers and people living with dementia using digital media resources – Protocol for the Draw-Care randomised controlled trial by Antonia Thodis, Thu-Ha Dang, Josefine Antoniades and Andrew S. Gilbert, Tuan Nguyen, Danijela Hlis, Mary Gurgone, Briony Dow, Claudia Cooper, Lily-Dongxia Xiao, Nilmini Wickramasinghe, Nalika Ulapane, Mathew Varghese, Santosh Loganathan, Joanne Enticott, Duncan Mortimer, Bianca Brijnath in DIGITAL HEALTH</p

    sj-docx-3-dhj-10.1177_20552076231205733 - Supplemental material for Improving the lives of ethnically diverse family carers and people living with dementia using digital media resources – Protocol for the Draw-Care randomised controlled trial

    No full text
    Supplemental material, sj-docx-3-dhj-10.1177_20552076231205733 for Improving the lives of ethnically diverse family carers and people living with dementia using digital media resources – Protocol for the Draw-Care randomised controlled trial by Antonia Thodis, Thu-Ha Dang, Josefine Antoniades and Andrew S. Gilbert, Tuan Nguyen, Danijela Hlis, Mary Gurgone, Briony Dow, Claudia Cooper, Lily-Dongxia Xiao, Nilmini Wickramasinghe, Nalika Ulapane, Mathew Varghese, Santosh Loganathan, Joanne Enticott, Duncan Mortimer, Bianca Brijnath in DIGITAL HEALTH</p

    Early Cenozoic rapid flight enigma of the Indian subcontinent resolved: roles of topographic top loading and subcrustal erosion

    No full text
    Intrinsic magmatic processes are considered as critical operators of plate movements. Here we demonstrate the role of extrinsic processes consequent to intrinsic processes as a catalyst for anomalous rapid plate movement. The rapid and accelerated flight of the Indian subcontinent since Deccan volcanism until its collision with Eurasia remains as one of the geological conundrums. Data on seismic tomography, peninsular geomorphology and inferences on continuum of subcrustal structures are utilized to address this enigma. We propose geomorphic isostasy as the mechanism that has driven this fastest drift ever recorded in geological history. It was initiated by sudden instability after the Deccan volcanism and resultant extensive accumulation of lava pile over continental lithosphere of northern India, northern-eastern tilt due to crustal thickness heterogeneity and subcrustal thermal stratification. The drift was sustained by Carlsberg and Central Indian ridge-push until collision and sediment top loading at northeast thenceforth. These inferences and geomorphic isostasy as a catalytic mechanism necessitate variability of drift rates as integral inputs for any continental scale modeling.Muthuvairavasamy Ramkumar, David Menier, Manoj Mathew, M. Santosh, Numair A. Siddiqu
    corecore