CS Technical Reports

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

  • Reasons why Mobile Telephone Conversations may be Annoying: Considerations and Pilot Studies
    link to abstract
    Nigel G. Ward, Anais G. Rivera, and Alejandro Vega
    UTEP-CS-07-60 in pdf

  • How to Estimate, Take Into Account, and Improve Travel Time Reliability in Transportation Networks
    link to abstract
    Ruey L. Cheu, Vladik Kreinovich, Francois Modave, Gang Xiang, Tao Li, and Tanja Magoc
    UTEP-CS-07-59 in pdf and in Compressed Postscript

  • Statistical Hypothesis Testing Under Interval Uncertainty: An Overview
    link to abstract
    Vladik Kreinovich, Hung T. Nguyen, and Sa-aat Niwitpong
    UTEP-CS-07-58 in pdf and in Compressed Postscript

  • A Fitness Function to Find Feasible Sequences of Method Calls for Evolutionary Testing of Object-Oriented Programs
    link to abstract
    Myoung Yee Kim and Yoonsik Cheon
    UTEP-CS-07-57 in pdf and in Compressed Postscript

  • Propagation and Provenance of Probabilistic and Interval Uncertainty in Cyberinfrastructure-Related Data Processing and Data Fusion
    link to abstract
    Paulo Pinheiro da Silva, Aaron Velasco, Martine Ceberio, Christian Servin, Matthew G. Averill, Nicholas Del Rio, Luc Longpre, and Vladik Kreinovich
    UTEP-CS-07-56 in pdf and in Compressed Postscript

  • Impact of Checkpoint Latency on the Optimal Checkpoint Interval and Execution Time
    link to abstract
    Sarala Arunagiri, Seetharami Seelam, Ron A. Oldfield, Maria Ruiz Varela, Patricia J. Teller, and Rolf Riesen
    Original version UTEP-CS-07-55 in pdf
    Updated version UTEP-CS-07-55a in pdf

  • Estimating Quality of Support Vector Machines Learning Under Probabilistic and Interval Uncertainty: Algorithms and Computational Complexity
    Canh Hao Nguyen, Tu Bao Ho, and Vladik Kreinovich
    link to abstract
    UTEP-CS-07-54 in pdf and in Compressed Postscript

  • Interval Computations and Interval-Related Statistical Techniques: Tools for Estimating Uncertainty of the Results of Data Processing and Indirect Measurements
    Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-53 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-53b in pdf and in Compressed Postscript

  • Application-Motivated Combinations of Fuzzy, Interval, and Probability Approaches, and Their Use in Geoinformatics, Bioinformatics, and Engineering
    Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-52 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-52a in pdf and in Compressed Postscript
    Final version UTEP-CS-07-52b in pdf and in Compressed Postscript

  • How to Avoid Gerrymandering: A New Algorithmic Solution
    Gregory B. Lush, Esteban Gamez, and Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-51 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-51a in pdf and in Compressed Postscript

  • WDO-It! A Tool for Building Scientific Workflows from Ontologies
    Paulo Pinheiro da Silva, Leonardo Salayandia, and Ann Gates
    link to abstract
    UTEP-CS-07-50 in pdf

  • Fast Algorithms for Computing Statistics under Interval Uncertainty: An Overview
    Vladik Kreinovich and Gang Xiang
    link to abstract
    Original version UTEP-CS-07-49 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-49a in pdf and in Compressed Postscript

  • Trade-Off Between Sample Size and Accuracy: Case of Dynamic Measurements under Interval Uncertainty
    Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Scott Ferson
    link to abstract
    Original version UTEP-CS-07-48 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-48a in pdf and in Compressed Postscript

  • Trade-Off Between Sample Size and Accuracy: Case of Measurements under Interval Uncertainty
    Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Scott Ferson
    link to abstract
    UTEP-CS-07-47c in pdf

  • Trade-Off Between Sample Size and Accuracy: Case of Static Measurements under Interval Uncertainty
    Hung T. Nguyen and Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-47 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-47a in pdf and in Compressed Postscript

  • Aggregation in Biological Systems: Computational Aspects
    Vladik Kreinovich and Max Shpak
    link to abstract
    Original version UTEP-CS-07-46 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-46a in pdf and in Compressed Postscript

  • Traffic Assignment for Risk Averse Drivers in a Stochastic Network
    Ruey Long Cheu, Vladik Kreinovich, and Srinivasa R. Manduva
    link to abstract
    UTEP-CS-07-45 in pdf

  • The Gravity Data Ontology: Laying the Foundation for Workflow-Driven Ontologies
    Ann Q. Gates, G. Randy Keller, Flor Salcedo, Paulo Pinheiro da Silva, and Leonardo Salayandia
    link to abstract
    UTEP-CS-07-44 in pdf

  • Identifying and Explaining Map Quality Through Provenance: A User Study
    Nicholas Del Rio and Paulo Pinheiro da Silva
    link to abstract
    Original version UTEP-CS-07-43 in pdf
    Updated version UTEP-CS-07-43a in pdf

  • Towards a Combination of Interval and Ellipsoid Uncertainty
    Vladik Kreinovich, Arnold Neumaier, and Gang Xiang
    link to abstract
    UTEP-CS-07-42 in pdf and in Compressed Postscript
    UTEP-CS-07-42b in pdf and in Compressed Postscript

  • Abstraction in Assertion-Based Test Oracles
    Yoonsik Cheon
    link to abstract
    UTEP-CS-07-41 in PDF and in Compressed Postscript

  • A Quick Tutorial on JET
    Yoonsik Cheon
    link to abstract
    UTEP-CS-07-40 in PDF and in Compressed Postscript

  • Towards a More Physically Adequate Definition of Randomness: A Topological Approach
    Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-39 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-39a in pdf and in Compressed Postscript

  • Any (True) Statement Can Be Generalized So That It Becomes Trivial: A Simple Formalization of D. K. Faddeev's Belief
    Vladik Kreinovich
    link to abstract
    UTEP-CS-07-38 in pdf

  • Computing at Least One of Two Roots of a Polynomial Is, in General, Not Algorithmic
    Vladik Kreinovich
    link to abstract
    UTEP-CS-07-37 in pdf and in Compressed Postscript

  • Evaluation Of HF RFID for Implanted Medical Applications
    Eric Freudenthal, David Herrera, Frederick Kautz, Carlos Natividad, Alexandria Ogrey, Justin Sipla, Abimael Sosa, Carlos Betancourt, and Leonardo Estevez
    link to abstract
    UTEP-CS-07-36 in pdf

  • From (Idealized) Exact Causality-Preserving Transformations to Practically Useful Approximately-Preserving Ones: A General Approach
    Vladik Kreinovich and Olga Kosheleva
    link to abstract
    UTEP-CS-07-35 in pdf and in Compressed Postscript

  • Computational Complexity of Determining Which Statements about Causality Hold in Different Space-Time Models
    Vladik Kreinovich and Olga Kosheleva
    link to abstract
    Original version UTEP-CS-07-34 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-34a in pdf and in Compressed Postscript

  • When Are Two Wave Functions Distinguishable: A New Answer to Pauli's Question, with Potential Applications to Quantum Cosmology
    Luc Longpre and Vladik Kreinovich
    link to abstract
    UTEP-CS-07-33 in pdf and in Compressed Postscript

  • Interval Computations as an Important Part of Granular Computing: An Introduction
    Vladik Kreinovich
    link to abstract
    UTEP-CS-07-32 in pdf and in Compressed Postscript

  • Towards Efficient Prediction of Decisions under Interval Uncertainty
    Van Nam Huynh, Vladik Kreinovich, Yoshiteru Nakamori, and Hung T. Nguyen
    link to abstract
    Original version UTEP-CS-07-31 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-31a in pdf and in Compressed Postscript

  • In Some Curved Spaces, One Can Solve NP-Hard Problems in Polynomial Time
    Vladik Kreinovich and Maurice Margenstern
    link to abstract
    Original version UTEP-CS-07-30 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-30a in pdf and in Compressed Postscript

  • Static Space-Times Naturally Lead to Quasi-Pseudometrics
    Hans-Peter A. Kuenzi and Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-29 in pdf and in Compressed Postscript
    1st updated version UTEP-CS-07-29b in pdf and in Compressed Postscript
    2nd updated version UTEP-CS-07-29c in pdf and in Compressed Postscript

  • On Probability of Making a Given Decision: A Theoretically Justified Transition from Interval to Fuzzy Uncertainty
    Van Nam Huynh, Yoshiteru Nakamori, and Francois Modave
    link to abstract
    UTEP-CS-07-28 in pdf and in Compressed Postscript

  • Towards Optimal Scheduling for Global Computing under Probabilistic, Interval, and Fuzzy Uncertainty, with Potential Applications to Bioinformatics
    Roberto Araiza, Michela Taufer, and Ming-Ying Leung
    link to abstract
    UTEP-CS-07-27 in pdf and in Compressed Postscript

  • Computing Statistical Characteristics When We Know Probabilities with Interval or Fuzzy Uncertainty: Computational Complexity
    Gang Xiang and Jim W. Hall
    link to abstract
    UTEP-CS-07-26 in pdf and in Compressed Postscript

  • Detecting Duplicates in Geoinformatics: From Intervals and Fuzzy Numbers to General Multi-D Uncertainty
    Scott A. Starks, Luc Longpre, Roberto Araiza, Vladik Kreinovich, and Hung T. Nguyen
    link to abstract
    UTEP-CS-07-25 in pdf and in Compressed Postscript

  • Von Mises Failure Criterion in Mechanics of Materials: How to Efficiently Use It Under Interval and Fuzzy Uncertainty
    Gang Xiang, Andrzej Pownuk, Olga Kosheleva, and Scott A. Starks
    link to abstract
    UTEP-CS-07-24 in pdf and in Compressed Postscript

  • Under Interval and Fuzzy Uncertainty, Symmetric Markov Chains are More Difficult to Predict
    Roberto Araiza, Gang Xiang, Olga Kosheleva, and Damjan Skulj
    link to abstract
    UTEP-CS-07-23 in pdf and in Compressed Postscript

  • Throttling I/O Streams to Accelerate File-I/O Performance
    Seetharami Seelam, Andre Kerstens, and Patricia Teller
    link to abstract
    UTEP-CS-07-22 in pdf

  • Fitting a Normal Distribution to Interval and Fuzzy Data
    Gang Xiang, Vladik Kreinovich, and Scott Ferson
    link to abstract
    UTEP-CS-07-21 in pdf and in Compressed Postscript

  • Towards a General Description of Interval Multiplications: Algebraic Analysis and its Relation to T-Norms
    Olga Kosheleva, Guenter Mayer, and Vladik Kreinovich
    link to abstract
    UTEP-CS-07-20 in pdf and in Compressed Postscript

  • Set-Valued Extensions of Fuzzy Logic: Classification Theorems
    Gilbert Ornelas and Vladik Kreinovich
    link to abstract
    UTEP-CS-07-19 in pdf and in Compressed Postscript

  • Architectural Assertions: Checking Architectural Constraints at Run-Time
    Hyotaeg Jung, Carlos E. Rubio-Medrano, Eric Wong, and Yoonsik Cheon
    link to abstract
    UTEP-CS-07-18 in pdf

  • Interval Approach to Preserving Privacy in Statistical Databases: Related Challenges and Algorithms of Computational Statistics
    Luc Longpre, Gang Xiang, Vladik Kreinovich, and Eric Freudenthal
    link to abstract
    Original version UTEP-CS-07-17 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-17a in pdf and in Compressed Postscript

  • Random Fuzzy Sets
    Hung T. Nguyen, Vladik Kreinovich, and Gang Xiang
    link to abstract
    Original version UTEP-CS-07-16 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-16a in pdf and in Compressed Postscript

  • Verification of automatically generated pattern-based LTL specifications
    Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach
    link to abstract
    Original version UTEP-CS-07-15c in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-15d in pdf and in Compressed Postscript

  • Using Patterns and Composite Propositions to Automate the Generation of Complex LTL
    Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach
    link to abstract
    Original version UTEP-CS-07-15 in pdf and in Compressed Postscript
    1st updated version UTEP-CS-07-15a in pdf
    2nd updated version UTEP-CS-07-15b in pdf and in Compressed Postscript

  • Generating Linear Temporal Logic Formulas for Pattern-Based Specifications
    Salamah Salamah, Vladik Kreinovich, and Ann Q. Gates
    link to abstract
    Original version UTEP-CS-07-14 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-14a in pdf and in Compressed Postscript

  • On Decision Making Under Interval Uncertainty: A New Justification of Hurwicz Optimism-Pessimism Approach and its Use in Group Decision Making
    Van Nam Huynh, Chenyi Hu, Yoshiteru Nakamori, and Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-13 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-13b in pdf and in Compressed Postscript

  • Three Prosodic Features That Cue Back-Channel Feedback in Northern Mexican Spanish
    Anais G. Rivera and Nigel G. Ward
    link to abstract
    UTEP-CS-07-12 in pdf

  • Random Test Data Generation for Java Classes Annotated with JML Specifications
    Yoonsik Cheon and Carlos E. Rubio-Medrano
    link to abstract
    UTEP-CS-07-11 in pdf and in Compressed Postscript

  • Towards a General Description of Physical Invariance in Category Theory
    John Symons, Julio C. Urenda, and Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-10 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-10a in pdf and in Compressed Postscript

  • Russian Peasant Multiplication Algorithm, RSA Cryptosystem, and a New Explanation of Half-Orders Of Magnitude
    J. Ivan Vargas and Olga Kosheleva
    link to abstract
    Original version UTEP-CS-07-09 in pdf and in Compressed Postscript
    Updated version UTEP-CS-07-09a in pdf and in Compressed Postscript

  • Logit Discrete Choice Model: A New Distribution-Free Justification
    Ruey L. Cheu, Hung T. Nguyen, Tanja Magoc, and Vladik Kreinovich
    link to abstract
    UTEP-CS-07-08 in pdf and in Compressed Postscript

  • Automated Random Testing to Detect Specification-Code Inconsistencies
    Yoonsik Cheon
    link to abstract
    UTEP-CS-07-07 in pdf and in Compressed Postscript

  • Building a Seismology Workflow-Driven Ontology: A Case Study
    Leo Salayandia and Aaron Velasco
    link to abstract
    UTEP-CS-07-06 in pdf

  • Baby-Steps Towards Building a Spanglish Language Model
    Juan C. Franco and Thamar Solorio
    link to abstract
    UTEP-CS-07-05 in pdf

  • Exponential Disutility Functions in Transportation Problems: A New Theoretical Justification
    Ruey L. Cheu and Vladik Kreinovich
    link to abstract
    UTEP-CS-07-04 in pdf and in Compressed Postscript

  • The Mathematical Analysis of T-Norms is Logically Non-Trivial
    Sandor Jenei, Vladik Kreinovich, David Ponevac, and Yaffa Al Bayyari
    link to abstract
    UTEP-CS-07-03 in pdf and in Compressed Postscript

  • 2006 Survey Results for CS1310: Introduction to Programming Using Media Computation
    Aida Gandara
    link to abstract
    UTEP-CS-07-02 in pdf (caution: it is 3MB) and in compressed (zipped) pdf

  • Use of Deterministic Traffic Assignment Algorithms in Stochastic Networks: Analysis of Equivalent Link Disutility Functions
    Ruey L. Cheu and Vladik Kreinovich
    link to abstract
    Original version UTEP-CS-07-01 in pdf
    Updated version UTEP-CS-07-01a in pdf