Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq by Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam

“…The resulting extracted command-line compiler is about 1000× faster while featuring simpler compiler-specific proofs. …”
Get full text

High field dynamic nuclear polarization methods: Microwave sources and mechanisms by Mardini, Michael

“…In this thesis, I argue that this approach is not necessarily optimal and report progress towards arbitrary-waveform DNP, in the construction of a suitable solid-state microwave source, and the use of narrow-line monoradicals exploiting the Overhauser effect. …”
Get full text

Around the Corner mmWave Imaging in Practical Environments by Dodds, Laura, Shanbhag, Hailan, Guan, Junfeng, Gupta, Saurabh, Hassanieh, Haitham

Get full text

15.568A Management Information Systems, Spring 2003 by Gibson, Cyrus F.

“…The course purpose is to provide the substance and skill necessary to make sound business decisions relating to information systems, and to work with senior line managers in the resolution of issues and problems in this area. …”
Get full text

Optical properties and laser performance of Ho : LuAG ceramics by Yang, Hao, Zhang, Jian, Luo, Dewei, Lin, Hui, Chen, Hao, Shen, Deyuan, Tang, Dingyuan

“…The microstructures, optical properties and laser performance of the Ho:LuAG ceramics were investigated in this study. The in-line transmittance of Ho:LuAG transparent ceramics is higher than 84% at 2500 nm. …”
Get full text
Get full text

Ubiquitous games for learning (UbiqGames) : Weatherlings, a worked example by Klopfer, E., Sheldon, J., Perry, J., Chen, Vivian Hsueh-Hua

“…In particular, we explain the choices made to build an engaging and educational first example of this line of games, namely Weatherlings. Further, we report results from a pilot study with 20 students that suggest that students are engaged by the game and are interested in learning more about academic content topics, specifically weather and climate, after playing the game. …”
Get full text
Get full text
Get full text

Stock market prediction with artificial intelligence by Raoul Ramesh Nanwani

“…Uncertainty creates doubts in even the most established investor’s mind and blurs the line between investing and gambling. Hence, many investors use financial analysis tools to try and predict stock prices. …”
Get full text

Do Singaporeans hyperarticulate in formal speech by Paca, Angelie Marie Galang

“…The lowered pitch is in line with several other studies that have found lowered pitch in polite or formal speech, indicating that it may index a certain aspect of formality in certain languages and varieties.…”
Get full text

Evaluation of low-cost RFID hardware for automated equipment tracking in first-response vehicles by Chua, Joo Heng

“…RFID has its advantages of being able to be read without the line of sight. The different tags all have unique IDs too. …”
Get full text

Web-based adaptive testing system for C programming by Wong, Frankie Fai Kit

“…The author hopes that through the use of the web-based adaptive testing system and its related techniques, more students will be able to improve upon with their studies by effectively reinforcing their knowledge of each subject through practices and test of questions that are in line with their ability.…”
Get full text

Growth and characterization of III-V quantum dots on SI-based substrate by Leong, Yu Yan

“…The photoluminescence of InAs QDs grown on GeOI showed a single-peak emission at 1.33μm with a line width of 36.3meV at room temperature. The promising optical performance enables the demonstration of the world first InAs QD LED on the GeOI substrate. …”
Get full text

Development and calibration of a cost-effective piezo-electric industrial dynomometer by Sayantan Datta Gupta

“…This dynamometer technology has not found its way into the production line, as it is relatively expensive (around 50,000 Singapore Dollars). …”
Get full text

Fabrication and properties of highly transparent Er:YAG ceramics by Qin, Xianpeng, Yang, Hao, Zhou, Guohong, Luo, Dewei, Yang, Yan, Zhang, Jian, Wang, Shiwei, Ma, Jan, Tang, Dingyuan

“…For 3 mm thickness samples, the in-line transmittances of the as-fabricated Er:YAG ceramics at the wavelength of 1100 nm and 400 nm were about 84% and 82%, respectively. …”
Get full text
Get full text

Deactivation of the parvalbumin-positive interneurons in the hippocampus after fear-like behaviour following electrical stimulation of the dorsolateral periaqueductal gray of rats by Temel, Yasin., Blokland, Arjan., Lim, Lee Wei.

“…However, a remarkable decrease of c-Fos and parvalbumin co-localization was shown in the hippocampal regions when compared to non-stimulated sham animals. In line with previous studies, our results support the hypothesis that GABAergic regulation resulted in enhanced behavioural reactivity to fear conditioning. …”
Get full text
Get full text

Prediction of pyrazinamide resistance in Mycobacterium tuberculosis using structure-based machine learning approaches by Carter, J, Walker, T, Walker, A, Whitfield, M, Morlock, G, Lynch, C, Adlard, D, Peto, T, Posey, J, Crook, D, Fowler, P

“…<p><strong>Background</p></strong> Pyrazinamide is one of four first-line antibiotics used to treat tuberculosis; however, antibiotic susceptibility testing for pyrazinamide is challenging. …”

Stiff person syndrome by Cullinane, PW, Carr, AS, Irani, SR, Warner, TT

“…Other antibodies associated with SPS now include those against the glycine receptor, amphiphysin, dipeptidyl-peptidase-like protein 6, gephyrin, γ-aminobutyric acid receptor A (GABA&lt;sub&gt;A&lt;/sub&gt;R), and the GABA&lt;sub&gt;A&lt;/sub&gt;R-associated protein. First-line treatments for SPS include diazepam and baclofen. …”

‘Can someone get me outta this middle class zone?!’ Pressures on middle class Kikuyu in Kenya's 2013 election by Burbidge, D

“…These feelings of disempowerment ensured voting attitudes fell closely in line with ethnic affiliations, despite members of the middle class remaining wholly dissatisfied with ethnic labelling throughout. …”

Turner‚ Bird‚ Eratosthenes: the eternal burning thread by Gibbons, J

“…As an illustration of these techniques, he popularized a one-line recursive “sieve” to generate the infinite list of prime numbers.…”

Investigations into femtosecond laser hybrid manufacturing for 3D power sources by Tham, Nicholas Cheng Yang

“…This methodology is demonstrated with a custom lab-built fsDLW platform consisting of a femtosecond laser source coupled with in-line monitoring and a two axis galvano-scanner. A fsLIL platform incorporating the same in-line monitoring is developed in parallel. …”
Get full text

Synthesis of epoxidized poly(ester carbonate)-b-polyimide-b-poly(ester carbonate) : reactive single-walled carbon nanotube dispersants enable synergistic reinforcement around multi... by Liu, Bo, Liu, Chengyin, De Luca, Hugo G., Raman Pillai, Suresh Kumar, Anthony, David B., Li, Jianghua, Bismarck, Alexander, Shaffer, Milo S. P., Chan-Park, Mary Bee Eng

Get full text