CS Technical Reports

The file that you are reading contains the list of our 2012 reports. Links from this list lead to pdf files. Lists of reports from the previous years can be found by clicking on:

  • A Hybrid Algorithm to Extract Fuzzy Measures for Software Quality Assessment

    Xiaojing Wang, Martine Ceberio, Shamsnaz Virani, Angel Garcia, and Jeremy Cummins

    link to abstract | UTEP-CS-12-48 in pdf
  • Metrological Self-Assurance Of Data Processing Software

    Vladik Kreinovich, Leonid Reznik, Konstantin K. Semenov, and Gennady N. Solopchenko

    link to abstract | UTEP-CS-12-47 in pdf
  • F-transform in view of trend extraction

    Irina Perfilieva, Vladik Kreinovich, and Vilem Novak

    link to abstract | UTEP-CS-12-46 in pdf
  • Security Games with Interval Uncertainty

    Christopher Kiekintveld, Md Towhidul Islam, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-45 in pdf | UTEP-CS-12-45a in pdf
  • Imprecise Probabilities in Engineering Analyses

    Michael Beer, Scott Ferson, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-44 in pdf | UTEP-CS-12-44a in pdf
  • Ubiquity of Data and Model Fusion: from Geophysics and Environmental Sciences to Estimating Individual Risk During an Epidemic

    Omar Ochoa, Aline Jaimes, Christian Servin, Craig Tweedie, Aaron Velasco, Martine Ceberio, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-43 in pdf
  • Data Anonymization that Leads to the Most Accurate Estimates of Statistical Characteristics

    Gang Xiang and Vladik Kreinovich

    link to abstract | UTEP-CS-12-42 in pdf | UTEP-CS-12-42a in pdf
  • From p-Boxes to p-Ellipsoids: Towards an Optimal Representation of Imprecise Probabilities

    Konstantin K. Semenov and Vladik Kreinovich

    link to abstract | UTEP-CS-12-41 in pdf | UTEP-CS-12-41b in pdf
  • Should Voting be Mandatory? Democratic Decision Making from the Economic Viewpoint

    Olga Kosheleva, Vladik Kreinovich, and Baokun Li

    link to abstract | UTEP-CS-12-40 in pdf
  • Thirty-Two Sample Audio Search Tasks

    Nigel G. Ward and Steven D. Werner

    link to abstract | UTEP-CS-12-39 in pdf
  • Interval Uncertainty as the Basis for a General Description of Uncertainty: A Position Paper

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-38 in pdf
  • How to Define Relative Approximation Error of an Interval Estimate: A Proposal

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-37 in pdf
  • Zadeh's Vision of Going from Fuzzy to Computing With Words: from the Idea's Origin to Current Successes to Remaining Challenges

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-36 in pdf | UTEP-CS-12-36a in pdf | UTEP-CS-12-36b in pdf
  • If Energy Is Not Preserved, Then Planck's Constant Is No Longer a Constant: A Theorem

    Vladik Kreinovich and Andres Ortiz

    link to abstract | UTEP-CS-12-35 in pdf
  • Towards Unique Physically Meaningful Definitions of Random and Typical Objects

    Luc Longpre and Olga Kosheleva

    link to abstract | UTEP-CS-12-34 in pdf
  • Decision Making under Interval Uncertainty (and beyond)

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-33 in pdf | UTEP-CS-12-33a in pdf
  • How to Define Mean, Variance, etc., for Heavy-Tailed Distributions: A Fractal-Motivated Approach

    Vladik Kreinovich and Olga Kosheleva

    link to abstract | UTEP-CS-12-32 in pdf
  • Possible and Necessary Orders, Equivalences, etc.: From Modal Logic to Modal Mathematics

    Francisco Zapata and Olga Kosheleva

    link to abstract | UTEP-CS-12-31 in pdf
  • Kansei Engineering: Towards Optimal Set of Designs

    Van Nam Huynh, L. Octavio Lerma, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-30 in pdf
  • In Applications, A Rigorous Proof Is Not Enough: It Is Also Important to Have an Intuitive Understanding

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-29 in pdf
  • In Quantum Physics, Free Will Leads to Nonconservation of Energy

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-28 in pdf
  • From Unbiased Numerical Estimates to Unbiased Interval Estimates

    Baokun Li, Gang Xiang, Vladik Kreinovich, and Panagis Moschopoulos

    link to abstract | UTEP-CS-12-27 in pdf
  • Bayesian Approach for Inconsistent Information

    M. Stein, M. Beer, and V. Kreinovich

    link to abstract | UTEP-CS-12-26 in pdf | UTEP-CS-12-26b in pdf | UTEP-CS-12-26c in pdf
  • Why Clayton and Gumbel Copulas: A Symmetry-Based Explanation

    Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta

    link to abstract | UTEP-CS-12-25 in pdf | UTEP-CS-12-25a in pdf
  • Towards a Better Understanding of Space-Time Causality: Kolmogorov Complexity and Causality as a Matter of Degree

    Vladik Kreinovich and Andres Ortiz

    link to abstract | UTEP-CS-12-24 in pdf | UTEP-CS-12-24a in pdf | UTEP-CS-12-24c in pdf
  • Decision Making under Interval and Fuzzy Uncertainty: Towards an Operational Approach

    Rafik Aliev, Oleg H. Huseynov, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-23 in pdf
  • Membership Functions or alpha-Cuts? Algorithmic (Constructivist) Analysis Justifies an Interval Approach

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-22 in pdf
  • An Evaluation Approach for Interactions between Abstract Workflows and Provenance Traces

    Leonardo Salayandia, Ann Q. Gates, and Paulo Pinheiro

    link to abstract | UTEP-CS-12-21 in pdf
  • How to Define Average Class Size (and Deviations from the Average Class Size) in a Way Which Is Most Adequate for Teaching Effectiveness

    Olga Kosheleva and Vladik Kreinovich

    link to abstract | UTEP-CS-12-20 in pdf | UTEP-CS-12-20a in pdf
  • Semi-Heuristic Target-Based Fuzzy Decision Procedures: Towards a New Interval Justification

    Christian Servin, Van-Nam Huyhn, and Yoshiteru Nakamori

    link to abstract | UTEP-CS-12-19 in pdf
  • How to Divide Students into Groups so as to Optimize Learning: Towards a Solution to a Pedagogy-Related Optimization Problem

    Olga Kosheleva and Vladik Kreinovich

    link to abstract | UTEP-CS-12-18 in pdf | UTEP-CS-12-18a in pdf
  • Estimating Correlation under Interval and Fuzzy Uncertainty: Case of Hierarchical Estimation

    Ali Jalal-Kamali

    link to abstract | UTEP-CS-12-17 in pdf
  • Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying

    Martine Ceberio, Olga Kosheleva, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-16 in pdf
  • Algorithmics of Checking Whether a Mapping Is Injective, Surjective, and/or Bijective

    E. Cabral Balreira, Olga Kosheleva, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-15 in pdf | UTEP-CS-12-15a in pdf
  • Kinematic Spaces and de Vries Algebras: Towards Possible Physical Meaning of de Vries Algebras

    Olga Kosheleva and Francisco Zapata

    link to abstract | UTEP-CS-12-14 in pdf
  • Extending Java for Android Programming

    Yoonsik Cheon

    link to abstract | UTEP-CS-12-13 in PDF
  • Image and Model Fusion: Unexpected Counterintuitive Behavior of Traditional Statistical Techniques and Resulting Need for Expert Knowledge

    Omar Ochoa, Aaron Velasco, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-12 in pdf
  • Modal Intervals as a New Logical Interpretation of the Usual Lattice Order Between Interval Truth Values

    Francisco Zapata

    link to abstract | UTEP-CS-12-11 in pdf
  • Interval or Moments: Which Carry More Information?

    Michael Beer and Vladik Kreinovich

    link to abstract | UTEP-CS-12-10 in pdf | UTEP-CS-12-10a in pdf
  • Orders on Intervals Over Partially Ordered Sets: Extending Allen's Algebra and Interval Graph Results

    Francisco Zapata, Vladik Kreinovich, Cliff Joslyn, and Emilie Hogan

    link to abstract | UTEP-CS-12-09 in pdf | UTEP-CS-12-09a in pdf | UTEP-CS-12-09b in pdf
  • Research-related projects for graduate students as a tool to motivate graduate students in classes outside their direct interest areas

    Vladik Kreinovich

    link to abstract | UTEP-CS-12-08 in pdf
  • Do Constraints Facilitate or Inhibit Creative Problem Solving: A Theoretical Explanation of Two Seemingly Contradictory Experimental Studies

    Karen Villaverde, Olga Kosheleva, and Martine Ceberio

    link to abstract | UTEP-CS-12-07 in pdf
  • Validated Templates for Specification of Complex LTL Formulas

    Salamah Salamah, Ann Gates, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-06 in pdf
  • Locating Local Extrema under Interval Uncertainty: Multi-D Case

    Karen Villaverde and Vladik Kreinovich

    link to abstract | UTEP-CS-12-05 in pdf | UTEP-CS-12-05a in pdf
  • Optimizing Computer Representation and Computer Processing of Epistemic Uncertainty for Risk-Informed Decision Making: Finances etc.

    Vladik Kreinovich, Nitaya Buntao, and Olga Kosheleva

    link to abstract | UTEP-CS-12-04 in pdf | UTEP-CS-12-04a in pdf
  • A Framework to Create Ontologies for Scientific Data Management

    Leonardo Salayandia, Paulo Pinheiro, and Ann Q. Gates

    link to abstract | UTEP-CS-12-03 in pdf
  • Estimating Statistical Characteristics of Lognormal and Delta-Lognormal Distributions under Interval Uncertainty: Algorithms and Computational Complexity

    Nitaya Buntao, Sa-aat Niwitpong, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-02 in pdf
  • How to Describe and Propagate Uncertainty When Processing Time Series: Metrological and Computational Challenges, with Potential Applications to Environmental Studies

    Christian Servin, Martine Ceberio, Aline Jaimes, Craig Tweedie, and Vladik Kreinovich

    link to abstract | UTEP-CS-12-01 in pdf | UTEP-CS-12-01a in pdf