Search Results - "Polonsky, Andrew"

Fixed point combinators as fixed points of higher-order fixed point generators by Andrew Polonsky

“…Corrado B\"ohm once observed that if $Y$ is any fixed point combinator (fpc), then $Y(\lambda yx.x(yx))$ is again fpc. He thus discovered the first "fpc…”
Get full text

Closing the science gap in 3D metal printing by Polonsky, Andrew T, Pollock, Tresa M

“…X-ray imaging and modeling reveal how metal powders absorb energy and can create defects Additive manufacturing [three-dimensional (3D) printing] methodologies…”
Get full text

A defect-resistant Co–Ni superalloy for 3D printing by Murray, Sean P., Pusch, Kira M., Polonsky, Andrew T., Torbet, Chris J., Seward, Gareth G. E., Zhou, Ning, Forsik, Stéphane A. J., Nandwana, Peeyush, Kirka, Michael M., Dehoff, Ryan R., Slye, William E., Pollock, Tresa M.

“…Additive manufacturing promises a major transformation of the production of high economic value metallic materials, enabling innovative, geometrically complex…”
Get full text

Advances in Multimodal Characterization of Structural Materials by Polonsky, Andrew T., Pandey, Amit

“…The myriad detectors and instruments now available for materials characterization provide researchers with an ever-growing suite of tools to probe material…”
Get full text

Three-dimensional maps of geometrically necessary dislocation densities in additively manufactured Ni-based superalloy IN718 by Witzen, Wyatt A., Polonsky, Andrew T., Pollock, Tresa M., Beyerlein, Irene J.

“…In this work, we present a method to characterize the subgranular three-dimensional distribution of geometrically necessary dislocations (GNDs) and apply it to…”
Get full text

Applications of Autonomous Data Collection and Active Learning by Polonsky, Andrew T., Callahan, Patrick G.

“…In their manuscript, "Automatic Detection of Slag Eye Area Based on a Hue-saturation-value Image Segmentation Algorithm", Wang et al. use image processing…”
Get full text

On sets of terms having a given intersection type by Polonsky, Andrew, Statman, Richard

“…Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms…”
Get full text

Recent Developments in Femtosecond Laser-Enabled TriBeam Systems by Echlin, McLean P., Polonsky, Andrew T., Lamb, James, Geurts, Remco, Randolph, Steven J., Botman, Aurélien, Pollock, Tresa M.

“…Streams of multimodal three-dimensional (3D) and four-dimensional (4D) data are revolutionizing our ability to design and predict the behavior of a broad array…”
Get full text

Boundary characterization using 3D mapping of geometrically necessary dislocations in AM Ta microstructure by Witzen, Wyatt A., Polonsky, Andrew T., Rottmann, Paul F., Pusch, Kira M., Echlin, McLean P., Pollock, Tresa M., Beyerlein, Irene J.

“…Additive manufacturing (AM) of high strength metallic materials produces microstructures and defects that deviate substantially from those created through…”
Get full text

The evolution of pit morphology and growth kinetics in aluminum during atmospheric corrosion by Noell, Philip J., Karasz, Erin, Schindelholz, Eric J., Polonsky, Andrew T., Campbell, Ian, Katona, Ryan M., Melia, Michael A.

“…Assessing the lifetimes of alloys in humid, corrosive environments requires growth kinetic information regarding individual instances of damage, e.g. pit…”
Get full text

Serial sectioning in the SEM for three dimensional materials science by Echlin, McLean P., Burnett, Timothy L., Polonsky, Andrew T., Pollock, Tresa M., Withers, Philip J.

“…•Serial sectioning techniques for materials applications, dataset volumes, damage, and slicing resolution.•Focused ion beams, broad ion beams, ultramicrotomy,…”
Get full text

Defects and 3D structural inhomogeneity in electron beam additively manufactured Inconel 718 by Polonsky, Andrew T., Echlin, McLean P., Lenthe, William C., Dehoff, Ryan R., Kirka, Michael M., Pollock, Tresa M.

“…Material structure and defects created during additive manufacturing contribute to the variability in mechanical properties of these parts, limiting their use…”
Get full text

Three-dimensional Analysis and Reconstruction of Additively Manufactured Materials in the Cloud-Based BisQue Infrastructure by Polonsky, Andrew T., Lang, Christian A., Kvilekval, Kristian G., Latypov, Marat I., Echlin, McLean P., Manjunath, B. S., Pollock, Tresa M.

“…A microstructure analytics and 3D reconstruction software package, DREAM.3D, was integrated as a module into a cloud-based platform, BisQue. Parallelization of…”
Get full text

Scan strategies in EBM-printed IN718 and the physics of bulk 3D microstructure development by Polonsky, Andrew T., Raghavan, Narendran, Echlin, McLean P., Kirka, Michael M., Dehoff, Ryan R., Pollock, Tresa M.

“…Three-dimensional (3D) characterization provides opportunities for understanding processing-structure relationships in additively manufactured (AM) materials…”
Get full text

Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic by Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky, Alexandra Silva

“…We present a coinductive framework for defining and reasoning about the infinitary analogues of equational logic and term rewriting in a uniform, coinductive…”
Get full text

BisQue for 3D Materials Science in the Cloud: Microstructure–Property Linkages by Latypov, Marat I., Khan, Amil, Lang, Christian A., Kvilekval, Kris, Polonsky, Andrew T., Echlin, McLean P., Beyerlein, Irene J., Manjunath, B. S., Pollock, Tresa M.

“…Accelerating the design and development of new advanced materials is one of the priorities in modern materials science. These efforts are critically dependent…”
Get full text

Discriminating Lambda-Terms Using Clocked Boehm Trees by Endrullis, Joerg, Hendriks, Dimitri, Klop, Jan Willem, Polonsky, Andrew

“…As observed by Intrigila, there are hardly techniques available in the lambda-calculus to prove that two lambda-terms are not beta-convertible. Techniques…”
Get full text

Constrained Run-to-Run Control for Precision Serial Sectioning by Gallegos-Patterson, Damian, Ortiz, Kendric R., Madison, Jonathan, Polonsky, Andrew T., Danielson, Claus

“…This paper presents a run-to-run (R2R) controller for mechanical serial sectioning (MSS). MSS is a destructive material analysis process which repeatedly…”
Get full text

Solidification-driven orientation gradients in additively manufactured stainless steel by Polonsky, Andrew T., Lenthe, William C., Echlin, McLean P., Livescu, Veronica, Gray, George T., Pollock, Tresa M.

“…•304L stainless steel manufactured via LENS was characterized in its as-deposited state in 3D using TriBeam tomography.•Misorientation is found to increase…”
Get full text

Higher-Kinded Data Types: Syntax and Semantics by Johann, Patricia, Polonsky, Andrew

“…We present a grammar for a robust class of data types that includes algebraic data types (ADTs), (truly) nested types, generalized algebraic data types…”
Get full text