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

• 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 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 and in Compressed Postscript

• 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
  UTEP-CS-07-13 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