Probabilistic verification beyond context-freeness by Li, G

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

A vehicle social distancing management system based on LiFi COVID pandemic: real-time monitoring for smart buildings by Murad, Sallar S., Yussof, Salman, Oraibi, Bha-Aldan Mundher, Badeel, Rozin, Badeel, Banan, Alamoodi, A. H.

“…For this reason, each time a vehicle requests entry into the facility, a real-time test or check must be performed. This study proposes a real-time vehicle social distancing decision system for managing the number of vehicles (RT-VSDD) that adds an additional testing method besides the traditional testing phase (test reports from test centers) with a real-time vital health check at the building access request in order to reduce the risk of unidentified infected individuals. …”
Get full text

Globalization and environmental quality : insights from 128 countries by Le, Ha Chi

“…Fixed Effects (FE) is employed as the main estimation technique while panel Ordinary Least Squares (OLS), Feasible Generalized Least Squares (FGLS) and Driscoll-Kraay (D-K) standard errors estimations are employed as robustness check. The results indicate that while international integration has a detrimental impact on most components of the ecosystem, effect varies across income groups. …”
Get full text

Attack detection for cyber-physical systems: a zonotopic approach by Li, Jitao, Wang, Zhenhua, Shen, Yi, Xie, Lihua

“…Two approaches, namely, projection and polytopic conversion, are presented to check the intersection situation. The detection performance is quantified using a stealthy attack set and the corresponding state estimation error set. …”
Get full text

Petri net-based efficient determination of optimal schedules for transport-dominant single-arm multi-cluster tools by Yang, Fajun, Wu, Naiqi, Qiao, Yan, Zhou, Mengchu, Su, Rong., Qu, Ting

“…Thereafter, an efficient algorithm is developed to check the given conditions and find such a schedule efficiently if existing. …”
Get full text
Get full text

HFP 303E - Asian Thought: Indian, Chinese, And Japanese June 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Please check that this examination paper consists of FOUR pages of printed material before you begin the examination. …”
Get full text

A flat carborane with multiple aromaticity beyond Wade–Mingos’ rules by Lu, Wei, Do, Dinh Cao Huan, Kinjo, Rei

“…Herein, we report the synthesis of a C2B4R4 carborane 2 featuring a flat ribbon-like structure. The C2B4 core of 2 bearing 16 skeletal electrons in the singlet-ground state defies both the [4n + 2] Hückel’s rule and Baird’s rule. …”
Get full text

Synthesis of a π-extended azacorannulenophane enabled by strain-induced 1,3-dipolar cycloaddition by Zhang, Xinjiang, Mackinnon, Marc R., Bodwell, Graham J., Ito, Shingo

“…The first example of a cyclophane bearing a nitrogen-containing buckybowl was synthesized via sequential 1,3-dipolar cycloaddition and palladium-catalyzed intramolecular cyclization. …”
Get full text

Tribochemical Characterization and Tribocorrosive Behavior of CoCrMo Alloys: A Review by Toh, Wei Quan, Tan, Xipeng, Bhowmik, Ayan, Liu, Erjia, Tor, Shu Beng

“…However, poor design and machinability as well as unsatisfactory surface finish subjected the all-metal joint replacement to being superseded by a polyethylene bearing. Continued improvement in manufacturing techniques together with the reality that polyethylene wear debris can cause hazardous reactions in the human body has brought about the revival of metal-on-metal (MOM) hip joints in recent years. …”
Get full text
Get full text

Analysis of the revolving vane (RV-0) expander, part 1 : experimental investigations by Subiantoro, Alison, Ooi, Kim Tiow

“…The isentropic efficiency was found to be up to 17.5% with the frictional losses caused mainly by the journal bearings.…”
Get full text
Get full text

Development of software testing and analysis tools : Part A by Ng, Qing Xiang.

“…The patterns are: • Identical/Compliment-Decision Pattern • Mutually-Exclusive-Decision Pattern • Check-then-Do Pattern • Loop-by-Flag Pattern The scope of this project is to create a set of tools to facilitate detecting of such infeasible paths by detecting the conditions that fulfill the patterns mentioned above. …”
Get full text

The application of microtremor survey method in investigating the geological formation of Singapore by Muhammad Azri Bin Omar.

“…A comparison between the results obtained from SPAC analysis as well as borehole information will also be shown to check for consistency.…”
Get full text

Recommendation in location based social networks by Chen, Long.

“…Temporal information in check-ins which interconnects users and point-of-interests have significant value in LBSNs. …”
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

Report on industrial attachment with Autodesk Asia Private Limited by Zhu, Chenyang

“…Few projects were undertaken during the internship at Autodesk including porting Memento to Mac OS X, add check video update functionality to Memento, Mesh Segmentation using OpenCL and design and implementation of Large Mesh Web Viewer. …”
Get full text

Investigating growth and properties of perovskite single crystals by Tan, Kok Ho

“…X-ray diffraction was conducted to check the purity of methylammonium lead bromide perovskite crystals grown. …”
Get full text

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

Just Doing My Job: Normative Dimensions of Social Roles by Wells, Eliza

“…It also means that role-occupants are not off the moral hook. Ultimately, we each bear responsibility to create a more just social world.…”
Get full text

Development of image-based method for the quantitative assessment of cartilage damage from CT as a biomarker in osteoarthritis by Zheng, J-Q

“…</p> <p>The next phase included segmenting the cartilage from aligned CT volumes, utilizing a deep learning segmentation method, the Gate Attention-U-net, for enhanced precision and versatility in cartilage segmentation, achieving an 88% DSC and 9um ASD in the tibia's weight-bearing area.</p> <p>After extracting cartilage shape, we compared the thickness and remaining volume of tibial cartilage in the weight-bearing area with a prior semi-manual method, observing a Pearson correlation coefficient (R value) exceeding 0.8 with the semi-manual method (p&lt;0.0001) and a correlation with OA scores from histological images (p&lt;0.05). …”