This dissertation studies the use of methods of proof theory in extracting new information from proofs in subsystems of classical analysis. We focus mainly on ineffective proofs, i.e. proofs which make use of ineffective principles ranging from weak König’s lemma to full comprehension. The main contributions of the dissertation can be divided into four parts: (1) A discussion of how monotone fu...

A large position angle misalignment between the stellar and dust bars in the late-type barred spiral NGC 3488 was discovered, using mid-infrared images from the Spitzer Space Telescope and optical images from the Sloan Digital Sky Survey (SDSS). The angle between the two distinctive bar patterns was measured to be 25±2, larger than most of the misalignments found previously in barred systems ba...

The focus of this research was to formulate optimization model 16-bar trussesalong with stress, stability and deflection constraints. derivative free methods were used for theoptimization engineering design problems. These basically designed forunconstrained In formulated truss problems the constraints werehandled by using exterior penalty functions. results obtainedby MATLAB which demonstrated...

The goal of this memoir is to prove that the bar complex B(A) of an E-infinity algebra A is equipped with the structure of a Hopf E-infinity algebra, functorially in A. We observe in addition that such a structure is homotopically unique provided that we consider unital operads which come equipped with a distinguished 0-ary operation that represents the natural unit of the bar complex. Our cons...

The inclination of M31 is too close to edge-on for a bar component to be easily recognised and is not sufficiently edge-on for a boxy/peanut bulge to protrude clearly out of the equatorial plane. Nevertheless, a sufficient number of clues allow us to argue that this galaxy is barred. We use fully self-consistent N -body simulations of barred galaxies and compare them with both photometric and k...

We present a new model for the gas dynamics in the galactic disk inside the Sun’s orbit. Quasi–equilibrium flow solutions are determined in the gravitational potential of the deprojected COBE NIR bar and disk, complemented by a central cusp and, in some models, an outer halo. These models generically lead to four–armed spiral structure between corotation of the bar and the solar circle; their l...

This paper addresses the raw textile defect detection problem using independent components approach with insights from human vision system. Human vision system is known to have specialized receptive fields that respond to certain type of input signals. Orientationselective bar cells and grating cells are examples of receptive fields in the primary visual cortex that are selective to periodicand...

This paper presents ongoing work dedicated to parsing the textual structure of procedural texts. This work is based on a two level approach: first, basic structures in texts are segmented using automata techniques and then a text grammar is applied to assemble these fragments. The grammar is based on X-bar syntax, transposed to text structure.

The relevance of the Tremaine-Weinberg (TW) method is tested to measure the bar, spiral and inner structure pattern speeds using a gaseous velocity field. The TW method is applied to