CS Technical Reports

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

  • Computing with Tensors: Potential Applications of Physics-Motivated Mathematics to Computer Science
    link to abstract
    Martine Ceberio and Vladik Kreinovich
    UTEP-CS-08-45 in pdf

  • 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 Defuzzification of Interval-Valued Fuzzy Sets
    link to abstract
    Vladik Kreinovich, Van Nam Huynh, and Yohiteru Nakamori
    UTEP-CS-08-33a 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