Sciweavers

AMC
2006
106views more  AMC 2006»
13 years 11 months ago
Introduction to the special issue on hypercomputation
Francisco A. Doria, José Félix Costa
AMC
2006
104views more  AMC 2006»
13 years 11 months ago
Three counterexamples refuting Kieu's plan for "quantum adiabatic hypercomputation"; and some uncomputable quantum mechanical ta
-- Tien D. Kieu, in 10 papers posted to the quant-ph section of the xxx.lanl.gov preprint archive [some of which were also published in printed journals such as Proc. Royal Soc. A ...
Warren D. Smith
AMC
2006
173views more  AMC 2006»
13 years 11 months ago
Data envelopment analysis with missing values: An interval DEA approach
Missing values in inputs, outputs cannot be handled by the original data envelopment analysis (DEA) models. In this paper we introduce an approach based on interval DEA that allow...
Yannis G. Smirlis, Elias K. Maragos, Dimitris K. D...
AMC
2006
75views more  AMC 2006»
13 years 11 months ago
Common stabilizers for linear control systems in the presence of actuators outage
This paper presents common stabilizers for linear control systems when actuators happen to fail. The possible outage of actuators examined in this study are not confined to a pre-s...
Yew-Wen Liang, Der-Cherng Liaw
AMC
2006
76views more  AMC 2006»
13 years 11 months ago
Integrating GPS with national networks by collocation method
In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordin...
Hakan S. Kutoglu, Tevfik Ayan, Ç. Mekik
AMC
2006
125views more  AMC 2006»
13 years 11 months ago
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
Seref Mirasyedioglu, Tolga Güyer