Technical Reports from 2011
Dynamic Fuzzy Logic Leads to More Adequate "And" and "Or" Operations, Vladik Kreinovich
From Processing Interval-Valued Fuzzy Data to General Type-2: Towards Fast Algorithms, Vladik Kreinovich
How to Encourage Imperfect Individuals to Care More about Society in General: a Utility-Theory Approach, Vladik Kreinovich
In the Beginning Was the Word, and the Word was Fuzzy, Vladik Kreinovich
Linear Neural Networks Revisited: From PageRank to Family Happiness, Vladik Kreinovich
Propagating Range (Uncertainty) and Continuity Information Through Computations: From Real-Valued Intervals to General Sets, Vladik Kreinovich
Towards Faster Estimation of Statistics and ODEs Under Interval, P-Box, and Fuzzy Uncertainty: From Interval Computations to Rough Set-Related Computations, Vladik Kreinovich
High-Concentration Chemical Computing Techniques for Solving Hard-To-Solve Problems, and Their Relation to Numerical Optimization, Neural Computing, Reasoning Under Uncertainty, and Freedom Of Choice, Vladik Kreinovich and Olac Fuentes
Estimating Probability of Failure of a Complex System Based on Inexact Information about Subsystems and Components, with Potential Applications to Aircraft Maintenance, Vladik Kreinovich, Christelle Jacob, Didier Dubois, Janette Cardoso, Martine Ceberio, and Ildar Batyrshin
I-Complexity and Discrete Derivative of Logarithms: A Symmetry-Based Explanation, Vladik Kreinovich and Jaime Nava
Prediction in Econometrics: Towards Mathematical Justification of Simple (and Successful) Heuristics, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
Computation in Quantum Space-time Could Lead to a Super-polynomial Speedup, Vladik Kreinovich and Michael Zakharevich
When Is Busemann Product a Lattice? A Relation Between Metric Spaces and Corresponding Space-Time Models, Hans-Peter Künzi, Francisco Zapata, and Vladik Kreinovich
Towards Optimal Knowledge Processing: From Centralization Through Cyberinsfrastructure To Cloud Computing, Octavio Lerma, Eric Gutierrez, Chris Kiekintveld, and Vladik Kreinovich
Linear-Time Resource Allocation in Security Games with Identical Fully Protective Resources, Octavio Lerma, Vladik Kreinovich, and Chris Kiekintveld
Is It Possible to Have a Feasible Enclosure-Computing Method Which Is Independent of the Equivalent Form?, Marcin Michalak and Vladik Kreinovich
A New Justification for Weighted Average Aggregation in Fuzzy Techniques, Jaime Nava
Tropical (Idempotent) Algebras as a Way to Optimize Fuzzy Control, Jaime Nava
Why Bernstein Polynomials Are Better: Fuzzy-Inspired Justification, Jaime Nava, Olga Kosheleva, and Vladik Kreinovich
A Simple Physics-Motivated Equivalent Reformulation of P=NP that Makes This Equality (Slighty) More Plausible, Jaime Nava and Vladik Kreinovich
Orthogonal Bases Are the Best: A Theorem Justifying Bruno Apolloni's Heuristic Neural Network Idea, Jaime Nava and Vladik Kreinovich
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