Showing 6,541 - 6,543 results of 6,543 for search '((peers OR peer) OR ((cheer OR chee) OR ((checkers OR chees) OR (chenn OR shern))))*', query time: 0.16s Refine Results
  1. 6541
  2. 6542

    Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

    Published 2024
    “…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
    Get full text
    Article
  3. 6543

    Dynamic drug combination methods for suppressing bacterial antibiotics resistance adaptation by Bhone, Myint Kyaw

    Published 2014
    “…In this study, the effects of using conventional antibiotics in combination with phytochemicals were studied by using checker board methods and time-kill assays using 12 S. aureus strains. …”
    Get full text
    Thesis