On Our Experience with Modular Pluggable Analyses by Lam, Patrick, Kuncak, Viktor, Rinard, Martin

“…We present a technique that enables the focused applicationof multiple analyses to di erent modules in thesame program. In our approach, each module encapsulatesone or more data structures and uses membershipin abstract sets to characterize how objects participatein data structures. …”
Get full text

Integrated genomic analyses of ovarian carcinoma by Meyerson, Matthew L., Lander, Eric Steven

“…Pathway analyses suggested that homologous recombination is defective in about half of the tumours analysed, and that NOTCH and FOXM1 signalling are involved in serous ovarian cancer pathophysiology.…”
Get full text

An approach to parameter sensitivity analyses in model assessment by Wong, Cecilia Sau Yen

Get full text

Aikido: Accelerating shared data dynamic analyses by Olszewski, Marek Krystyn, Zhao, Qin, Koh, David F., Ansel, Jason Andrew, Amarasinghe, Saman P.

“…Inter-thread communication, which must be instrumented for many types of analyses, may occur with any memory operation. To detect such thread communication in software, many existing tools require the instrumentation of all memory operations, which leads to significant performance overheads. …”
Get full text
Get full text

Sterol and genomic analyses validate the sponge biomarker hypothesis by de Mendoza, Alex, Riesgo, Ana, Ruiz-Trillo, Iñaki, Summons, Roger E., Grabenstatter, Jonathan Dean, Gold, David

Get full text
Get full text
Get full text

Measurements and Analyses of Urban Metabolism and Trace Gas Respiration by McManus, J.B., Shorter, J.H., Zahniser, M.S., Kolb, C.E., O’Neill, S.M., Stock, D., Napelenok, S., Allwine, E.J., Lamb, B.K., Scheuer, E., Talbot, R.W., San Martini, F., Adamkiewicz, G., LiPun, B.K., Wang, C., McRae, G.J., Cao, L., Ismail, A.A., Kawabata, M., Yeang, C-H., Narasimhan, G., Humbad, S., Zhang, M., Ferreira, J. Jr

Get full text

Heuristics, LPs, and Trees on Trees: Network Design Analyses by Balakrishnan, Anantaram, Magnanti, Thomas L., Mirchandani, Prakash

Get full text

Integrated network analyses for functional genomic studies in cancer by Fraenkel, Ernest, Wilson, Jennifer Lynn, Hemann, Michael, Lauffenburger, Douglas A

“…Here we provide background on RNAi studies in cancer applications, review key challenges with functional genomics, and motivate the use of network models grounded in pathway analyses.…”
Get full text
Get full text
Get full text

Fracture clustering effect on amplitude variation with offset and azimuth analyses by Zheng, Yingcai, Fang, Xinding, Fehler, Michael

Get full text
Get full text

Applying the Kelvin probe to biological tissues: Theoretical and computational analyses by Grodzinsky, Alan J., Ahn, Andrew C., Baikie, Iain D., Gow, Brian J., Martinsen, Ørjan G., Zhao, Min

“…These theoretically derived equations are then computationally analyzed using parameters from both theoretical specimens and actual biomaterials—including wet skin, dry skin, cerebrospinal fluid, and tendon. Based on these analyses, a Kelvin probe performs in two distinct ways depending on the charge relaxation rates of the sample: The specimen is treated either as a perfect dielectric or as highly conductive material. …”
Get full text
Get full text

Controlled-atmosphere thermal demagnetization and paleointensity analyses of extraterrestrial rocks by Weiss, Benjamin P., Grove, Timothy L., Suavet, Clement Romain

Get full text
Get full text

Metatranscriptome analyses indicate resource partitioning between diatoms in the field by Alexander, Harriet, Jenkins, Bethany D., Rynearson, Tatiana A., Dyhrman, Sonya T.

“…Here, we use quantitative metatranscriptome analyses to examine pathways of nitrogen (N) and phosphorus (P) metabolism in diatoms that cooccur regularly in an estuary on the east coast of the United States (Narragansett Bay). …”
Get full text
Get full text

