CS Technical Reports
The file that you are reading contains the list of our 1996 reports. Links from this list lead to pdf and compressed PostScript files. Lists of reports from the previous years can be found by clicking on:
 Fuzzy Rule Based Modeling as a Universal Approximation Tool
Vladik Kreinovich, George C. Mouzouris, and Hung T. Nguyen
link to abstract
Original version UTEPCS9649 in LaTeX
Updated version UTEPCS9649a in LaTeX
both files use crckapb.sty; latest version in pdf. 
IntervalValued Fuzzy Control in Space Exploration
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEPCS9648b in LaTeX, uses IEEEtran.sty and in pdf 
Intelligent Control in Space Exploration:
What NonLinearity to Choose?
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEPCS9648a in LaTeX, uses IEEEtran.sty and in pdf 
Intelligent Control in Space Exploration:
Interval Computations are Needed
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEPCS9648 in LaTeX, uses IEEEtran.sty, and in pdf. 
From Interval Computations to Modal Mathematics:
Applications and Computational Complexity
Bernadette BouchonMeunier and Vladik Kreinovich
link to abstract
UTEPCS9647 in LaTeX. 
Natural Requirements for Interval Roundings Lead to
a HardwareIndependent Characterization
of Standard Rounding Procedures
T. E. Kaminsky and V. Kreinovich
link to abstract
UTEPCS9646 in LaTeX. 
QFT + NP = P
Quantum Field Theory (QFT): A Possible Way of Solving
NPComplete Problems in Polynomial Time
Adriana Beltran, Vladik Kreinovich, and Luc Longpre
link to abstract
Original version UTEPCS9645 in LaTeX, uses IEEEtran.sty.;
Updated version UTEPCS9645a in LaTeX.
Updated version UTEPCS9645c in pdf  Nonstandard (NonSigmaAdditive) Probabilities
in Algebraic Quantum Field Theory
Vladik Kreinovich and Luc Longpre
link to abstract
UTEPCS9644 in LaTeX, in Compressed PostScript, and in pdf.  From Numerical Intervals to Set Intervals
(Intervalrelated results presented at
the First International Workshop
on Applications and Theory of Random Sets)
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEPCS9643 in LaTeX. 
On the Solution Set of Particular Classes of Linear Interval Systems
Goetz Alefeld, Vladik Kreinovich, and Guenter Mayer
link to abstract
Original version UTEPCS9642 in LaTeX.
1st updated version UTEPCS9642a in LaTeX, uses psfig.sty and sym_p_f.eps;
2nd updated version UTEPCS9642b in Compressed PostScript and in pdf;
3rd updated version UTEPCS9642c in Compressed PostScript and in pdf 
Fuzzy Implication Can Be Arbitrarily Complicated:
A Theorem
Francisco G. Fernandez and Vladik Kreinovich
link to abstract
UTEPCS9641 in LaTeX. 
Geometric Approach to Quark Confinement
Vladik Kreinovich and Piotr Wojciechowski
link to abstract
Original version UTEPCS9640 in LaTeX,
Updated version UTEPCS9640a in plain TeX, in Compressed PostScript, and in pdf. 
Astrogeometry: Towards Mathematical Foundations
Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
link to abstract
UTEPCS9639b in LaTeX, in Compressed PostScript, and in pdf. 
Astrogeometry, Error Estimation,
and Other Applications of SetValued Analysis
Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
link to abstract
Original version UTEPCS9639 in LaTeX, uses ima.sty, ima10.sty, epsf.sty, and amssym.def.
Updated version UTEPCS9639a in LaTeX, in Compressed PostScript, and in pdf. 
The Worse, the Better:
A Survey of Paradoxical Computational Complexity
of Interval Computations
Slava Nesterov and Vladik Kreinovich
link to abstract
UTEPCS9638 in plain TeX. 
Optimal Interval Computation Techniques:
Optimization of Numerical Methods
in Case of Uncertainty
Vladik Kreinovich and Raul Trejo
link to abstract
UTEPCS9637 in plain TeX and in pdf 
How to Define an Average of Several Sets?
Vladik Kreinovich and Ilya Molchanov
link to abstract
UTEPCS9636 in plain TeX. 
Using Robust Optimization
to Play against an Imperfect Opponent
Ronald R. Yager and Vladik Kreinovich
link to abstract
UTEPCS9635 in LaTeX. 
Signal Design for Radar Imaging in Radar Astronomy:
Genetic Optimization
Benjamin C. Flores, Vladik Kreinovich, and Roberto Vasquez
link to abstract
UTEPCS9634 in LaTeX, uses epsf.tex, f1.eps, f2.eps, f3.eps, f4.eps, f5.eps, and f6.eps. 
Random Sets Unify, Explain, and Aid Known
Uncertainty Methods in Expert Systems
Vladik Kreinovich
link to abstract
Original version UTEPCS9633 in LaTeX;
Updated version UTEPCS9633b in LaTeX.
Both versions use ima.sty, ima10.sty, epsf.sty, and amssym.def. 
Why is the Asymptotic Time Complexity
of Algorithms Often n^alpha or n^alpha*ln(n)?
Olga Kosheleva and Vladik Kreinovich
link to abstract
UTEPCS9632 in LaTeX. 
Towards a More Realistic Definition of Feasibility
Douglas Schirmer and Vladik Kreinovich
link to abstract
UTEPCS9631 in LaTeX. 
Geometry of Errors Revisited:
A Natural Way to
VectorValued Metric Spaces
Gerhard Heindl, Vladik Kreinovich, and Bernadette BouchonMeunier
link to abstract
UTEPCS9630 in plain TeX. 
Granularity via NonDeterministic Computations:
What We Gain and What We Lose
Vladik Kreinovich and Bernadette BouchonMeunier
link to abstract
Original version UTEPCS9629 in LaTeX;
Short version UTEPCS9629a in LaTeX. 
Fuzzy Modus Ponens as a Calculus of Logical Modifiers:
Towards Zadeh's Vision of Implication Calculus
Bernadette BouchonMeunier and Vladik Kreinovich
link to abstract
UTEPCS9628 in LaTeX. 
In Case of Interval (or More General) Uncertainty,
No Algorithm Can Choose the Simplest Representative
Gerhard Heindl, Vladik Kreinovich, and Maria Rifqi
link to abstract
Original version UTEPCS9627 in LaTeX
1st updated version UTEPCS9627a in LaTeX
2nd updated version UTEPCS9627b in LaTeX
3rd updated version UTEPCS9627c in Compressed PostScript and in pdf. 
Propositional Fuzzy Logics:
Decidable for Some (Algebraic) Operators,
Undecidable for More Complicated Ones
Mai Gehrke, Vladik Kreinovich, and
Bernadette BouchonMeunier
link to abstract
UTEPCS9626 in LaTeX. 
S. Maslov's Iterative Method: 15 Years Later
(Freedom of Choice, Neural Networks,
Numerical Optimization, Uncertainty Reasoning, and
Chemical Computing)
Vladik Kreinovich
link to abstract
UTEPCS9625 in plain TeX, compressed PostScritpt, and pdf. 
From Ordered Beliefs to Numbers:
How to Elicit Numbers Without Asking for Them
(Doable but Computationally Difficult)
Brian Cloteaux, Christophe Eick,
Bernadette BouchonMeunier, and Vladik Kreinovich
link to abstract
Original version UTEPCS9624 in LaTeX
Updated version UTEPCS9624a in PostScript 
Axiomatic Description of Implication Leads to a
Classical Formula with Logical Modifiers:
(In Particular,
Mamdani's Choice of "And" as Implication
is Not So Weird After All)
Bernadette BouchonMeunier and Vladik Kreinovich
link to abstract
UTEPCS9623 in LaTeX 
On a Theoretical Justification of the Choice of
EpsilonInflation in PascalXSC
Vladik Kreinovich, Guenter Mayer, and Scott Starks
link to abstract
Original version UTEPCS9622 in LaTeX
Updated version UTEPCS9622a in LaTeX, compressed PostScript, and pdf. 
Kolmogorov's Theorem
and its Impact on Soft Computing
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEPCS9621 in Plain TeX. 
Pure Quantum States are Fundamental,
Mixtures (Composite States) are Mathematical Constructions:
An Argument Using Algorithmic Information Theory
Vladik Kreinovich and Luc Longpre
link to abstract
UTEPCS9620 in LaTeX. 
Randomness as Incompressibility: A NonAlgorithmic Analogue
Vladik Kreinovich and Luc Longpre
link to abstract
UTEPCS9619 in LaTeX. 
Astrogeometry: Geometry Explains Shapes of Celestial Bodies
Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
link to abstract
UTEPCS9618 in plain TeX. 
Earthquakes and Geombinatorics
Diane Doser, Mohamed Amine Khamsi, and Vladik Kreinovich
link to abstract
UTEPCS9617 in pdf. 
Zeros of Riemann's Zeta Function are Uniformly Distributed,
but Not Random: An Answer to Calude's Open Problem
Luc Longpre and Vladik Kreinovich
link to abstract
UTEPCS9616 in LaTeX and in pdf.

