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

A public relations campaign to promote arts and culture in Singapore in collaboration with Nerf Creative. by Zhang, Yunxi., Tsen, Audrey Si Jia., Tee, Hui Sheng., Cheng, Xin Yi.

“…This paper presents the promotional campaign for art and design collective “Float Like A Butterfly, Sting Like A Bee” (FLABSLAB), an initiative between four final year students from Nanyang Technological University Wee Kim Wee School of Communication and Information and advertising agency Nerf Creative Pte Ltd, in Singapore. …”
Get full text

Global borders : power, fragility, and ‘a kind of fiction’ (Editorial introduction) by Cahill, Samara

“…With the gentlest wafting of pollen from a summer breeze or a bee’s wing, the fixed categories borders inscribe can blossom into hybridities.…”
Get full text

Application of smartphone-based biophotonic instrumentation for glucose sensing using colorimetric method by Azlan, Nur Ainin Sofhia Nurul

“…The calibration curves consistently confirm that the proposed method aligns with the Beer-Lambert law, in accordance with expectations with previous studies. …”
Get full text

Utilizing open-source hardware and software to construct a mesh of environmental sensors for microclimate studies by Chan, Cun Bin

“…A network of 3 Router sensors and Coordinator is prototyped using Arduino microcontroller, Raspberry Pi single-board computer, and ZigBee and Wi-Fi communication protocols. The wireless sensor network is deployed within Crest Secondary School as a test bed. …”
Get full text

Anti-microbial surfaces by plasma assisted immobilization of chitosan. by Toh, Daniel Seng Wei.

Get full text

Speaking to Angmohs : intelligibility and identity as motivators for speech accommodation in Singapore by Law, Eliana Yixin

Get full text

Synthesis and application of peptidoglycan oligomers as metabolic labeling agents for bacteria by He, Jingxi

“…Although many major discoveries have been made on the bacterial cell wall in the past decade, much remains uncertain about the working mechanisms of bacterial cell wall biogenesis, as well as its dynamic transformations during a bacterium’s life cycle. …”
Get full text

Come and tell mama : the socialization of anger through talk by Sharifah Adibah Binte Syed Zainal

Get full text

An integrated information management model for proactive prevention of struck-by-falling-object accidents on construction sites by Wu, Weiwei, Yang, Huanjia, Li, Qiming, Chew, David Ah Seng

“…The objective of this paper is to analyze the proactively preventive information requirement of struck-by-falling-object accidents and propose an integrated information management model using a ZigBee RFID sensor network to fulfill these requirements. …”
Get full text
Get full text

Cationic polymer-based antimicrobial and multifunctional hydrogels for enhanced healing of infected wounds by Po, Javier Jun Fai

Get full text

Tissue engineering small diameter blood vessels : ployurethane formulation with urethane acrylate in micro-patterned scaffold with mechanical analysis by Lee, Zhi Chao.

Get full text

4.A21 Stories Without Words: Photographing the First Year, Fall 2005 by McCluskey, Keith

Get full text

21W.745 / SP.576J / WGS.576J Advanced Essay Workshop, Spring 2005 by Faery, Rebecca Blevins

Get full text

Analysis and design of RSSI in the RF receiver chain by Bhaskar Yashaswini

“…This dissertation presents the CMOS design of such a RSSI block implemented in the RF receiver chain, which is used in low-power applications such as BLE or ZigBee. IFA and rectifiers form the basic building blocks of RSSI that are constructed with much care in this design. …”
Get full text

Brewers’ spent grains as potential novel functional food ingredients for food security by Tan, Yong Xing

“…BSG are residues generated as side streams from beer production. Currently, BSG are used as animal feed or disposed in landfills and these massive amount of BSG generated annually are causing significant environmental, economic, and climatic issues. …”
Get full text

The effect of biculturalism on executive functions by Xie, Wenhan

Get full text

Design and investigation of block copolymers for dispersion of carbon nanotubes in polymer matrices by Liu, Chengyin

Get full text

A computer vision software to automatically measure dimensions of flat surfaces in a photograph by Wang, Qifeng

“…A previous project has been conducted and a substantial amount of work have been done on objects and contours detection. …”
Get full text

Geometric primitive feature extraction : concepts, algorithms and applications by Prasad, Dilip Kumar.

“…For the problem of polygonal approximation, two fundamental problems have been addressed. First, the nature of the performance evaluation metrics in relation to the local and global fitting characteristics has been studied. …”
Get full text