Showing 881 - 900 results of 3,613 for search '(((spinae OR spingae) OR (line OR (pingned OR (spines OR spine)))) OR (pin OR long))', query time: 0.18s Refine Results
  1. 881

    Design of a mechatronic system using Arduino Uno by Chong, Kok Leong

    Published 2023
    “…Therefore, this Final Year Project (FYP) aims to create a Line-Following robot using Arduino Uno that can autonomously pick up boxes autonomously in a warehouse. …”
    Get full text
    Final Year Project (FYP)
  2. 882

    Design and verification of a fast low-dropout regulator for a high performance receiver chain targeting GNSS applications by Debaditya, Mullick

    Published 2019
    “…The design is then tested for DC analysis, stability analysis, load transient response, line transient response, load and line regulation and power supply ripple rejection. …”
    Get full text
    Thesis
  3. 883

    Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

    Published 2024
    “…We present a prototype for a tool that enables programmers to verify their code as they write it in real-time. After each line of code that the programmer writes, the tool tells the programmer whether it was able to prove absence of undefined behavior so far, and displays a concise representation of the symbolic state of the program right after the added line. …”
    Get full text
    Article
  4. 884
  5. 885
  6. 886
  7. 887
  8. 888
  9. 889
  10. 890
  11. 891
  12. 892
  13. 893
  14. 894
  15. 895
  16. 896
  17. 897
  18. 898
  19. 899
  20. 900