Parsing and semantic analysis of a domain specific language by Qin, Gemeng

“…This involves processes such as type inference of variables in MATLAB, size inference of array and error checking of uninitialized variables, and array type or shape mismatch.…”
Get full text

Human factors evaluation of conflict resolution aid in future air traffic control by Pereira, Theresse Vanessa

“…In 1929, the airport operator employed him to prevent collisions between aircrafts and his tools of communication were simply a red flag to indicate “hold” and a checked one for “go”. With the advancement of technology over the next few decades, high tech equipment were integrated into air traffic control, such as the radar, to meet the growing number of flights as more people turned to aeroplanes as a means of commercial transport. …”
Get full text

Can good ESG performance help companies resist external shocks? by Yang, Xin, Sheikh Hassan, Ahmad Fahmi, Karbhari, Yusuf

“…Our results remain robust even after a series of rigorous robustness checks.…”
Get full text

Multiplicity dependence of σψ(2S)/σJ/ψ in pp collisions at √𝑠 = 13 TeV by Aaij, R., Abdelmotteleb, A. S. W., Abellan Beteta, C., Abudinén, F., Ackernley, T., Adeva, B., Adinolfi, M., Adlarson, P., Agapopoulou, C., Aidala, C. A., Ajaltouni, Z., Akar, S., Akiba, K., Albicocco, P., Albrecht, J., Alessio, F.

“…The ratio of production cross-sections of ψ(2S) over J/ψ mesons are cross-checked with other measurements in di-lepton channels and found to be compatible.…”
Get full text

Forecasting air passenger volume in Singapore: Determining the explanatory variables for econometric models by Guo, Rui, Zhong, Zhao Wei

“…Before applying for model simulation, correlations among variables were checked. Various combinations of the variables were implemented to establish the models. …”
Get full text
Get full text

Impact of innovation on performance of shipping companies in Singapore by Nah, Laura Yan Ling

“…A survey with 17 Singapore-registered ship-owning companies was conducted and results were checked for validity using the Spearman’s rho and Cronbach’s alpha tests. …”
Get full text

Automatic program repair and synthesis using genetic programming by Lee, Yue Yu

“…This repeated process of checking and trying fixes is tedious and error-prone, and logical errors made by the developer are often hard to spot during the debugging process. …”
Get full text

Inherently vulnerable? Ethnic geography and the intensity of violence in the Bosnian civil war by Di Salvatore, J

“…The results remain robust when accounting for the presence of the UN peacekeeping mission (UNPROFOR) and across several robustness checks.…”

Prescriptive analytics models for vessel inspection planning in maritime transportation by Yang, Ying, Yan, Ran., Wang, Shuaian

“…The inspection process involves identifying high-risk vessels, allocating surveyors, and conducting onboard checks. This study aims to optimize the selection and assignment process through a two-stage framework, balancing the benefits of identifying deficiencies against the costs of inspection delays. …”
Get full text

Blockchain for RegTech: streamlining know your customer (KYC) pipelines by Tan, Valerie Huiying

“…With Decentralised Finance being developed to replace traditional financial services and transactions of virtual land being conducted on the Metaverse, these ecosystems often involve large amounts of money and require regulatory compliance checks. This calls for a solution that can interoperate effectively with these emerging technologies. …”
Get full text

Perennial semantic data terms of use for decentralized web by Zhao, R, Zhao, J

“…This constitutes a “perennial” DToU language, where the policy authoring only occurs once, and we can conduct ongoing automated checks across users, applications and activity cycles. …”

Ergativity in Tongan by Otsuka, Y

“…Following Chomsky (1993), I assume that a structural case is assigned by feature checking in a Spec-head configuration. I also assume that only one Agr can be active in intransitive constructions: Agrs in accusative languages and Agro in ergative languages (Bobaljik 1993). …”

Effect of Dactylaria higginsii on interference of Cyperus rotundus with L. esculentum by Kadir, J.B., Charudattan, R., Stall, W.M., Bewick, T.A.

“…At 106 conidia ml-1, D. higginsii reduced the interference from C. rotundus, controlled C. rotundus better, and increased L. esculentum yield compared to the weedy checks.…”

Mitigate the effect of distributed generators connected to distribution system. by Oraibi, Saleh Khairullah, Mohamad Idris, Rasyidah

“…ETAP program is used for analyzing and checking the results obtained, where the operating time and TMS value of all relays in the system are calculated in case the distribution generators are not connected, and to ensure the quality of coordination by Etap software, then the distributive generators are connected, their effects are studied, and the relays are coordinated again by the two previous methods. …”
Get full text

Membrane compaction in forward osmosis process by Ng, Daniel Yee Fan, Chen, Yunfeng, Dong, Zhili, Wang, Rong

“…The TFC membranes were continuously tested in FO experiments for 24 h by using DI water as feed and NaCl solutions of different concentrations as draw solution, and their performances were checked again using fresh feed solutions. At the end of FO experiments, all TFC membranes experienced water flux and salt flux decline to different extents. …”
Get full text

Floquet Codes without Parent Subsystem Codes by Davydova, Margarita, Tantivasadakarn, Nathanan, Balasubramanian, Shankar

“…However, unlike the honeycomb code, it possesses an explicit CSS structure and its gauge checks do not form a subsystem code. Nevertheless, we show that our dynamic protocol conserves logical information and possesses a threshold for error correction. …”
Get full text

API Governance at Scale by Ahmad, Mak, Geewax, J. J., Macvean, Andrew, Karger, David, Ma, Kwan-Liu

Get full text

Unstoppable Wallets: Chain-assisted Threshold ECDSA and its Applications by Zyskind, Guy, Yanai, Avishay, Pentland, Alex

“…Using that deployment, we showcase the protocols' applicability for two interesting applications, policy checking and wallet exchange, as well as their efficiency by demonstrating low gas costs and fees.…”
Get full text

Disrupting Monocultural Tendencies through Multimodal Montage by Singha, Mrinalini

“…As an Indian artist, the author situates her own practice within this discourse, highlighting projects such as `The Whistleblower' (2023), a tangible archive within an everyday object, and `A Mystery for You' (2023-24), a fact-checking game that merges a tangible interface with a large language model (LLM). …”
Get full text
Get full text

Towards explainable and semantically coherent claim extraction for an automated fact-checker by Yoswara, Jocelyn Valencia

“…Therefore, this project aims to enhance the claim extraction process of an automatic fact-checker, improve the accuracy of fact-checking, and mitigate the limitations associated with LLMs' reliance on outdated information. …”
Get full text