Specification and Verification of Strong Timing Isolation of Hardware Enclaves by Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam

Get full text

Specification and Planning of UAV Missions: A Process Algebra Approach by Karaman, Sertac, Rasmussen, Steven, Kingston, Derek, Frazzoli, Emilio

Get full text
Get full text
Get full text

Highly efficient oxygen reduction reaction activity of N-doped carbon–cobalt boride heterointerfaces by Jose, Vishal, Nsanzimana, Jean Marie Vianney, Hu, Huimin, Choi, Jinho, Wang, Xin, Lee, Jong-Mi

“…Finally, a zinc–air battery is also assembled using the catalyst.…”
Get full text

Compressive strength of cemented sand by Chong, Ying Jie.

“…A total of 51 cemented sand samples were prepared for the experiment according to the specific mix proportions. After air curing at 95% humidity and 26⁰C (+/-3⁰C), unconfined compressive strength test was performed on the individual specimens. …”
Get full text

Synthesis of α-methylene-δ-valerolactone and its selective polymerization from a product mixture for concurrent separation and polymer production by Khechfe, Alexander A, Eckstrom, Francesca D, Chokkapu, Eswara Rao, Baston, Lucas A, Liu, Bowei, Chen, Eugene Y-X, Román-Leshkov, Yuriy

“…Decreasing contact times improved MVL selectivity for all three catalysts, achieving near quantitative selectivity at DVL conversions <40% with CaO. Further studies with CaO indicated that increasing the FA partial pressure for a given DVL partial pressure negligibly changed conversion while maintaining high selectivity; however, increasing the reaction temperature generally resulted in lower MVL selectivity. …”
Get full text

Current and future challenges of hybrid electrochemical-mechanical machining process for micro- and nano-manufacturing by Ahmad Shahir, Jamaludin, Mohd Nizar, Muhd Razali, Nurul Nadia, Nor Hamran, Mohd Zairulnizam, Mohd Zawawi, Mohd Amran, Md Ali

Get full text
Get full text
Get full text

Time-series metagenomics reveals changing protistan ecology of a temperate dimictic lake by Krinos, Arianna I., Bowers, Robert M., Rohwer, Robin R., McMahon, Katherine D., Woyke, Tanja, Schulz, Frederik

Get full text

Limitations of the Impagliazzo–Nisan–Wigderson Pseudorandom Generator Against Permutation Branching Programs by Hoza, William M., Pyne, Edward, Vadhan, Salil

Get full text

全球传播之窗 ：中国中央电视台中文国际频道和华人华侨关系研究 = Window to the world : the Chinese International Channel of China Central Television and it relations with Chinese diaspora... by 汤妮 Tang Ni

Get full text

Stochastic optimisation of unmanned aerial vehicle assisted package delivery planning by Sawadsitang, Suttinee

Get full text

Deep learning based monocular visual-inertial odometry by Mahdi Abolfazli Esfahani

Get full text

Sampling-based approaches for image and video matting by Ehsan Shahrian Varnousfaderani

Get full text

Data-driven integrated approach to airport demand management by Cheung, Wai Lun

Get full text

Toolpath Planning for Manufacturing of Complex Parts Through Incremental Sheet Forming by Jiang, Zilin, Liao, Shuheng, Slocum, Alexander H., Leem, Dohyun, Ehmann, Kornel F., Cao, Jian

Get full text

Dual spectrometer system with spectral compounding for 1-μm optical coherence tomography in vivo by Cui, Dongyao, Liu, Xinyu, Zhang, Jing, Yu, Xiaojun, Ding, Sun, Luo, Yuemei, Gu, Jun, Shum, Ping, Liu, Linbo

Get full text
Get full text

Resistive switching devices based on halide perovskites by Cheong, Cheng Hao

Get full text

USN: a robust imitation learning method against diverse action noise by Yu, Xingrui, Han, Bo, Tsang, Ivor Wai-Hung

Get full text

Resonant Ring with a Gain of 36 for Use with a 1 MW 110 GHz Gyrotron by Claveau, Elliot L., Shapiro, Michael A., Temkin, Richard J.

Get full text

An accurate imaging and doppler chirp rate estimation algorithm for airborne CSSAR-GMTI systems by Li, Yongkang, Liu, Baochang, Wang, Lei, Chen, Hongmeng, Nie, Laisen, Zeng, Lina, Bi, Guoan

Get full text

Vitrimer-like shape memory polymers : characterization and applications in reshaping and manufacturing by Wang, Tao Xi, Chen, Hong Mei, Salvekar, Abhijit Vijay, Lim, Junyi, Chen, Yahui, Xiao, Rui, Huang, Wei Min

Get full text