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

• On the Functional Form of Convex Underestimators for Twice Continuously Differentiable Functions
  Christodoulos A. Floudas and Vladik Kreinovich
  link to abstract
  UTEP-CS-05-37b in pdf and in Compressed Postscript

• Towards Optimal Techniques for Solving Global Optimization Problems: Symmetry-Based Approach
  Christodoulos A. Floudas and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-05-37 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-37a in pdf and in Compressed Postscript

• Specifying and Checking Method Call Sequences of Java Programs
  Yoonsik Cheon and Ashaveena Perumandla
  link to abstract
  UTEP-CS-05-36 in pdf and in Compressed Postscript

• A Fitness Function for Modular Evolutionary Testing of Object-Oriented Programs
  Yoonsik Cheon and Myoung Kim
  link to abstract
  UTEP-CS-05-35 in pdf and in Compressed Postscript

• Images with Uncertainty: Efficient Algorithms for Shift, Rotation, Scaling, and Registration, and their Applications to Geosciences
  link to abstract
  C. G. Schiek, R. Araiza, J. M. Hurtado, A. A. Velasco, V. Kreinovich, and V. Sinyansky
  Original version UTEP-CS-05-34 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-34a in pdf

• Entropy Conserving Probability Transforms and the Entailment Principle
  Ronald R. Yager and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-05-33 in pdf
  UTEP-CS-05-33a in pdf

• Towards a Cross-Platform Microbenchmark Suite for Evaluating Hardware Performance Counter Data
  Maria Gabriela Aguilera, Roberto Araiza, Thientam Pham, and Patricia J. Teller
  link to abstract
  UTEP-CS-05-32 in pdf

• Interval-Based Robust Statistical Techniques for Non-Negative Convex Functions, with Application to Timing Analysis of Computer Chips
  Michael Orshansky, Wei-Shen Wang, Martine Ceberio, and Gang Xiang
  link to abstract
  Original version UTEP-CS-05-31 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-31a in pdf and in Compressed Postscript

• Detecting Outliers under Interval Uncertainty: A New Algorithm Based on Constraint Satisfaction
  Evgeny Dantsin, Alexander Wolpert, Martine Ceberio, Gang Xiang, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-05-30 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-30a in pdf and in Compressed Postscript

• Discrete Conservation of Nonnegativity for Elliptic Problems Solved by the hp-FEM
  Pavel Solin, Tomas Vejchodsky, and Roberto Araiza
  link to abstract
  UTEP-CS-05-29 in pdf and in Compressed Postscript

• Population Variance under Interval Uncertainty: A New Algorithm
  Evgeny Dantsin, Vladik Kreinovich, Alexander Wolpert, and Gang Xiang
  link to abstract
  Original version UTEP-CS-05-28 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-28a in pdf and in Compressed Postscript

• Decision Making Beyond Arrow'S "Impossibility Theorem", with the Analysis of Effects of Collusion and Mutual Attraction
  Hung T. Nguyen, Olga Kosheleva and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-05-27 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-27a in pdf and in Compressed Postscript

• Quantum Versions of K-CSP Algorithms: A First Step Towards Quantum Algorithms for Interval-Related Constraint Satisfaction Problems
  Evgeny Dantsin, Alexander Wolpert, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-05-26a in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-26b in pdf and in Compressed Postscript

• On Quantum Versions of Record-Breaking Algorithms for SAT
  Evgeny Dantsin, Vladik Kreinovich, and Alexander Wolpert
  link to abstract
  UTEP-CS-05-26 in pdf and in Compressed Postscript

• Towards Interval Techniques for Processing Educational Data
  Olga Kosheleva, Vladik Kreinovich, Luc Longpre, Mourat Tchoshanov, and Gang Xiang
  link to abstract
  UTEP-CS-05-25c in pdf and in Compressed Postscript

• Processing Educational Data: From Traditional Statistical Techniques to an Appropriate Combination of Probabilistic, Interval, and Fuzzy Approaches
  Olga M. Kosheleva and Martine Ceberio
  link to abstract
  UTEP-CS-05-25 in pdf and in Compressed Postscript

• Computing Mean and Variance under Dempster-Shafer Uncertainty: Towards Faster Algorithms
  Vladik Kreinovich, Gang Xiang, and Scott Ferson
  link to abstract
  Original version UTEP-CS-05-24 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-24a in pdf and in Compressed Postscript

• Some Usability Issues and Research Priorities in Spoken Dialog Applications
  Nigel G. Ward, Anais G. Rivera, Karen Ward and David G. Novick
  link to abstract
  UTEP-CS-05-23 in pdf

• Consortium of CISE-MII Funded Institutions: Initial Recommendations on Broadening Participation of Hispanics
  Ann Q. Gates
  link to abstract
  UTEP-CS-05-22 in pdf

• If an Exact Interval Computation Problem is NP-Hard, Then the Approximate Problem is Also NP-Hard: A Meta-Result
  Aline B. Loreto, Laira V. Toscani, Leila Robeiro, Dalcidio M. Claudio, Liara S. Leal, Luc Longpre, and Vladik Kreinovich
  link to abstract
  UTEP-CS-05-21 in pdf and in Compressed Postscript

