How to Specify It: A Guide to Writing Properties of Pure Functions von Hughes, John

Volltext

Verifying Selective CPS Transformation for Shift and Reset von Ishio, Chiaki, Asai, Kenichi

Volltext

Structure, chemistry, and charge transfer resistance of the interface between Li7La3Zr2O12 electrolyte and LiCoO2 cathode von Vardar, G, Bowman, WJ, Lu, Q, Wang, J, Chater, RJ, Aguadero, A, Seibert, R, Terry, J, Hunt, A, Waluyo, I, Fong, DD, Jarry, A, Crumlin, EJ, Hellstrom, SL, Chiang, YM, Yildiz, B

Volltext

Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker von Cimini, Matteo

Volltext

Type Inference for Rank 2 Gradual Intersection Types von Ângelo, Pedro, Florido, Mário

Volltext

Set Constraints, Pattern Match Analysis, and SMT von Eremondi, Joseph

Volltext

Quotients by Idempotent Functions in Cedille von Marmaduke, Andrew, Jenkins, Christopher, Stump, Aaron

Volltext

Comparison of Standard and Heat-Pipe Fins with Specified Tip Temperature Condition von Bowman, W. Jerry, Maynes, Daniel

Volltext

Design Considerations When Using Edge-Mounted Heat Pipes in Space Radiators von Moss, Todd William, Bowman, W. Jerry

Volltext

Efficiency of a Constant-Area, Adiabatic Tip, Heat Pipe Fin von Bowman, W. J, Moss, T. W, Maynes, D, Paulson, K. A

Volltext

Compactness factors for rolled, stacked-screen regenerative heat exchangers von Murphy, Tim, Bowman, W.Jerry

Volltext

Transient Studies of G-Induced Capillary Flow von Reagan, M. K, Bowman, W. J

Volltext

Analytical Comparison of Constant Area, Adiabatic Tip, Standard Fins, and Heat Pipe Fins von Bowman, W. Jerry, Storey, J. Kirk, Svensson, Kenth I

Volltext

Performance of Liquid Metal Heat Pipes During a Space Shuttle Flight von Dickinson, Timothy J, Bowman, W. Jerry, Stoyanof, Marko

Volltext

Effect of transpiration cooling on nozzle heat transfer von Chen, F, Bowman, W. J, Bowersox, R

Volltext

Longitudinal vibration effects on a copper/water heat pipe's capillary limit von Huber, Neil F, Bowman, W. Jerry

Volltext

Effect of transverse vibration on the performance of a heat pipe von Charlton, Mark C, Bowman, W. Jerry

Volltext

Implicit heat pipe vapor model von Bowman, W. Jerry, Beran, Philip S

Volltext

Atopic dermatitis and atopy in non-clinical populations von Visscher, M O, Hanifin, J M, Bowman, W J, Reed, B R

Volltext

Compactness factors for rolled, stacked-screen regenerators von Murphy, T., Bowman, W.J.

Volltext