CS Technical Reports

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

  • Extreme Distributions on Intervals

    Monchaya Chiangpradit, Wararit Panichkitkosolkul, Hung T. Nguyen, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-60 in pdf | UTEP-CS-10-60a in pdf | UTEP-CS-10-60b in pdf

  • Universal Approximation with Uninorm-Based Fuzzy Neural Networks

    Andre Lemos, Vladik Kreinovich, Walmir Caminhas, and Fernando Gomide

    link to abstract | UTEP-CS-10-59 in pdf

  • Why Curvature in L-Curve: Combining Soft Constraints

    Uram Anibal Sosa Aguirre, Martine Ceberio, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-58 in pdf

  • Adding Constraints -- A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems

    Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-57 in pdf

  • How to Bargain: An Interval Approach

    Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta

    link to abstract | UTEP-CS-10-56 in pdf

  • Visualization Queries

    Nicholas Del Rio and Paulo Pinheiro da Silva

    link to abstract | UTEP-CS-10-55 in pdf

  • A New Answer to Pauli's Question: Almost All Quantum States Can Be Uniquely Determined by Measuring Location and Momentum

    Don Jackson and Olga Kosheleva

    link to abstract | UTEP-CS-10-54 in pdf

  • Why L2 topology in quantum physics

    Chris Culellar, Evan Longpre, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-53 in pdf

  • From Program Synthesis to Optimal Program Synthesis

    Joaquin Reyna

    link to abstract | UTEP-CS-10-52 in pdf | UTEP-CS-10-52a in pdf

  • Fusing Continuous and Discrete Data, on the Example of Merging Seismic and Gravity Models in Geophysics

    Omar Ochoa, Aaron Velasco, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-51 in pdf | UTEP-CS-10-51a in pdf

  • Testing Shock Absorbers: Towards a Faster Parallelizable Algorithm

    Christian Servin

    link to abstract | UTEP-CS-10-50 in pdf | UTEP-CS-10-50a in pdf

  • CleanJava: A Formal Notation for Functional Program Verification

    Yoonsik Cheon, Cesar Yeep and Melisa Vela

    link to abstract | UTEP-CS-10-49 in PDF and in Compressed Postscript

  • Power vs. Performance Evaluation of Synthetic Aperture Radar Image-Formation Algorithms and Implementations for Embedded HEC Environments (Ongoing Study)

    Ricardo Portillo, Sarala Arunagiri, and Patricia J. Teller

    link to abstract | UTEP-CS-10-48 in pdf

  • Towards Optimal Placement of Bio-Weapon Detectors

    Chris Kiekintveld and Octavio Lerma

    link to abstract | UTEP-CS-10-47 in pdf | UTEP-CS-10-47a in pdf

  • Negative Results of Computable Analysis Disappear If We Restrict Ourselves to Random (Or, More Generally, Typical) Inputs

    Vladik Kreinovich

    link to abstract | UTEP-CS-10-46b in pdf | UTEP-CS-10-46c in pdf | UTEP-CS-10-46final in pdf

  • Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems Become Algorithmically Solvable

    Vladik Kreinovich

    link to abstract | UTEP-CS-10-46 in pdf

  • Towards Simpler Description of Properties like Commutativity and Associativity: Using Expression Fragments

    Shubhra Datta, Valeria Fierro, Krasen Petrov, Jessica Romo, Gesuri Ramirez, and Cesar Valenzuela

    link to abstract | UTEP-CS-10-45 in pdf

  • Uncertainty in Partially Ordered Sets as a Natural Generalization of Intervals: Negative Information Is Sufficient, Positive Is Not

    link to abstract |

    David Mireles and Olga Kosheleva

    UTEP-CS-10-44 in pdf

  • Why Feynman Path Integration?

    Jaime Nava, Juan Ferret, Vladik Kreinovich, Gloria Berumen, Sandra Griffin, and Edgar Padilla

    link to abstract | UTEP-CS-10-43 in pdf

  • Expanding Algorithmic Randomness to the Algebraic Approach to Quantum Physics: Kolmogorov Complexity and Quantum Logics

    Vladik Kreinovich

    link to abstract | UTEP-CS-10-42 in pdf

  • Equivalence of Gian-Carlo Rota Poset Approach and Taylor Series Approach Extended to Variant Ligands

    Jaime Nava and Vladik Kreinovich

    link to abstract | UTEP-CS-10-41 in pdf

  • Towards a Fast, Practical Alternative to Joint Inversion of Multiple Datasets: Model Fusion

    Omar Ochoa, Aaron A. Velasco, and Christian Servin

    link to abstract | UTEP-CS-10-40 in pdf

  • Strings Lead to Lattice-Type Causality

    Francisco Zapata, Essau Ramirez, Joel A. Lopez, and Olga Kosheleva

    link to abstract | UTEP-CS-10-39 in pdf

  • A Use Case-Guided Comparison of OPM and PML

    Paulo Pinheiro da Silva and Steve Roach

    link to abstract | UTEP-CS-10-38 in pdf

  • Fundamental Physical Equations Can Be Derived By Applying Fuzzy Methodology to Informal Physical Ideas

    Eric Gutierrez and Vladik Kreinovich

    link to abstract | UTEP-CS-10-37 in pdf | UTEP-CS-10-37a in pdf

  • How to Tell When a Product of Two Partially Ordered Spaces Has a Certain Property: General Results with Application to Fuzzy Logic

    Francisco Zapata, Olga Kosheleva, and Karen Villaverde

    link to abstract | UTEP-CS-10-36 in pdf | UTEP-CS-10-36a in pdf

  • Computations under Time Constraints: Algorithms Developed for Fuzzy Computations Can Help

    Karen Villaverde, Olga Kosheleva, and Martine Ceberio

    link to abstract | UTEP-CS-10-35 in pdf | UTEP-CS-10-35a in pdf | UTEP-CS-10-35b in pdf

  • From Single to Double Use Expressions, with Applications to Parametric Interval Linear Systems: On Computational Complexity of Fuzzy and Interval Computations

    Joe Lorkowski

    link to abstract UTEP-CS-10-34 in pdf | UTEP-CS-10-34a in pdf

  • Reducing Over-Conservative Expert Failure Rate Estimates in the Presence of Limited Data: A New Probabilistic/Fuzzy Approach

    Carlos Ferregut, F. Joshua Campos, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-33 in pdf | UTEP-CS-10-33a in pdf

  • Towards Optimal Sensor Placement in Multi-Zone Measurements

    Octavio Lerma, Craig Tweedie, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-32 in pdf | UTEP-CS-10-32a in pdf

  • Least Sensitive (Most Robust) Fuzzy "Exclusive Or" Operations

    Jesus E. Hernandez and Jaime Nava

    link to abstract | UTEP-CS-10-31 in pdf | UTEP-CS-10-31a in pdf

  • Mamdani Approach to Fuzzy Control, Logical Approach, What Else?

    Samuel Bravo and Jaime Nava

    link to abstract | UTEP-CS-10-30 in pdf | UTEP-CS-10-30a in pdf

  • Estimating Mean under Interval Uncertainty and Variance Constraint

    Ali Jalal Kamali, Luc Longpre, and Misha Koshelev

    link to abstract | UTEP-CS-10-29 in pdf | UTEP-CS-10-29a in pdf

  • Computing the Range of Variance-to-Mean Ratio under Interval and Fuzzy Uncertainty

    Sio-Long Lo and Gang Xiang

    link to abstract | UTEP-CS-10-28 in pdf | UTEP-CS-10-28a in pdf

  • Towards Chemical Applications of Dempster-Shafer-Type Approach: Case of Variant Ligands

    Jaime Nava

    link to abstract | UTEP-CS-10-27 in pdf | UTEP-CS-10-27a in pdf

  • A Tutorial on Functional Program Verification

    Yoonsik Cheon and Melisa Vela

    link to abstract | UTEP-CS-10-26 in PDF and in Compressed Postscript

  • Computing Standard-Deviation-to-Mean and Variance-to-Mean Ratios under Interval Uncertainty Is NP-Hard

    Sio-Long Lo

    link to abstract | UTEP-CS-10-25 in pdf

  • Visualization to Support the Discovery of Prosodic Contours Related to Turn-Taking

    Nigel Ward and Joshua L. McCartney

    link to abstract | UTEP-CS-10-24 in pdf

  • Functional Specification and Verification of Object-Oriented Programs

    Yoonsik Cheon

    link to abstract | UTEP-CS-10-23 in PDF and in Compressed Postscript

  • Studies in the Use of Time Into Utterance as a Predictive Feature for Language Modeling

    Nigel Ward and Alejandro Vega

    link to abstract | UTEP-CS-10-22 in pdf

  • Towards an Efficient Bisection of Ellipsoids

    Paden Portillo, Martine Ceberio, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-21 in pdf

  • Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization

    Vladik Kreinovich, Juan Ferret, and Martine Ceberio

    link to abstract | UTEP-CS-10-20 in pdf

  • Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky's Theorem Revisited

    Karen Villaverde, Olga Kosheleva, and Martine Ceberio

    link to abstract | UTEP-CS-10-19 in pdf

  • Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond

    Vladik Kreinovich

    link to abstract | UTEP-CS-10-18 in pdf

  • From Interval and Probabilistic Granules to Granules of Higher Order

    Vladik Kreinovich

    link to abstract | UTEP-CS-10-17 in pdf | UTEP-CS-10-17a in pdf

  • FemProf: Advancing Females to the Professoriate in Computing

    Nestor J. Rodriguez, Richard A. Alo, Sarah Hug, Sangeeta Gad, Nayda Santiago, and Gladys O. Ducodray

    link to abstract | UTEP-CS-10-16 in pdf

  • Toward Computing an Optimal Trajectory for an Environment-Oriented Unmanned Aerial Vehicle (UAV) under Uncertainty

    Jerald Brady, Octavio Lerma, Vladik Kreinovich, and Craig Tweedie

    link to abstract | UTEP-CS-10-15 in pdf | UTEP-CS-10-15c in pdf

  • How to Define a Confidence Set for Functions: A New Justification of the Area Method

    Vladik Kreinovich, Gang Xiang, and Michael Oberguggenberger

    link to abstract | UTEP-CS-10-14 in pdf | UTEP-CS-10-14b in pdf

  • How to Describe Spatial Resolution: An Approach Similar to the Central Limit Theorem

    Omar Ochoa, Martine Ceberio, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-13 in pdf

  • Spatial Resolution for Processing Seismic Data: Type-2 Methods for Finding the Relevant Granular Structure

    Vladik Kreinovich, Jaime Nava, Rodrigo Romero, Julio Olaya, Aaron Velasco, and Kate C. Miller

    link to abstract | UTEP-CS-10-12 in pdf

  • Optimal Prices in the Presence of Discounts: A New Economic Application of Choquet Integrals

    Hung T. Nguyen and Vladik Kreinovich

    link to abstract | UTEP-CS-10-11 in pdf

  • Minimum Description Length (MDL) Principle as a Possible Approach to Arc Detection

    Jan Beck, David Nemir, and Vladik Kreinovich

    link to abstract | UTEP-CS-10-10 in pdf

  • Efficient Algorithms for Heavy-Tail Analysis under Interval Uncertainty

    Vladik Kreinovich, Monchaya Chiangpradit, and Wararit Panichkitkosolkul

    link to abstract | UTEP-CS-10-09 in pdf | UTEP-CS-10-09b in pdf

  • A New Eclipse-Based JML Compiler Built Using AST Merging

    Amritam Sarcar and Yoonsik Cheon

    link to abstract | UTEP-CS-10-08 in PDF and in Compressed Postscript

  • Access Control Contracts for Java Program Modules

    Carlos Rubio and Yoonsik Cheon

    link to abstract | UTEP-CS-10-07 in pdf and in Compressed Postscript

  • Extending Maximum Entropy Techniques to Entropy Constraints

    Gang Xiang and Vladik Kreinovich

    link to abstract | UTEP-CS-10-06 in pdf | UTEP-CS-10-06a in pdf

  • How to Relate Fuzzy and OWA Estimates

    Tanja Magoc and Vladik Kreinovich

    link to abstract | UTEP-CS-10-05 in pdf | UTEP-CS-10-05a in pdf

  • Runtime Constraint Checking Approaches for OCL, A Critical Comparison

    Carmen Avila, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep

    link to abstract | UTEP-CS-10-04 in pdf and in Compressed Postscript

  • Towards a More Natural Proof of Metrization Theorem for Space-Times

    Vladik Kreinovich and Olga Kosheleva

    link to abstract | UTEP-CS-10-03 in pdf | UTEP-CS-10-03a in pdf

  • Towards Improved Trapezoidal Approximation to Intersection (Fusion) of Trapezoidal Fuzzy Numbers: Specific Procedure and General Non-Associativity Theorem

    Gang Xiang and Vladik Kreinovich

    link to abstract | UTEP-CS-10-02 in pdf | UTEP-CS-10-02a in pdf

  • Runtime Assertion Checking for JML on the Eclipse Platform Using AST Merging

    Amritam Sarcar

    link to abstract | UTEP-CS-10-01 in pdf