Was Stonehenge an Observatory?
Gilbert Castillo and Vladik Kreinovich
link to abstract
UTEPCS9615 in plain TeX. 
Simulating Fuzzy Control as a New Method of Eliciting Membership
Functions
Bernadette BouchonMeunier and Vladik Kreinovich
link to abstract
UTEPCS9614 in LaTeX, uses proceedingsIPMU96.sty 
Fuzzy Numbers are the Only Fuzzy Sets
That Keep Invertible Operations Invertible
B. BouchonMeunier, O. Kosheleva, V. Kreinovich, and H. T. Nguyen
link to abstract
Original version UTEPCS9613 in LaTeX, uses proceedingsIPMU96.styand amssymbols.sty.
1st updated version UTEPCS9613a in LaTeX, use amssymbols.sty.
2nd updated version UTEPCS9613b in pdf 
SpaceTime is "Square Times"
More Difficult to Approximate
than Euclidean Space
Vladik Kreinovich
link to abstract
UTEPCS9612 in plain TeX. 
On the Lattice Extensions of Partial Orders of Rings
Piotr J. Wojciechowski and Vladik Kreinovich
link to abstract
UTEPCS9611 in LaTeX, uses texset.tex 
Using GelfondPrzymusinska's Epistemic Specifications to Justify
(Some) Heuristic Methods Used in
Expert Systems and Intelligent Control
Hung T. Nguyen and Vladik Kreinovich
link to abstract
Original version UTEPCS9610 in LaTeX
1st updated version UTEPCS9610a in LaTeX
2nd updated version UTEPCS9610b in LaTeX
3rd updated version UTEPCS9610c in LaTeX 
Fuzzy Logic as Applied Linear Logic
Vladik Kreinovich, Hung Nguyen, and Piotr Wojciechowski
link to abstract
UTEPCS969 in LaTeX. 
Normal Forms for Fuzzy Logic  an Application of Kolmogorov's
Theorem
Vladik Kreinovich, Hung T. Nguyen, and David A. Sprecher
link to abstract
UTEPCS968 in LaTeX. 
On the Possibility of Using Complex Values in
Fuzzy Logic for Representing Inconsistencies
Hung T. Nguyen, Vladik Kreinovich, and Valery Shekhter
link to abstract
Original version UTEPCS967 in LaTeX, uses IJA.sty
1st updated version UTEPCS967a in LaTeX
2nd updated version UTEPCS967b in LaTeX 
Relating Fuzzy Models, Theories of Action,
and Reactive Robot Control
Chitta Baral, Hung T. Nguyen, and Vladik Kreinovich
link to abstract
UTEPCS966 in LaTeX 
Acausal Processes and Astrophysics:
Case When Uncertainty is NonStatistical
Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich
link to abstract
Original version UTEPCS965a in LaTeX.
Updated version UTEPCS965b in LaTeX. 
Fuzzy Logic and Time Travel:
Possible Use of Fuzzy Logic in Mainstream Astrophysics
Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich
link to abstract
UTEPCS965 in LaTeX 
On ReScaling in Fuzzy Control and Genetic Algorithms
Hung T. Nguyen and Vladik Kreinovich
link to abstract
Original version UTEPCS964 in LaTeX
Updated version UTEPCS964a in LaTeX, uses style files 10pt.sty and latex8.sty 
ClassicalLogic Analogue of a Fuzzy "Paradox"
Hung T. Nguyen and Vladik Kreinovich
link to abstract
Original version UTEPCS963 in LaTeX
Updated version UTEPCS963a in LaTeX, uses style files 10pt.sty and latex8.sty
and in pdf 
"Interval Rational = Algebraic" Revisited:
A More Computer Realistic Result
Anatoly V. Lakeyev and Vladik Kreinovich
link to abstract
UTEPCS962 in LaTeX 
Fuzzy Logic, Logic Programming, and Linear Logic:
Towards a New Understanding of Common Sense
Hung T. Nguyen and Vladik Kreinovich
link to abstract
Original version UTEPCS961 in LaTeX
Updated version UTEPCS961a in LaTeX, uses IEEEtran.sty