University of Texas at El Paso
Computer Science Department
List of 1997 Reports

• Why Kolmogorov Complexity in Physical Equations
  Vladik Kreinovich and Luc Longpre
  link to abstract
  UTEP-CS-97-38 in PostScript.

• Kolmogorov Complexity Justifies Software Engineering Heuristics
  Ann Q. Gates, Vladik Kreinovich, and Luc Longpre
  link to abstract
  UTEP-CS-97-37a in PostScript.

• Coincidences are Not Accidental: A Theorem
  Vladik Kreinovich
  link to abstract
  UTEP-CS-97-36 in PostScript.

• From Expert Words Directly to Numerical Simulations: Group-Theoretic Approach to Computing with Words in Information/Intelligent Systems
  Vladik Kreinovich, Brian Penn, and Scott Starks
  link to abstract
  UTEP-CS-97-35 in PostScript.

• Interval Approach to Non-Destructive Testing of Aerospace Structures and to Mammography
  Keith Worden, Roberto Osegueda, Carlos Ferregut, Soheil Nazarian, Eulalio Rodriguez, Debra L. George, Mary J. George, and Vladik Kreinovich, Olga Kosheleva, and Sergio Cabrera
  link to abstract
  Original version UTEP-CS-97-34 in PostScript.
  Updated version UTEP-CS-97-34a in PostScript.

• Complexity of Collective Decision Making Explained by Neural Network Universal Approximation Theorem
  Raul A. Trejo and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-97-33 in PostScript.
  Updated version UTEP-CS-97-33a in PostScript and pdf.

• Strong Negation: Its Relation to Intervals and its Use in Expert Systems
  Scott A. Starks, Vladik Kreinovich, Hung T. Nguyen, Hoang Phuong Nguyen, and Mirko Navara
  link to abstract
  Original version UTEP-CS-97-32 in PostScript.
  Updated version UTEP-CS-97-32a in PostScript.

• From Fuzzification and Intervalization to Anglification: A New 5D Geometric Formalism for Physics and Data Processing
  Scott A. Starks and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-31 in PostScript.

• OO or Not OO: When Object-Oriented is Better. Qualitative Analysis and Application to Satellite Image Processing
  Ann Gates, Vladik Kreinovich, Leticia Sifuentes, and Scott Starks
  link to abstract
  Original version UTEP-CS-97-30 in PostScript.
  Updated version UTEP-CS-97-30a in Postscript and pdf.

• Where to Bisect a Box? A Theoretical Explanation of the Experimental Results
  Vladik Kreinovich and R. Baker Kearfott
  link to abstract
  Original version UTEP-CS-97-29 in PostScript.
  Updated version UTEP-CS-97-29a in PostScript.

• Computational Complexity and Feasibility of Fuzzy Data Processing: Why Fuzzy Numbers, Which Fuzzy Numbers, Which Operations with Fuzzy Numbers
  Hung T. Nguyen, Misha Koshelev, Vladik Kreinovich, Olga Kosheleva, Vladik Kreinovich, and Radko Mesiar
  link to abstract
  Original version UTEP-CS-97-28 in PostScript;
  Updated version UTEP-CS-97-28a in PostScript.

• Operations with Fuzzy Numbers Explain Heuristic Methods in Image Processing
  Olga Kosheleva, Vladik Kreinovich, Bernadette Bouchon-Meunier, and Radko Mesiar
  link to abstract
  Original version UTEP-CS-97-27 in PostScript;
  Updated version UTEP-CS-97-27a in PostScript.

• Adding Fuzzy Integral to Fuzzy Control
  Hung T. Nguyen, Vladik Kreinovich, and Richard Alo
  link to abstract
  Original version UTEP-CS-97-26 in PostScript;
  Updated version UTEP-CS-97-26a in Postscript, Compressed Postscript, and pdf.

• How to Divide a Territory? A New Simple Differential Formalism for Optimization of Set Functions
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-97-25 in PostScript;
  Updated version UTEP-CS-97-25a in Postscript, Compressed Postscript, and pdf.

• A Variation on the Zero-One Law
  Andreas Blass, Yuri Gurevich, Vladik Kreinovich, and Luc Longpre
  link to abstract
  Original version UTEP-CS-97-24 in PostScript;
  Updated version UTEP-CS-97-24a in PostScript.

• Maximum Entropy Approach to Optimal Sensor Placement for Aerospace Non-Destructive Testing
  Roberto Osegueda, Carlos Ferregut, Mary J. George, Jose M. Gutierrez, and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-23 in PostScript and in pdf.

