Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

Near-zero environmental impact aircraft by Prashanth, Prakash, Elmourad, Jad, Grobler, Carla, Isaacs, Stewart, Zahid, Syed Shayan, Abel, James, Falter, Christoph, Fritz, Thibaud, Allroggen, Florian, Sabnis, Jayant S., Eastham, Sebastian D., Speth, Raymond L., Barrett, Steven R. H.

“…Aviation's impact on surface air quality, which is comparable to aviation's climate impact when monetized, further heightens this challenge. …”
Get full text

Orbital stability in a classical pilot-wave system by Liu, Nicholas Z.

“…This thesis focuses on the features responsible for the quantisation of orbital radii, and rationalises this quantisation in terms of the stability of circular orbits arising in the presence of a rotating frame and a central force. We find that orbital quantisation is most pronounced when the waves generated by each bounce decay slowly. …”
Get full text

Computational Approaches for Understanding and Redesigning Enzyme Catalysis by Karvelis, Elijah

“…In the second study, we examine the effects of these same mutations on the isomerization of KARI's other native substrate: 2-aceto-2-hydroxybutyrate (AHB), and we find that the mutants selected for increased activity on ACL had varied levels of activity on AHB. …”
Get full text
Get full text

Fully automated differential fault analysis on software implementations of block ciphers by Hou, Xiaolu, Breier, Jakub, Zhang, Fuyuan, Liu, Yang

“…While there are techniques that provide a fault analysis automation on the cipher level to some degree, it can be shown that when it comes to software implementations, there are new vulnerabilities, which cannot be found by observing the cipher design specification. …”
Get full text

Genotype-specific expression and NLR repertoire contribute to phenotypic resistance diversity in Plantago lanceolata by Safdari, Pezhman, Höckerstedt, Layla, Brosche, Mikael, Salojärvi, Jarkko, Laine, Anna-Liisa

“…Here, we sequenced the transcriptomes of five different Plantago lanceolata genotypes when inoculated by the same strain of obligate fungal pathogen Podosphaera plantaginis. …”
Get full text

Metacognitive bias resulting from trade-off between local and global motion signals by Lee, Alan L. F., Yabuki, Hana, Lee, Isaac C. L., Or, Charles C.-F.

“…Our results suggest that the metacognitive system, when generating confidence for a perceptual task, puts more weights on local than global signals.…”
Get full text

Presenting social media information on mobile devices using multiple contexts by Tan, Esther Meng Yoke, Goh, Dion Hoe-Lian

“…Purpose – Research has shown that when presenting large amounts of social media information on small devices, design should consider multiple contexts which include user preferences, time, location, environment and so on. …”
Get full text
Get full text

Company Law / by Siti Salwa Jaafar, author 629008, Marliana Jamaluddin, author 629009

“…Apart from polytechnic students, university students and the general public may also find the book useful.…”

Health Communication Research Measures / by Kim, Do Kyun, editor 655230, Dearing, James W., editor 655231, Peter Lang (Online service) 655232

“…Students, researchers, and policymakers will find this book an accessible resource for planning and reviewing research studies and proposals.…”
Get full text
Get full text

Computational screening of FDA-approved hepatitis c drugs for inhibition of VEGFR2 in liver cancer by Roney, Miah, Issahaku, Abdul Rashid, Tufail, Nasir, Wilhelm, Anke, Mohd Fadhlizil Fasihi, Mohd Aluwi

“…All things considered, this study will help the scientific community and society find a novel drug to treat LC.…”
Get full text

Exit Ripple Effects: Understanding the Disruption of Socialization Networks Following Employee Departures by Gamba, David, Yu, Yulin, Yuan, Yuan, Schoenebeck, Grant, Romero, Daniel M.

Get full text

The sound of cooperation : musical influences on cooperative behavior by Kniffin, Kevin M., Yan, Jubo, Wansink, Brian, Schulze, William D.

“…We also find a significant positive association between moodand cooperative behavior. …”
Get full text

Multiple criteria decision making comparison between electre II method and deviation method by Choong, Hon Yoong.

“…In this project, two methods were compared to find a suitable way to normalize the performance for ELECTRE II. …”
Get full text

Pose Buddy: workout platform with MoveNet by Puttur Shreyas

“…However, many individuals find it difficult to attend yoga classes, let alone regularly, due to location limitations, time constraints or financial reasons. …”
Get full text

Tourist perceptions on Singapore in comparison with other south-east Asian countries by Cheong, Chiew Peng, Soh, Tracie Yan Ai, Wan, Jeanny Shih Chin

“…The objective of this study is to find out tourists perceptions of Singapore as compared to other South East Asian countries/regions. …”
Get full text

Directed trust and trustworthiness in a social network : an experimental investigation by Riyanto, Yohanes Eko, Yeo, Jonathan X. W.

“…However, being more central (popular) has little influence on one's levels of trust and trustworthiness. We find these effects on trust to be only partially driven by the expectation of trustworthiness. …”
Get full text
Get full text

Do contrasting statements improve users’ understanding of different assurance levels conveyed in assurance reports? by Low, Kin-Yew, Boo, El'fred

“…We also measured the participants' assurance knowledge (less versus more informed). We find that, under the current reporting regime which requires the inclusion of contrasting statements only in limited assurance reports, only more informed users can differentiate the extent of assurance conveyed in limited versus reasonable assurance reports. …”
Get full text
Get full text

Sampling-based approaches for image and video matting by Ehsan Shahrian Varnousfaderani

“…Also alpha propagation based matting methods may fail when the propagation of alpha is blocked by strong edges. …”
Get full text

Smart fan by Leong, Hin Chee.

“…The conceptual and detail design of a Smart Fan that is able to find human users and oscillates itself between the targets.…”
Get full text