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

High-performance thermomagnetic generator controlled by a magnetocaloric switch by Liu, Xianliang, Chen, Haodong, Huang, Jianyi, Qiao, Kaiming, Yu, Ziyuan, Xie, Longlong, Ramanujan, Raju V., Hu, Fengxia, Chu, Ke, Long, Yi, Zhang, Hu

“…This makes it not only have the advantage of flux reversal of the pretzel-like topology, but also present a simpler design, lower magnetic stray field, and higher performance by using less magnetocaloric material than preceding devices. …”
Get full text

Single-cell laser emitting cytometry for label-free nucleolus fingerprinting by Fang, Guocheng, Qiao, Zhen, Huang, Luqi, Zhu, Hui, Xie, Jun, Zhou, Tian, Xiong, Zhongshu, Su, I-Hsin, Jin, Dayong, Chen, Yu-Cheng

“…The laser emission image provides insights into structural inhomogeneity, temporal fluid-like dynamics, and pathological application. Lasing spectral fingerprint depicts the quantity and size of nucleoli within a single cell, showcasing the label-free flow cytometry for nucleolus. …”
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

Biography of the Prophet / by Shaikh Abdullah Ibn Al-Shaikh Muhammad Ibn Abdul Wahab, author 654324, Sameh Strauch, translator 335908

“…Moreover, the burning issues of modern times like the rights of oppressed, liberation of the slaves, dignity of the women sufferings of the human beings along with the human brotherhood and league of nations have been dealt with thoroughly.…”

Binder and micro-filler characterization and properties of palm oil fuel ash polymer concrete by Abd. Khalid, Nur Hafizah

Get full text

Dedicated carbon scaffolds for next generation hydrogenation chemistry and H2 evolution by Zor, C

“…<p>This Thesis is primarily concerned with developing sustainable and cost-efficient methods for applications of hydrogen (H₂-driven fine chemical synthesis) and production of hydrogen (hydrogen evolution reaction, HER). …”

Stroke incidence in heart failure and atrial fibrillation: population cohort study by Jones, N, Smith, M, Lay-Flurrie, S, Yang, Y, Hobbs, R, Taylor, C

“…We report hazard ratios for first stroke using Cox and Fine and Gray models.</p> <br> <p><strong>Results:</strong> Over median follow-up of 6.62 years, 93,665 people (3.9%) had a first stroke and 314,042 (13.2%) died. …”

Leveraging transfer learning for spatio-temporal human activity recognition from video sequences by Muneer Butt, Umair, Aman Ullah, Hadiqa, Letchmunan, Sukumar, Tariq, Iqra, Hafinaz Hassan, Fadratul, Wei Koh, Tieng

“…It uses two-stream ConvNet to extract spatial and temporal information and proposes a fine-tuned deep neural network. Moreover, the transfer learning paradigm is adopted to extract varied and fixed frames while reusing object identification information. …”
Get full text

Utilization of Silica Fume and Sodium Hydroxide in Treated Crumb Rubber for Cement Mortar by Supar, Khairi, Mohammad, Hairuddin, Kaamin, Masiri, Mohammad Azmi, Mohamad Azim, Musa, Mohd Kamaruzaman, Abdul Rahman, Mohammad Ashraf, Ahmad, Hilton, Sugiman, Sugiman

“…Cement mortar offers an excellent replacement for materials such as fine aggregate with tire rubber waste in the form of crumbs. …”
Get full text

Phase measurements based indoor visible light positioning systems by Zhang, Sheng

“…Moreover, researchers are seeking a feasible indoor positioning technology and developing an indoor GPS like system. As the GPS signals have severe multi-path effects and strong signal attenuations in indoor buildings, visible light with its line of sight (LOS) property and fewer reflections and diffractions gains advantages in the positioning accuracy over other RF-based techniques.There are several positioning algorithms, the simplest one in structure is the received signal strength (RSS) which has good signal-to-noise ratio (SNR) property, but is not feasible in situations with rotations and intensity disturbance. …”
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

Experimental study on cache-performance optimization for graph storage by Foo, Wei Ling

“…This advantage is beneficial and applicable to graph traversal algorithms when closely related nodes are stored in a cache line. Hao Wei et al. [1] introduced a graph ordering algorithm, Gorder, a greedy procedure to reorder graph nodes in such a way that optimises their placement on a cache line. …”
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. …”

The role of SPRTN protease in colorectal cancer chemotherapy by Peron, C

“…First, a preclinical study with three different colorectal cancer cell lines was performed to address if SPRTN depletion could make cells more sensitive to the aforementioned drugs. …”