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

CS Technical Reports

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

Efficient Approximation for Security Games with Interval Uncertainty

Christopher Kiekintveld and Vladik Kreinovich
link to abstract | UTEP-CS-11-65 in pdf
Assessment of Functional Impairment in Human Locomotion: A Fuzzy-Motivated Approach

Murad Alaqtash, Thompson Sarkodie-Gyan, and Vladik Kreinovich
link to abstract | UTEP-CS-11-64 in pdf | UTEP-CS-11-64a in pdf
Constraint Optimization: From Efficient Computation of What Can Be Achieved to Efficient Computation of a Way to Achieve The Corresponding Optimum

Ali Jalal-Kamali, Martine Ceberio, and Vladik Kreinovich
link to abstract | UTEP-CS-11-63 in pdf
Why Bernstein Polynomials Are Better: Fuzzy-Inspired Justification

Jaime Nava, Olga Kosheleva, and Vladik Kreinovich
link to abstract | UTEP-CS-11-62 in pdf | UTEP-CS-11-62a in pdf
Semi-Heuristic Poverty Measures Used by Economists: Justification Motivated by Fuzzy Techniques

Karen Villaverde, Nagwa Albehery, Tonghui Wang, and Vladik Kreinovich
link to abstract | UTEP-CS-11-61 in pdf | UTEP-CS-11-61a in pdf
Towards Formalizing Non-Monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity

Vladik Kreinovich
link to abstract | UTEP-CS-11-60 in pdf | UTEP-CS-11-60a in pdf
In the Beginning Was the Word, and the Word was Fuzzy

Vladik Kreinovich
link to abstract | UTEP-CS-11-59 in pdf
VisKo: Semantic Web Support for Information and Science Visualization

Nicholas Del Rio and Paulo Pinheiro da Silva
link to abstract | UTEP-CS-11-58 in pdf
Estimating Correlation under Interval Uncertainty

Ali Jalal-Kamali and Vladik Kreinovich
link to abstract | UTEP-CS-11-57 in pdf | UTEP-CS-11-57b in pdf
Constraint Problems: Computability Is Equivalent to Continuity

Martine Ceberio and Vladik Kreinovich
link to abstract | UTEP-CS-11-56 in pdf
Propagating Range (Uncertainty) and Continuity Information Through Computations: From Real-Valued Intervals to General Sets

Vladik Kreinovich
link to abstract | UTEP-CS-11-55 in pdf
Towards Optimizing Cloud Computing: An Example of Optimization under Uncertainty

Vladik Kreinovich
link to abstract | UTEP-CS-11-54 in pdf | UTEP-CS-11-54b in pdf
A Heuristic for Selecting the Cycle Length for FAIRIO

S. Arunagiri, Y. Kwok, P. J. Teller, R. Portillo, and S. R. Seelam
link to abstract | UTEP-CS-11-53 in pdf
The CleanJava Language for Functional Program Verification

Yoonsik Cheon, Cesar Yeep, and Melisa Vela
link to abstract | UTEP-CS-11-52 in PDF
How to Encourage Imperfect Individuals to Care More about Society in General: a Utility-Theory Approach

Vladik Kreinovich
link to abstract | UTEP-CS-11-51 in pdf
I-Complexity and Discrete Derivative of Logarithms: A Symmetry-Based Explanation

Vladik Kreinovich and Jaime Nava
link to abstract | UTEP-CS-11-50 in pdf | UTEP-CS-11-50a in pdf
How Accurately Should We Write on the Board? When Marking Comments on Student Papers?

Martine Ceberio and Olga Kosheleva
link to abstract | UTEP-CS-11-49 in pdf
Efficient Geophysical Technique of Vertical Line Elements as a Natural Consequence of General Constraints Techniques

Rolando Cardenas and Martine Ceberio
link to abstract | UTEP-CS-11-48 in pdf
A New Justification for Weighted Average Aggregation in Fuzzy Techniques

