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

“…We present a prototype for a tool that enables programmers to verify their code as they write it in real-time. After each line of code that the programmer writes, the tool tells the programmer whether it was able to prove absence of undefined behavior so far, and displays a concise representation of the symbolic state of the program right after the added line. …”
Get full text

ALMA spectral survey of Supernova 1987A – molecular inventory, chemistry, dynamics and explosive nucleosynthesis by Matsuura, M, Indebetouw, R, Woosley, S, Bujarrabal, V, Abellán, F, McCray, R, Kamenetzky, J, Fransson, C, Barlow, M, Gomez, H, Cigan, P, De Looze, I, Spyromilio, J, Stavely-Smith, L, Zanardo, G, Roche, P, Larsson, J, Viti, S, Van Loon, J, Wheeler, J, Baes, M, Chevalier, R, Lundqvist, P, Marcaide, J, Dwek, E, Meixner, M, Ng, C, Sonneborn, G, Yates, J

“…We report the first molecular line survey of Supernova 1987A in the millimetre wavelength range. …”

A study of evaluative resources in communication between related parties of the Enron fraud. by Lim, Jia Jia., Yap, Zhen Yin., You, Lynette Yiwen.

Get full text

Embedded implementation of model predictive control by Wu, Xuepei.

Get full text

Hardware implementation of optimum channel codes by Sunish Bharathan.

Get full text

Process and mechanism of ultrasonic welding of thermoplastics by Li, Xiangchao

Get full text

Wideband channel sounding and measurement by Low, Jun Jie.

“…The building structure and objects like lift can act as obstructions for Line-of-sight (LOS) propagation in a transmission channel. …”
Get full text

The Gale Encyclopedia of Cancer / by Longe, Jacqueline L. editor 422209, Gale Group (Online service) 651863

Get full text

Effect of routing protocol and network topology on network convergence time by Ng, Khee Seong.

“…The effect of routing protocol and network topology deployed, on the network convergence time upon link failure and recovery will be investigated. Both theoretical analysis and experimentation are used to understand the stability of network protocol under steady state and perturbed condition.…”
Get full text

Does minority dissent encourage creativity? by Leong, Heng Wah., Li, Eugene Ming., Tan, Chu Chien.

“…This research paper details our study of the link between dissent and the creative process in the Singapore context. …”
Get full text

Geometric hashing for camera based localization by Tan, Wei Chian

“…A VCLH is characterized by position of the vertical line or building corner in the image, and orientations of the neighbouring plane normal. …”
Get full text

Conformable ultrasound breast patch for deep tissue scanning and imaging by Du, Wenya, Zhang, Lin, Suh, Emma, Lin, Dabin, Marcus, Colin, Ozkan, Lara, Ahuja, Avani, Fernandez, Sara, Shuvo, Ikra Iftekhar, Sadat, David, Liu, Weiguo, Li, Fei, Chandrakasan, Anantha P., Ozmen, Tolga, Dagdeviren, Canan

“…The in vitro studies and clinical trials reveal that the array using a piezoelectric crystal [Yb/Bi-Pb(In <jats:sub>1</jats:sub> <jats:sub>/2</jats:sub> Nb <jats:sub>1/2</jats:sub> )O <jats:sub>3</jats:sub> -Pb(Mg <jats:sub>1/</jats:sub> <jats:sub>3</jats:sub> Nb <jats:sub>2/3</jats:sub> )O <jats:sub>3</jats:sub> -PbTiO <jats:sub>3</jats:sub> ] (Yb/Bi-PIN-PMN-PT) exhibits a sufficient contrast resolution (~3 dB) and axial/lateral resolutions of 0.25/1.0 mm at 30 mm depth, allowing the observation of small cysts (~0.3 cm) in the breast. …”
Get full text

Piezoelectric single crystal based one-dimensional phased array for breast tissue imaging by Du, Wenya

“…In this thesis, I propose a conformable ultrasound breast patch (cUSBr-Patch) consisting of a one-dimensional (1D) phased array and a nature-inspired patch design, which offers large-area, deep tissue scanning and multi-angle, repeatable breast imaging while avoiding the drawbacks of conventional ultrasound imaging technologies. I used a Yb/Bi-doped PIN-PMN-PT single crystal as the active element due to its superior piezoelectric properties (d33 = 2,800 pC/N, εr = 7,000, k33 = 0.93). …”
Get full text

The Gale Encyclopedia of Mental Health / by Narins, Brigham, 1962- editor 256342

“…Entries follow the standardized, balanced format of all the titles in the Gale Encyclopedia of ... line. Most entries include sidebars defining Key Terms and listing Questions to Ask Your Doctor. …”
Get full text

A novel framework for making dominant point detection methods non-parametric by Leung, Maylor Karhang, Quek, Chai, Cho, Siu-Yeung, Prasad, Dilip K.

“…This paper uses a theoretical bound of the maximum deviation of pixels obtained by digitization of a line segment for constructing a general framework to make most dominant point detection methods non-parametric. …”
Get full text
Get full text

Theoretical investigations and simulations of femtosecond stimulated Raman spectroscopy and coherent anti-stokes Raman spectroscopy by Li, Xiuting

“…Twenty four Feynman dual time line and four wave mixing energy level diagrams are first presented to depict CARS. …”
Get full text

Optimizing geometry of extruded PMMA microstructured optical fiber preforms by Sia, Johnathan Seng Hong

“…The experiment runs conducted achieve high R-squared value during multiple regression line analysis. This indicate that the optimize parameter of 170.859°C and extrusion speed of 0.3mm/min predicted using the regression line model, has a high probability in achieving a straight preform with 12 clear and distinct hole.…”
Get full text

Immunotherapy in autoimmune encephalitis by Trewin, BP, Freeman, I, Ramanathan, S, Irani, SR

“…<p><strong> Summary </strong></p> Early first-line immunotherapies, including corticosteroids and plasma exchange, improve outcomes, with emerging evidence showing second-line immunotherapies (especially rituximab) reduce relapse rates. …”

Competition law and economic inequality by Zac, A

“…</p> <p>The thesis empirical findings support a link between competition law and enforcement and economic inequality via its relationship with the levels of competition. …”

Cortical evoked activity is modulated by the sleep state in a ferret model of tinnitus. A cross-case study by Milinski, L, Nodal, FR, Emmerson, MKJ, King, AJ, Vyazovskiy, VV, Bajo, VM

“…Animals that developed signs of tinnitus consistently developed sleep impairments, suggesting a link between the emergence of noise–induced hearing loss and/or tinnitus and sleep disruption. …”