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 UTEP-CS-96-49 in LaTeX
Updated version UTEP-CS-96-49a in LaTeX
both files use crckapb.sty; latest version in pdf. -
Interval-Valued Fuzzy Control in Space Exploration
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEP-CS-96-48b in LaTeX, uses IEEEtran.sty and in pdf -
Intelligent Control in Space Exploration:
What Non-Linearity to Choose?
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEP-CS-96-48a 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
UTEP-CS-96-48 in LaTeX, uses IEEEtran.sty, and in pdf. -
From Interval Computations to Modal Mathematics:
Applications and Computational Complexity
Bernadette Bouchon-Meunier and Vladik Kreinovich
link to abstract
UTEP-CS-96-47 in LaTeX. -
Natural Requirements for Interval Roundings Lead to
a Hardware-Independent Characterization
of Standard Rounding Procedures
T. E. Kaminsky and V. Kreinovich
link to abstract
UTEP-CS-96-46 in LaTeX. -
QFT + NP = P
Quantum Field Theory (QFT): A Possible Way of Solving
NP-Complete Problems in Polynomial Time
Adriana Beltran, Vladik Kreinovich, and Luc Longpre
link to abstract
Original version UTEP-CS-96-45 in LaTeX, uses IEEEtran.sty.;
Updated version UTEP-CS-96-45a in LaTeX.
Updated version UTEP-CS-96-45c in pdf- Nonstandard (Non-Sigma-Additive) Probabilities
in Algebraic Quantum Field Theory
Vladik Kreinovich and Luc Longpre
link to abstract
UTEP-CS-96-44 in LaTeX, in Compressed PostScript, and in pdf.- From Numerical Intervals to Set Intervals
(Interval-related results presented at
the First International Workshop
on Applications and Theory of Random Sets)
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEP-CS-96-43 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 UTEP-CS-96-42 in LaTeX.
1st updated version UTEP-CS-96-42a in LaTeX, uses psfig.sty and sym_p_f.eps;
2nd updated version UTEP-CS-96-42b in Compressed PostScript and in pdf;
3rd updated version UTEP-CS-96-42c in Compressed PostScript and in pdf- Fuzzy Implication Can Be Arbitrarily Complicated:
A Theorem
Francisco G. Fernandez and Vladik Kreinovich
link to abstract
UTEP-CS-96-41 in LaTeX.- Geometric Approach to Quark Confinement
Vladik Kreinovich and Piotr Wojciechowski
link to abstract
Original version UTEP-CS-96-40 in LaTeX,
Updated version UTEP-CS-96-40a in plain TeX, in Compressed PostScript, and in pdf.- Astrogeometry: Towards Mathematical Foundations
Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
link to abstract
UTEP-CS-96-39b in LaTeX, in Compressed PostScript, and in pdf.- Astrogeometry, Error Estimation,
and Other Applications of Set-Valued Analysis
Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
link to abstract
Original version UTEP-CS-96-39 in LaTeX, uses ima.sty, ima10.sty, epsf.sty, and amssym.def.
Updated version UTEP-CS-96-39a 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
UTEP-CS-96-38 in plain TeX.- Optimal Interval Computation Techniques:
Optimization of Numerical Methods
in Case of Uncertainty
Vladik Kreinovich and Raul Trejo
link to abstract
UTEP-CS-96-37 in plain TeX and in pdf- How to Define an Average of Several Sets?
Vladik Kreinovich and Ilya Molchanov
link to abstract
UTEP-CS-96-36 in plain TeX.- Using Robust Optimization
to Play against an Imperfect Opponent
Ronald R. Yager and Vladik Kreinovich
link to abstract
UTEP-CS-96-35 in LaTeX.- Signal Design for Radar Imaging in Radar Astronomy:
Genetic Optimization
Benjamin C. Flores, Vladik Kreinovich, and Roberto Vasquez
link to abstract
UTEP-CS-96-34 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 UTEP-CS-96-33 in LaTeX;
Updated version UTEP-CS-96-33b 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
UTEP-CS-96-32 in LaTeX.- Towards a More Realistic Definition of Feasibility
Douglas Schirmer and Vladik Kreinovich
link to abstract
UTEP-CS-96-31 in LaTeX.- Geometry of Errors Revisited:
A Natural Way to
Vector-Valued Metric Spaces
Gerhard Heindl, Vladik Kreinovich, and Bernadette Bouchon-Meunier
link to abstract
UTEP-CS-96-30 in plain TeX.- Granularity via Non-Deterministic Computations:
What We Gain and What We Lose
Vladik Kreinovich and Bernadette Bouchon-Meunier
link to abstract
Original version UTEP-CS-96-29 in LaTeX;
Short version UTEP-CS-96-29a in LaTeX.- Fuzzy Modus Ponens as a Calculus of Logical Modifiers:
Towards Zadeh's Vision of Implication Calculus
Bernadette Bouchon-Meunier and Vladik Kreinovich
link to abstract
UTEP-CS-96-28 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 UTEP-CS-96-27 in LaTeX
1st updated version UTEP-CS-96-27a in LaTeX
2nd updated version UTEP-CS-96-27b in LaTeX
3rd updated version UTEP-CS-96-27c 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 Bouchon-Meunier
link to abstract
UTEP-CS-96-26 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
UTEP-CS-96-25 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 Bouchon-Meunier, and Vladik Kreinovich
link to abstract
Original version UTEP-CS-96-24 in LaTeX
Updated version UTEP-CS-96-24a 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 Bouchon-Meunier and Vladik Kreinovich
link to abstract
UTEP-CS-96-23 in LaTeX and in pdf- On a Theoretical Justification of the Choice of
Epsilon-Inflation in Pascal-XSC
Vladik Kreinovich, Guenter Mayer, and Scott Starks
link to abstract
Original version UTEP-CS-96-22 in LaTeX
Updated version UTEP-CS-96-22a in LaTeX, compressed PostScript, and pdf.- Kolmogorov's Theorem
and its Impact on Soft Computing
Hung T. Nguyen and Vladik Kreinovich
link to abstract
UTEP-CS-96-21 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
UTEP-CS-96-20 in LaTeX.- Randomness as Incompressibility: A Non-Algorithmic Analogue
Vladik Kreinovich and Luc Longpre
link to abstract
UTEP-CS-96-19 in LaTeX.- Astrogeometry: Geometry Explains Shapes of Celestial Bodies
Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich
link to abstract
UTEP-CS-96-18 in plain TeX.- Earthquakes and Geombinatorics
Diane Doser, Mohamed Amine Khamsi, and Vladik Kreinovich
link to abstract
UTEP-CS-96-17 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
UTEP-CS-96-16 in LaTeX and in pdf.
- Was Stonehenge an Observatory?
Gilbert Castillo and Vladik Kreinovich
link to abstract
UTEP-CS-96-15 in plain TeX.- Simulating Fuzzy Control as a New Method of Eliciting Membership Functions
Bernadette Bouchon-Meunier and Vladik Kreinovich
link to abstract
UTEP-CS-96-14 in LaTeX, uses proceedingsIPMU96.sty- Fuzzy Numbers are the Only Fuzzy Sets That Keep Invertible Operations Invertible
B. Bouchon-Meunier, O. Kosheleva, V. Kreinovich, and H. T. Nguyen
link to abstract
Original version UTEP-CS-96-13 in LaTeX, uses proceedingsIPMU96.styand amssymbols.sty.
1st updated version UTEP-CS-96-13a in LaTeX, use amssymbols.sty.
2nd updated version UTEP-CS-96-13b in pdf- Space-Time is "Square Times" More Difficult to Approximate than Euclidean Space
Vladik Kreinovich
link to abstract
UTEP-CS-96-12 in plain TeX.- On the Lattice Extensions of Partial Orders of Rings
Piotr J. Wojciechowski and Vladik Kreinovich
link to abstract
UTEP-CS-96-11 in LaTeX, uses tex-set.tex- Using Gelfond-Przymusinska'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 UTEP-CS-96-10 in LaTeX
1st updated version UTEP-CS-96-10a in LaTeX
2nd updated version UTEP-CS-96-10b in LaTeX
3rd updated version UTEP-CS-96-10c in LaTeX- Fuzzy Logic as Applied Linear Logic
Vladik Kreinovich, Hung Nguyen, and Piotr Wojciechowski
link to abstract
UTEP-CS-96-9 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
UTEP-CS-96-8 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 UTEP-CS-96-7 in LaTeX, uses IJA.sty
1st updated version UTEP-CS-96-7a in LaTeX
2nd updated version UTEP-CS-96-7b in LaTeX- Relating Fuzzy Models, Theories of Action, and Reactive Robot Control
Chitta Baral, Hung T. Nguyen, and Vladik Kreinovich
link to abstract
UTEP-CS-96-6 in LaTeX- Acausal Processes and Astrophysics:
Case When Uncertainty is Non-Statistical
Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich
link to abstract
Original version UTEP-CS-96-5a in LaTeX.
Updated version UTEP-CS-96-5b 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
UTEP-CS-96-5 in LaTeX- On Re-Scaling in Fuzzy Control and Genetic Algorithms
Hung T. Nguyen and Vladik Kreinovich
link to abstract
Original version UTEP-CS-96-4 in LaTeX
Updated version UTEP-CS-96-4a in LaTeX, uses style files 10pt.sty and latex8.sty- Classical-Logic Analogue of a Fuzzy "Paradox"
Hung T. Nguyen and Vladik Kreinovich
link to abstract
Original version UTEP-CS-96-3 in LaTeX
Updated version UTEP-CS-96-3a 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
UTEP-CS-96-2 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 UTEP-CS-96-1 in LaTeX
Updated version UTEP-CS-96-1a in LaTeX, uses IEEEtran.sty - Nonstandard (Non-Sigma-Additive) Probabilities