• Environmentally-Oriented Processing of Multi-Spectral Satellite Images: New Challenges for Bayesian Methods
  Scott A. Starks and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-22 in PostScript.

• We Must Choose the Simplest Physical Theory: Levin-Li-Vitanyi Theorem and its Potential Physical Applications
  Dirk Fox, Martin Schmidt, Misha Koshelev, Vladik Kreinovich, Luc Longpre', and Jeff Kuhn
  link to abstract
  UTEP-CS-97-21 in PostScript.

• Which Algorithms are Feasible? MaxEnt Approach
  Daniel E. Cooke, Vladik Kreinovich, and Luc Longpre
  link to abstract
  UTEP-CS-97-20 in PostScript.

• Sensor Placement for Aerospace Non-Destructive Evaluation (NDE): Optimization under Fuzzy Uncertainty
  Roberto Osegueda, Carlos Ferregut, Mary J. George, Jose M. Gutierrez, and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-19 in PostScript.

• The Challenge of Hyper-Spectral Satellite Imaging and Integer-Valued Fuzzy Sets
  Maria Beltran, Vladik Kreinovich, and Scott A. Starks
  link to abstract
  UTEP-CS-97-18 in PostScript.

• ALPS: A Logic for Program Synthesis (Motivated by Fuzzy Logic)
  Daniel E. Cooke, Vladik Kreinovich, and Scott A. Starks
  link to abstract
  UTEP-CS-97-17a in PostScript and in pdf.

• A Modification of Sugeno Integral Describes Stability and Smoothness of Fuzzy Control
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-16a in PostScript.

• Identification and Classification of Inconsistency in Relationship to Software Maintenance
  Daniel Cooke, Luqi, and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-15 in PostScript.

• Computational Geometry and Artifical Neural Networks: A Hybrid Approach to Optimal Sensor Placement for Aerospace NDE
  Roberto Osegueda, Carlos Ferregut, Mary J. George, Jose M. Gutierrez, and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-14 in PostScript.

• Multi-Resolution Data Processing: It is Necessary, it is Possible, it is Fundamental
  S. A. Starks, V. Kreinovich, and A. Meystel
  link to abstract
  UTEP-CS-97-13 in PostScript.

• Towards Computers of Generation Omega - Non-Equilibrium Thermodynamics, Granularity, and Acausal Processes: A Brief Survey
  M. Koshelev and V. Kreinovich
  link to abstract
  UTEP-CS-97-12 in PostScript.

• Non-Equilibrium Thermodynamics Explains Semiotic Shapes: Applications to Astronomy and to Non-Destructive Testing of Aerospace Systems
  Roberto Osegueda, Carlos Ferregut, Mary J. George, Jose M. Gutierrez, and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-11 in PostScript.

• How to Make World Wide Web Sites Faster and Easier to Use
  Misha Koshelev
  link to abstract
  UTEP-CS-97-10 in PostScript.

• Spinal Cord Stimulation for Chronic Pain Management: Towards an Expert System
  Kenneth M. Alo, Richard Alo, Andre de Korvin, and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-9a in PostScript and pdf.

• Optimal Approximation of Quadratic Interval Functions
  Misha Koshelev, Luc Longpre, and Patrick Taillibert
  link to abstract
  UTEP-CS-97-8 in LaTeX.

• Why Intervals? Because If We Allow Other Sets, Tractable Problems Become Intractable
  Monica Nogueira and Amarendra Nandigam
  link to abstract
  UTEP-CS-97-7 in LaTeX.

• Methodology of Fuzzy Control: An Introduction
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-6 in LaTeX, uses style file crckapb.sty.

• Soft Computing: Frontiers?
  A Case Study of Hyper-Spectral Satellite Imaging
  Scott Starks and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-5a in PostScript.

• Soft Computing Explains Heuristic Numerical Methods in Data Processing and in Logic Programming
  Hung T. Nguyen, Vladik Kreinovich, and Bernadette Bouchon-Meuiner
  link to abstract
  UTEP-CS-97-4a in PostScript.

• Strict Achimedean t-Norms and t-Conorms as Universal Approximators
  Hung T. Nguyen, Vladik Kreinovich and Piotr Wojciechowski
  link to abstract
  UTEP-CS-97-3a in PostScript.

• Computers of Generation Omega
  Vladik Kreinovich
  link to abstract
  UTEP-CS-97-2 in ASCII.

• Multi-Criteria Optimization - an Important Foundation of Fuzzy System Design
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-97-1 in LaTeX, Compressed Postscript, and pdf.