CS Technical Reports

The file that you are reading contains the list of our 2005 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:

  • 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
    Original version UTEP-CS-05-01 in pdf and in Compressed Postscript
    Updated version UTEP-CS-05-01a in pdf and in Compressed Postscript