We prove Angehrn-Siu type effective base point freeness and point separation for log canonical pairs.

Current methods for computing vortex sheet separation use a regularization parameter which is discontinuous from the body to the vortex sheet. We propose two methods for reducing the errors associated with the discontinuity and improving convergence with respect to the regularization parameter. The ‘‘velocity smoothing” method is the simpler of the two, and removes the discontinuity in regulari...

Act 92 of 1996, the Choice on Termination of Pregnancy Act, seeks to promote female autonomy. The Act makes no reference to the nature of the abortus--implying its moral insignificance. Utilitarian arguments on the value of life strongly support this position. Utilitarians argue that neither belonging to the human species, nor possession of the potential to develop into a person, is a significa...

The work presented in this thesis describes an instrument, developed for separation of proteins and peptides based on corresponding isoelectric point (pI) values, to empower mass spectrometry-based proteomics analysis. The main objectives are the instrument development and optimization, as well as clinical applications in biomarker discovery, particularly for neurodegenerative disorders. The th...

L1 norm discrimination consists in finding the hyperplane that minimizes the sum of L1 norm distances between the hyperplane and the points that lie on the wrong side of the hyperplane. This problem is difficult for datasets containing more than 100,000 points. Since few points are needed to obtain the optimal hyperplane, we propose a point selection algorithm which iteratively adds the necessa...

This paper describes a fixed-point independent component analysis (ICA) algorithm in combination with the null beamforming technique to sieve out speech signals from their convoluted mixture observed using a linear microphone array. The fixed-point algorithm shows fast convergence to the solution, however it is highly sensitive to the initial value from which iteration starts. A good initial va...

The purpose of this reaserch is to measure the phase equilibrium data of the ternary system (water + phosphoric acid + 1-nonanol) at different temperatures. Experimental solubility curves and tie-line points for the system were obtained at T = 298.2, 308.2 and 318.2 K and ambient pressure. The binodal curve data were detected by the cloud point method. The mass fractions of each layer ...

In this note a T1 formal space (T1 set-generated locale) is a formal space whose points are closed as subspaces. Any regular formal space is T1. We introduce the more general notion of T ∗ 1 formal space, and prove that the class of points of a weakly set-presentable T ∗ 1 formal space is a set in the constructive set theory CZF. The same also holds in constructive type theory. We then formulat...

active flow control has great importance in design of flying objects in general and control flaps in particular. using dielectric barrier discharge as plasma actuators over control flaps can cause a change in position of separation point or can eliminate it. this new flow control device produces a body force that causes generating a micro wall jet. the present study aims to investigate experime...