We show that function types which have only initial algebras for regular functors in the domains, i.e. first order function types, can be represented by terminal coalgebras for certain nested functors. The representation exploits properties of ω-limits and local ω-colimits.

Logic programs can be synthesized as a by-product of the planning of their verification proofs. This is achieved by using higher-order variables at the proof planning level, which become instantiated in the course of planning. We illustrate two uses of such variables in proof planning for program synthesis, one for synthesis proper and one for the selection of induction schemes. We demonstrate ...

This study presents a simulation and experimental validation of third-order coma in Nodal Aberration Theory (NAT) with custom-designed Cassegrain system. The system uses piezo-driven flexure tool to align the telescope's secondary mirror respect primary mirror. alignment mechanism is also used misalign induce intentional aberrations. Fringe Zernike (Z$_{7/8}$) was simulated utilizing real ray-t...

Wave aberrations of isolated ex vivo porcine crystalline lenses were measured by using a point-diffraction interferometer. This method allowed us to gain greater insight into the detailed aberration structure of eye lenses showing systematic presence of some dominant aberrations. In order of significance, astigmatism together with spherical aberration, coma, and trefoil are the main aberrations...

PURPOSE To evaluate higher-order aberrations (HOAs) after implantation of Artiflex phakic intraocular lenses (pIOLs). SETTING Department of Ophthalmology, Academic Hospital Maastricht, Maastricht, The Netherlands. METHODS This retrospective comparative case series comprised 27 eyes (14 patients) that had Artiflex pIOL implantation and 22 eyes (13 patients) that had Artisan pIOL implantation...

PURPOSE To evaluate the relationship between high-order aberrations and refractive errors, and between high-order aberrations and age. METHODS An analytic retrospective study of patients that underwent aberrometry examination was conducted. All subjects examined with LadarWave aberrometer at the Hospital de Olhos do Paraná from April 2004 to April 2005 were included in this study. The major i...

The aberration of a multipole Wien filter for energy-filtered x-ray photoemission electron microscopy was analyzed and the optimized Fourier components of the electric and magnetic fields for the third-order aperture aberration corrections were obtained. It was found that the third-order aperture aberration correction requires 12 electrodes and magnetic poles.

Chromosome aberrations are large-scale illegitimate rearrangements of the genome. They are indicative of DNA damage and informative about damage processing pathways. Despite extensive investigations over many years, the mechanisms underlying aberration formation remain controversial. New experimental assays such as multiplex fluorescent in situ hybridyzation (mFISH) allow combinatorial "paintin...

AIM To study the distribution of ocular higher-order aberrations(HOAs) and mesopic pupil size in individuals screened for refractive surgery. METHODS Ocular HOAs and mesopic pupil size were studied in 2 458 eyes of 1 240 patients with myopia, myopic astigmatism and compound myopic astigmatism and 215 eyes of 110 patients with hyperopia, hyperopic astigmatism and compound hyperopic astigmatism...