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. …”

Mechanics of fracture and flexure in Antarctic ice sheets and ice shelves by Zhang, H

“…In grounding zones and floating ice shelves, ice fracturing is often associated with flexure modulated by ocean tides and subglacial water flow, as well as stresses created by shearing, such as pinning points. Fracture and flexure significantly affect the vulnerability of Antarctic ice shelves to hydrofracturing and, by altering buttressing effects, the mass balance of the entire Antarctic Ice Sheet. …”

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

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. …”

Structural edge detection of photographic images of rooms with machine learning by Yao, Xin Meng

“…Future works include further enhancing the current model’s accuracy and creating an algorithm to construct a wireframe model from the line equations.…”
Get full text

The design of a CMOS only low-power low-voltage low-dropout voltage regulator (LDO) with an embedded voltage reference by Xie, Xinzhe

“…A recycling folded cascode (RFC) amplifier achieves higher loop gain, improving load and line regulation. A recovery time enhancement circuit reduces overshoot recovery. …”
Get full text

Mimo: multipath signals and location aware by Luo, Yong Bin.

“…In this report, experimental study was conducted to investigate the multipath effect and the improvement to the signal quality by measuring the QoS parameters between MIMO (802.11n) and SISO (802.11a/b/g) under line of sight (LOS) and non-line of sight (NLOS) environment. …”
Get full text

A low-cost dual output switch mode power supply (SMPS) for laptop by Palaniappan Balathandayutham

“…It switches at a much-higher frequency 40 kHz than that of the AC line, which means that the transformer that it feeds can be much smaller than one connected directly to the line/mains. …”
Get full text

Thermodynamics of hairy black holes in Lovelock gravity by Hennigar, Robie A., Tjoa, Erickson, Mann, Robert B.

“…We also report on a number of novel results, including ‘virtual triple points’ and the first example of a ‘λ-line’ — a line of second order phase transitions — in black hole thermodynamics.…”
Get full text
Get full text

Specific inhibition of PI3K p110δ inhibits CSF‐1‐induced macrophage spreading and invasive capacity by Mouchemore, KA, Sampaio, N, Murrey, MW, Stanley, ER, Lannutti, BJ, Pixley, FJ

“…While primary bone marrow‐derived macrophages and the immortalized bone marrow‐derived macrophage cell line M−/−.WT express all three class IA PI3K isoforms, p110δ predominates in the cell line. …”

Convergence issues in online marketing models : case study of catalog retailers. by Gupta, Ajay., Ghante, Anantha P. V.

“…The primary objective of this dissertation is to study the on-line retail business models to develop an understanding of the convergence of the catalog retailers in integrating online marketing into their business models.…”
Get full text

Buying behaviour in secondhand goods market. by Lee, Chin Yee., Ting, Peck Hoon., Lee, Yuk Cheung.

“…Finally with the information gathered, methods of risk reduction methods were recommended for merchants in this line of trade.…”
Get full text

Telecommunication and information techniques and systems II by Fu, Jeffrey S., Ong, Jin Teong., Choo, Emily.

“…This research highlights the need to corporate a new addition loss factor in the design of millimetre line-of-sight as well as satellite links especially in equatiorial regions.…”
Get full text