Probabilistic verification beyond context-freeness by Li, G

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

Tournaments of financial analysts by Yin, Huifang, Zhang, Huai

“…This finding survives several robustness checks and is more pronounced when the interim assessment date is closer to the end of the tournament period, when analysts are inexperienced, and when the market activity is high. …”
Get full text
Get full text

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

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

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

A serious game design and development by Chan, Yuqian

“…This game is developed in the form of knowledge checking, which helps students to consolidate the knowledge and gain interest in this subject apart from just entertainment. …”
Get full text

Mutual predictiveness of sound correspondences for reconstruction and language subgrouping: the case of Gyalrongic preinitials by Lai, Yunfan

“…Using MIE in historical linguistics is therefore a quick and efficient means of checking the effectiveness of reconstructions and establishing the accurate preliminary shape of language subgrouping.…”
Get full text
Get full text

Development of toolkits for software analysis and testing by Ng, Song Teck.

“…In order to declare a path as infeasible in all instances, numerous conditions must be satisfied by the checking algorithm. Due to the individualistic nature of programming techniques, detection of such paths and conditions in supplied constructs can be a difficult process. …”
Get full text

Image processing : design and development of UML use case diagram reader by Rohaizad Noordin

“…These may be done by implementing various design correctness checking functionalities. Given the varying components of a use case diagram, this project will explore on the various engines and libraries to identify the different use case diagram components. …”
Get full text

Autonomous bus in 3D simulation environments by Xiang, Zhou

“…A proper simulation for autonomous vehicle based on physical simulation engine, such as gazebo, which allows match the actual situation and checking of performance before the actual production and manufacturing of the real autonomous vehicle. …”
Get full text

The Enggano-Dutch word list derived from Helfrich's (1916) “Nadere Bijdrage Tot de Kennis van Het Engganeesch” by Rajeg, GPW

“…We thank Rena Dusee for checking the English translation of the Dutch gloss. …”