CS Technical Reports

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

• Fuzzy Transforms of Higher Order Approximate Derivatives: A Theorem
  link to abstract
  Irina Perfilieva and Vladik Kreinovich
  Original version UTEP-CS-09-39 in pdf
  Updated version UTEP-CS-09-39b in pdf

• Discrete Taylor Series as a Simple Way to Predict Properties of Chemical Substances like Benzenes and Cubanes
  link to abstract
  Jaime Nava, Vladik Kreinovich, Guillermo Restrepo, and Douglas J. Klein
  UTEP-CS-09-38 in pdf

• Estimating Information Amount under Uncertainty: Algorithmic Solvability and Computational Complexity
  link to abstract
  Vladik Kreinovich and Gang Xiang
  Original version UTEP-CS-09-37 in pdf
  Revised version UTEP-CS-09-37a in pdf

• From Computing Sets of Optima, Pareto Sets, and Sets of Nash Equilibria to General Decision-Related Set Computations
  link to abstract
  Vladik Kreinovich and Bartlomej Jacek Kubica
  Original version UTEP-CS-09-36 in pdf
  First revised version UTEP-CS-09-36a in pdf
  Second revised version UTEP-CS-09-36c in pdf

• Checking Design Constraints at Run-time Using OCL and AspectJ
  link to abstract
  Yoonsik Cheon, Carmen Avila, Steve Roach, and Cuauhtemoc Munoz
  UTEP-CS-09-35 in PDF

• Model Fusion under Probabilistic and Interval Uncertainty, with Application to Earth Sciences
  link to abstract
  Omar Ochoa, Aaron A. Velasco, Christian Servin, and Vladik Kreinovich
  UTEP-CS-09-34 in pdf
  UTEP-CS-09-34b in pdf

• How to Relate Spectral Risk Measures and Utilities
  link to abstract
  Songsak Sriboonchitta, Hung T. Nguyen, and Vladik Kreinovich
  Original version UTEP-CS-09-33 in pdf
  Updated version UTEP-CS-09-33a in pdf

• Automating Java Program Testing Using OCL and AspectJ
  link to abstract
  Yoonsik Cheon and Carmen Avilak
  UTEP-CS-09-32 in PDF and in Compressed Postscript

• Symmetries: A General Approach to Integrated Uncertainty Management
  link to abstract
  Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
  Original file UTEP-CS-09-31 in pdf
  Revised version UTEP-CS-09-31a in pdf

• Scale-Invariant Approach to Multi-Criterion Optimization under Uncertainty, with Applications to Optimal Sensor Placement, in Particular, to Sensor Placement in Environmental Research
  link to abstract
  Aline Jaimes, Craig Tweedy, Vladik Kreinovich, and Martine Ceberio
  UTEP-CS-09-30ab in pdf

• Optimal Sensor Placement in Environmental Research: Designing a Sensor Network under Uncertainty
  link to abstract
  Aline Jaimes, Craig Tweedy, Tanja Magoc, Vladik Kreinovich, and Martine Ceberio
  UTEP-CS-09-30a in pdf

• Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-Objective Constraint Optimization
  link to abstract
  Aline Jaimes, Craig Tweedy, Tanja Magoc, Vladik Kreinovich, and Martine Ceberio
  Short version UTEP-CS-09-30 in pdf
  More detailed version UTEP-CS-09-30c in pdf
  Detailed version UTEP-CS-09-30d in pdf

• Why Polynomial Formulas in Soft Computing, Decision Making, etc.?
  link to abstract
  Olga Kosheleva and Martine Ceberio
  UTEP-CS-09-29b in pdf

• Why Tensors?
  link to abstract
  Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich
  UTEP-CS-09-29 in pdf

• Continuous If-Then Statements Are Computable
  link to abstract
  Martine Ceberio and Vladik Kreinovich
  UTEP-CS-09-28 in pdf

• "Weird" Fuzzy Notations: An Algebraic Interpretation
  link to abstract
  Vladik Kreinovich
  UTEP-CS-09-27 in pdf

• Diagonalization is Also Practically Useful: A Geometric Idea
  link to abstract
  Martine Ceberio and Vladik Kreinovich
  UTEP-CS-09-26 in pdf

• Symmetry Between True, False, and Uncertain: An Explanation
  link to abstract
  Eulalia Szmidt and Vladik Kreinovich
  UTEP-CS-09-25 in pdf

• On the Use of Abstract Workflows to Capture Scientific Process Provenance
  link to abstract
  Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, Ann Q. Gates
  UTEP-CS-09-24 in pdf

• Astronomical Tests of Relativity: Beyond Parameterized Post-Newtonian Formalism (PPN), to Testing Fundamental Principles
  link to abstract
  Vladik Kreinovich
  UTEP-CS-09-23 in pdf
  UTEP-CS-09-23a in pdf

• A Note on the Expected Depth of a Leaf in a PATRICIA Trie
  link to abstract
  Luc Longpre
  UTEP-CS-09-22

• Metrization Theorem for Space-Times: From Urysohn's Problem Towards Physically Useful Constructive Mathematics
  link to abstract
  Vladik Kreinovich
  UTEP-CS-09-21 in pdf
  UTEP-CS-09-21b in pdf

• Equations Without Equations: Challenges on a Way to a More Adequate Formalization of Causality Reasoning in Physics
  link to abstract
  Roberto Araiza, Vladik Kreinovich, and Juan Ferret
  UTEP-CS-09-20 in pdf
  UTEP-CS-09-20a in pdf

