Sciweavers

1007 search results - page 63 / 202
» The Complexity of Futile Questioning
Sort
View
IGPL
1998
97views more  IGPL 1998»
15 years 3 months ago
Towards Structurally-Free Theorem Proving
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
Marcelo Finger
MOC
1998
92views more  MOC 1998»
15 years 3 months ago
Perturbing polynomials with all their roots on the unit circle
Given a monic real polynomial with all its roots on the unit circle, we ask to what extent one can perturb its middle coefficient and still have a polynomial with all its roots on ...
Michael J. Mossinghoff, Christopher G. Pinner, Jef...
PC
2002
189views Management» more  PC 2002»
15 years 3 months ago
Data management and transfer in high-performance computational grid environments
An emerging class of data-intensive applications involve the geographically dispersed extraction of complex scientific information from very large collections of measured or compu...
William E. Allcock, Joseph Bester, John Bresnahan,...
SIAMAM
2002
61views more  SIAMAM 2002»
15 years 3 months ago
Self-Similar Solutions for Weak Shock Reflection
Abstract. We present numerical solutions of a two-dimensional Riemann problem for the unsteady transonic small disturbance equations that provides an asymptotic description of the ...
Allen M. Tesdall, John K. Hunter
TIT
1998
69views more  TIT 1998»
15 years 3 months ago
Relationships Between the Constant Modulus and Wiener Receivers
— The Godard or the constant modulus algorithm (CMA) is an effective technique for blind receiver design in communications. However, due to the complexity of the Constant Modulus...
Hanks H. Zeng, Lang Tong, C. Richard Johnson Jr.