Showing 3,321 - 3,340 results of 6,314 for search '((ming OR (((ying OR ling) OR line) OR (mine OR min))) OR ((pin OR lin) OR link))', query time: 0.22s Refine Results
  1. 3321
  2. 3322
  3. 3323
  4. 3324
  5. 3325
  6. 3326
  7. 3327
  8. 3328
  9. 3329

    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. 3330
  11. 3331
  12. 3332
  13. 3333
  14. 3334
  15. 3335

    Wideband channel sounding and measurement by Low, Jun Jie.

    Published 2013
    “…The building structure and objects like lift can act as obstructions for Line-of-sight (LOS) propagation in a transmission channel. …”
    Get full text
    Final Year Project (FYP)
  16. 3336
  17. 3337

    Effect of routing protocol and network topology on network convergence time by Ng, Khee Seong.

    Published 2008
    “…The effect of routing protocol and network topology deployed, on the network convergence time upon link failure and recovery will be investigated. Both theoretical analysis and experimentation are used to understand the stability of network protocol under steady state and perturbed condition.…”
    Get full text
    Thesis
  18. 3338

    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. 3339

    Piezoelectric single crystal based one-dimensional phased array for breast tissue imaging by Du, Wenya

    Published 2024
    “…In this thesis, I propose a conformable ultrasound breast patch (cUSBr-Patch) consisting of a one-dimensional (1D) phased array and a nature-inspired patch design, which offers large-area, deep tissue scanning and multi-angle, repeatable breast imaging while avoiding the drawbacks of conventional ultrasound imaging technologies. I used a Yb/Bi-doped PIN-PMN-PT single crystal as the active element due to its superior piezoelectric properties (d33 = 2,800 pC/N, εr = 7,000, k33 = 0.93). …”
    Get full text
    Thesis
  20. 3340

    Two-phase immersion cooling for power dense printed circuit board converters by Ristic-Smith, A

    Published 2024
    “…A theoretical model and numerical solution method for boiling on pin fins is developed and used to design heat spreaders to increase the power dissipation per unit semiconductor area with minimal penalty on the converter volume. …”
    Thesis