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

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:

<< Back to Main Page .

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