Showing 2,021 - 2,040 results of 3,530 for search '(((supine OR spike) OR line) OR ((sping OR (sping OR (anna OR ainaa))) OR (ping OR (ling OR lin))))', query time: 0.20s Refine Results
  1. 2021
  2. 2022
  3. 2023
  4. 2024
  5. 2025
  6. 2026
  7. 2027
  8. 2028
  9. 2029

    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
  10. 2030

    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
  11. 2031
  12. 2032
  13. 2033
  14. 2034
  15. 2035
  16. 2036

    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)
  17. 2037

    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
  18. 2038
  19. 2039

    The Gale Encyclopedia of Mental Health / by Narins, Brigham, 1962- editor 256342

    Published [202
    “…Entries follow the standardized, balanced format of all the titles in the Gale Encyclopedia of ... line. Most entries include sidebars defining Key Terms and listing Questions to Ask Your Doctor. …”
    Get full text
    software, multimedia
  20. 2040

    A novel framework for making dominant point detection methods non-parametric by Leung, Maylor Karhang, Quek, Chai, Cho, Siu-Yeung, Prasad, Dilip K.

    Published 2013
    “…This paper uses a theoretical bound of the maximum deviation of pixels obtained by digitization of a line segment for constructing a general framework to make most dominant point detection methods non-parametric. …”
    Get full text
    Get full text
    Journal Article