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:

  • 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
  • | UTEP-CS-11-41b in 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: They Are Optimal Combination of Optimal Endpoint-Related Functions

    Jaime Nava and Vladik Kreinovich

    link to abstract | UTEP-CS-11-37 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