UTEP >> College of Engineering >> Computer Science >> Technical Reports

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:

<< Back to Main Page .

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
UTEP-CS-08-03b in pdf
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