Showing 201 - 220 results of 19,197 for search '(((pins OR sping) OR hinge) OR (((pick OR shina) OR ((pingat OR pin) OR (sing OR using))) OR ming))', query time: 0.27s Refine Results
  1. 201
  2. 202
  3. 203
  4. 204

    On Modular Pluggable Analyses Using Set Interfaces by Lam, Patrick, Kuncak, Viktor, Rinard, Martin

    Published 2005
    “…Each analysis verifies that the implementation of themodule 1) preserves important internal data structure representationinvariants and 2) conforms to a specification that uses formulas in a setalgebra to characterize the effects of operations on the data structure.The analyses use the common set abstraction to 1) characterize howobjects participate in multiple data structures and to 2) enable the interanalysiscommunication required to verify properties that depend onmultiple modules analyzed by different analyses.We characterize the key soundness property that an analysis plugin mustsatisfy to successfully participate in our system and present several analysisplugins that satisfy this property: a flag plugin that analyzes modulesin which abstract set membership is determined by a flag field in eachobject, and a graph types plugin that analyzes modules in which abstractset membership is determined by reachability properties of objects storedin tree-like data structures.…”
    Get full text
  5. 205

    Filipino nursesʼ use of smartphones in clinical settings by Bautista, John Robert Razote

    Published 2019
    “…Overall, the results of this study can be used to guide policies on the use of smartphones in clinical settings.…”
    Get full text
    Get full text
    Journal Article
  6. 206

    Anti-complex sets and reducibilities with tiny use by Franklin, Johanna N. Y., Greenberg, Noam, Stephan, Frank, Wu, Guohua

    Published 2014
    “…A set A is anti-complex if and only if it is reducible to another set B with tiny use, whereby we mean that the use function for reducing A to B can be made to grow arbitrarily slowly, as gauged by unbounded nondecreasing recursive functions. …”
    Get full text
    Get full text
    Journal Article
  7. 207

    Testing of market efficiency using trading rules by Tan, Wee Fong, Tee, Steven Yeow Yoong, Wan, Allan Kok Keong

    Published 2008
    “…Our applied research is focused on using some of the more advanced trading rules to test the efficiency of the local stock market. …”
    Get full text
    Final Year Project (FYP)
  8. 208

    Use of stabilized sewage sludge for land reclamation by Goi, Meng Hwee.

    Published 2008
    “…The feasibility of using the stabilized sludge for land reclamation is studied in this project from both the geotechnical and environmental points of view.…”
    Get full text
    Thesis
  9. 209

    Teaching feedback using blockchain and blind signature by Chandra, Billy

    Published 2020
    “…The privacy preservation methods used are decentralization through blockchain attribute, using pseudonyms and blind signature in the platform. …”
    Get full text
    Final Year Project (FYP)
  10. 210

    Drivers' fatigue detection using image sensors by Siti Nadya Redzwan

    Published 2020
    “…Various methods are implemented to develop the fatigue detection such as the use of Haar Cascade Classifier and Facial Landmarks for Dlib;s library. …”
    Get full text
    Final Year Project (FYP)
  11. 211

    Detection of latent fingerprint using optical technique by Seah, Leong Keey., Ong, Lin Seng., Murukeshan, Vadakke Matham.

    Published 2008
    “…An Image quality evaluation method for the fingerprint image obtained using PR technique was proposed and carried out. …”
    Get full text
    Research Report
  12. 212
  13. 213
  14. 214

    Stabilization of waste soils using novel binders by Tan, Adrian Yong Jian

    Published 2021
    “…Aside from the commonly used Portland cement (PC), a new low-energy consumption binder, carbide slag-activated ground granulated blast furnace slag (CS-GGBS), was also used in the experiment for comparison purposes. …”
    Get full text
    Final Year Project (FYP)
  15. 215
  16. 216

    Aiding therapy using speech emotion recognition by Koh, En Rong

    Published 2021
    “…We will explore the use of a Convolutional Neural network, a type of Deep Learning method, to train and predict human emotions. …”
    Get full text
    Final Year Project (FYP)
  17. 217
  18. 218

    Aspect-based sentiment analysis using BERT by Kheriwala, Hussain Khozema

    Published 2022
    “…This project implements a method of using the pre-trained BERT model for this experiment. …”
    Get full text
    Final Year Project (FYP)
  19. 219

    Makeup transfer using generative adversarial network by Feng, Qiyuan

    Published 2022
    “…Its main function is to transfer the makeup of the reference makeup portrait to the non-makeup portrait, so that users can try different makeup at will to find the makeup that suits them. Existing research uses model structures such as feedforward neural networks and generative adversarial networks to generate high-quality and high-fidelity portraits. …”
    Get full text
    Thesis-Master by Coursework
  20. 220