Poly(ß-hydroxy thioether)s: synthesis through thiol-epoxy ‘click’ reaction and post-polymerization modification to main-chain polysulfonium salts by Stuparu, Mihaiela Corina, Khan, Anzar

Get full text

Novel single-step hydrophobic modification of polymeric hollow fiber membranes containing imide groups : its potential for membrane contactor application by Zhang, Yuan, Wang, Rong, Zhang, Lizhi, Fane, Anthony Gordon

“…Poly(amide–imide) (PAI) hollow fiber membrane with controlled pore structure as porous substrate was fabricated by dry-jet wet spinning process, followed by a wet-chemical hydrophobic modification using octadecylamine. The modification mechanism was confirmed by ATR-FTIR, and the effect of different modification times on the modified membrane properties was investigated. …”
Get full text
Get full text

21W.780 Communicating in Technical Organizations, Spring 2006 by Barrett, Edward C., Bentley, Frank

Subjects: Get full text

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

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

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

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

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

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