Showing 1,501 - 1,520 results of 3,620 for search '(((sfind OR spike) OR ((ping OR fine) OR line)) OR ((span OR spinal) OR peng))', query time: 0.17s Refine Results
  1. 1501

    Twofold by Tan, Raychel Yixin

    Published 2014
    Get full text
    Final Year Project (FYP)
  2. 1502

    Missing 'A' by Yap, Jia En

    Published 2014
    Get full text
    Final Year Project (FYP)
  3. 1503

    Princess by Abdul Hadi Abdul Wahab

    Published 2014
    Get full text
    Final Year Project (FYP)
  4. 1504
  5. 1505

    BUUKS : children’s furniture by Lee, Ariel Yen

    Published 2014
    Get full text
    Final Year Project (FYP)
  6. 1506

    Emergency by Koh, Paul Enoch

    Published 2016
    Get full text
    Final Year Project (FYP)
  7. 1507

    Wearing hearts by Leong, Shi Lin

    Published 2016
    Get full text
    Final Year Project (FYP)
  8. 1508

    Mind wandering by Koo, Michelle Wei Ting

    Published 2016
    Get full text
    Final Year Project (FYP)
  9. 1509

    CURIO by Xie, Xiuyun

    Published 2017
    Get full text
    Final Year Project (FYP)
  10. 1510

    The computer sucks!!! by Ho, Li Ting

    Published 2017
    Get full text
    Final Year Project (FYP)
  11. 1511

    Timekeeper by Ng, Yang Meng

    Published 2017
    Get full text
    Final Year Project (FYP)
  12. 1512

    Lynn by Ting, Issac Quan Xian

    Published 2018
    Get full text
    Final Year Project (FYP)
  13. 1513
  14. 1514

    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
  15. 1515

    Signs of criticality in social explosions by Beiró, Mariano G., Chung, Ning Ning, Chew, Lock Yue, Gandica, Yérali

    Published 2024
    “…The success of an on-line movement could be defined in terms of the shift to large-scale and the later off-line massive street actions of protests. …”
    Get full text
    Journal Article
  16. 1516
  17. 1517

    A lightweight and high efficiency battery charger for electric vehicles by Yue, Xi Tong

    Published 2015
    “…This auxiliary circuit reactive current is achieved so that zero-voltage switching is guaranteed. Besides, voltage spikes across the output diode bridge of FB converter are eliminated by using two clamp diodes in the circuit, which leads to lower power loss and lower rating of the diodes and output filter capacitor. …”
    Get full text
    Final Year Project (FYP)
  18. 1518

    Geometric hashing for camera based localization by Tan, Wei Chian

    Published 2012
    “…A VCLH is characterized by position of the vertical line or building corner in the image, and orientations of the neighbouring plane normal. …”
    Get full text
    Thesis
  19. 1519

    Self-Supervised Learning across the Spectrum by Shenoy, Jayanth, Zhang, Xingjian Davis, Tao, Bill, Mehrotra, Shlok, Yang, Rem, Zhao, Han, Vasisht, Deepak

    Published 2024
    “…(b) Satellite imagery is geo-registered, allowing for fine-grained spatial alignment. We use these insights to formulate pretraining tasks in S4. …”
    Get full text
    Article
  20. 1520