In this paper we propose a parallel approach to quantifier elimination on real closed fields through a modification in the cylindrical algebraic decomposition (CAD) algorithm to accommodate parallelism. In this approach the speed-up due to parallelism obtained on an input formula is a property of that formula itself. Hence the time complexity of algorithm depends on not just the size of the inp...

Diese Dissertation wurde selbständig, ohne unerlaubte Hilfe erarbeitet.

This paper deals with input performance limitations of feedback control. The achievable input performance depends on the joint controllability and observability of unstable poles and is exactly quantified for single input single output (SISO) and multi input multi output (MIMO) systems with and without time delay. We also present a modification of μ-interaction measure to assess the feasibility...

We propose a modification of a NALM-based 2R regenerator of phase-encoded signals which operates at considerably lower input powers than was studied earlier. Our modification consists of replacing the core-matched and lossless fiber coupler in the NALM by a coupler with a propagation constant mismatch and loss asymmetrically distributed between the two cores. The performance of the modified reg...

This paper describes a system for the Multiple Fundamental Frequency Estimation and Tracking task in MIREX (Music Information Retrieval Evaluation eXchange) 2009. The method is a modification of Harmonic Temporal Structured Clustering(HTC), which is a kind of constrained Gaussian Mixture Model estimation using EM algorithm. In the modification one term of a function of model power is added to o...

We propose a modification of a key component in the Doomsday Algorithm for calculating the day of the week of any given date. In particular, we propose to replace the calculation of the required expression: with where x is an input 2-digit year; y is the tens digit of x; z is the ones digit of x; We argue the fact that our modification operates on individual base-10 digits makes the algorithm e...

The aim of this paper is image encryption using Genetic Algorithm (GA). The proposed encryption method consists of two phases. In modification phase, pixels locations are altered to reduce correlation among adjacent pixels. Then, pixels values are changed in the diffusion phase to encrypt the input image. Both phases are performed by GA with binary chromosomes. For modification phase, these bin...

Given an instance of TSP together with an optimal solution, we consider the scenario in which this instance is modified locally, where a local modification consists in the alteration of the weight of a single edge. More generally, for a problem U , let LM-U (local-modification-U ) denote the same problem as U , but in LM-U , we are also given an optimal solution to an instance from which the in...

This paper presents methods for estimating time delay margin for adaptive control of input delay systems with almost linear structured uncertainty. The bounded linear stability analysis method seeks to represent an adaptive law by a locally bounded linear approximation within a small time window. The time delay margin of this input delay system represents a local stability measure and is comput...

This paper presents a new spectral modification method to solve two drawbacks of conventional spectral modification methods, insufficient smoothness of the modified spectra between frames and ineffective spectral modification. To overcome the insufficient smoothness, a speech analysis technique called temporal decomposition (TD) is used to model the spectral evolution. Instead of modifying the ...