Jaime Nava
link to abstract | UTEP-CS-11-47 in pdf
Prediction in Econometrics: Towards Mathematical Justification of Simple (and Successful) Heuristics

Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
link to abstract | UTEP-CS-11-46 in pdf | UTEP-CS-11-46a in pdf
A Simple Physics-Motivated Equivalent Reformulation of P=NP that Makes This Equality (Slightly) More Plausible

Jaime Nava and Vladik Kreinovich
link to abstract | UTEP-CS-11-45 in pdf | UTEP-CS-11-45b in pdf
High-Concentration Chemical Computing Techniques for Solving Hard-To-Solve Problems, and Their Relation to Numerical Optimization, Neural Computing, Reasoning Under Uncertainty, and Freedom Of Choice

Vladik Kreinovich and Olac Fuentes
link to abstract | UTEP-CS-11-44 in pdf
All Kinds of Behavior are Possible in Chemical Kinetics: A Theorem and Its Potential Applications to Chemical Computing

Vladik Kreinovich
link to abstract | UTEP-CS-11-43 in pdf | UTEP-CS-11-43a in pdf
Linear Neural Networks Revisited: From PageRank to Family Happiness

Vladik Kreinovich
link to abstract | UTEP-CS-11-42 in pdf
Density-Based Fuzzy Clustering as a First Step to Learning Rules: Challenges and Possible Solutions

Gozde Ulutagay and Vladik Kreinovich
link to abstract | UTEP-CS-11-41 in pdf

pdf

Why A Model Produced by Training a Neural Network Is Often More Computationally Efficient than a Nonlinear Regression Model: A Theoretical Explanation

Jaime Nava and Vladik Kreinovich
link to abstract | UTEP-CS-11-40 in pdf | UTEP-CS-11-40a in pdf
Maximum Likelihood Approach to Pointwise Estimation in Statistical Data Processing under Interval Uncertainty

Nitaya Buntao, Sa-aat Niwitpong, and Vladik Kreinovich
link to abstract | UTEP-CS-11-39 in pdf
Towards Symmetry-Based Explanation of (Approximate) Shapes of Alpha-Helices and Beta-Sheets (and Beta-Barrels) in Protein Structure

Jaime Nava and Vladik Kreinovich
link to abstract | UTEP-CS-11-38 in pdf | UTEP-CS-11-38a in pdf
Theoretical Explanation of Bernstein Polynomials' Efficiency

Vladik Kreinovich
link to abstract | UTEP-CS-11-37 in pdf | UTEP-CS-11-37b in pdf
Towards Fast and Accurate Algorithms for Processing Fuzzy Data: Interval Computations Revisited

Gang Xiang and Vladik Kreinovich
link to abstract | UTEP-CS-11-36 in pdf
Is It Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?

Marcin Michalak and Vladik Kreinovich
link to abstract | UTEP-CS-11-35 in pdf | UTEP-CS-11-35b in pdf | UTEP-CS-11-35c in pdf | UTEP-CS-11-35d in pdf
Orthogonal Bases Are the Best: A Theorem Justifying Bruno Apolloni's Heuristic Neural Network Idea

Jaime Nava and Vladik Kreinovich
link to abstract | UTEP-CS-11-34 in pdf
Tropical (Idempotent) Algebras as a Way to Optimize Fuzzy Control

Jaime Nava
link to abstract | UTEP-CS-11-33 in pdf
Towards a "Generic" Notion of Genericity: From "Typical" and "Random" to Meager, Shy, etc.

Ali Jalal-Kamali, Ondrej Nebesky, Michael H. Durcholz, Vladik Kreinovich, and Luc Longpre
link to abstract | UTEP-CS-11-32 in pdf
No-Free-Lunch Result for Interval and Fuzzy Computing: When Bounds Are Unusually Good, Their Computation is Unusually Slow

