An important class of optimization problems in control and signal processing involves the constraint that a Popov function is nonnegative on the unit circle or the imaginary axis. Such a constraint is convex in the coefficients of the Popov function. It can be converted to a finitedimensional linear matrix inequality via the Kalman-Yakubovich-Popov lemma. However, the linear matrix inequality r...

A solution of a Constraint Satisfaction Problem (CSP) is an assignment of values to all its variables such that all its constraints are satis ed. Usually two CSPs are considered equivalent if they have the same solution set. We nd this de nition limiting, and develop a more general de nition based on the concept of mutual reducibility. In this extended scheme it is reasonable to consider a pair...

Global warming and climate changes are the major environmental challenges globally. With CO2 emission being one of main greenhouse gases emitted to environment, cement concrete production amounting about 10% global emission, there is a need for construction industry utilize an environmentally sustainable material as alternative cement. This study analyzed cost, strength properties green self-co...

In this paper a gas turbine power plant including air preheater (recuperator), heat recovery steam generator and air cooler system was modeled. Eight parameters were selected as the design variables.  Fast and elitist non-dominated sorting genetic algorithm (NSGA-II) was applied (to maximize the exergy efficiency and to minimize the total cost rate) for the mentioned cogeneration system. Th...

Cost estimation is a critical issue for software organizations. Good estimates can help us make more informed decisions (controlling and planning software risks), if they are reliable (correct) and valid (stable). In this study, we apply a variable reduction technique (based on auto-associative feed--forward neural networks – called Curvilinear component analysis) to log-linear regression funct...

Writing and debugging concurrent (shared-variable) programs is notoriously difficult. This motivated the development of numerous static analysis and run-time analysis techniques designed to (help) ensure that concurrent programs satisfy common correctness requirements for concurrent programs, such as absence of race conditions and absence of deadlocks. This paper focuses on another common corre...

Cost performance is the basic criteria for measuring success of any project. Since construction projects are highly dependable on resources, construction cost is significantly affected by various resource related factors. Compared to traditional methods of data analysis, Structural Equation Model (SEM) is the graphical equivalent of a mathematical representation to study relationship between de...