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