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

Biofilm formation inhibition and dispersal of multi-species communities containing ammonia-oxidising bacteria by Keshvardoust, Pejhman, Huron, Vanessa A. A., Clemson, Matthew, Constancias, Florentin, Barraud, Nicolas, Rice, Scott A.

Get full text

Optical coherence tomography angiography imaging to monitor anti-VEGF treatment of corneal vascularization in a rabbit model by Devarajan, Kavya, Ong, Hon Shing, Lwin, Nyein C., Chua, Jacqueline, Schmetterer, Leopold, Mehta, Jodhbir Singh, Ang, Marcus

Get full text

The theoretical direct-band-gap optical gain of Germanium nanowires by Xiong, Wen, Wang, Jian-Wei, Fan, Weijun, Song, Zhigang, Tan, Chuan Seng

Get full text

Active control of broadband sound through the open aperture of a full-sized domestic window by Lam, Bhan, Shi, Dongyuan, Gan, Woon-Seng, Elliott, Stephen J., Nishimura, Masaharu

Get full text

Evaluation of femtosecond laser-assisted anterior capsulotomy in the presence of ophthalmic viscoelastic devices (OVDs) by Mansoor, Hassan, Liu, Yu-Chi, Wong, Yoke Rung, Lwin, Nyein C., Seah, Xin Y., Mehta, Jodhbir Singh

Get full text

Two-qubit sweet spots for capacitively coupled exchange-only spin qubits by Feng, MengKe, Zaw, Lin Htoo, Koh, Teck Seng

Get full text

Periodontitis associates with species-specific gene expression of the oral microbiota by Belstrøm, Daniel, Constancias, Florentin, Drautz-Moses, Daniela Isabel, Schuster, Stephan Christoph, Veleba, Mark, Mahé, Frédéric, Givskov, Michael

Get full text

Ionic covalent organic framework based electrolyte for fast-response ultra-low voltage electrochemical actuators by Yu, Fei, Ciou, Jing-Hao, Chen, Shaohua, Poh, Wei Church, Chen, Jian, Chen, Juntong, Haruethai, Kongcharoen, Lv, Jian, Gao, Dace, Lee, Pooi See

Get full text

Dataset of parent-child hyperscanning functional near-infrared spectroscopy recordings by Bizzego, Andrea, Gabrieli, Giulio, Azhari, Atiqah, Lim, Mengyu, Esposito, Gianluca

Get full text

High transparency Pr:Y₂O₃ ceramics: a promising gain medium for red emission solid-state lasers by Li, Qing, Wang, Ying, Wang, Jun, Ma, Jie, Ni, Meng, Lin, Hui, Zhang, Jian, Liu, Peng, Xu, Xiaodong, Tang, Dingyuan

Get full text

DropLab: an automated magnetic digital microfluidic platform for sample-to-answer point-of-care testing-development and application to quantitative immunodiagnostics by Hu, Xuyang, Gao, Xiangyu, Chen, Songlin, Guo, Jinhong, Zhang, Yi

Get full text

A flexible optoacoustic blood 'stethoscope' for noninvasive multiparametric cardiovascular monitoring by Jin, Haoran, Zheng, Zesheng, Cui, Zequn, Jiang, Ying, Chen, Geng, Li, Wenlong, Wang, Zhimin, Wang, Jilei, Yang, Chuanshi, Song, Weitao, Chen, Xiaodong, Zheng, Yuanjin

Get full text

Two sources of uncertainty in estimating tephra volumes from isopachs: perspectives and quantification by Yang, Qingyuan, Jenkins, Susanna F.

Get full text

Exploring the ability of stroke survivors in using the contralesional hemisphere to control a brain-computer interface by Mansour, Salem, Giles, Joshua, Ang, Kai Keng, Nair, Krishnan P. S., Phua, Kok Soon, Arvaneh, Mahnaz

Get full text

Isolation of Spirosoma foliorum sp. nov. from the fallen leaf of Acer palmatum by a novel cultivation technique by Han, Ho Le, Nurcahyanto, Dian Alfian, Muhammad, Neak, Lee, Yong-Jae, Nguyen, Tra T. H., Kim, Song-Gun, Chan, Sook Sin, Khoo, Kuan Shiong, Chew, Kit Wayne, Show, Pau Loke, Tran, Thi Ngoc Thu, Nguyen, Thi Dong Phuong, Chiu, Chen Yaw

Get full text

Functional alterations of the prefrontal circuit underlying cognitive aging in mice by Chong, Huee Ru, Ranjbar-Slamloo, Yadollah, Ho, Malcolm Zheng Hao, Ouyang, Xuan, Kamigaki, Tsukasa

Get full text

Investigating customers' continuous trust towards mobile banking apps by Che, Maohao, Say, Ashley Sze Yee, Yu, Han, Zhou, Qingji, Shu, Jared, Sun, Wen, Luo, Xi, Xu, Hong

Get full text

Operando analysis of a solid oxide fuel cell by environmental transmission electron microscopy by Jeangros, Q., Bugnet, M., Epicier, T., Frantz, C., Diethelm, S., Montinaro, D, Tyukalova, Elizaveta, Pivak, Y., Van Herle, J., Hessler-Wyser, A., Duchamp, Martial

Get full text