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

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

Building SenticNet 7 by Perh, Zhi Hao

“…The error checking program utilizes the keyword extractor, sentiment analysis and synonyms functions. …”
Get full text

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

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

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

The midlife crisis by Giuntella, Osea, McManus, Sally, Mujcic, Redzo, Oswald, Andrew J., Powdthavee, Nattavudh, Tohamy, Ahmed

“…Instead the paper uses panel and through-time data on, in total, approximately 500,000 individuals. It checks that the key results are not due to cohort effects. …”
Get full text
Get full text

Flexible optical fiber probe for surface roughness evaluation of internal channels in additively manufactured components by Subbarao, Guru Prasad Arudi, Haridas, Aswin, Patinharekandy, Prabhathan, Kapur, Pulkit, Chan, Kelvin, Matham, Murukeshan Vadakke

“…However, being a stochastic process, there is minimal control over the surface quality and thus require adequate quality checks before implementation. In this context, this paper investigates a flexible optical fiber probe and speckle correlation measurements to quantitatively estimate the average surface roughness, Ra, of areas within internal channels. …”
Get full text
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. …”

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

Mobile application for optical character recognition (OCR) of digits by Luah, Yee Teng

“…To further improve the recognition accuracy, an API is created for sanity checks based on the domain knowledge adopted from clinicians. …”
Get full text

Characterizing Direct Product Testing via Coboundary Expansion by Bafna, Mitali, Minzer, Dor

Get full text

Center potential by Tan, Hu Soon

“…To ensure the safety and trustworthiness of tutors, this application incorporates a rigorous verification process, which includes background checks, identity verification, and qualification validation. …”
Get full text

Application development on an Android smart-phone by Udit Batra

“…The application intercepts all incoming messages and checks them for a certain password which uniquely identifies the owner. …”
Get full text

Evaluation and fabrication of damaged composite material using non-destructive testing by Lai, Abigail Jang Wai

“…Since composites are extensively employed in many areas, it is important to determine the existence of surface and sub-surface defects before production and during regular maintenance checks. As time goes on, wear and tear occur to a material. …”
Get full text

Experiences, perceptions and ethical considerations of the malaria infection study in Thailand by Naemiratch, B, Kulpijit, N, Ruangkajorn, S, Day, NPJ, Prachumsri, J, Cheah, PY

“…We found that although compensation was a motivation for participation, this was secondary to it being beneficial to self (health checks; link to health networks; building merit) and others (medical research contribution; altruism). …”

Three essays on frictions of trade by Li, W

“…The analysis is based on an adapted gravity model with several alternative specifications for robustness checks. The result suggests that improvements on the road network lead to trade expansion on both intensive and extensive margins, but the effects vary across the regions. …”

A comparative analysis of ENCODE and Cistrome in the context of TF binding signal by Perna, Stefano, Pinoli, Pietro, Ceri, Stefano, Wong, Limsoon

“…Moreover, the output format of the processing (BED narrowPeak) exposes a feature, the signalValue, which is seldom used in consistency checks, but can offer valuable insight on the quality of the data. …”
Get full text

kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models by Carretero Chavez, Willow, Krantz, Marcus, Klipp, Edda, Kufareva, Irina

“…The verification script VerifyModel.R checks for responsiveness to repeated stimulations as well as consistency of steady state behavior. …”
Get full text

15.571 Generating Business Value from Information Technology, Spring 2007 by Weill, Peter

“…The familiar components of the place: cash, checks, paper reports and documents, store fronts, and face to face meetings remain important, but less so. …”
Get full text