Design and development of iOS app for medical consultation by Tan, Adam Teng Guan

Get full text

A memetic approach to vehicle routing problem with dynamic requests by Mańdziuk, Jacek, Żychowski, Adam

Get full text
Get full text

Inhibition of tyrosinase activity and melanin generation in B16F1 melanoma cells by andrographis paniculata leaf extracts / by Rabe'ah Adam, 1984-, author 655936

A Self-Polymerizing Mesh of Nano-Tethers for the Mechanical Constraint of Degraded Intervertebral Discs—A Review of 25 Years of Pre-Clinical and Early Clinical Research by Hedman, Thomas, Rogers, Adam, Beall, Douglas

Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

Get full text

Design and build a dual input negative linear regulator by Adam Seet Wee Liang Khalil Seet

Get full text

Water molecules mute the dependence of the double-layer potential profile on ionic strength by Limaye, Aditya, Suvlu, Dylan, Willard, Adam P.

Get full text

Temporal evolution of mechanical properties in PDMS: A comparative study of elastic modulus and relaxation time for storage in air and aqueous environment by Zhang, Y, Adam, C, Rehnstrom, H, Contera, S

Reading Between the Lines: Modeling User Behavior and Costs in AI-Assisted Programming by Mozannar, Hussein, Bansal, Gagan, Fourney, Adam, Horvitz, Eric

Get full text

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

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