Showing 1,281 - 1,300 results of 9,141 for search '((sspinna OR (sspine OR ((linke OR linke) OR like))) OR (((spin OR ping) OR (lin OR eng)) OR skin))', query time: 0.20s Refine Results
  1. 1281
  2. 1282
  3. 1283
  4. 1284
  5. 1285
  6. 1286
  7. 1287
  8. 1288
  9. 1289
  10. 1290
  11. 1291
  12. 1292
  13. 1293
  14. 1294
  15. 1295

    Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

    Published 2024
    “…We used very different formal-reasoning techniques throughout the stack, ranging from computer algebra, symbolic execution, and verification-condition generation to interactive verification of functional programs including compilers for C-like and functional languages. All these component specifications and domain-specific reasoning techniques are defined and justified against common foundations in the Coq proof assistant. …”
    Get full text
    Article
  16. 1296
  17. 1297
  18. 1298

    Topological phenomena at defects in acoustic, photonic and solid-state lattices by Lin, Zhi-Kang, Wang, Qiang, Liu, Yang, Xue, Haoran, Zhang, Baile, Chong, Yidong, Jiang, Jian-Hua

    Published 2023
    “…Topological lattice defects in topological materials offer a platform to explore a diverse range of phenomena, such as robust topological-bound states, fractional charges, topological Wannier cycles, chiral and gravitational anomalies, topological lasers and topological-defect-induced pumping and non-Hermitian skin effects. In this Perspective article, we survey the developments in this rapidly moving field from both theoretical and experimental perspectives, with an emphasis on the latter. …”
    Get full text
    Journal Article
  19. 1299
  20. 1300