• Looking for Entropy Rate Constancy in Spoken Dialog
  link to abstract
  Alejandro Vega and Nigel G. Ward
  UTEP-CS-09-19 in pdf

• Measurement's result and its error as fuzzy variables: background and perspectives
  link to abstract
  Gennady N. Solopchenko, Konstantin K. Semenov, Vladik Kreinovich, and Leon Reznik
  UTEP-CS-09-18 in pdf

• Towards an (Even More) Natural Probabilistic Interpretation of Fuzzy Transforms (and of Fuzzy Modeling)
  link to abstract
  Irina Perfilieva and Vladik Kreinovich
  Original file UTEP-CS-09-17 in pdf and in Compressed Postscript
  First updated version UTEP-CS-09-17d in pdf
  Second updated version UTEP-CS-09-17e in pdf

• A Broad Prospective on Fuzzy Transforms: From Gauging Accuracy of Quantity Estimates to Gauging Accuracy and Resolution of Measuring Physical Fields
  link to abstract
  Vladik Kreinovich and Irina Perfilieva
  Original file UTEP-CS-09-16a in pdf
  Updated version UTEP-CS-09-16b in pdf

• From Gauging Accuracy of Quantity Estimates to Gauging Accuracy and Resolution of Measuring Physical Fields
  link to abstract
  Vladik Kreinovich and Irina Perfilieva
  Original file UTEP-CS-09-16 in pdf and in Compressed Postscript
  Updated version UTEP-CS-09-16c in pdf

• Towards Dynamical Systems Approach to Fuzzy Clustering
  link to abstract
  Vladik Kreinovich and Olga Kosheleva
  UTEP-CS-09-15 in pdf and in Compressed Postscript

• Analysis of Information and Computation in Physics Explains Cognitive Paradigms: from Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach
  link to abstract
  Vladik Kreinovich, Roberto Araiza, and Juan Ferret
  UTEP-CS-09-14 in pdf and in Compressed Postscript

• Preliminary Assessment of Attitudes towards Mathematics for a Non-STEM Section of Computational Computer Science Zero
  link to abstract
  Milijana Suskavcevic, Olga Kosheleva, Ann Gates, and Eric Freudenthal
  UTEP-CS-09-13

• Experiments in teaching an engaging and demystifying introduction to algorithms: Installment 1: Huffman Codes
  link to abstract
  Alan Siegel and Eric Freudenthal
  UTEP-CS-09-12 in pdf

• Stochastic Volatility Models and Financial Risk Measures: Towards New Justifications
  link to abstract
  Hung T. Nguyen, Vladik Kreinovich, and Songsak Sriboonchitta
  UTEP-CS-09-11 in pdf and in Compressed Postscript

• Guesstimation: A New Justification of the Geometric Mean Heuristic
  link to abstract
  Olga Kosheleva and Vladik Kreinovich
  UTEP-CS-09-10 in pdf and in Compressed Postscript

• Propitious Checkpoint Intervals to Improve System Performance
  link to abstract
  Sarala Arunagiri, John T. Daly, and Patricia J. Teller
  UTEP-CS-09-09 in pdf

• A New Justification of Wang Transform Operator in Financial Risk Analysis
  link to abstract
  Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
  UTEP-CS-09-08 in pdf and in Compressed Postscript

• Towards Neural-Based Understanding of the Cauchy Deviate Method for Processing Interval and Fuzzy Uncertainty
  link to abstract
  Vladik Kreinovich and Hung T. Nguyen
  Original file UTEP-CS-09-07 in pdf and in Compressed Postscript
  Updated version UTEP-CS-09-07a in pdf and in Compressed Postscript

• Quantum Computing as a Particular Case of Computing With Tensors
  link to abstract
  Martine Ceberio and Vladik Kreinovich
  UTEP-CS-09-06 in pdf and in Compressed Postscript

• Towards Optimal Effort Distribution in Process Design under Uncertainty, with Application to Education
  link to abstract
  Olga Kosheleva and Vladik Kreinovich
  UTEP-CS-09-05c in pdf
  UTEP-CS-09-05cb in pdf

• What is the Best Way to Distribute Efforts Among Students: Towards Quantitative Approach to Human Cognition
  link to abstract
  Olga Kosheleva and Vladik Kreinovich
  Original file UTEP-CS-09-05 in pdf and in Compressed Postscript
  Updated version UTEP-CS-09-05a in pdf and in Compressed Postscript

• Empirical Formulas for Economic Fluctuations: Towards A New Justification
  link to abstract
  Tanja Magoc and Vladik Kreinovich
  Original file UTEP-CS-09-04 in pdf and in Compressed Postscript
  Updated version UTEP-CS-09-04a in pdf and in Compressed Postscript

• Engineering Design under Imprecise Probabilities: Computational Complexity
  link to abstract
  Vladik Kreinovich
  File UTEP-CS-09-03b in pdf

• Expert Knowledge Is Needed for Design under Uncertainty: For p-Boxes, Backcalculation is, in General, NP-Hard
  link to abstract
  Vladik Kreinovich
  Original file UTEP-CS-09-03 in pdf and in Compressed Postscript
  Updated version UTEP-CS-09-03a in pdf and in Compressed Postscript

• Asymmetric Heteroskedasticity Models: A New Justification
  link to abstract
  Songsak Sriboonchitta and Vladik Kreinovich
  UTEP-CS-09-02 in pdf and in Compressed Postscript

• A Possible Way to Avoid Heat Death
  link to abstract
  Nitaya Buntao, Narunchara Katemee, and Vladik Kreinovich
  UTEP-CS-09-01 in pdf and in Compressed Postscript