Search Results - "Summers, Alexander"

Automating deductive verification for weak-memory programs (extended version) by Summers, Alexander J., Müller, Peter

“…Writing correct programs for weak-memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide…”
Get full text

SIRT1 Coordinates Transcriptional Regulation of Neural Activity and Modulates Depression-Like Behaviors in the Nucleus Accumbens by Kim, Hee-Dae, Wei, Jing, Call, Tanessa, Ma, Xiaokuang, Quintus, Nicole Teru, Summers, Alexander J., Carotenuto, Samantha, Johnson, Ross, Nguyen, Angel, Cui, Yuehua, Park, Jin G., Qiu, Shenfeng, Ferguson, Deveroux

“…Major depression and anxiety disorders are significant causes of disability and socioeconomic burden. Despite the prevalence and considerable impact of these…”
Get full text

Shisa6 mediates cell-type specific regulation of depression in the nucleus accumbens by Kim, Hee-Dae, Wei, Jing, Call, Tanessa, Quintus, Nicole Teru, Summers, Alexander J., Carotenuto, Samantha, Johnson, Ross, Ma, Xiaokuang, Xu, Chenxi, Park, Jin G., Qiu, Shenfeng, Ferguson, Deveroux

“…Depression is the leading cause of disability and produces enormous health and economic burdens. Current treatment approaches for depression are largely…”
Get full text

Examining patterns in medication documentation of trade and generic names in an academic family practice training centre by Summers, Alexander, Ruderman, Carly, Leung, Fok-Han, Slater, Morgan

“…Studies in the United States have shown that physicians commonly use brand names when documenting medications in an outpatient setting. However, the prevalence…”
Get full text

Optimization of an Antibody Microarray Printing Process Using a Designed Experiment by Summers, Alexander J., Devadhasan, Jasmine P., Gu, Jian, Montgomery, Douglas C., Fischer, Brittany, Gates-Hollingsworth, Marcellene A., Pflughoeft, Kathryn J., Vo-Dinh, Tuan, AuCoin, David P., Zenhausern, Frederic

“…Antibody microarrays have proven useful in immunoassay-based point-of-care diagnostics for infectious diseases. Noncontact piezoelectric inkjet printing has…”
Get full text

The Relationship Between Separation Logic and Implicit Dynamic Frames by Parkinson, Matthew J., Summers, Alexander J.

“…Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit…”
Get full text

Improving Linear Separability of Pulse Wave Laser Additive Manufacturing Classifiers with Rational Feature Engineering and Selection by Summers, Alexander J., Yin, Houshang, Fischer, Ralf D., Prorok, Barton C., Lou, Xiaoyuan, He, Q. Peter

“…In this paper, we investigate quality classifications of additively manufacturing oxide dispersion strengthened steel parts under varying operating parameters…”
Get full text

Constructing process maps for pulsed wave laser additive manufacturing with interpretable machine learning by Summers, Alexander J., Yin, Houshang, Fischer, Ralf D., Prorok, Barton C., Lou, Xiaoyuan, He, Q. Peter

“…Oxide dispersion strengthened (ODS) steels have found increasing applications in advanced fission and fusion reactors due to their excellent strength and…”
Get full text

Important role of family physicians in reporting communicable diseases: Outbreak of hepatitis A in a kindergarten class by Summers, Alexander, Hu, Jia, Berger, Lisa

“…Important role of family physicians in reporting communicable diseases, is discussed. An outbreak of hepatitis A virus infection in a kindergarten setting…”
Get full text

Plasmonic-Enhanced Colorimetric Lateral Flow Immunoassays Using Bimetallic Silver-Coated Gold Nanostars by Atta, Supriya, Zhao, Yuanhao, Sanchez, Sebastian, Seedial, Deven, Devadhasan, Jasmine Pramila, Summers, Alexander Jarrett, Gates-Hollingsworth, Marcellene A., Pflughoeft, Kathryn J, Gu, Jian, Montgomery, Douglas C., AuCoin, David P., Zenhausern, Frederic, Vo-Dinh, Tuan

“…The colorimetric lateral flow immunoassay (cLFIA) has gained widespread attention as a point-of-care testing (POCT) technique due to its low cost, short…”
Get full text

Point-of-care vertical flow immunoassay system for ultra-sensitive multiplex biothreat-agent detection in biological fluids by Devadhasan, Jasmine Pramila, Summers, Alexander Jarrett, Gu, Jian, Smith, Stanley, Thomas, Baiju, Fattahi, Ali, Helton, James, Pandit, Sujata G., Gates-Hollingsworth, Marcellene, Hau, Derrick, Pflughoeft, Kathryn J., Montgomery, Douglas C., Atta, Supriya, Vo-Dinh, Tuan, AuCoin, David, Zenhausern, Frederic

“…This paper presents simple, fast, and sensitive detection of multiple biothreat agents by paper-based vertical flow colorimetric sandwich immunoassay for…”
Get full text

