We show the following results for polynomial-time reducibility to RC, the set of Kolmogorov random strings. 1. If P 6= NP, then SAT does not dtt-reduce to RC. 2. If PH does not collapse, then SAT does not n--reduce to RC for any α < 1. 3. If PH does not collapse, then SAT does not n-T-reduce to RC for any α < 2 . 4. There is a problem in E that does not dtt-reduce to RC. 5. There is a problem i...

Levi nondegenerate real-analytic hypersurfaces M ⊂ ƒ are well understood due to the seminal results of Tanaka [17] and Chern-Moser[5], where a complete set of local invariants for M has been defined. At the other extreme are those hypersurfaces which are locally CR-equivalent to a product M ׃, (take the real hyperplanes inƒ as a simple example). In-between there is a huge and much less underst...

Factors which hypothetically inl1uence r:t tes , vol umes, and methods of income generation in crack d istribution, USL~, a nd misuse a rc ind icatl'd, and a research program to investi gate them is suggL:stt:d. This research will contribuk signtficantly to the dc vc loprm:nt o f a theoretical fralllc\Vork which adL:quatcly rel:ttes Stibst;tncc using/abusing and trafficking populations to the w...

The iterative refinement method for linear system solvers can improve performance while maintaining numeric accuracy. Previous work addressing iterative refinement exploits single precision and double precision for CPU, GPU, or Cell/BE processors. Due to only two different precisions supported, iterative refinement is limited on those platforms. Reconfigurable Computing (RC) is a great candidat...

Once a reinforced concrete (RC) structure is damaged by fire, the fire damage assessment should proceed to take appropriate post-fire actions, including the decision-making of whether it can be repaired for reuse or not. Since the assessment results of current fire damage diagnosis methods, however, highly depend on the subjective judgment of inspectors, it is hard to ensure their objectiveness...

The huge number of independent sources of power delivery system prevents the use of traditional model reduction algorithms due to the port domination nature. This paper presents an innovative RC model reduction method, PODEA, to analyze RC linear circuits with many dynamic independent sources. Based on multi-port Norton theorem and model order reduction techniques, we develop and apply current ...