Search alternatives:
ceers » cheers (Expand Search), beers (Expand Search), cers (Expand Search)
checkers » checker (Expand Search), checks (Expand Search), checked (Expand Search)
ceers » cheers (Expand Search), beers (Expand Search), cers (Expand Search)
checkers » checker (Expand Search), checks (Expand Search), checked (Expand Search)
-
6021
-
6022
-
6023
-
6024
-
6025
Content routing and lookup schemes using global bloom filter for content-delivery-as-a-service
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 -
6026
-
6027
-
6028
Printing of functional materials in 2D and 3D structures
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 -
6029
-
6030
-
6031
-
6032
On the corrosion resistance of some selective laser melted alloys
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 -
6033
GPU-accelerated real-time motion planning for safe human-robot collaboration
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 -
6034
-
6035
-
6036
-
6037
Live Verification in an Interactive Proof Assistant
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 -
6038
Dynamic drug combination methods for suppressing bacterial antibiotics resistance adaptation
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