Influence of non-linear wave load models on monopile supported offshore wind turbines for extreme conditions by Ryan, GV, Tang, T, McAdam, RA, Adcock, TAA

Serological prevalence of leptospiral infection in domestic animals in West Malaysia by Bahaman, A. R., Ibrahim, A. L., Adam, H.

Get full text

The implementation of innovation by a multinational operating in two different environments: a comparative study by Zain, Mohamed, Richardson, Stanley, Adam, Mohd Nazri Khan

Get full text

Microbial methanogenesis fueled by freshwater infiltration and oil biodegradation in the Siljan impact structure, Sweden by van Dam, Femke, Kietäväinen, Riikka, Westmeijer, George, Reinhardt, Manuel, Ono, Shuhei, Dopson, Mark, Ketzer, Marcelo, McIntosh, Jennifer C., Drake, Henrik

Get full text

A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

Get full text

Unifying serverless and microservice workloads with SigmaOS by Szekely, Ariel, Belay, Adam, Morris, Robert, Kaashoek, M. Frans

Get full text

Dendritic cell nediated inhibition of lentiviral infection by Drake, Adam, Browne, Edward P., Phennicie, Ryan T., Chen, Jianzhu

Get full text
Get full text

Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq by Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam

Get full text

Specification and Verification of Strong Timing Isolation of Hardware Enclaves by Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam

Get full text

Molecular dynamics simulations reliably identify vibrational modes in far-IR spectra of phospholipids by Chng, Choon-Peng, Dowd, Annette, Mechler, Adam, Hsia, K. Jimmy

Get full text

Camel Milk and Oxidative stress: Therapeutic potential against metabolic syndrome diseases by Musa, Khalid Hamid, Hamad, Essam M., Elnour, Ahmed Adam Hassan Mohammed

Get full text

A Testbed for Operations in the Information Environment by Tse, Adam, Vattam, Swaroop, Ercolani, Vincent, Stetson, Douglas, Zurko, Mary Ellen

Get full text

Exploring critical components of physician-patient communication: a qualitative study of lay and professional perspectives by Mohd Salim, Nurul, Roslan, Nurhanis, Hod, Rafidah, Zakaria, Syahiera, Adam, Siti

Get full text

Correlation analysis between multiple mini-interviews during medical student selection and their academic performance by Adam, Siti Khadijah, Hod, Rafidah, Mahayidin, Hasni, Ahmad, Zalinah, Salihan, Safuraa

Get full text

Insecticidal potential of wax-degrading bacteria derived from fermented Ficus extract against Phenacoccus solenopsis Tinsley by Ahmmed, Sultan, Lau, Wei Hong, Adam, Nur Azura, Sinniah, Uma Rani

Get full text

Chemical composition and repellent activity of methyl cinnamate-rich basil (ocimum basilicum) essential oil by Hamid Nour, Azhari, Idris, Abeer A., Ishag, Omer Adam, Nour, Abdurahman Hamid

Get full text

On the non-perturbative bulk Hilbert space of JT gravity by Iliesiu, Luca V., Levine, Adam, Lin, Henry W., Maxfield, Henry, Mezei, Márk

Get full text

An isolated bipolar DC-DC converter for energy storage integration in marine vessels by Nag, Soumya Shubhra, Satpathi, Kuntal, Ukil, Abhisek, Pou, Josep, Zagrodnik, Michael Adam

Get full text
Get full text

Pleasant emotions widen thought-action repertoires, develop long-term resources, and improve reaction time performance: a multistudy examination of the broaden-and-build theory amo... by Thompson, Mark, Nicholls, Adam R., Toner, John, Perry, John L., Burke, Rachel

Get full text

Distribution mapping of building classification and air pollution exposure in the urban city areas by using GIS-based application: A pilot study by Norsaffarina, Aziz, Paramjothy, Navin Kumaran, Mohammad Adam, Adman, Syarifuddin, Misbari, Lee, Lim Fang

Get full text