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

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

Intelligent elderly care II by Low, Jia Xin.

“…Digi International XBee modules, which make use of the low-power-consumption ZigBee technology, are the wireless transmitting modules implemented in this project. …”
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

Evaluation of the synergistic effects of novel antimicrobial polymer 147-1 by Leong, Philemon Ye Chao

Get full text

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

Get full text

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

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

Enrichment of SWNT species with chemical approaches and mechanism investigation by Pan, Xiaoyong

Get full text

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

Get full text

Prototyping wireless pulse oximeter by Ng, Kimberly Jin Jin

“…This paper describes the incorporation of ZigBee protocol into medical devices such as Pulse Oximeter. …”
Get full text

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

Get full text

Mode of action study for a novel class of antimicrobial polymers against methicillin-resistant Staphylococcus aureus by Shi, Zhenyu

Get full text

Novel nanogel formulations with good antibacterial activities against wound infections by Xu, Ray

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