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

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

A formal methodology for verifying side-channel vulnerabilities in cache architectures by Jiang, Ke, Zhang, Tianwei, Sanan, David, Zhao, Yongwang, Liu, Yang

Subjects: Get full text

16.842 Fundamentals of Systems Engineering, Fall 2009 by de Weck, Olivier

Subjects: Get full text

16.885J / ESD.35J Aircraft Systems Engineering, Fall 2003 by Hansman, Robert John, Liebeck, Robert H, Murman, Earll M., 1942-, Haggerty, Allen C

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

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

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

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

A comparative study on parameter recovery of three approaches to structural equation modeling by Malhotra, Naresh K., Tomiuk, Marc A., Hwang, Heungsun, Kim, Youngchan, Hong, Sungjin

“…The authors conduct a simulation study to evaluate the relative performance of these three approaches in terms of parameter recovery under different experimental conditions of sample size, data distribution, and model specification. In this study, model specification is the only meaningful condition in differentiating the performance of the three approaches in parameter recovery. …”
Get full text
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

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

Feasibility of Vector Instruction-Set Semantics Using Abstract Monads by De Belen, Arthur Reiner

“…Formalizations of instruction-set semantics help establish formal proofs of correctness of both hardware designed to implement these instruction sets and the software implemented against this specification. One such prior work1 formalizes a specification of a subset of the RISC-V instruction-set architecture using a general-purpose language, Haskell, using its monad and typeclass support to abstract over effects. …”
Get full text

A study of air molecular contamination (AMC) and volatile organic compounds (VOC) in new AMC/VOC controlled cleanroom by Wong, Chee Kong

“…The required VOC specifications of the new cleanroom were met based on test results from 1 to 4. …”
Get full text

3D game development cube-it : modular furniture and product design by Ng, Esther Xin Yi

“…While this report provides new ideas and prospects for the joining device, additional tests and verifications have to be done to ensure its actual effectiveness and practicality in the real world.…”
Get full text