Writ(h)ing Images: Imagination, the Human Form, and the Divine in William Blake, Salman Rushdie, and Simon Louvish

In this paper, we address issues in segmentation Of remotely sensed LIDAR (LIght Detection And Ranging) data. The LIDAR data, which were captured by airborne laser scanner, contain 2.5 dimensional (2.5D) terrain surface height information, e.g. houses, vegetation, flat field, river, basin, etc. Our aim in this paper is to segment ground (flat field)from non-ground (houses and high vegetation) in hilly urban areas. By projecting the 2.5D data onto a surface, we obtain a texture map as a grey-level image. Based on the image, Gabor wavelet filters are applied to generate Gabor wavelet features. These features are then grouped into various windows. Among these windows, a combination of their first and second order of statistics is used as a measure to determine the surface properties. The test results have shown that ground areas can successfully be segmented from LIDAR data. Most buildings and high vegetation can be detected. In addition, Gabor wavelet transform can partially remove hill or slope effects in the original data by tuning Gabor parameters

Complexity of proofs and their transformations in axiomatic theories

The aim of this work is to develop the tool of logical deduction schemata and use it to establish upper and lower bounds on the complexity of proofs and their transformations in axiomatized theories. The main results are establishment of upper bounds on the elongation of deductions in cut eliminations; a proof that the length of a direct deduction of an existence theorem in the predicate calculus cannot be bounded above by an elementary function of the length of an indirect deduction of the same theorem; a complexity version of the existence property of the constructive predicate calculus; and, for certain formal systems of arithmetic, restrictions on the complexity of deductions that guarantee that the deducibility of a formula for all natural numbers in some finite set implies the deducibility of the same formula with a universal quantifier over all sufficiently large numbers

Characters of finite groups, part 1

This book discusses character theory and its applications to finite groups. The work places the subject within the reach of people with a relatively modest mathematical background. The necessary background exceeds the standard algebra course with respect only to finite groups. Starting with basic notions and theorems in character theory, the authors present a variety of results on the properties of complex-valued characters and applications to finite groups. The main themes are degrees and kernels of irreducible characters, the class number and the number of nonlinear irreducible characters, values of irreducible characters, characterizations and generalizations of Frobenius groups, and generalizations and applications of monomial groups. The presentation is detailed, and many proofs of known results are new. Most of the results in the book are presented in monograph form for the first time. Numerous exercises offer additional information on the topics and help readers to understand the main concepts and results