Probabilistic verification beyond context-freeness by Li, G

“…Notably, the PCTL* model checking procedure relies heavily upon the algorithm established for LTL. …”

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

“…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

Target detection in stationary background by Liu, Lu.

“…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

Influence of non-linear wave load models on monopile supported offshore wind turbines for extreme conditions by Ryan, GV, Tang, T, McAdam, RA, Adcock, TAA

“…These models are compared to the widely used constrained wave approach, showing that significant differences are predicted for steel and geotechnical design checks. This suggests that the industry standard approach may be inappropriate for the design of monopile structures against extreme wave loads.…”

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

“…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. …”

The Impact of Government Policies in Middle Eastern Countries on Digital Platform Startups by Ali Osman, Mohamed Mamdouh

“…Fintech startups offer a wide range of products/services, such as digital payments, Buy Now, Pay Later (BNPL), crowdfunding, peer-to-peer lending, etc. Middle East and North African (MENA) countries have seen significant growth in the number of fintech startups and the total investment value in these companies. …”
Get full text
Get full text

Understanding mechanisms that maintain social anxiety disorder in autistic individuals through the Clark and Wells (1995) model and beyond: a systematic review by Lei, J, Mason, C, Russell, A, Hollocks, M, Leigh, E

“…Overall, there is evidence in support of the Clark and Wells (1995) model, as greater fear of negative evaluation from others, use of safety behaviours and somatic symptoms, and peer victimisation were associated with greater social anxiety. …”

A comparison between the use of interactional strategies by native Japanese and Singaporean Japanese speakers by Tan, Jia Xuan

“…This study may also be one of the first few studies done on intercultural communication between Singaporean and native Japanese speakers in a peer group setting.…”
Get full text

Do higher politician salaries reduce corruption and improve governance? by Chin, Hong Xiang, Low, Guo Quan, Wang, Yiwei

“…We propose that our findings can be explained by: electoral pressure, peer pressure, and mutual monitoring effects.…”
Get full text

Information hiding and copyrights by Araujo, Istteffanny Isloure

“…The study proposes a new scheme to improve Steganography called DSoBMP, together with guideline materials that have been published in four international peer-reviewed journals, including Springer and used as a stepping stone to collaborate in a worldwide book publication.…”
Get full text

Active Learning for Inference and Regeneration of Applications that Access Databases by Shen, Jiasi, Rinard, Martin

“…Konure also implements a regenerator that produces a translated Python implementation of the application that systematically includes relevant security and error checks.…”
Get full text

Developing of innovative and cool mobile applications on the Googles Android powered devices 5 by Arun Mohan

“…Sports Info is tailored to meet the expectations of smart phone users who regularly checks sports updates like match schedules, score card and important sports news.…”
Get full text

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

“…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

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

“…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

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

“…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

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

“…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

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

“…<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. …”

Visual bias by Caprini, G

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

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

“…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. …”

The effects and costs of an anti-bullying program (KiVa) in UK primary schools: a multicenter cluster randomized controlled trial by Badger, JR, Bowes, L, Babu, M, Broome, M, Cannings-John, R, Clarkson, S, Coulman, E, Tudor Edwards, R, Ford, T, Hastings, RP, Hayes, R, Lugg-Widger, F, Owen-Jones, E, Patterson, P, Segrott, J, Sydenham, M, Townson, J, Watkins, RC, Whiteley, H, Williams, ME, Stand Together Team, Hutchings, J

“…We evaluated the effectiveness and costs of KiVa, a whole-school anti-bullying program that targets the peer context. <p><b>Methods </b></p> A two-arm pragmatic multicenter cluster randomized controlled trial with embedded economic evaluation. …”