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

“…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
Get full text

Design and development of a web-based platform for EEE MSc student orientation by Soo, Serena Keng Shuang

“…The main aim of the web application is for students to have cultural exchanges, to explore Singapore, and to engage in school life by forming interest groups with like-minded peers.…”
Get full text

Reframing stigma in Tourette syndrome: an updated scoping review by Pring, K, Malli, M, Hardy, BW, Rapp, SR, Storch, EA, Mink, JW, Martindale, JM

“…On the individual level, youth with PTD had lower self-esteem than peers, often leading to fear of future stigmatization, avoidant behaviors, and self-stigmatization. …”

Facial expression quantification and analysis by Ramya Sridharan

“…This dissertation mentions some of the latest techniques available in the above field and proposes two design techniques that exceed the performance of their peers in both technical aspects and applications.…”
Get full text

The Inspiration Design Toolkit: A Human-Centered Design Tool for a System Engineering Course by Lee, Sheng-Hung, Yang, Maria C, Carramolino, Beatriz, Rudnik, John

“…The aim of the IDT is to improve the participants’ learning experience and course engagement, increase opportunities for them to interact with their peers and teaching team, enable them to practice and reinforce the concepts through the creation of their own IDT cards, and share the cards in the discussion to increase learners’ engagement with course material and peers. …”
Get full text

Perceptions of gifted adolescents in Singapore towards the "gifted" label and its effects on their social relationships by Tan, Chee Soon.

“…Some of the disadvantages include high expectations from parents and teachers and being discriminated by peers in the mainstream. Results of case studies parallel these findings.…”
Get full text

Signalling through deviance by Teo, Xin Yi, Chia, Gary Yong Wen, Ang, Yan Ting

“…Stimuli were presented in a 2X2 mixed-model design, by manipulating the subjects, whether they are more successful or less successful than their peers, and if the question presented encompasses an identity threat or not. …”
Get full text

Mothers’ social networks and socioeconomic gradients of isolation by Andrew, AR, Attanasio, O, Augsburg, B, Behrman, J, Day, M, Jervis, P, Meghir, C, Phimister, A

“…Wealthier women and women from more-advantaged castes and tribes have smaller networks than their less-advantaged peers, primarily because they know fewer women within their own socioeconomic group. …”

PandoraHearts : Caucus Race, by Shinobu Wakamiya, author 655895, Jun Mochizuki, illustrator 655896

“…Within these pages, four fairy tales unfold, each peering into one of the houses of the four great dukedoms: Vessalius, Rainsworth, Barma, and Nightray. …”
Get full text

The epistemic significance of religious disagreements: cases of unconfirmed superiority disagreements by Choo, Frederick Wen Yeong

“…In this paper, I argue that many religious disagreements are cases of unconfirmed superiority disagreements, where parties have good reason to think they are not epistemic peers, yet they lack good reason to determine who is superior. …”
Get full text

How to choose a law review: an empirical study by Cofone, I, Malé, P-JG

“…The optimal publication strategy for authors depends on whether they want to maximize prestige among peers or rather their impact on the discipline, as well as on authors’ career stage and risk averseness. …”

Design and implementation of a web based platform for EEE students internship/job experience sharing by Fang, Meiheng

“…The three main focuses of this application are providing space for sharing latest reviews, exploring different interest fields with peers, and presenting helpful resources from both the campus and external sources in an organized and user-friendly manner.…”
Get full text

The friendly muse : ADM student wellbeing by Low, Eudora Yu Lin

“…Drawing from personal experience and that of fellow peers, the project investigates how to create a more relatable, approachable and contextualized experience for ADM students.…”
Get full text

The leap of faith : lived experiences of madrasah students negotiating the transition from a religiously-homogeneous environment to a secular environment by Shaik Muhammad Khairun Nabil, Nur Syahirah Mohamed Salim

“…The findings point to four main transition outcomes which is shaped by (i) their motivations to align their habitus with that of their new peers and (ii) their commitment to maintain their previously-conditioned habitus and ties with the Madrasah community. …”
Get full text

Singapore Shipping Trust. by Goh, Wei Qin., Lee, Suat Cheng., Tan, Li Ping.

“…We also explore the shipping trusts’ financial performance through comparison with the Singapore market, as well as with Singapore REITs, Singapore shipping stocks and their foreign peers. Results from CAPM show presence of risk-adjusted returns for the equal-weighted shipping trust portfolio in the before-subprime period, indicating the attractiveness of shipping trusts during better economic conditions. …”
Get full text

Cognitive aspects of generalised anxiety disorder in adolescents: exploring intolerance of uncertainty, cognitive avoidance, and positive beliefs about worry by Shipp, LR, Leigh, E, Laverton, A, Percy, R, Waite, P

“…Adolescents with GAD reported significantly higher intolerance of uncertainty and positive beliefs about worry relative to their peers with other anxiety diagnoses, whilst levels of cognitive avoidance did not differ significantly. …”

Dynamic drug combination methods for suppressing bacterial antibiotics resistance adaptation by Bhone, Myint Kyaw

“…In this study, the effects of using conventional antibiotics in combination with phytochemicals were studied by using checker board methods and time-kill assays using 12 S. aureus strains. …”
Get full text

Universal resilience patterns in labor markets by Moro, Esteban, Frank, Morgan R., Pentland, Alex, Rutherford, Alex, Cebrian, Manuel, Rahwan, Iyad

“…Further, cities that increase their job connectivity see increasing wage bills, and workers of embedded occupations enjoy higher wages than their peers elsewhere. Finally, we show how job connectivity may clarify the augmenting and deleterious impact of automation in US cities. …”
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

Mobile app for virtual study room by Ng, Yu Zhe

“…The hope is that students who are from less well-off families, who only have access to a smart phone in Singapore today, would not be disadvantaged as compared to their peers due to how online education systems are being built around computers rather than mobile devices.…”
Get full text