Showing 1,941 - 1,960 results of 3,850 for search '((sspinae OR line) OR (((scans OR (pin OR (ying OR yong))) OR (pinga OR lingua)) OR ming))', query time: 0.20s Refine Results
  1. 1941
  2. 1942
  3. 1943
  4. 1944

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

    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. 1946
  7. 1947

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

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

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

    Color transfer between images by Liang, Ruyin

    Published 2021
    Get full text
    Final Year Project (FYP)
  11. 1951
  12. 1952
  13. 1953

    Next-generation smart carpark by Lee, Shannen

    Published 2024
    Get full text
    Final Year Project (FYP)
  14. 1954
  15. 1955

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

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

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

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

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