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

Carbon-semiconductor hybrid nanostructures and their photoresponse behaviors by Zhan, Zhaoyao

“…Carbon nanomaterials are unique in terms of structure, carbon nanotube (CNT) bears a hollow one-dimensional structure; and graphene is an one-atom-thick sheet and has extremely high specific surface area; both of them are presenting excellent charge transport capability. …”
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.…”

Numerical simulation of oxygen delivery in presence of hemoglobin hydrogel based oxygen carriers by Tan, Kai Ying

“…Red blood cells have standard shelf life of only 42 days and unable to be checked and sterilized for infective agents like HIV. …”
Get full text

Safety assessment of autonomous vehicles using simulations by Ketki, Chaudhary

“…For different configurations of the afore-mentioned, the simulation data is analysed using MATLAB and checked whether or not it meets safety constraints. …”
Get full text

A novel fabrication method for submicron hydrogel particles loaded with protein drug by Philips Laulia

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

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

Fragmentation of white phosphorus by a cyclic (alkyl)(amino)alumanyl anion by Koshino, Kota, Kinjo, Rei

“…Structural and electronic features of the latter were fully characterized by standard spectroscopic means, X-ray diffraction analysis, and computational studies, which revealed that 2 bears highly polarized Al (δ+) and P (δ-) and relatively short Al-P bonds, indicative of the σ-donating and π-accepting nature of CAAAl groups.…”
Get full text

Solventless 3D printed high-temperature resistant cyclosiloxane-containing resin for low-shrinkage ceramization and nano-functional composite development by Zhou, Zihao, Zhou, Xinran, Yuan, Xueyu, Li, Bing, Song, Yujie, Liu, Ming

“…With photosensitive characteristics of the developed systems proven by the photo-rheology studies, printing parameters were calculated by Beer-Lambert's law to achieve precise control of the 3D printed constructs with complex geometries. …”
Get full text

Minimal type inference for Linked Data consumers by Ciobanu, Gabriel, Horne, Ross, Sassone, Vladimiro

“…We also prove subject reduction and type safety results, which justify our claim that our language is statically type checked and does not throw basic runtime type errors. …”
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

Integration of genetic data and genomic annotation in the analysis of genome wide association studies by Ng, E

“…To fine map these loci and assign functional annotation, I created Bayesian credible sets and checked for overlap between SNPs in these credible sets and regulatory marks in the Encyclopaedia of DNA Elements (ENCODE) database. …”

Prevalence of sleep disturbance in patients with ankylosing spondylitis: a systematic review and meta-analysis by Salari, Nader, Sadeghi, Narges, Hosseinian-Far, Amin, Hasheminezhad, Razie, Khazaie, Habibolah, Shohaimi, Shamarina, Mohammadi, Masoud

“…Heterogeneity among the identified studies was checked using the I2 index, and the Begg and Mazumdar correlation test examined the existence of published bias. …”
Get full text

Furniture form innovation and human–machine comfort evaluation model based on genetic algorithm by Yifan, Bai, Kamarudin, Khairul Manami, Alli, Hassan

“…In the give-up, the advised model’s viability is checked by means of looking at how fixtures from the product’s layout picks had been carried out to assist designers give us fresh thoughts.…”
Get full text

A Multi-tier Model and Filtering Approach to Detect Fake News Using Machine Learning Algorithms by Yu, Chiung Chang, A Hamid, Isredza Rahmi, Abdullah, Zubaile, Kipli, Kuryati, Amnur, Hidra

“…The best performance of sequence for both datasets is LR_DT_RF which yields 0.9892 F1-Score, 0.9895 Accuracy, and 0.9790 Matthews Correlation Coefficient (MCC) for ISOT Fake News Dataset, and 0.9913 F1-Score, 0.9853 Accuracy, and 0.9455 MCC for CHECKED Dataset. This research could give researchers an approach for fake news detection on different social platforms and feature-based.…”
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

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

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