Counterexample computation in compositional nonblocking verification by Malik, Robi, Ware, Simon

“…Counterexamples are an important feature of model checking that explains the cause of a detected problem, greatly helping users to understand and fix faults. …”
Get full text
Get full text

Starvation, ferroptosis, and prodrug therapy synergistically enabled by a cytochrome c oxidase like nanozyme by Cao, Changyu, Yang, Nan, Su, Yan, Zhang, Zheye, Wang, Chenxi, Song, Xuejiao, Chen, Peng, Wang, Wenjun, Dong, Xiaochen

“…Loaded with bioreductive predrug (AQ4N), this Cu-Ag nanozyme unprecedentedly enables simultaneous starvation, ferroptosis, and chemical therapy with high specificity, and is able to totally eliminate tumor and greatly prolong the survival rate for 4T1-tumor-bearing mice. The underlying working mechanism is revealed both experimentally and theoretically.…”
Get full text

Experimental investigation into load settlement characteristics of piled rafts in sand by Leong, Hazel Xueling.

“…Studies by many notable researchers in the years to come suggest that the most effective combinations of piles and raft happens when all the initial loading can be borne with the raft’s bearing capacity alone. The role of the piles was solely to reduce the excessive settlement experienced by the plain raft.…”
Get full text

Dense/porous bioceramic composites by Hu, Yifei

“…The pores were designed for bone ingrowth, whereas the graded pores and the dense cores were introduced for load bearing capability. For bone ingrowth, the porous structures must have a high porosity, a high interconnectivity, and a suitable pore size.…”
Get full text

TDSF: Two-phase tamper detection in semi-fragile watermarking using two-level integer wavelet transform by Amrullah, Agit, Ernawan, Ferda, Anis Farihan, Mat Raffei, Liew, Siau-Chuin

“…The initial phase will check four segments to determine the tampered bit or not. …”
Get full text

HET525 - Perspectives in English Language Studies: Literacy and Literature June 2019 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Second Semester Examination 2018/2019 Academic Session June 2019 HET525 - Perspectives in English Language Studies: Literacy and Literature Duration : 2 hours Please check that this examination paper consists of FIVE (5) pages of printed material before you begin the examination. …”
Get full text

HET 524 - Psychology and Sociology of Language June 2019 by PPIK, Pusat Pengajian Ilmu Kemanusiaan

“…Second Semester Examination 2018/2019 Academic Session June 2019 HET 524 - Psychology and Sociology of Language Duration : 2 hours Please check that this examination paper consists of THREE (3) pages of printed material before you begin the examination. …”
Get full text

5G mobile wireless access and digital channeling with RF over fiber for long-haul 64-QAM communication by Al Noor, Mazin, Virdee, Bal Singh, Ouazzane, Karim, Mariyanayagam, Dion, Benetatos, Harry, Hubenova, Svetla

“…The optical receiver is shown to have a sensitivity of -28.3 dBm for a bit-error rate (BER) of 10−9. These results demonstrate the viability of the proposed RFoF architecture in providing significant improvement in the bit rate over a transmission distance.…”
Get full text
Get full text

Mechanics of Three-Dimensional Micro-Architected Interpenetrating Phase Composites by Chen, Andrew Y.

“…We show that independent of the material system, the presence of a load-bearing matrix distributes the stress in the composite, contributing to a high-strength, globally stretchingdominated failure behavior, regardless of nodal connectivity. …”
Get full text

What is to reproduce? On the overlap, development, and persistence account of reproduction by Palacios-González, C

“…Her account seems able to answer the question of whether reproduction takes place, and who reproduces, when we employ biotechnologies that bear little to no resemblance to naturally occurring human sexual reproduction. …”

Prosopanche: a remarkable genus of parasitic plants by Hatt, SA, Cameron, DD, Grace, OM, Rocamundi, N, Cocucci, AA, Martel, C, Thorogood, CJ

“…Growing almost entirely underground with a complete lack of leaves, plants of Prosopanche bear more resemblance to fungi than plants and have many remarkable aspects to their life history and ecology that require further investigation. …”

Another philosophical look at twistor theory by Gajic, G, Lilani, N, Read, J

“…In this article, we (a) present for philosophers an introduction to twistor theory, (b) consider how the spacetime–twistor correspondence interacts with the philosophical literature on theoretical equivalence, and (c) explore the bearing which twistor theory might have on philosophical issues such as the status of dynamics, the geometrisation of physics, spacetime ontology, the emergence of spacetime, and symmetry-to-reality inferences. …”

A study of convolutional neural networks for clinical document classification in systematic reviews: Sysreview at CLEF eHealth 2017 by Lee, Grace Eunkyung

“…From retrieving numerous clinical documents to manually checking the documents with detailed criteria requires a tremendous amount of time and skilled workforce. …”
Get full text
Get full text

Filtering techniques for mitigating microwave oven interference on 802.11b wireless local area networks by Lorilla, Lorenzo M., 1981-

Get full text

Dopamine Nation : Finding Balance in the Age of Indulgence / by Lembke, Anna, Dr., author 655980, Penguin Publishing Group (Online service) 655981

“…Condensing complex neuroscience into easy-to-understand metaphors, Lembke illustrates how finding contentment and connectedness means keeping dopamine in check. The lived experiences of her patients are the gripping fabric of her narrative. …”
Get full text

Compression index of soil by Poh, Kai Li.

“…The construction of foundations or other load-bearing structures causes the soil layers to compress due to an increase in the stress acting on the soil. …”
Get full text

Developing hydroxyapatite CAPS coatings on metallic implants for tissue replacement by Montserrat Espanol Pons.

“…Unfortunately, the mechanical properties of pure HA ceramics are poor and these make them unsuitable as high load-bearing implants. A solution to this problem is the use of HA-coated metal implants. …”
Get full text

Micro-systems mechanics VOLUME III by Lin, Rongming, David J. Ewins

“…The extremely thin air-bearing beneath the slider head provides the necessary lifting force. …”
Get full text

Expectations of undergraduates upon graduation and their means of financing it by Chen, Michele, Kam, Gladys Huey Li, Lee, Sharon Ai Leen

“…The MAS restrictions on unsecured personal loans and car loans, introduced in February 1995, is designed to check the sharp increases in personal loans and car loans over the years.…”
Get full text

Can machines learn questions? by Soo, Alvin

“…To ensure the highest performance of the classifier, the dataset is pre-processed in different ways and tested to check its performance. Text pre-processing includes removal of common stop words, punctuation and numerical numbers. …”
Get full text