Technical Reports from 2011
Computations under Time Constraints: Algorithms Developed for Fuzzy Computations Can Help, Karen Villaverde, Olga Kosheleva, and Martine Ceberio
Towards Fast and Accurate Algorithms for Processing Fuzzy Data: Interval Computations Revisited, Gang Xiang and Vladik Kreinovich
How to Tell When a Product of Two Partially Ordered Spaces Has a Certain Property?, Francisco Zapata, Olga Kosheleva, and Karen Villaverde
Product of Partially Ordered Sets (Posets), with Potential Applications to Uncertainty Logic and Space-Time Geometry, Francisco Zapata, Olga Kosheleva, and Karen Villaverde
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic, Francisco Zapata and Vladik Kreinovich
Technical Reports from 2010
Runtime Constraint Checking Approaches for OCL, A Critical Comparison, Carmen Avila, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep
Minimum Description Length (MDL) Principle as a Possible Approach to Arc Detection, Jan Beck, David Nemir, and Vladik Kreinovich
Toward Computing an Optimal Trajectory for an Environment-Oriented Unmanned Aerial Vehicle (UAV) under Uncertainty, Jerald Brady, Octavio Lerma, Vladik Kreinovich, and Craig Tweedie
Mamdani Approach to Fuzzy Control, Logical Approach, What Else?, Samuel Bravo and Jaime Nava
Functional Specification and Verification of Object-Oriented Programs, Yoonsik Cheon
A Tutorial on Functional Program Verification, Yoonsik Cheon and Melisa Vela
CleanJava: A Formal Notation for Functional Program Verification, Yoonsik Cheon, Cesar Yeep, and Melisa Vela
Why L2 Topology in Quantum Physics, Chris Culellar, Evan Longpre, and Vladik Kreinovich
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
Visualization Queries, Nicholas Del Rio and Paulo Pinheiro da Silva
Reducing Over-Conservative Expert Failure Rate Estimates in the Presence of Limited Data: A New Probabilistic/Fuzzy Approach, Carlos M. Ferregut, F. Joshua Campos, and Vladik Kreinovich
Fundamental Physical Equations Can Be Derived By Applying Fuzzy Methodology to Informal Physical Ideas, Eric Gutierrez and Vladik Kreinovich
Least Sensitive (Most Robust) Fuzzy "Exclusive Or" Operations, Jesus E. Hernandez and Jaime Nava
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
Estimating Mean under Interval Uncertainty and Variance Constraint, Ali Jalal-Kamali, Luc Longpre, and Misha Kosheleva
Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-Objective Constraint Optimization, Aline James, Craig Tweedie, Tanja Magoc, Vladik Kreinovich, and Martine Ceberio
Towards Optimal Placement of Bio-Weapon Detectors, Chris Kiekintveld and Octavio Lerma
Adding Constraints -- A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems, Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich
Why Polynomial Formulas in Soft Computing, Decision Making, etc.?, Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich
Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond, Vladik Kreinovich
Expanding Algorithmic Randomness to the Algebraic Approach to Quantum Physics: Kolmogorov Complexity and Quantum Logics, Vladik Kreinovich
From Computing Sets of Optima, Pareto Sets, and Sets of Nash Equilibria to General Decision-Related Set Computations, Vladik Kreinovich
From Interval and Probabilistic Granules to Granules of Higher Order, Vladik Kreinovich
Metrization Theorem for Space-Times: From Urysohn's Problem Towards Physically Useful Constructive Mathematics, Vladik Kreinovich
Efficient Algorithms for Heavy-Tail Analysis under Interval Uncertainty, Vladik Kreinovich, Monchaya Chiangpradit, and Wararit Panichkitkosolkul
Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization, Vladik Kreinovich, Juan Ferret, and Martine Ceberio
Towards a More Adequate Defuzzification of Interval-Valued Fuzzy Sets, Vladik Kreinovich, Van Nam Huynh, and Yoshiteru Nakamori
Towards a Natural Proof of Metrization Theorem for Space-Times, Vladik Kreinovich and Olga Kosheleva
Spatial Resolution for Processing Seismic Data: Type-2 Methods for Finding the Relevant Granular Structure, Vladik Kreinovich, Jaime Nava, Rodrigo Romero, Julio Olaya, Aaron A. Velasco, and Kate C. Miller
How to Bargain: An Interval Approach, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
Estimating Information Amount under Uncertainty: Algorithmic Solvability and Computational Complexity, Vladik Kreinovich and Gang Xiang
How to Define a Confidence Set for Functions: A New Justification of the Area Method, Vladik Kreinovich, Gang Xiang, and Michael Oberguggenberger
Universal Approximation with Uninorm-Based Fuzzy Neural Networks, Andre Lemos, Vladik Kreinovich, Walmir Caminhas, and Fernando Gomide
Towards Optimal Sensor Placement in Multi-Zone Measurements, Octavio Lerma, Craig Tweedie, and Vladik Kreinovich
From Single to Double Use Expressions, with Applications to Parametric Interval Linear Systems: On Computational Complexity of Fuzzy and Interval Computations, Joseph A Lorkowski
Computing Standard-Deviation-to-Mean and Variance-to-Mean Ratios under Interval Uncertainty Is NP-Hard, Sio-Long Lo
Computing the Range of Variance-to-Mean Ratio under Interval and Fuzzy Uncertainty, Sio-Long Lo and Gang Xiang
How to Relate Fuzzy and OWA Estimates, Tanja Magoc and Vladik Kreinovich
Uncertainty in Partially Ordered Sets as a Natural Generalization of Intervals: Negative Information Is Sufficient, Positive Is Not, David Mireles and Olga Kosheleva
Towards Chemical Applications of Dempster-Shafer-Type Approach: Case of Variant Ligands, Jaime Nava
Why Feynman Path Integration?, Jaime Nava, Juan Ferret, Vladik Kreinovich, Gloria Berumen, Sandra Griffin, and Edgar Padilla
Equivalence of Gian-Carlo Rota Poset Approach and Taylor Series Approach Extended to Variant Ligands, Jaime Nava and Vladik Kreinovich
Optimal Prices in the Presence of Discounts: A New Economic Application of Choquet Integrals, Hung T. Nguyen and Vladik Kreinovich
How to Describe Spatial Resolution: An Approach Similar to the Central Limit Theorem, Omar Ochoa, Martine Ceberio, and Vladik Kreinovich
Towards a Fast, Practical Alternative to Joint Inversion of Multiple Datasets: Model Fusion, Omar Ochoa, Aaron A. Velasco, and Christian Servin