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

Signs of criticality in social explosions by Beiró, Mariano G., Chung, Ning Ning, Chew, Lock Yue, Gandica, Yérali

“…The success of an on-line movement could be defined in terms of the shift to large-scale and the later off-line massive street actions of protests. …”
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. …”

Investigations into high resolution imaging of the aqueous outflow system and cornea by Hong, Jesmond Xun Jie

“…The imaging probe has resolutions of 10.08 line pairs per mm (~49.61 µm) at the iridocorneal angle region and 5.04 line pairs per mm (~99.21 µm) at the fundus. …”
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

Two-phase immersion cooling for power dense printed circuit board converters by Ristic-Smith, A

“…A theoretical model and numerical solution method for boiling on pin fins is developed and used to design heat spreaders to increase the power dissipation per unit semiconductor area with minimal penalty on the converter volume. …”

HGM 345 - Globalisasi, Bandaraya Dan Sektor Perkhidmatan Termaju Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HGM 511 - Bandar Dan Komuniti Lestari Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HGT 513 - Kaedah Penyelidikan Dan Pengurusan Pangkalan Data Geografi Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HIT 513 - Metodologi Sarjana Hadith Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HKB 206 - Kesusasteraan Popular Dan Industri Buku Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HKB 503- Seminar Silang Buday A Kesusasteraan Asia Tenggara Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HKB 507 - Karya Terpilih Pemenang Hadiah Nobel Dalam Kesusasteraan Jun 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HSM 419 - Seminar Sejarah Sosio-Ekonomi Malaysia Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HSM 502 - Sejarah Politik Malaysia Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HST 504 - Sejarah Asia Tenggara Abad Ke-20 Januari 2016 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

HEK222 - Critical Reading And Writing June 2019 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

Get full text

Local-flexural interactive buckling of S690 high strength steel slender welded I-section columns: testing, modelling and design by Sun, Yao, Liang, Yating, Su, Andi, Zhao, Ou

“…A testing programme, adopting two S690 high strength steel slender welded I-sections, was firstly conducted and included initial geometric imperfection measurements and ten pin-ended column tests. The testing programme was accompanied by a numerical modelling programme, where finite element models were developed and validated against the test results and then employed to perform parametric studies to generate further numerical data over a wide range of cross-section dimensions and member effective lengths. …”
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