9 research outputs found

    An Ontology-Based Artificial Intelligence Model for Medicine Side-Effect Prediction: Taking Traditional Chinese Medicine as An Example

    Get PDF
    In this work, an ontology-based model for AI-assisted medicine side-effect (SE) prediction is developed, where three main components, including the drug model, the treatment model, and the AI-assisted prediction model, of proposed model are presented. To validate the proposed model, an ANN structure is established and trained by two hundred and forty-two TCM prescriptions. These data are gathered and classified from the most famous ancient TCM book and more than one thousand SE reports, in which two ontology-based attributions, hot and cold, are introduced to evaluate whether the prescription will cause SE or not. The results preliminarily reveal that it is a relationship between the ontology-based attributions and the corresponding predicted indicator that can be learnt by AI for predicting the SE, which suggests the proposed model has a potential in AI-assisted SE prediction. However, it should be noted that, the proposed model highly depends on the sufficient clinic data, and hereby, much deeper exploration is important for enhancing the accuracy of the prediction

    White-box Compiler Fuzzing Empowered by Large Language Models

    Full text link
    Compiler correctness is crucial, as miscompilation falsifying the program behaviors can lead to serious consequences. In the literature, fuzzing has been extensively studied to uncover compiler defects. However, compiler fuzzing remains challenging: Existing arts focus on black- and grey-box fuzzing, which generates tests without sufficient understanding of internal compiler behaviors. As such, they often fail to construct programs to exercise conditions of intricate optimizations. Meanwhile, traditional white-box techniques are computationally inapplicable to the giant codebase of compilers. Recent advances demonstrate that Large Language Models (LLMs) excel in code generation/understanding tasks and have achieved state-of-the-art performance in black-box fuzzing. Nonetheless, prompting LLMs with compiler source-code information remains a missing piece of research in compiler testing. To this end, we propose WhiteFox, the first white-box compiler fuzzer using LLMs with source-code information to test compiler optimization. WhiteFox adopts a dual-model framework: (i) an analysis LLM examines the low-level optimization source code and produces requirements on the high-level test programs that can trigger the optimization; (ii) a generation LLM produces test programs based on the summarized requirements. Additionally, optimization-triggering tests are used as feedback to further enhance the test generation on the fly. Our evaluation on four popular compilers shows that WhiteFox can generate high-quality tests to exercise deep optimizations requiring intricate conditions, practicing up to 80 more optimizations than state-of-the-art fuzzers. To date, WhiteFox has found in total 96 bugs, with 80 confirmed as previously unknown and 51 already fixed. Beyond compiler testing, WhiteFox can also be adapted for white-box fuzzing of other complex, real-world software systems in general

    Meta-Aerogels: Auxetic Shape-Memory Polyurethane Aerogels

    No full text
    Shape-memory poly(isocyanurate-urethane) (PIR-PUR) aerogels are low-density monolithic nanoporous solids that remember and return to their permanent shape through a heating actuation step. Herein, through structural design at the macro scale, the shape-memory response is augmented with an auxetic effect manifested by a negative Poisson\u27s ratio of approximately -0.8 at 15% compressive strain. Thus, auxetic shape-memory PIR-PUR monoliths experience volume contraction upon compression at a temperature above the glass transition temperature of the base polymer (Tg ≈ 30 °C), and they can be stowed indefinitely in that temporary shape by cooling below Tg. By heating back above Tg, the compressed/shrunk form expands back to their original shape/size. This technology is relevant to a broad range of industries spanning the commercial, aeronautical, and aerospace sectors. The materials are referred to as meta-aerogels, and their potential applications include minimally invasive medical devices, soft robotics, and situations where volume is at a premium, as for example for storage of deployable space structures and planetary habitats during transport to the point of service

    GRID: a student project to monitor the transient gamma-ray sky in the multi-messenger astronomy era

    No full text
    corecore