• Kolmogorov Complexity Leads to a Representation Theorem for Idempotent Probabilities (Sigma-Maxitive Measures)
  Vladik Kreinovich and Luc Longpre
  link to abstract
  UTEP-CS-05-20 in pdf and in Compressed Postscript

• Using Expert Knowledge in Solving the Seismic Inverse Problem
  Matthew G. Averill, Kate C. Miller, G. Randy Keller, Vladik Kreinovich, Roberto Araiza, and Scott A. Starks
  link to abstract
  Original version UTEP-CS-05-19 in pdf and in Compressed Postscript
  1st updated version UTEP-CS-05-19a in pdf and in Compressed Postscript
  2nd updated version UTEP-CS-05-19b in pdf and in Compressed Postscript

• How to Reconstruct the Original Shape of a Radar Signal?
  Matthew G. Averill, Gang Xiang, Vladik Kreinovich, G. Randy Keller, Scott A. Starks, Patrick S. Debroux, and James Boehm
  link to abstract
  UTEP-CS-05-18 in pdf and in Compressed Postscript

• How the Concept of Information as Average Number of "Yes"-"No" Questions (Bits) Can Be Extended to Intervals, P-Boxes, and More General Uncertainty
  Vladik Kreinovich, Gang Xiang, and Scott Ferson
  link to abstract
  UTEP-CS-05-17 in pdf and in Compressed Postscript

• Kaluza-Klein 5D Ideas Made Fully Geometric
  Scott A. Starks, Olga Kosheleva, and Vladik Kreinovich
  link to abstract
  UTEP-CS-05-16a in pdf and in Compressed 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-05-16 in pdf and in Compressed Postscript

• Use of Maxitive (Possibility) Measures in Foundations of Physics and Description of Randomness: Case Study
  A. M. Finkelstein, O. Kosheleva, V. Kreinovich, S. A. Starks, H. T. Nguyen
  link to abstract
  UTEP-CS-05-15 in pdf and in Compressed Postscript

• Supporting Documentation for the SPS-Prospec Case Study
  Salamah I. Salamah and Ann Q. Gates
  link to abstract
  UTEP-CS-05-14 in pdf

• Ellipsoids and Ellipsoid-Shaped Fuzzy Sets as Natural Multi-Variate Generalization of Intervals and Fuzzy Numbers: How to Elicit them from Users, and How to Use them in Data Processing
  Vladik Kreinovich, Jan Beck, and Hung T. Nguyen
  link to abstract
  Original version UTEP-CS-05-13 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-13b in pdf and in Compressed Postscript

• Interval Methods: An Introduction
  Luke Achenie, Vladik Kreinovich, and Kaj Madsen
  link to abstract
  UTEP-CS-05-12 in pdf and in Compressed Postscript

• NSF Advance: Institutional Transformation for Faculty Diversity - Faculty Worklife Survey Results
  Manuela Romero and Ann Q. Gates
  link to abstract
  UTEP-CS-05-11 in pdf

• A Contextual Interpretation of Undefinedness for Runtime Assertion Checking
  Yoonsik Cheon and Gary T. Leavens
  link to abstract
  UTEP-CS-05-10 in PDF and in Compressed Postscript

• Combining Interval, Probabilistic, and Fuzzy Uncertainty: Foundations, Algorithms, Challenges -- An Overview
  Vladik Kreinovich, Daniel J. Berleant, Scott Ferson, and Weldon A. Lodwick
  link to abstract
  Original version UTEP-CS-05-09 in pdf and in Compressed Postscript
  1st updated version UTEP-CS-05-09a in pdf and in Compressed Postscript
  2nd updated version UTEP-CS-05-09c in pdf and in Compressed Postscript

• Which Fuzzy Logic is the Best: Pragmatic Approach (and its Theoretical Analysis)
  Vladik Kreinovich and Hung T. Nguyen
  link to abstract
  Original version UTEP-CS-05-08 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-08a in pdf and in Compressed Postscript

• On Inverse Halftoning: Computational Complexity and Interval Computations
  S. D. Cabrera, K. Iyer, G. Xiang, and V. Kreinovich
  link to abstract
  UTEP-CS-05-07 in pdf and in Compressed Postscript

• Supporting Documentation for the 2003 SPS-Prospec Experiment
  Oscar Mondragon and Salamah Salamah
  link to abstract
  UTEP-CS-05-06 in pdf

• A Complete Automation of Unit Testing for Java Programs
  Yoonsik Cheon, Myoung Yee Kim, and Ashaveena Perumandla
  link to abstract
  UTEP-CS-05-05 in PDF and in Compressed Postscript

• Specifying and Checking Method Call Sequences in JML
  Yoonsik Cheon and Ashaveena Perumandla
  link to abstract
  UTEP-CS-05-04 in PDF and in Compressed Postscript

• A Universal Sensor Model
  Valery Mazin and Vladik Kreinovich
  link to abstract
  UTEP-CS-05-03 in pdf and in Compressed Postscript

• Optimization and Decision Making under Interval and Fuzzy Uncertainty: Towards New Mathematical Foundations
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-05-02 in pdf and in Compressed Postscript
  Updated version UTEP-CS-05-02a in pdf and in Compressed Postscript

• Egyptian Fractions Revisited
  Olga Kosheleva and Vladik Kreinovich
  link to abstract
  UTEP-CS-05-01 in pdf and in Compressed Postscript