Strain-Dependent Effects on Confinement of Folded Acoustic and Optical Phonons in Short-Period (XC)m/(YC)n with X,Y (≡Si, Ge, Sn) Superlattices by Talwar, Devki N., Semone, Sky, Becla, Piotr

“…We strongly feel that this study will encourage spectroscopists to perform Raman scattering measurements to check our theoretical conjectures.…”
Get full text

High-Throughput Three-Party DPFs with Applications to ORAM and Digital Currencies by Zyskind, Guy, Yanai, Avishay, Pentland, Alex

Get full text

Atherogenesis and plaque rupture, surface/interface-related phenomena by Siegel, G., Berkholz, J., Klüßendorf, D., Knosalla, C., Zakrzewicz, A., Ermilov, E., Malmsten, M., Lindman, Bjorn

“…Since NFκB is inhibited by one reaction strand in this model and inhibits itself collagen and proteoglycan synthesis in the fibrous cap of the plaque, this double check (disinhibition) causes a stabilization of the fibrous cap through a specially strong collagen and proteoglycan production, which in addition is supported by circulating TGFβ. …”
Get full text

Development of innovative nano-satellites with new generation technologies by Menezes, Ajit Denis

“…The models are tested based on performance parameters provided by an established launch agency and analysed under a microscope to check for any cracks or major degradation. The ULTEM is also tested for outgassing properties to ensure it is acceptable for Space applications. …”
Get full text

Selecting correct methods to extract fuzzy rules from artificial neural network by Tan, Xiao, Zhou, Yuan, Ding, Zuohua, Liu, Yang

“…Fuzzy rules are an intuitive and reasonable representation to be used for explanation, model checking, and system integration. However, different methods may extract different rules from the same ANN. …”
Get full text

Exploring the development of a firewall using Windows filtering platform by Pang, Willy Boon Tee.

“…Using this monitor, the user is able to check his connection anytime for discrepancies. For filtering with the current state of technology, the days of simple packet filtering through ports or IP are gone. …”
Get full text

Design of phase locked loop with PVT tolerance by Chong, Kok Foong

“…VCO dummies are normally added to the VCO in order to provide a uniform loading for each VCO delay stage. To check the impacts of different VCO dummy implementation on PLL jitter, five experimental charge pump PLLs are simulated with difference only in the dummy stages: (i) no dummy, (ii) simple dummy, (iii) single stage differential dummy, (iv) double stage differential dummy and (v) full differential dummy with the D2S converters. …”
Get full text

Essays on oil price fluctuations, financial markets and international trade by Le, Thai Ha

“…The stability of the causality is also checked and the estimated impulse responses across different periods are examined. …”
Get full text

Time to resolution and effect on quality of life of molluscum contagiosum in children in the UK: a prospective community cohort study by Olsen, JR, Gallacher, J, Finlay, AY, Piguet, V, Francis, NA

“…Participants were prospectively followed up every month to check on their recovery from molluscum contagiosum and transmission to other children in the same household, until the child's lesions were no longer visible.…”

Body composition, body mass, and cardiovascular health in mid-childhood and midlife: a compositional data analysis by Liu, M, Dumuid, D, Olds, T, Burgner, D, Ellul, S, Juonala, M, Wang, Y, Ranganathan, S, Cheung, M, Baur, L, Dwyer, T, Kerr, JA, Lycett, K, Wake, M

“…</p> <br> <p><strong>Methods:</strong> In the population-based cross-sectional Child Health CheckPoint study (1495 children, mean 12 ± 0.4 years, 49.3% girls; 1496 parents, mean 44.3 ± 5.0 years, 86.7% mothers), we measured weight, height, body composition [truncal fat, non-truncal fat, fat-free mass (FFM)], and CV functional (blood pressure, pulse wave velocity, arterial elasticity) and structural (carotid intima-media thickness, retinal arteriolar/venular caliber) outcomes. …”

Precision holography and supersymmetric theories on curved spaces by Genolini, P

“…We may then formulate a precise check of the holographic dictionary by asking whether the dual holographic observables are similarly invariant, as the free energy of the gauge theory is identified with the holographically renormalized supergravity action.…”

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

AG Codes Achieve List Decoding Capacity over Constant-Sized Fields by Brakensiek, Joshua, Dhar, Manik, Gopi, Sivakanth, Zhang, Zihan

Get full text

Correction of errors in tandem mass spectrum extraction enhances phosphopeptide identification by Hao, Piliang, Ren, Yan, Sze, Siu Kwan, Tam, James P.

“…Comparison of the top three free extraction tools showed that only 54% of the identified spectra were identified consistently from all three tools, indicating that some errors might happen during spectrum extraction. Manual check of 258 spectra not identified from all three tools revealed 405 errors of spectrum extraction with 7.4% in selecting wrong precursor charge, 50.6% in selecting wrong precursor mass, and 42.1% in exporting MS/MS fragments. …”
Get full text
Get full text

Fully automated differential fault analysis on software implementations of block ciphers by Hou, Xiaolu, Breier, Jakub, Zhang, Fuyuan, Liu, Yang

“…Moreover, we present a method to check the countermeasure-protected implementations in a way that helps implementers to decide how many rounds should be protected. …”
Get full text

Rule-based patient transition in an integrated healthcare system by Ng, Yan Leng.

“…The program designed has the ability to check the capabilities of the polyclinics that matches to the needs of the patients. …”
Get full text

Filter selection for indoor-recirculating fan-coil unit respect to indoor-to-outdoor particle relationships and occupancy influences by Xu, Xiaoqian

“…Occupancy level was recorded on hourly basis, indoor-to-outdoor (I/O) ratio for both of static period and active period were compared by paired sample t-test to check whether the mean values for accumulated PM2.5 (bin1 to bin3) differs by the occupancy. …”
Get full text

Dynamic neuro-fuzzy systems for rainfall-runoff modelling by Nawaz, Nadeem

Get full text

The molecular determinants of Polycomb-mediated gene repression by Fursova, N

“…Instead, through systematic interrogation of how H2AK119ub1 is placed and kept in check in the genome, I discovered a remarkable degree of synergy between variant PRC1 complexes, which is central to deposition of H2AK119ub1, Polycomb chromatin domain formation and gene repression. …”

Monitoring and control of AC power distribution board through sound card-based SCADA system by Jabir, Muhammad

“…Also there is no remote monitoring system that can check the coming AC power status even of voltage and current. …”
Get full text