Showing 181 - 200 results of 538 for search '(beers OR (((cheen OR (sheers OR shears)) OR checker) OR (cher OR chern)))', query time: 0.16s Refine Results
  1. 181
  2. 182
  3. 183
  4. 184
  5. 185

    Transfer learning on UR robots by Yu, Xiwei

    Published 2024
    Get full text
    Final Year Project (FYP)
  6. 186
  7. 187
  8. 188

    Radar-guided robot by Wang, Jiajun

    Published 2014
    Get full text
    Final Year Project (FYP)
  9. 189

    Educational robotics by Huang, Xianyun

    Published 2017
    Get full text
    Final Year Project (FYP)
  10. 190
  11. 191
  12. 192

    Magic-angle helical trilayer graphene by Devakul, Trithep, Ledwith, Patrick J., Xia, Li-Qiao, Uri, Aviram, de la Barrera, Sergio C., Jarillo-Herrero, Pablo, Fu, Liang

    Published 2024
    “…While nominally forming a supermoiré (or moiré-of-moiré) structure, we show that HTG locally relaxes into large regions of a periodic single-moiré structure realizing flat topological bands carrying nontrivial valley Chern number. These bands feature near-ideal quantum geometry and are isolated from remote bands by a very large energy gap, making HTG a promising platform for experimental realization of correlated topological states such as integer and fractional quantum anomalous Hall states.…”
    Get full text
    Article
  13. 193

    Sections and Unirulings of Families over ℙ1 by Pieloch, Alex

    Published 2024
    “…We reach the same conclusions, but with genus zero multisections instead of sections, if π has at most two singular fibres, and the first Chern class of X is supported in a single fibre of π. …”
    Get full text
    Article
  14. 194
  15. 195
  16. 196
  17. 197

    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. 198
  19. 199
  20. 200