Technical Reports from 2011
Theoretical Explanation of Bernstein Polynomials' Efficiency: They Are Optimal Combination of Optimal Endpoint-Related Functions, Jaime Nava and Vladik Kreinovich
Towards Interval Techniques for Model Validation, Jaime Nava and Vladik Kreinovich
Why Neural Networks Are Computationally Efficient Approximators: An Explanation, Jaime Nava and Vladik Kreinovich
Joggler: Data Harvest And Analysis Tool, Ondrej Nebesky
Towards a General Description of Translation-Invariant and Translation-Covariant Linear Transformations: A Natural Justification of Fourier Transforms and Fuzzy Transforms, Irina Perfilieva and Vladik Kreinovich
Why Fuzzy Transform Is Efficient in Large-Scale Prediction Problems: A Theoretical Explanation, Irina Perfilieva and Vladik Kreinovich
Processing Interval Sensor Data in the Presence of Outliers, with Potential Applications to Localizing Underwater Robots, Jan Sliwka, Luc Jaulin, Martine Ceberio, and Vladik Kreinovich
Density-Based Fuzzy Clustering as a First Step to Learning the Rules: Challenges and Possible Solutions, Gözde Ulutagay and Vladik Kreinovich
Semi-Heuristic Poverty Measures Used by Economists: Justification Motivated by Fuzzy Techniques, Karen Villaverde, Nagwa Albehery, Tonghui Wang, and Vladik Kreinovich
How to Reconstruct the System's Dynamics by Differentiating Interval-Valued and Set-Valued Functions, Karen Villaverde and Olga Kosheleva
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