This paper discusses the design of observer-based reduced order controllers for the stabilization of large scale linear discrete-time control systems. This design is carried out via deriving a reduced-order model for the given linear plant using the dominant state of the linear plant. Using this reduced-order linear model, sufficient conditions are derived for the design of observer-based reduc...

A computationally simple nonlinearity in the form of a threshold device for the blind separation of sub-Gaussian signals is derived. Convergence is shown to be robust, fast, and comparable to that of more complex polynomial nonlinearities. Together with the known signum nonlinearity for super-Gaussian distributions, which basically is a threshold device with the threshold set to zero, the gener...

Musical source separation methods exploit source-specific spectral characteristics to facilitate the decomposition process. Kernel Additive Modelling (KAM) models a source applying robust statistics to time-frequency bins as specified by a source-specific kernel, a function defining similarity between bins. Kernels in existing approaches are typically defined using metrics between single time f...

We present a sequent-based deductive system for automatically proving entailments in separation logic by using mathematical induction. Our technique, called mutual explicit induction proof, is an instance of Noetherian induction. Specifically, we propose a novel induction principle on a well-founded relation of separation logic model, and follow the explicit induction methods to implement this ...

The present work concerns on the investigation of the role of polyethylene glycols (PEGs) as masking agent for amelioration of extraction-separation of La(III), Eu(III) and Er(III) ions by the acidic extractant bis(2-ethylhexyl)phosphoric acid (DEHPA). The studied solvent extraction system is based on the combination of chelating effect of DEHPA in the organic phase on the one hand, and the bin...

Material separation technology is critical to the success of the material recycling industry. End-of-life products, post-consumer waste, industrial excess, or otherwise collected materials for reuse are typically mixed with other incompatible materials. These materials must be segregated using material separation processes. This thesis investigates the performance and design of material separat...

in this work, benzyl alcohol was obtained in 96% excellent yield by hydrolysis of benzyl chloride catalyzedby the recyclable temperature-dependant phase-separation system that comprised the ionic liquid peg1000-dail[bf4], toluene and ferric sulfate under homogeneous catalysis in aqueous media. this novel methodnot only enhanced the yield, but also made the operating units easy workup. the catal...

Separation kernels mediate interaction between partitions in a secure system. System security policies can be developed about systems that use separation kernels that rely only on the appropriate separation kernel operation. We introduce a formal security policy for a separation kernel in ACL2, and argue for its usefulness by comparing it with other formalisms and by using it in a proof involvi...

Background Sperm preparation before assisted reproductive techniques is very important for obtaining successful fertilization and pregnancy. During ICSI technique, sperms are selected based on viability and morphology. But this selection did not guarantee integrity of sperm DNA. Therefore, novel sperm selection procedures are introduced for selection of sperm with low DNA damage. One of these p...