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

“I really need your help with this work..”: A System for Navigating the Tricky Terrain of Managing Up by Leveraging One’s Motivation to Get Things Done by Park, Soya, Vishwabhan, Stuti, Muller, Michael, Karger, David R.

“…When people need help from their supervisors or peers, they often have to manage up to get things done. …”
Get full text

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

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

Dataset on genetic and physiological adults׳ responses to social distress by Bonassi, Andrea, Ghilardi, Tommaso, Truzzi, Anna, Cataldo, Ilaria, Azhari, Atiqah, Setoh, Peipei, Shinohara, Kazuyuki, Esposito, Gianluca

“…Self-reported questionnaires were used to evaluate participants’ interactional patterns towards peers (Attachment Style Questionnaire, Feeney et al., 1994[1]), and the quality of bond with intimate partners (Experiences in Close Relationships Scale, Fraley et al., 2000 [2]). …”
Get full text
Get full text

A Performance Analysis between Conventional and Shariah Private Retirement Scheme in Malaysia (S/O 14551) by Sofi, Mohd Fikri

“…They do not only beat the market over the period, but also strive against the peers ferociously to attain the objective and the interest of fund holders for a better protection of future retirement. …”
Get full text

'Women in an extraordinary time': the transnational network and educational spaces of the Canadian Eiwa Girls' mission schools in 1920s and 1930s Japan by Dugal, A

“…Through network development, physical and intellectual spatial construction, and curriculum and activity design, these historical actors reached outside their institutions to actively connect themselves and their peers with the wider world. In the 1930s, this appears to have been conducted with a sense of urgency. …”

High-Throughput Three-Party DPFs with Applications to ORAM and Digital Currencies by Zyskind, Guy, Yanai, Avishay, Pentland, Alex

Get full text

Essays on oil price fluctuations, financial markets and international trade by Le, Thai Ha

“…The stability of the causality is also checked and the estimated impulse responses across different periods are examined. …”
Get full text

Autistic students' experiences, opportunities and challenges in higher education in Singapore: a qualitative study by Lim, Elinor, Wong, Shawn, Gurbuz, Emine, Kapp, Steven K., López, Beatriz, Magiati, Iliana

“…The present study sought to explore and understand (i) the experiences, opportunities, and challenges of autistic students in HE in Singapore; and (ii) non-autistic HE students’ experiences of studying alongside and socially engaging with their autistic peers. Twenty autistic and twenty-two non-autistic HE students in Singapore completed an online survey with open-ended questions. …”
Get full text

The anxious chronicles: visualising my anxiety through acceptance commitment therapy (ACT) as well as humour and satire by Dugang, Pahang Chelsea Ro-Ann

“…I noticed that I myself have been facing anxiety together with my peers around me and how we often use humour in the form of sarcasm or irony to externalise and mediate our emotions. …”
Get full text

Unlocking the mysteries behind baby viral videos. by Chung, You Lun., Tan, Peck Lim., Sia, Shang Ying.

“…Online content that contains viral elements will effortlessly spread through the Internet as users share among their peers. Mysteriously, videos containing baby content are shared widely and received millions of views. …”
Get full text

Three essays on corporate finance by Fu, Kangkang

“…Moreover, from the principal customers’ perspective, a higher level of environmental risk lowers a supplier firm’s probability of being selected relative to its industry peers by its potential customer. Conditional on an ongoing relationship with principal customers, supplier firms with high environmental risk have lower sales to principal customers and shorter relationship durations. …”
Get full text

15.665B Power and Negotiation, Fall 2002 by Williams, Michele

“…You will learn and practice the technical skills and analytic frameworks that are necessary to negotiate successfully with peers from other top business schools, and you will learn methods for developing the powerful social capital you will need to rise in the executive ranks of any organization. …”
Get full text

New techniques for searching differential trails in Keccak by Liu, Guozhen, Qiu, Weidong, Tu, Yi

Get full text

Health economic aspects of childhood excess weight by Onyimadu, O

“…My analyses of CPRD-HES data revealed that children living with overweight and obesity incurred significantly higher direct healthcare costs than their peers with a healthy weight. In comparison to children with healthy weight, those living with overweight generated additional costs of £133.93 and £66.32, on average, in the year preceding and following a BMI measurement, respectively, while children with obesity incurred additional costs of £115.47 and £154.51, on average, during the same periods. …”

Phonological and semantic influences on auditory word perception in children with and without reading impairments using magnetoencephalography (MEG) and electroencephalography (EEG... by Wehner, Daniel T

Get full text
Get full text

Academic achievement inspired machine learning methods for student grade prediction and at-risk detection by Wei, Qiu

“…To jointly consider the three important aspects\textemdash temporal dynamics of prior courses across previous semesters, short-term performance consistency, and relative performance against peers, an academic achievement inspired grade prediction (A2GP) model is proposed. …”
Get full text

High cycle fatigue characterisation and modelling of 316L stainless steel processed by laser powder bed fusion by Zhang, Meng

“…Despite the diverse fatigue and fracture properties, the models produced good prediction accuracy when checked against the test data. Moreover, the method demonstrated good generalisation capability on applying to literature data. …”
Get full text

Rethinking speech sound disorder (SSD) in non-syndromic cleft lip and palate: the importance of recognizing phonological and language difficulties by van Eeden, S, McKean, C, Stringer, H

“…There is growing evidence of concomitant language difficulties in children with CP ± L and of a higher prevalence of developmental speech errors in children compared with non-CP ± L peers. The impact of underlying phonological and language skills on speech production in children with CP ± L is poorly understood. …”