A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

“…Producing efficient array code is crucial in high-performance domains like image processing and machine learning. It requires the ability to control factors like compute intensity and locality by reordering computations into different stages and granularities with respect to where they are stored. …”
Get full text

Multi-bounce Returns for Specular Surface Mapping from Consumer-grade Flash LiDAR by Lin, Tsung-Han

“…Traditional LiDAR systems typically assume that all returns are single-bounce, which can lead to inaccurate representations of specular surfaces like mirrors or glass, often causing them to appear as though there is a hole. …”
Get full text
Get full text

De novo-designed β-sheet heme proteins by D'Souza, Areetha, Bhattacharjya, Surajit

“…By contrast, there are only a few known β-sheet proteins that bind heme and designs of β-sheets frequently result in amyloid-like aggregates. This review reflects on our success with designing a series of multi-stranded β-sheet heme binding peptides that are well folded both in aqueous and membrane-like environments. …”
Get full text

Comprehensive insights into Sitobion avenae preferences and performance on Pakistan’s wheat cultivars leading to identification of potential RNAi targets by Mukhtar, Ruhma, Afzal, Eijab, Noureen, Rabia, Zeeshan, Nadia, Afroz, Amber

“…Sitobion avenae, a notable hemipteran pest, poses a significant economic threat to Triticum aestivum due to its short generation times and high reproductive rates. Challenges like the development of insecticide resistance, the limited impact of insecticidal genes, and associated risks led to seeking a more precise approach like RNA interference. …”
Get full text

Ameliorative effect of α-tocopherol and tocotrienol-rich palm oil extract on menopause-associated mood disorder in ovariectomized mice by Liang, Gengfan, Kow, Audrey Siew Foong, Lee, Yu-Zhao, Yusof, Rohana, Tham, Chau Ling, Ho, Yu-Chung, Lee, Ming Tatt

“…However, treatment with tocotrienol-rich palm oil extract, but not α-tocopherol, modulated the depressive- and anxiety-like responses in ovariectomized mice subjected to chronic restraint stress. …”
Get full text

Empirical study on factors affecting performance of Singapore's neighbourhood shops. by Lee, Hui Fang., Loo, Yiwen., Wong, Qinlei.

“…Managerial expertise was found to be the most fundamental factor which is significantly related to other factors which affects store performance. The strong link between service quality and customer loyalty is also not to be overlooked to ensure good store performance. …”
Get full text

SWARM communication - scalability and resiliency by Tao, Zhengyi

“…More specifically, we use the BATMAN-adv protocol at the data link layer to communicate.…”
Get full text

Framework design for nanometer technology development and transistor optimization by Raymond Adhi Pangestu Selomulya

“…Ultimately, the design framework shall link the technology development with device/circuit performance optimization.…”
Get full text

SDR4ALL based radar demonstration (Part 1) by Hu, Xudong.

“…Software Define Radio for ALL (SDR4ALL) is a link between theory and simulation. It allow researchers and student experiment implement and test their design in a real transmission and keep the simplicity of a high level programming language environment at the same time. …”
Get full text

Marketing public health programmes : a diet perspective by Ang, Bee Choo, Chow, Pui Meng, Tan, Geok Hui

“…There is also a growing concern of healthcare costs and the direct link between health and diseases to productivity and hence the economy of the country . …”
Get full text

Making of intimate capitalism: from cultrural economy to creative and cultural industries by Nayak, Bhabani Shankar

Get full text

Temporal dynamics unleashed: elevating variational graph attention by Molaei, S, Niknam, G, Ghosheh, GO, Chauhan, VK, Zare, H, Zhu, T, Pan, S, Clifton, DA

“…Empirical tests underscore VarGATDyn’s dominance in dynamic link prediction across various datasets, highlighting its proficiency in capturing multimodal distributions and temporal dynamics.…”

Disclosing downstream emissions: when are companies accountable for customers’ use of their products? by Kaplan, RS, Ramanna, K

“…Three principles govern accountability: (1) Downstream accountability is limited to companies whose products are directly used by end customers. (2) Accountability for B2C companies is limited to cases where a reasonable causal link exists between product-design decisions and the downstream emissions generated by consumers. (3) Companies are accountable for disclosing emissions produced per unit of use, not for total emissions. …”

Information structure and syntactic choices in Kelabit by Hemmings, CL

“…Hence, there is no one-to-one link between particular grammatical functions and information structure roles. …”

Which special measure? A guide for adults giving evidence in cases of rape or sexual assault [Video] by Kyneswood, N

“…This includes special measures such as the video recorded police interview, screens, live link, and video recorded cross-examination (sometimes called pre-recorded cross-examination). …”

Do mainstream parties adopt more populist language when challenger parties using it are successful? The impact of UKIP’s electoral success, culminating in the 2014 European electio... by Stephenson, K

“…Secondly, two approaches are applied to test the causal link of this change to the independent variable: process tracing using evidence from elite interviews, and qualitative content analysis of election leaflets in a sample of constituencies which faced varying levels of UKIP threat in 2014/2015. …”

Competition policy and the labour share by Zac, A, Casti, C, Decker, C, Ezrachi, A

“…This suggests a potential link between the design and effectiveness of competition policy and the labor share, and more broadly to distributional outcomes. …”

A new blood fluke,Parasanguinicola vastispina gen. nov., sp. nov. (Trematoda: Sanguinicolidae), from sea bass Lates calcarifer (Centropomidae) cultured in Malaysia by Herbert, B.W., Shaharom, F.M.

Get full text

Fate of carbofuran in rice-fish model ecosystem -an international study by Jayaraman, J., Celino, L.P., Lee, K.H., Mohamad, R.B., Suns, J., Tayaputch, N., Zhang, Z.

Get full text

A consumption model for measuring poverty: an exploratory exercise by Paim, Laily

Get full text