Martine Ceberio and Vladik Kreinovich
link to abstract | UTEP-CS-11-31 in pdf | UTEP-CS-11-31b in pdf
Failure Analysis of a Complex System Based on Partial Information about Subsystems, with Potential Applications to Aircraft Maintenance

Vladik Kreinovich, Christelle Jacob, Didier Dubois, Janette Cardoso, and Martine Ceberio
link to abstract | UTEP-CS-11-30c in pdf | UTEP-CS-11-30d in pdf
Estimating Probability of Failure of a Complex System Based on Inexact Information about Subsystems and Components, with Potential Applications to Aircraft Maintenance

Vladik Kreinovich, Christelle Jacob, Didier Dubois, Janette Cardoso, Martine Ceberio, and Ildar Batyrshin
link to abstract | UTEP-CS-11-30 in pdf | UTEP-CS-11-30b in pdf
Estimating Mean and Variance under Interval Uncertainty: Dynamic Case

Rafik Aliev and Vladik Kreinovich
link to abstract | UTEP-CS-11-29 in pdf
Product of Partially Ordered Sets (Posets), with Potential Applications to Uncertainty Logic and Space-Time Geometry

Francisco Zapata, Olga Kosheleva, and Karen Villaverde
link to abstract | UTEP-CS-11-28 in pdf
Dynamic Fuzzy Logic Leads to More Adequate "And" and "Or" Operations

Vladik Kreinovich
link to abstract | UTEP-CS-11-27a in pdf | UTEP-CS-11-27c in pdf
Functional Verification of Class Invariants in CleanJava

Carmen Avila and Yoonsik Cheon
link to abstract | UTEP-CS-11-26 in pdf
Towards Interval Techniques for Model Validation

Jaime Nava and Vladik Kreinovich
link to abstract | UTEP-CS-11-25 in pdf | UTEP-CS-11-25a in pdf
A Relation Between Metric Spaces and Corresponding Space-Time Models

Hans-Peter Kuenzi, Francisco Zapata, and Vladik Kreinovich
link to abstract | UTEP-CS-11-24 in pdf | UTEP-CS-11-24a in pdf
Estimating Probability of Failure of a Complex System Based on Partial Information about Subsystems and Components, with Potential Applications to Aircraft Maintenance

Christelle Jacob, Didier Dubois, Janette Cardoso, Martine Ceberio, and Vladik Kreinovich
link to abstract | UTEP-CS-11-23 in pdf
How to Tell When a Product of Two Partially Ordered Spaces Has a Certain Property?

Francisco Zapata, Olga Kosheleva, and Karen Villaverde
link to abstract | UTEP-CS-11-22 in pdf | UTEP-CS-11-22a in pdf
Why Fuzzy Transform Is Efficient in Large-Scale Prediction Problems: A Theoretical Explanation

Irina Perfilieva and Vladik Kreinovich
link to abstract | UTEP-CS-11-21 in pdf | UTEP-CS-11-21a in pdf
Towards Optimal Knowledge Processing: From Centralization Through Cyberinsfrastructure To Cloud Computing

Octavio Lerma, Eric Gutierrez, Chris Kiekintveld, and Vladik Kreinovich
link to abstract | UTEP-CS-11-20 in pdf
Joggler: Data Harvest And Analysis Tool

Ondrej Nebesky
link to abstract | UTEP-CS-11-19 in pdf
Uniqueness of Reconstruction for Yager's t-Norm Combination of Probabilistic and Possibilistic Knowledge

Nitaya Buntao and Vladik Kreinovich
link to abstract | UTEP-CS-11-18 in pdf
Linear-Time Resource Allocation in Security Games with Identical Fully Protective Resources

Octavio Lerma, Vladik Kreinovich, and Christopher Kiekintveld
link to abstract | UTEP-CS-11-17 in pdf | UTEP-CS-11-17a in pdf
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic

