#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1965

2017

- This year (0)
- Last 5 years (6)
- Last 10 years (9)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Method

#### Organism

Learn More

- Hui-hua Li, Monte S Willis, +4 authors C. G. Patterson
- The Journal of clinical investigation
- 2007

Cardiac hypertrophy is a major cause of human morbidity and mortality. Although much is known about the pathways that promote hypertrophic responses, mechanisms that antagonize these pathways have… (More)

- Heather Ford, Shilad Sen, David R. Musicant, Nathaniel Miller
- OpenSym
- 2013

We ask what kinds of sources Wikipedians value most and compare Wikipedia's stated policy on sources to what we observe in practice. We find that primary data sources developed by alternative… (More)

- John T Chappell, Drozdek, T. Newell, Nathaniel Miller, P. Hmjak, C. Cusano
- 2014

Understanding the state oflubrication in refrigeration compressors is fundamental for identifYing causes of compressor failure. This article will discuss a practical method for measuring the contact… (More)

- Vignesh Gowrishankar, Nathaniel Miller, +5 authors Craig J Hawker
- 2006

The fabrication process for well-ordered nanopillars over large substrate areas, which are taller than 100nm, have aspect ratios as high as 10 :1 and occur with a periodicity of less than 35nm is… (More)

- Benjamin Cho, Daniel Derkacs, +9 authors Lei Yang
- 2017 IEEE 44th Photovoltaic Specialist Conference…
- 2016

The manufacturing improvement of IMM solar cells and flex string arrays (FSAs) is a focus of the AFRL-funded IMM Mantech program. Significant manufacturability improvements have been achieved to… (More)

- Nathaniel Miller
- 2006

The paper describes the applications of solid surface luminescence measurements in the fields of cryogenic and room temperature phosphorescence, fluorescence immunoassays, and other areas. In many… (More)

- Nathaniel Miller
- J. Philosophical Logic
- 2006

In a article in the Journal of Philosophical Logic in 1996, “Towards a Model Theory of Venn Diagrams,” (Vol. 25, No. 5, pp. 463–482), Hammer and Danner proved the full completeness of Shin’s formal… (More)

- Nathaniel Miller
- 2017

This chapter briefly describes the computer proof system CDEG, version 2.0, a computerized formal system for giving diagrammatic proofs in Euclidean Geometry. The existence of such a computer proof… (More)

- Shilad Sen, Henry Charlton, +8 authors E. Isaac Sparling
- IUI
- 2011

The Macademia website promotes faculty collaboration and research by visualizing faculty research interests as a dynamic "constellation."Semantic similarity inference algorithms power the site's… (More)

- Nathaniel Miller
- J. Complexity
- 2006

In this paper, it is shown that the problem of deciding whether or not a geometric diagram in Euclidean Geometry is satisfiable is NP-hard and in PSPACE, and in fact has the same complexity as the… (More)