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

• Mathematical Justification of Spectral/Covariance Techniques: On the Example of Arc Detection
  link to abstract
  Jan Beck, David Nemir, and Vladik Kreinovich
  UTEP-CS-08-44 in pdf and in Compressed Postscript

• Estimating Risk under Interval Uncertainty: Sequential and Parallel Algorithms
  link to abstract
  Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchita
  UTEP-CS-08-43 in pdf and in Compressed Postscript

• On chromatic numbers of space-times: open problems
  link to abstract
  Olga Kosheleva and Vladik Kreinovich
  UTEP-CS-08-42 in pdf and in Compressed Postscript

• A Paradox of Altruism: How Caring about Future Generations Can Result in Poverty for Everyone (Game-Theoretic Analysis)
  link to abstract
  Tanja Magoc and Vladik Kreinovich
  UTEP-CS-08-41 in pdf and in Compressed Postscript

• Viability of Travel-time Sensitivity Testing for Estimating Uncertainty of Tomographic Velocity Models: A Case Study
  link to abstract
  Matthew G. Averill, Kate C. Miller, Vladik Kreinovich, and Aaron A. Velasco
  UTEP-CS-08-40 in pdf (caution: the size of this file is 15.65 MBytes)

• A New Simplified Derivation of Nash Bargaining Solution
  link to abstract
  Tanja Magoc and Vladik Kreinovich
  UTEP-CS-08-39 in pdf and in Compressed Postscript

• An Aspect-Based Approach to Checking Design Constraints at Run-time
  link to abstract
  Yoonsik Cheon, Carmen Avila, Steve Roach, Cuahtemoc Munoz, Neith Estrada, Valeria Fierro, and Jessica Romo
  UTEP-CS-08-38 in PDF and in Compressed Postscript

• Intelligence Techniques Are Needed to Further Enhance the Advantage of Groups with Diversity in Problem Solving
  link to abstract
  Oscar Castillo, Patricia Melin, J. Esteban Gamez, Vladik Kreinovich, and Olga Kosheleva
  Original version UTEP-CS-08-37 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-37a in pdf and in Compressed Postscript

• Current Financial Crisis and Inadequate Uncertainty Processing: A Comment
  link to abstract
  Tanja Magoc and Vladik Kreinovich
  UTEP-CS-08-36 in pdf

• Verified methods for computing Pareto sets: general algorithmic analysis
  link to abstract
  Boglarka G.-Toth and Vladik Kreinovich
  Original version UTEP-CS-08-35 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-35a in pdf and in Compressed Postscript

• Additional Information about American and Arab Perceptions of an Arabic Turn-Taking Cue
  link to abstract
  Nigel Ward and Yaffa Al Bayyari
  UTEP-CS-08-34 in pdf

• Towards a More Adequate Use of Interval-Valued Fuzzy Techniques in Intelligent Control: A Fuzzy Analogue of Unimodality
  link to abstract
  Van Nam Huynh and Vladik Kreinovich
  UTEP-CS-08-33 in pdf and in Compressed Postscript

• Extracting Trust Network Information from Scientific Web Portals
  link to abstract
  Alejandro Castaneda and Paulo Pinheiro da Silva
  UTEP-CS-08-32 in pdf

• Maximum Entropy in Support of Semantically Annotated Datasets
  link to abstract
  Paulo Pinheiro da Silva, Vladik Kreinovich, and Christian Servin
  Original version UTEP-CS-08-31 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-31a in pdf and in Compressed Postscript

• TrustMap: Towards Towards Trust Recommendations for Maps
  link to abstract
  Paulo Pinheiro da Silva, Nicholas Del Rio, Vladik Kreinovich, and Alejandro Castaneda
  Original version UTEP-CS-08-30 in pdf
  Updated version UTEP-CS-08-30a in pdf

• Testing the Value of a Time-based Language Model for Speech Recognition
  link to abstract
  Nisha Kiran and Nigel G. Ward
  UTEP-CS-08-29 in pdf

• 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
  Original version UTEP-CS-08-28 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-28a 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
  Original version UTEP-CS-08-27 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-27a 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
  Original version UTEP-CS-08-26 in pdf and in Compressed Postscript
  Updated version UTEP-CS-08-26a in pdf and in Compressed Postscript
  Second updated version UTEP-CS-08-26b 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
  Original version UTEP-CS-08-25 in pdf
  Updated version UTEP-CS-08-25b in pdf and in Compressed Postscript

• 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

• Intermediate Degrees are Needed for the World to be Cognizable: Towards a New Justification for Fuzzy Logic Ideas
  link to abstract
  Hung T. Nguyen, Vladik Kreinovich, J. Esteban Gamez, Francois Modave, and Olga Kosheleva
  UTEP-CS-08-11c 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 short version UTEP-CS-08-10a in pdf and in Compressed Postscript
  Final version UTEP-CS-08-10c in pdf

• 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, Christian Servin, and Vladik Kreinovich
  Original file UTEP-CS-08-08 in pdf and in Compressed Postscript
  Updated short version UTEP-CS-08-08a in pdf and in Compressed Postscript
  Final version UTEP-CS-08-08c in pdf

• 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