University of Texas at El Paso
Computer Science Department
Technical Reports

• Choquet Integrals and OWA Criteria as a Natural (and Optimal) Next Step After Linear Aggregation: A New General Justification
  link to abstract
  Francois Modave, Martine Ceberio, and Vladik Kreinovich
  UTEP-CS-08-28 in pdf and in Compressed Postscript

• Computing Degrees of Subsethood and Similarity for Interval-Valued Fuzzy Sets: Fast Algorithms
  link to abstract
  Hung T. Nguyen and Vladik Kreinovich
  UTEP-CS-08-27 in pdf and in Compressed Postscript

• Hypothesis Testing with Interval Data: Case of Regulatory Constraints
  link to abstract
  Sa-aat Niwitpong, Hung T. Nguyen, Ingo Neumann, and Vladik Kreinovich
  UTEP-CS-08-26 in pdf and in Compressed Postscript

• Computational Methods for Investment Portfolio: the Use of Fuzzy Measures and Constraint Programming for Risk Management
  link to abstract
  Tanja Magoc, Francois Modave, Martine Ceberio, and Vladik Kreinovich
  UTEP-CS-08-25 in pdf

• Opportunistic Checkpoint Intervals to Improve System Performance
  link to abstract
  Sarala Arunagiri, John T. Daly, Patricia J. Teller, Seetharami Seelam, Ron A. Oldfield, Maria Ruiz Varela, and Rolf Riesen
  UTEP-CS-08-24 in pdf

• Fast Algorithms for Uncertainty Propagation, and Their Applications to Structural Integrity
  link to abstract
  Andrzej Pownuk, Jakub Cerveny, and Jerald J. Brady
  UTEP-CS-08-23 in pdf and in Compressed Postscript

• Sloth-NFS and the Possibility of using Fuzzy Control to Optimize Cache Management
  link to abstract
  Ryan C. Spring and Eric A. Freudenthal
  UTEP-CS-08-22 in pdf

• Program Synthesis from Workflow-Driven Ontologies
  link to abstract
  Leonardo Salayandia, Steve Roach, and Ann Q. Gates
  UTEP-CS-08-21 in pdf

• Asymmetric Paternalism: Description of the Phenomenon, Explanation Based on Decisions Under Uncertainty, and Possible Applications to Education
  link to abstract
  Olga Kosheleva and Francois Modave
  UTEP-CS-08-20 in pdf and in Compressed Postscript

• Relations between Interval Computing and Soft Computing
  link to abstract
  Vladik Kreinovich
  UTEP-CS-08-19 in pdf and in Compressed Postscript

• How to Measure a Degree of Mismatch Between Probability Models, p-Boxes, etc.: A Decision-Theory-Motivated Utility-Based Approach
  link to abstract
  Luc Longpre, Scott Ferson, and W. Troy Tucker
  Original version UTEP-CS-08-18 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-18a in pdf and in Compressed Postscript

• Towards an Optimal Algorithm for Computing Fixed Points: Dynamical Systems Approach, With Applications to Transportation Engineering
  link to abstract
  Ruey L. Cheu, Gang Xiang, and Vladik Kreinovich
  Original version UTEP-CS-08-17 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-17a in pdf and in Compressed Postscript

• Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms
  link to abstract
  Karen Villaverde and Gang Xiang
  Original version UTEP-CS-08-16 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-16a in pdf and in Compressed Postscript

• How to Reconcile Physical Theories with the Idea of Free Will: From Analysis of a Simple Model to Interval and Fuzzy Approaches
  link to abstract
  Julio C. Urenda and Olga Kosheleva
  Original version UTEP-CS-08-15 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-15a in pdf and in Compressed Postscript

• Selecting the Most Representative Sample is NP-Hard: Need for Expert (Fuzzy) Knowledge
  link to abstract
  J. Esteban Gamez, Francois Modave, and Olga Kosheleva
  Original version UTEP-CS-08-14 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-14a in pdf and in Compressed Postscript

• Beyond Intervals: Phase Transitions Lead to More General Ranges
  link to abstract
  Karen Villaverde and Gilbert Ornelas
  Original version UTEP-CS-08-13 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-13a in pdf and in Compressed Postscript

• Applications of 1-D Versions of Image Referencing Techniques to Hydrology and to Patient Rehabilitation
  link to abstract
  Roberto Araiza, Martine Ceberio, Naga Suman Kanagala, Vladik Kreinovich, and Gang Xiang
  Original version UTEP-CS-08-12 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-12a in pdf and in Compressed Postscript

• Everything Is a Matter of Degree: A New Theoretical Justification of Zadeh's Principle
  link to abstract
  Hung T. Nguyen and Vladik Kreinovich
  Original version UTEP-CS-08-11 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-11a in pdf and in Compressed Postscript

• Square Root of "Not": A Major Difference Between Fuzzy and Quantum Logics
  link to abstract
  Vladik Kreinovich, Ladislav J. Kohout, and Eunjin Kim
  Original version UTEP-CS-08-10 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-10a in pdf and in Compressed Postscript

• CAHSI Year 2 Evaluation Report: Recruiting, Retaining, and Advancing Hispanics in Computing
  link to abstract
  Heather Thiry, Sarah Hug, and Lecia Barker
  UTEP-CS-08-09 in pdf

• Quantum Computations Techniques for Gauging Reliability of Interval and Fuzzy Data
  link to abstract
  Luc Longpre and Christian Servin
  Original file UTEP-CS-08-08 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-08a in pdf and in Compressed Postscript

• Integrating Random Testing with Constraints for Improved Efficiency and Diversity
  link to abstract
  Yoonsik Cheon, Antonio Cortes, Martine Ceberio, and Gary T. Leavens
  UTEP-CS-08-07 in pdf and in Compressed Postscript

• Identification of Human Gait in Neuro-Rehabilitation: Towards Efficient Algorithms
  link to abstract
  Naga Suman Kanagala, Martine Ceberio, Thompson Sarkodie-Gyan, Vladik Kreinovich, and Roberto Araiza
  UTEP-CS-08-06 in pdf

• A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking
  link to abstract
  Carmen Avila, Guillermo Flores, Jr., and Yoonsik Cheon
  UTEP-CS-08-05 in pdf

• Towards Fast Algorithms for Processing Type-2 Fuzzy Data: Extending Mendel's Algorithms From Interval-Valued to a More General Case
  link to abstract
  Vladik Kreinovich and Gang Xiang
  Original version UTEP-CS-08-04 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-04a in pdf and in Compressed Postscript

• Extracting Computable Bounds (and Algorithms) from Classical Existence Proofs: Girard Domains Enable Us to Go Beyond Local Compactness
  link to abstract
  Vladik Kreinovich and Karen Villaverde
  UTEP-CS-08-03 in pdf and in Compressed Postscript

• Equidecomposability (scissors congruence) of polyhedra in R^3 and R^4 is algorithmically decidable: Hilbert's 3rd Problem revisited
  link to abstract
  Vladik Kreinovich
  UTEP-CS-08-01 in pdf and in Compressed Postscript