Memory Checking Requires Logarithmic Overhead by Boyle, Elette, Komargodski, Ilan, Vafa, Neekon

“…We study the complexity of memory checkers with computational security and prove the first general tight lower bound. …”
Get full text

Solubilization and characterization of extracellular proteins from anammox granular sludge by Boleij, Marissa, Seviour, Thomas, Wong, Lan Li, van Loosdrecht, Mark C. M., Lin, Yuemei

“…Physicochemical analyses of the granules indicated that extracellular structural matrix proteins likely have β-sheet dominated secondary structures. These β-sheet structures were measured in EPS extracted with both methods. …”
Get full text

Nanoscale current spreading analysis in solution-processed graphene oxide/silver nanowire transparent electrodes via conductive atomic force microscopy by Shaw, Joseph E., Perumal, Ajay, Bradley, Donal D. C., Stavrinou, Paul N., Anthopoulos, Thomas D.

“…When the materials are deposited sequentially to form bilayer rGOX/AgNW electrodes and thermally annealed at 200 °C, the sheet resistance reduces by up to 36% as compared to pristine AgNW networks. …”
Get full text
Get full text

Stress evolution of GaN/AlN heterostructure grown on 6H-SiC substrate by plasma assisted molecular beam epitaxy by Agrawal, Manvi, Ravikiran, Lingaparthi, Dharmarasu, Nethaji, Radhakrishnan, K., Karthikeyan, Giri Sadasivam, Zheng, Yuanjin

“…GaN/AlN structure is found to form buried cracks when AlN is grown in the intermediate growth regime(III/V∼1)and GaN is grown under N-rich growth regime (III/V<1). …”
Get full text
Get full text

Membrane-induced tau amyloid fibrils by El Mammeri, Nadia, Gampp, Olivia, Duan, Pu, Hong, Mei

“…The intrinsically disordered protein tau aggregates into β-sheet amyloid fibrils that spread in human brains afflicted with Alzheimer’s disease and other neurodegenerative diseases. …”
Get full text

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

“…This thesis in this context aims to investigate the potential of Bessel beam and light sheet fluorescence microscopy for ocular disease diagnosis. …”
Get full text

Numerical simulation of titanium fibre metallic laminates under various impact loading by Selvadurai Shanmugasundram

“…The high strength of bonding between titanium sheet and composite layer help to arrest the cracks. …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…We prototyped our technique in the interactive proof assistant Coq, so our framework creates machine-checked proofs that the developed functions satisfy their specifications when executed according to the formal semantics of the source language. …”
Get full text

Effect of coupling in steel/aluminium laminate subjected to tensile load by Ang, Dionysius Wei Qian

“…The results for the first case show lesser bending-extension coupling effect when the number of layers is increased. In the second case, the results show that flexural stiffness increases as the structure is modified from a cantilever sheet to a cantilever beam and the structure shows lesser bending-extension coupling effect. …”
Get full text

CNT work function modification for transparent electrode application in organic photovoltaics by Low, Keith Ying Jie.

“…The results show that sheet resistance of the Cnt went down by more that 45% and there was in significant increase in the work function at concentration 4M of HNO3, a p- dopant. …”
Get full text

Investigation studies on mechanical properties of PH15-5 stainless steel for selective laser melting by Tan, Wei Jie

“…There are seven categories of AM processes: VAT photopolymerisation, binder jetting, sheet lamination, material jetting, material extrusion, directed energy deposition and powder bed fusion. …”
Get full text

Effects of scaling and cleaning on the performance of forward osmosis hollow fiber membranes by Arkhangelsky, Elizabeth, Wicaksana, Filicia, Chou, Shuren, Al-Rabiah, Abdulrahman A., Al-Zahrani, Saeed M., Wang, Rong

“…The performance of FO hollow fiber membranes was compared with commercially available FO flat sheet membranes. Several cleaning strategies were also explored. …”
Get full text
Get full text

Simulations of radiatively cooled magnetic reconnection driven by pulsed power by Datta, Rishabh, Crilly, Aidan, Chittenden, Jeremy P., Chowdhry, Simran, Chandler, Katherine, Chaturvedi, Nikita, Myers, Clayton E., Fox, William R., Hansen, Stephanie B., Jennings, Chris A., Ji, Hantao, Kuranz, Carolyn C., Lebedev, Sergey V., Uzdensky, Dmitri A., Hare, Jack D.

“…The reconnection layer undergoes radiative collapse when the radiative losses exceed the rates of ohmic and compressional heating (cooling rate/hydrodynamic transit rate = 𝜏−1cool/𝜏−1𝐻≈100 ); this generates a cold strongly compressed current sheet, leading to an accelerated reconnection rate, consistent with theoretical predictions. …”
Get full text

On the corrosion resistance of some selective laser melted alloys by Suryawanshi, Jyoti, Baskaran, T., Prakash, Om, Arya, S. B., Ramamurty, Upadrasta

“…The effects of laser scanning strategy (single melt vs. checker board styles), post-SLM heat treatment, and corroding surface orientation (with respect to the scan and build directions) on the corrosion behavior were examined. …”
Get full text

The toxicity of amyloid ß oligomers by Zhao, Li Na, Long, Hon Wai, Mu, Yuguang, Chew, Lock Yue

“…Such interaction gives rises to phase transitions in the sub-structures of the Aβ peptide from α-helical to β-sheet structure. By means of a coarse-grained model, we exhibit the tendency of β-sheet structures to aggregate, thus providing further insights to the process of membrane induced aggregation. …”
Get full text
Get full text

Shape-morphing structures based on perforated kirigami by Zhang, Yunlan, Yang, Jingyi, Liu, Mingchao, Vella, Dominic

“…One of the exciting manufacturing paradigms is transforming flat 2D sheets with prescribed cuts (i.e. kirigami) into 3D structures. …”
Get full text

Stronger dielectric-elastomer grippers using spine-like bending structure by Heng, Kim Rui

“…The actuator finds equilibrium in bending when the pre-stretch is released and it can unfolds by the application of a voltage bias. …”
Get full text

Finite element analysis bending of composite sandwich beams with metal facesheets by Rhuban S/O Jeva

“…This study investigates the structural bending behaviour of the sandwich composite beams with the use of face sheet metals. Three-Point bending was used to analyse the bending behaviour. …”
Get full text

Carbon nanotube electrodes for solar cell by Loh, Norman Chen Lung.

“…For the CNT coated electrode, it recorded a sheet resistance value of 103Ω/, with a transparency of 68%. …”
Get full text

Pattern classification of odour for electronic nose by Tong, Wee Chin.

“…Together with the software LabVIEW as well as a excel sheet for data record and the training data excel sheet forms the entire data acquisition. …”
Get full text