Showing 1 - 15 results of 15 for search '(checkeds* OR checker*)', query time: 0.07s Refine Results
  1. 1
  2. 2

    Floquet Codes without Parent Subsystem Codes by Davydova, Margarita, Tantivasadakarn, Nathanan, Balasubramanian, Shankar

    Published 2024
    “…We generalize this construction to three dimensions and obtain a code that fault tolerantly alternates between realizing two type-I fracton models, the checkerboard and the X-cube model. Finally, we show the compatibility of our CSS honeycomb-code protocol and the honeycomb code by showing the possibility of randomly switching between the two protocols without information loss while still measuring error syndromes. …”
    Get full text
    Article
  3. 3

    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
  4. 4
  5. 5

    Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

    Published 2025
    “…We study the complexity of memory checkers with computational security and prove the first general tight lower bound. …”
    Get full text
    Article
  6. 6

    Synthesis and testing of asynchronous circuits - micropipeline by Khaing, Kathy.

    Published 2008
    “…The checker is designed to meet the Totally Self-Checking (TSC) goal based on the existing checker design concepts.…”
    Get full text
    Thesis
  7. 7

    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
  8. 8

    Energy-efficient hardware accelerators based on bit-serial graph and memory-centric computing architectures by Mu, Junjie

    Published 2023
    “…The proposed accelerator enables massive parallelism using the checkerboard update method and minimizes data communication by mapping equations into a 2D grid and localizing the computation. …”
    Get full text
    Thesis-Doctor of Philosophy
  9. 9

    Adjoint-state traveltime tomography for azimuthally anisotropic media in spherical coordinates by Chen, Jing, Chen, Guoxu, Nagaso, Masaru, Tong, Ping

    Published 2023
    “…This method is applicable for large-scale tomography, and its performance is verified by a synthetic checkerboard test and a practical seismic tomographic inversion in central California near Parkfield.…”
    Get full text
    Journal Article
  10. 10

    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
  11. 11

    Laser driver (ACC - auto current control) for driving laser diode in LED and laser modes by Tay, Eng Boon.

    Published 2008
    “…The circuit implemented is such that is portable and able to cater for few applications such as visual inspection of a laser diode and fiber checker.…”
    Get full text
    Thesis
  12. 12

    New multi-target based therapeutics against an opportunistic superbug by Premkumar, Jayaraman.

    Published 2013
    “…In the search for more effective strategies to combat the Pseudomonas infections, in vitro activities of antibiotics and natural dietary phytochemicals alone and in combination against P. aeruginosa strains were investigated using the microtitration checkerboard method, fractional inhibitory concentration (FIC) indices and time-kill analysis. …”
    Get full text
    Thesis
  13. 13

    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
  14. 14

    The relationship between visual acuity loss and GABAergic inhibition in amblyopia by Ip, IB, Clarke, WT, Wyllie, A, Tracey, K, Matuszewski, J, Jbabdi, S, Starling, L, Templer, S, Willis, H, Breach, L, Bridge, H, Parker, AJ

    Published 2024
    “…Single voxel proton magnetic resonance spectroscopy (MRS) data were collected from the early visual cortex (EVC) and posterior cingulate cortex (control region) of twenty-eight male and female adults with current or past amblyopia while they viewed flashing checkerboards monocularly, binocularly, or while they had their eyes closed. …”
    Journal article
  15. 15

    Topochemical manipulation of some complex transition metal oxides by Amano Patiño, ME

    Published 2016
    “…This phase is composed of sheets of apex-linked Ni<sup>1+</sup>O<sub>4</sub> and Ru<sup>2+</sup>O<sub>4</sub> squares in a checkerboard ordered arrangement. To the best of our knowledge, this material is the first example of a B-cation ordered infinite-layer oxide phase. …”
    Thesis