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

Personnel Formalization and the Enhancement Of Teamwork: A public–private comparison by Chen, Chung-An, Rainey, Hal G.

“…Given that public organizations are structured more formally, public sector employees are more likely to work in teams than their peers in the private sector. The authors test this view by using variables from the National Organization Survey (NOS) data set and find strong statistical support. …”
Get full text
Get full text

Explicating problematic social network sites use: A review of concepts, theoretical frameworks, and future directions for communication theorizing by Lee, Edmund Wei Jian, Ho, Shirley S., Lwin, May Oo

“…Third, we propose that communication scholars should strive for theoretical integration and examine the impact of microsystem (e.g. parents and peers) and macrosystem (e.g. surveillance culture) on the development of problematic SNSs among adolescents. …”
Get full text
Get full text

Do institutional pressures impact voluntary environment information disclosure? by Fan, Jing, Muhamad, Haslinah, Mohd Said, Ridzwana, Daud, Zaidi Mat

“…As a result, companies are increasingly prioritizing compliance with regulatory standards and actively engaging with stakeholders rather than simply imitating the behaviors of their peers.…”
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. …”

Edge/cloud resource management for time-sensitive applications by Lim, Her Huey

“…Technological advancements and skyrocketing interest in areas such as Artificial Intelligence and Internet of Things as well as the sheer increase in development of software solutions, tools, infrastructure, and more have driven demand for cloud resources to staggering heights. …”
Get full text

SyROCCo: enhancing systematic reviews using machine learning by Fang, Z, Arana-Catania, M, van Lier, F-A, Outes Velarde, J, Bregazzi, H, Airoldi, M, Carter, E, Proctor, R

“…The sheer number of research outputs published every year makes systematic reviewing increasingly time- and resource-intensive. …”

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

Get full text

British Muslim youth and religious fundamentalism: a quantitative investigation by Kashyap, R, Lewis, VA

“…We use new survey data to empirically examine how Muslim youth differ from older Muslims and non-Muslim British peers on religiosity, Islam-specific and broader social attitudes. …”

Pilot feasibility study to determine the utility of direct access and quantitative magnetic resonance cholangiopancreatography (MRCP) in the assessment of suspected acute biliary o... by Novak, A, Acharya, A, Beer, S, Espinosa, A, Smith, GB, Saga, C, Andrews, J, Bailey, A, Soonawalla, Z, Bungay, H, Pavlides, M

Development of an application to improve mental health (A) by Khor, Chin Yi

“…It is crucial to implement peer support in tackling mental health issues, as information provided by peers is usually seen as more credible and up-to-date than that offered by professionals. …”
Get full text

Cadê o Kauê? Co-design and acceptability testing of a chat-story aimed at enhancing youth participation in the promotion of mental health in Brazil by Pavarini, G, Murta, SG, Mendes, JAA, Siston, FR, Souza, RRA, Cunha, RO, Ferreira, JA, Santos, VHL, Seabra, BTR, Talk2U, Singh, I

“…</p> <p><strong>Results:&nbsp;</strong>Participants aspired to support their peers' mental health in schools, both one-to-one and collectively, but felt unprepared. …”

Short-term load forecasting by wavelet transform and evolutionary extreme learning machine by Li, Song, Wang, Peng, Goel, Lalit

“…This paper proposes a novel short-term load forecasting (STLF) method based on wavelet transform, extreme learning machine (ELM) and modified artificial bee colony (MABC) algorithm. The wavelet transform is used to decompose the load series for capturing the complicated features at different frequencies. …”
Get full text
Get full text
Get full text

An Unusual Harassment Training That Was Warmly Received and Also Inspired Bystanders by Rowe, Mary P.

Get full text

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 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

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

StudentGO web application by Xie, Zijian

“…StudentGo web application will provide a platform for students to communicate with their peers, find new friends and cultivate a community of like-minded students striving for excellence. …”
Get full text

Comparative analysis of undergraduate life science education at NTU, Singapore and Kyutech, Japan : commonalities and differences in preparing students for employment or graduate s... by Lee, Kok Sang.

“…Students in Singapore were found to spend more time to study and less time for entertainment compared to their peers in Japan. Differences in government policies of Japan and Singapore are believed to cause most of the differences observed. …”
Get full text

‘Maturing out’ as dilemmatic: transitions towards relatively light drinking practices among UK University students by Conroy, Dom, Morton, Charlotte, Griffin, Christine

“…One dilemma was characterised by managing to drink less (or nothing) without cutting off social options with university friends/peers. A second dilemma concerned not wishing to fully abandon the pleasures and increased social confidence that alcohol consumption could afford. …”
Get full text