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

  • 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 plain TeX.

  • 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