Showing 6,021 - 6,038 results of 6,038 for search '(((ceers OR cereus) OR (peers OR peer)) OR checkers)*', query time: 0.15s Refine Results
  1. 6021
  2. 6022
  3. 6023
  4. 6024
  5. 6025

    Content routing and lookup schemes using global bloom filter for content-delivery-as-a-service by Jin, Yichao, Wen, Yonggang

    Published 2013
    “…The global CCBF adds our system with the capability to early check the existence of any specific content among all the peering surrogates, before any local checking on each cache node. …”
    Get full text
    Get full text
    Conference Paper
  6. 6026
  7. 6027
  8. 6028

    Printing of functional materials in 2D and 3D structures by Halevi, Oded

    Published 2020
    “…The results of this work were published as three peer-reviewed articles, and an additional article has been submitted for publication. …”
    Get full text
    Thesis-Doctor of Philosophy
  9. 6029
  10. 6030
  11. 6031
  12. 6032

    On the corrosion resistance of some selective laser melted alloys by Suryawanshi, Jyoti, Baskaran, T., Prakash, Om, Arya, S. B., Ramamurty, Upadrasta

    Published 2021
    “…The effects of laser scanning strategy (single melt vs. checker board styles), post-SLM heat treatment, and corroding surface orientation (with respect to the scan and build directions) on the corrosion behavior were examined. …”
    Get full text
    Journal Article
  13. 6033

    GPU-accelerated real-time motion planning for safe human-robot collaboration by Fujii, Shohei

    Published 2024
    “…We experimentally demonstrate that our method can navigate a 6-DoF robot earlier than a geometric-primitives-based distance checker in a dynamic, collaborative environment. …”
    Get full text
    Thesis-Doctor of Philosophy
  14. 6034
  15. 6035
  16. 6036
  17. 6037

    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
  18. 6038

    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