A continues multi-material toolpath planning for tissue scaffolds with hollowed features

This paper presents a new multi-material based toolpath planning methodology for porous tissue scaffolds with multiple hollowed features. Ruled surface with hollowed features generated in our earlier work is used to develop toolpath planning. Ruling lines are reoriented to enable continuous and uniform size multi-material printing through them in two steps. Firstly, all ruling lines are matched and connected to eliminate start and stops during printing. Then, regions with high number of ruling lines are relaxed using a relaxation technique to eliminate over deposition. A novel layer-by-layer deposition process is progressed in two consecutive layers: The first layer with hollow shape based zigzag pattern and the next layer with spiral pattern deposition. Heterogeneous material properties are mapped based on the parametric distances from the hollow features

Correcting curvature-density effects in the Hamilton-Jacobi skeleton

The Hainilton-Jacobi approach has proven to be a powerful and elegant method for extracting the skeleton of two-dimensional (2-D) shapes. The approach is based on the observation that the normalized flux associated with the inward evolution of the object boundary at nonskeletal points tends to zero as the size of the integration area tends to zero, while the flux is negative at the locations of skeletal points. Nonetheless, the error in calculating the flux on the image lattice is both limited by the pixel resolution and also proportional to the curvature of the boundary evolution front and, hence, unbounded near endpoints. This makes the exact location of endpoints difficult and renders the performance of the skeleton extraction algorithm dependent on a threshold parameter. This problem can be overcome by using interpolation techniques to calculate the flux with subpixel precision. However, here, we develop a method for 2-D skeleton extraction that circumvents the problem by eliminating the curvature contribution to the error. This is done by taking into account variations of density due to boundary curvature. This yields a skeletonization algorithm that gives both better localization and less susceptibility to boundary noise and parameter choice than the Hamilton-Jacobi method

Parallel algorithm for determining motion vectors in ice floe images by matching edge features

A parallel algorithm is described to determine motion vectors of ice floes using time sequences of images of the Arctic ocean obtained from the Synthetic Aperture Radar (SAR) instrument flown on-board the SEASAT spacecraft. Researchers describe a parallel algorithm which is implemented on the MPP for locating corresponding objects based on their translationally and rotationally invariant features. The algorithm first approximates the edges in the images by polygons or sets of connected straight-line segments. Each such edge structure is then reduced to a seed point. Associated with each seed point are the descriptions (lengths, orientations and sequence numbers) of the lines constituting the corresponding edge structure. A parallel matching algorithm is used to match packed arrays of such descriptions to identify corresponding seed points in the two images. The matching algorithm is designed such that fragmentation and merging of ice floes are taken into account by accepting partial matches. The technique has been demonstrated to work on synthetic test patterns and real image pairs from SEASAT in times ranging from .5 to 0.7 seconds for 128 x 128 images

The Influence of Public Policy on Health, Wealth and Mortality

In this project we extend an augmented lifecycle model, incorporating a Grossman-style model of health capital, to enhance understanding of factors influencing consumption, wealth and health. We develop three primary results when using the model to explore the effects of stylized versions of Medicare and Social Security on wealth and longevity. First, our model calibration implies consumption and health are complements. As health depreciates with age, households will get less utility from consumption than would be in the case of a lifecycle model that does not endogenize health. Second, it appears that forward-looking households, when confronted by a substantially reduced safety net, will respond by reducing consumption and by reducing their health investment and therefore longevity. Third, there is a potentially important difference between short- and long- run responses to policy.

Homotopy Type Theory in Lean

We discuss the homotopy type theory library in the Lean proof assistant. The library is especially geared toward synthetic homotopy theory. Of particular interest is the use of just a few primitive notions of higher inductive types, namely quotients and truncations, and the use of cubical methods.Comment: 17 pages, accepted for ITP 201