Francisco Zapata and Vladik Kreinovich
link to abstract | UTEP-CS-11-16 in pdf | UTEP-CS-11-16a in pdf | UTEP-CS-11-16b in pdf
Knowledge Annotations in Scientific Workflows: An Implementation in Kepler

Aida Gandara, George Chin Jr., Paulo Pinheiro da Silva, Signe White, Chandrika Sivaramakrishnan, and Terence Critchlow
link to abstract | UTEP-CS-11-15 in pdf
Processing Interval Sensor Data in the Presence of Outliers, with Potential Applications to Localizing Underwater Robots

Jan Sliwka, Luc Jaulin, Martine Ceberio, and Vladik Kreinovich
link to abstract | UTEP-CS-11-14 in pdf | UTEP-CS-11-14a in pdf
How to Combine Probabilistic and Possibilistic (Expert) Knowledge: Uniqueness of Reconstruction in Yager's (Product) Approach

Nitaya Buntao and Vladik Kreinovich
link to abstract | UTEP-CS-11-13 in pdf
Estimating Risk of Extreme and Catastrophic Events under Interval Uncertainty

Nitaya Buntao and Vladik Kreinovich
link to abstract | UTEP-CS-11-12 in pdf
Estimating Covariance for Privacy Case under Interval (and Fuzzy) Uncertainty

Ali Jalal-Kamali, Vladik Kreinovich, and Luc Longpre
link to abstract | UTEP-CS-11-11 in pdf
From Processing Interval-Valued Fuzzy Data to General Type-2: Towards Fast Algorithms

Vladik Kreinovich
link to abstract | UTEP-CS-11-10 in pdf
Towards Faster Estimation of Statistics and ODEs Under Interval, P-Box, and Fuzzy Uncertainty: From Interval Computations to Rough Set-Related Computations

Vladik Kreinovich
link to abstract | UTEP-CS-11-09 in pdf | UTEP-CS-11-09b in pdf
Towards a General Description of Translation-Invariant and Translation-Covariant Linear Transformations: A Natural Justification of Fourier Transforms and Fuzzy Transforms

Irina Perfilieva and Vladik Kreinovich
link to abstract | UTEP-CS-11-08 in pdf
Measures of Deviation (and Dependence) for Heavy-Tailed Distributions and heir Estimation under Interval and Fuzzy Uncertainty

Nitaya Buntao and Vladik Kreinovich
link to abstract | UTEP-CS-11-07 in pdf
PWiseGen: Generating Test Cases for Pairwise Testing Using Genetic Algorithms

Pedro Flores and Yoonsik Cheon
link to abstract | UTEP-CS-11-06 in pdf | Compressed Postscript
Towards Optimal Few-Parametric Representation of Spatial Variation: Geometric Approach and Environmental Applications

Misha Koshelev, Octavio Lerma, and Craig Tweedie
link to abstract | UTEP-CS-11-05 in pdf
Modified Fourier-Motzkin Elimination Algorithm for Reducing Systems of Linear Inequalities with Unconstrained Parameters

Mario Bencomo, Luis Gutierrez, and Martine Ceberio
link to abstract | UTEP-CS-11-04 in pdf | UTEP-CS-11-04a in pdf
Optimizing Trajectories for Unmanned Aerial Vehicles (UAVs) Patrolling the Border

Chris Kiekintveld, Vladik Kreinovich, and Octavio Lerma
link to abstract | UTEP-CS-11-03 in pdf | UTEP-CS-11-03a in pdf |
Designing, understanding, and analyzing unconventional computation: the important role of logic and constructive mathematics

Vladik Kreinovich
link to abstract | UTEP-CS-11-02 in pdf
Computation in quantum space-time can lead to a super-polynomial speedup

Michael Zakharevich and Vladik Kreinovich
link to abstract | UTEP-CS-11-01 in pdf | UTEP-CS-11-01a in pdf