Molecular and physiological changes in the SpaceX Inspiration4 civilian crew by Jones, Christopher W., Overbey, Eliah G., Lacombe, Jerome, Ecker, Adrian J., Meydan, Cem, Ryon, Krista, Tierney, Braden, Damle, Namita, MacKay, Matthew, Afshin, Evan E., Foox, Jonathan, Park, Jiwoon, Nelson, Theodore M., Suhail Mohamad, Mir, Byhaqui, Syed Gufran Ahmad, Aslam, Burhan, Tali, Ummer Akbar, Nisa, Liaqun, Menon, Priya V., Patel, Chintan O., Khan, Sharib A., Ebert, Doug J., Everson, Aaron, Schubert, Michael C., Ali, Nabila N., Sarma, Mallika S., Kim, JangKeun, Houerbi, Nadia, Grigorev, Kirill, Garcia Medina, J. Sebastian, Summers, Alexander J., Gu, Jian, Altin, John A., Fattahi, Ali, Hirzallah, Mohammad I., Wu, Jimmy H., Stahn, Alexander C., Beheshti, Afshin, Klotz, Remi, Ortiz, Veronica, Yu, Min, Patras, Laura, Matei, Irina, Lyden, David, Melnick, Ari, Banerjee, Neil, Mullane, Sean, Kleinman, Ashley S., Loesche, Michael, Menon, Anil S., Donoviel, Dorit B., Urquieta, Emmanuel, Mateus, Jaime, Sargsyan, Ashot E., Shelhamer, Mark, Zenhausern, Frederic, Bershad, Eric M., Basner, Mathias, Mason, Christopher E.

“…Human spaceflight has historically been managed by government agencies, such as in the NASA Twins Study 1 , but new commercial spaceflight opportunities have…”
Get full text

Sharp Branched Gold Nanostar-Based Lateral-Flow Immunoassay for Detection of Yersinia pestis by Atta, Supriya, Canning, Aidan J., Odion, Ren, Wang, Hsin-neng, Hau, Derrick, Devadhasan, Jasmine Pramila, Summers, Alexander Jarrett, Gates-Hollingsworth, Marcellene A., Pflughoeft, Kathryn J., Gu, Jian, Montgomery, Douglas C., AuCoin, David P., Zenhausern, Frederic, Vo-Dinh, Tuan

“…Over the past few decades, colorimetric paper-based lateral flow immunoassay (LFIA) has emerged as a versatile analytical tool for rapid point-of-care…”
Get full text

Modeling and Control of a Fixed Wing Tilt-Rotor Tri-Copter by Summers, Alexander

“…The following thesis considers modeling and control of a fixed wing tilt-rotor tri-copter. An emphasis of the conceptual design is made toward payload…”
Get full text

Disproportionate Rates of COVID-19 Among Black Canadian Communities: Lessons from a Cross-Sectional Study in the First Year of the Pandemic by Allen, Upton D, Barton, Michelle, Upton, Julia, Bailey, Annette, Campigotto, Aaron, Abdulnoor, Mariana, Julien, Jean-Philippe, Gubbay, Jonathan, Kissoon, Niranjan, Litosh, Alice, La Neve, Maria-Rosa, Wong, Peter, Allen, Andrew, Bailey, Renee, Byrne, Walter, Jagoowani, Ranjeeta, Phillips, Chantal, Merreles-Pulcini, Manuela, Polack, Alicia, Prescod, Cheryl, Siddiqi, Arjumand, Summers, Alexander, Thompson, Kimberly, Thompson, Sylvanus, James, Carl

“…Racialized communities, including Black Canadians, have disproportionately higher COVID-19 cases. We examined the extent to which SARS-CoV-2 infection has…”
Get full text

Resource Specifications for Resource-Manipulating Programs by Grannan, Zachary, Summers, Alexander J

“…Specifications for modular program verifiers are expressed as constraints on program states (e.g. preconditions) and relations on program states (e.g…”
Get full text

Clinical Needs Finding: Developing the Virtual Experience—A Case Study by Mittal, Vaishali, Thompson, Megan, Altman, Stuart M., Taylor, Peter, Summers, Alexander, Goodwin, Kelsey, Louie, Angelique Y.

“…We describe an innovative program at the University of California, Davis for students to engage in clinical needs finding. Using a team-based approach,…”
Get full text

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version) by Ge, Rui, Garcia, Ronald, Summers, Alexander J

“…SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating…”
Get full text

Soundness and principal contexts for a shallow polymorphic type system based on classical logic by Summers, Alexander J.

“…In this paper we investigate how to adapt the well-known notion of ML-style polymorphism (shallow polymorphism) to a term calculus based on a Curry-Howard…”
Get full text

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities by Poli, Federico, Denis, Xavier, Müller, Peter, Summers, Alexander J

“…Existing automated verification techniques for safe Rust code rely on the strong type-system properties to reason about programs, especially to deduce which…”
Get full text