Integrative Analyses of Human Reprogramming Reveal Dynamic Nature of Induced Pluripotency by Cacchiarelli, Davide, Trapnell, Cole, Ziller, Michael J., Soumillon, Magali, Cesana, Marcella, Karnik, Rahul, Donaghey, Julie, Smith, Zachary D., Ratanasirintrawoot, Sutheera, Zhang, Xiaolan, Ho Sui, Shannan J., Wu, Zhaoting, Akopian, Veronika, Gifford, Casey A., Doench, John, Rinn, John L., Daley, George Q., Meissner, Alexander, Mikkelsen, Tarjei S., Lander, Eric Steven

“…Moreover, complementary functional analyses allowed us to identify and validate novel regulators of the reprogramming process. …”
Get full text

Integrated genomic analyses of de novo pathways underlying atypical meningiomas by Youngblood, Mark W., Clark, Victoria E., Henegariu, Octavian, Duran, Daniel, Erson-Omay, E. Zeynep, Kaulen, Leon D., Simon, Matthias, Krischek, Boris, Timmer, Marco, Goldbrunner, Roland, Baranoski, Jacob, Bai, Hanwen, Mishra-Gorur, Ketu, Schramm, Johannes, Moliterno, Jennifer, Vortmeyer, Alexander O., Bilg?var, Kaya, Yasuno, Katsuhito, G?nel, Murat, Harmanci, Akdes Serin, Suleyman, Coskun, Omay, S. Bulent, Baran, Burcin, Carrion-Grant, Geneive, Bilguvar, Kaya, Lee, Tong Ihn, Abraham, Brian Joseph, Young, Richard A.

“…On the basis of comprehensive genomic, transcriptomic and epigenomic analyses, we compared benign meningiomas to atypical ones. …”
Get full text
Get full text

Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses by Salcianu, Alexandru, Arkoudas, Konstantine

“…This technical report describes our experience using the interactive theorem proverAthena for proving the correctness of abstract interpretation-based dataflow analyses.For each analysis, our methodology requires the analysis designer to formallyspecify the property lattice, the transfer functions, and the desired modeling relationbetween the concrete program states and the results computed by the analysis. …”
Get full text

Adversarial Analyses of Window Backoff Strategies for Simple Multiple-Access Channels by Bender, Michael A., Farach-Colton, Martin, He, Simai, Kuszmaul, Bradley C., Leiserson, Charles E.

“…Backoff strategies have typically been analyzed by making statistical assumptions on the distribution of problem inputs. Although these analyses have provided valuable insights into the efficacy of various backoff strategies, they leave open the question as to which backoff algorithms perform best in the worst case or on inputs, such as bursty inputs, that are not covered by the statistical models. …”
Get full text

Global Analyses of the Effect of Different Cellular Contexts on MicroRNA Targeting by Nam, Jin-Wu, Rissland, Olivia S., Abreu-Goodger, Cei, Jan, Calvin H., Agarwal, Vikram, Yildirim, Muhammed A., Rodriguez, Antony, Koppstein, David Neal Pira, Bartel, David, Rissland, Olivia S., Jan, Calvin H., Yildirim, Muhammed A.

Get full text
Get full text

An Algorithm and Metric for Network Decomposition from Similarity Matrices: Application to Positional Analyses by Hsieh, Mo-Han, Magee, Christopher L.

Get full text

Relativistic analyses of quasielastic neutrino cross sections at MiniBooNE kinematics by Amaro, J. E., Barbaro, M. B., Caballero, J. A., Udías, J. M., Donnelly, T William

Get full text
Get full text

Bearing Capacity of Spatially Random Cohesive Soil Using Numerical Limit Analyses by Kasama, Kiyonobu, Whittle, Andrew

“…This paper describes a probabilistic study of the two dimensional bearing capacity of a vertically loaded strip footing on spatially random, cohesive soil using Numerical Limit Analyses (NLA‐CD). The analyses uses a Cholesky Decomposition (CD) technique with mid‐point discretization to represent the spatial variation in undrained shear strength within finite element meshes for both upper and lower bound analyses, and assumes an isotropic correlation length. …”
Get full text
Get full text