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

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:

<< Back to Main Page .

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
UTEP-CS-07-37a in pdf
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
UTEP-CS-07-03a in pdf
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