Showing 1,961 - 1,980 results of 3,871 for search '((sspinae OR line) OR (((scans OR (pin OR (ying OR yong))) OR (aina OR linga)) OR ming))', query time: 0.20s Refine Results
  1. 1961
  2. 1962
  3. 1963
  4. 1964

    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
  5. 1965

    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
  6. 1966
  7. 1967

    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
  8. 1968

    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
  9. 1969

    Superhydrophobic surface of Ti6Al4V using direct nanosecond laser texturing by Mohd Harizan, Zul, Mahadzir, Ishak, Aiman, Mohd Halil, Ramdziah, Md Nasir, Moinuddin, Mohammed Quazi

    Published 2024
    “…This study aims to investigate the impact of laser parameters, including laser power, laser frequency, laser scan speed, and hatches line distance, on Ti6Al4V to create superhydrophobic surfaces. …”
    Get full text
    Article
  10. 1970

    Color transfer between images by Liang, Ruyin

    Published 2021
    Get full text
    Final Year Project (FYP)
  11. 1971
  12. 1972
  13. 1973

    Next-generation smart carpark by Lee, Shannen

    Published 2024
    Get full text
    Final Year Project (FYP)
  14. 1974
  15. 1975

    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
  16. 1976

    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
  17. 1977

    Experimental study on cache-performance optimization for graph storage by Foo, Wei Ling

    Published 2024
    “…This advantage is beneficial and applicable to graph traversal algorithms when closely related nodes are stored in a cache line. Hao Wei et al. [1] introduced a graph ordering algorithm, Gorder, a greedy procedure to reorder graph nodes in such a way that optimises their placement on a cache line. …”
    Get full text
    Final Year Project (FYP)
  18. 1978

    Optimizing geometry of extruded PMMA microstructured optical fiber preforms by Sia, Johnathan Seng Hong

    Published 2017
    “…The experiment runs conducted achieve high R-squared value during multiple regression line analysis. This indicate that the optimize parameter of 170.859°C and extrusion speed of 0.3mm/min predicted using the regression line model, has a high probability in achieving a straight preform with 12 clear and distinct hole.…”
    Get full text
    Final Year Project (FYP)
  19. 1979

    Immunotherapy in autoimmune encephalitis by Trewin, BP, Freeman, I, Ramanathan, S, Irani, SR

    Published 2022
    “…<p><strong> Summary </strong></p> Early first-line immunotherapies, including corticosteroids and plasma exchange, improve outcomes, with emerging evidence showing second-line immunotherapies (especially rituximab) reduce relapse rates. …”
    Journal article
  20. 1980