V4C3TxMXene : a promising active substrate for reactive surface modification and the enhanced electrocatalytic oxygen evolution activity by Du, Cheng‐Feng, Sun, Xiaoli, Yu, Hong, Fang, Wei, Jing, Yao, Wang, Yonghui, Li, Shuiqing, Liu, Xianhu, Yan, Qingyu

“…Presented are the synthesis, characterizations, and reactive surface modification (RSM) of a novel nine atomic layered V4C3T x MXene. …”
Get full text

Chronic oxidative stress promotes GADD34-mediated phosphorylation of the TAR DNA-binding protein TDP-43, a modification linked to neurodegeneration by Goh, Catherine Wenhui, Lee, Irene Chengjie, Sundaram, Jeyapriya Rajameenakshi, George, Simi Elizabeth, Yusoff, Permeen, Brush, Matthew Hayden, Sze, Newman Siu Kwan, Shenolikar, Shirish

“…In response to oxidative stress, but not ER stress, GADD34 recruited TDP-43, and enhanced cytoplasmic distribution and cysteine modifications of TDP-43 promoted its binding to GADD34. …”
Get full text
Get full text

Structural modification and conductivity enhancement of NiCl2 incorporated P3HT: PC60BM based organic photoactive layer by Tan, Sin Tee, Hong, Kai Jeat, Hilm Rizal, Nur Elmira Melissa, Lau, Kam Sheng, Yap, Chi Chin, Chia, Chin Hua, Chong, Kok-Keong

“…The poor crystalline structure in P3HT has limited the device performance of organic photovoltaic. Surface modification of P3HT has been reported to enhance the intrinsic properties of the molecular structure. …”
Get full text

Recent 10-year development on surface modification of polymeric hollow fiber membranes via surface coating approach for gas separation: a review by Roslan, Rosyiela Azwa, Lau, Woei Jye, Ismail, Ahmad Fauzi, Sutrasno Kartohardjono, Sutrasno Kartohardjono

“…Among the various techniques explored, membrane surface modification using coating methods, such as dip-coating, spray-coating, grafting and interfacial polymerization stands out as one of the most popular and straightforward approaches. …”

Evaluating fresh and hardened properties of mortar composite with different types of modified polyethylene terephthalate (PET) materials as additives: modification effects, surface properties, shape factors by Wang, Zijian, Phua, Zheng Hui, Chan, Wei Ping, Lisak, Grzegorz

Subjects: Get full text

Lysine methylation of progesterone receptor at activation function 1 regulates both ligand-independent activity and ligand sensitivity of the receptor by Chung, Hwa Hwa, Sze, Siu Kwan, Woo, Amanda Rui En, Sun, Yang, Sim, Kae Hwan, Dong, Xue Ming, Lin, Valerie Chun-Ling

Subjects: “…Post-translational Modification…”
Get full text
Get full text

The medium-term results of arthroscopic hip surgery compared with physiotherapy and activity modification for the treatment of femoroacetabular impingement syndrome: a multicentre randomized controlled trial by Palmer, A, Fernquest, S, Logishetty, K, Rombach, I, Harin, A, Mansour, R, Dijkstra, P, Andrade, T, Dutton, S, Glyn-Jones, S

Assessing the efficacy and safety of STOP (successful treatment for paranoia)—an app-based cognitive bias modification therapy for paranoia: a randomised clinical trial protocol by Yiend, J, Taher, R, Fialho, C, Hampshire, C, Hsu, C, Kabir, T, Keppens, J, McGuire, P, Mouchlianitis, E, Peters, E, Ricci, T, Shergill, S, Stahl, D, Vamvakas, G, Jacobsen, P

“…According to cognitive models of psychosis, paranoia may be partly maintained by cognitive processes, including interpretation biases. Cognitive bias modification for paranoia (CBM-pa) is an intervention targeting the bias towards interpreting ambiguous social scenarios in a way that is personally threatening. …”

Heteroatom-doped microporous carbon nanosheets derived from pentaerythritol-melamine for supercapacitors and CO₂ capture by Hu, Xiaochun, Luo, Yuqing, Wu, Xianyue, Niu, Jiabin, Tan, Mingwu, Sun, Zhiqiang, Liu, Wen

Subjects: Get full text

16.01-04 Unified Engineering I, II, III, & IV, Fall 2003-Spring 2004 by Hall, Steven Ray, Coleman, Charles P, Drela, Mark, Lundqvist, Ingrid Kristina, Spearing, S Mark, Waitz, Ian A, Young, Peter W

Subjects: Get full text

Modeling communication system components for prediction of RF performance by Lim, Seok Tien.

“…A process to model components specifications in RF front-end system is being demonstrated through a series of exploring basic fundamental of components and software simulators. …”
Get full text

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…We present verification of a bare-metal server built using diverse implementation techniques and languages against a whole-system input-output specification in terms of machine code, network packets, and mathematical specifications of elliptic-curve cryptography. …”
Get full text

A Robustness Measure of Transient Stability Under Operational Constraints in Power Systems by Aolaritei, Liviu, Lee, Dongchan, Vu, Thanh Long, Turitsyn, Konstantin

“…As a result, maintaining conventional performance specifications, such as transient stability, may not be sufficient to ensure its reliable operation in stressed conditions. …”
Get full text

Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆ by Ono, Rick R.

“…As engineers continue to develop more sophisticated algorithms to optimize cryptographic algorithms, their often simple mathematical specifications become convoluted in the algorithms, from which a class of correctness bugs arise. …”
Get full text

A Formal Framework for Modular Synchronous System Design by Marinescu, Maria-Cristina V, Rinard, Martin C

“…Our compiler automatically transforms modular and asynchronous specifications of circuits written in our specification language, into tightly coupled, fully synchronous implementations in synthesizable Verilog. …”
Get full text

An epigenetic analysis of planarian stem cells by Dattani, A

“…Transcriptomic studies have revealed the genes needed to both maintain NB pluripotency and ensure correct lineage specification during differentiation. However, these studies have not elucidated how this regulation of expression is controlled at the epigenetic level, and in particular by diverse histone modifications. …”

Improving the productivity of high-level synthesis by advancing reuseability and verifiability by Yang, Liwei

“…Following algorithmic specifications, designers perform architectural specification including hardware/software (HW/SW) partitioning. …”
Get full text

Design of circular polarized micro-strip antenna by Shanmugam Bhaskar Vignesh

“…The antenna has fulfilled the design specifications suitable for applications of Wireless Power Transmission in the ISM band.…”
Get full text

Development of a light aircraft model for the NTU flight simulator by Lee, Kok Vui.

“…The chosen light aircraft model was the Cessna 172 R-Variant SkyHawk. The specifications of the aircraft were obtained through online research while performances data were extracted from programs like the Advanced Aircraft Analysis and FlightGear. …”
Get full text

Sure (EM)-Autometrics: An Automated Model Selection Procedure with Expectation Maximization Algorithm Estimation Method (S/O 14925) by Kamarudin, Nur Azulia

“…Three econometric models have been utilised as a testbed for true specification search. The results were divided into four categories where a tight significance level of 1% had contributed a high percentage of all equations in the model contain variables precisely comparable to the true specifications. …”
Get full text