Placement of multimedia blocks on zoned disks
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
Motivated by ideas from the study of abstract data types, we show how to interpret non-well-founded sets as fixed points of continuous transformations of an initial continuous algebra. We conisder a preordered structure closely related to the set HF of well-founded, hereditarily finite sets. By taking its ideal completion, we obtain an initial continuous algebra in which we are able to solve all of the usual systems of equations that characterize hereditarily finite, non-well-founded sets. In this way, we are able to obtain a structure which is isomorphic to HF1, the non-well founded analog of HF. © 1991.
Renu Tewari, Richard P. King, et al.
IS&T/SPIE Electronic Imaging 1996
William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Qing Li, Zhigang Deng, et al.
IEEE T-MI
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007