Showing 6,441 - 6,460 results of 6,590 for search '((peer OR beer) OR (steel OR ((checks OR check) OR cheaters)))', query time: 0.15s Refine Results
  1. 6441
  2. 6442
  3. 6443
  4. 6444
  5. 6445
  6. 6446

    Probabilistic verification beyond context-freeness by Li, G

    Published 2024
    “…Notably, the PCTL* model checking procedure relies heavily upon the algorithm established for LTL. …”
    Thesis
  7. 6447

    Design and development of a robot invigilator by Wu, Xiangran.

    Published 2013
    “…By applying this technology, the robot invigilator can do what a traditional invigilator need to do during an examination such like, timing for the duration, checking the attendance face-to-face. A backend exam registration system also has been developed to simulate the real case. …”
    Get full text
    Final Year Project (FYP)
  8. 6448

    Target detection in stationary background by Liu, Lu.

    Published 2013
    “…The basic principle of target detection is to compare the current image with a reference image which is call the background image, from the comparison result to define whether there is a moving target in the image by checking the changing in the image, pixel by pixel. …”
    Get full text
    Final Year Project (FYP)
  9. 6449

    Symbolic verification and strategy synthesis for turn-based stochastic games by Kwiatkowska, M, Norman, G, Parker, D, Santos, G

    Published 2022
    “…Probabilistic model checking techniques for this class of models allow us to formally specify quantitative specifications of either collective or individual behaviour and then automatically synthesise strategies for the agents under which these specifications are guaranteed to be satisfied. …”
    Book section
  10. 6450

    SDR4ALL based radar demonstration (Part 1) by Hu, Xudong.

    Published 2011
    “…In this report, process of building and the test data of the system are provided, after checking by the experiment outside, future recommendation has also been proposed.…”
    Get full text
    Final Year Project (FYP)
  11. 6451

    Preprocessing and authentication of 2D barcodes by Chen, Changsheng.

    Published 2013
    “…In this thesis, we investigate the detection step of a barcode by modeling its finder pattern as a 2D signal with finite rate of innovations and reconstructing it through block by block operation. Then, a quality checking step of the barcode images is added to reject those poor quality images for saving the time in processing the undecodable images and avoiding wrongly decoded information. …”
    Get full text
    Thesis
  12. 6452

    Finite element analysis on post-buckling of thin-walled structures using ANSYS by Theint, Yi Mon

    Published 2015
    “…The results obtained were checked against experimental data and led to the development and the revision of design procedures for the pin-ended lipped column and hollow box section.…”
    Get full text
    Final Year Project (FYP)
  13. 6453

    Condition monitoring of a train door system by Tan, Alvin Chong Wei

    Published 2019
    “…This project aims to strengthen the current condition monitoring system capabilities and enhance the reliability of Singapore Train System allows engineers to save time on checking every door for the possibilities of failure.…”
    Get full text
    Final Year Project (FYP)
  14. 6454

    Automatic retrieval of visual continuity errors in movies by Pickup, L, Zisserman, A

    Published 2009
    “…<p>Continuity errors occur in many movies and television series, in spite of careful checking by those employed to minimise them. In this work we develop a scheme for automatically detecting these errors and producing a ranked list of the most likely inconsistencies, working from a commercial DVD release. …”
    Conference item
  15. 6455

    Visual bias by Caprini, G

    Published 2023
    “…This highlights the need to incorporate image analysis into news assessments and fact-checking, activities that are currently mainly focusing on text.…”
    Working paper
  16. 6456

    Algebraic identifiability of partial differential equation models by Byrne, HM, Harrington, HA, Ovchinnikov, A, Pogudin, G, Rahkooy, H, Soto, P

    Published 2025
    “…A parameter is called globally identifiable if its value can be uniquely determined from the input and output functions. Checking the global identifiability of model parameters is a useful tool when exploring the well-posedness of a given model. …”
    Journal article
  17. 6457
  18. 6458
  19. 6459
  20. 6460