Technical Reports from 2011
Efficient Geophysical Technique of Vertical Line Elements as a Natural Consequence of General Constraints Techniques, Rolando Cardenas and Martine Ceberio
How Accurately Should We Write on the Board? When Marking Comments on Student Papers?, Martine Ceberio and Olga Kosheleva
Constraint Problems: Computability Is Equivalent to Continuity, Martine Ceberio and Vladik Kreinovich
The CleanJava Language for Functional Program Verification, Yoonsik Cheon, Cesar Yeep, and Melisa Vela
Extreme Distributions on Intervals, Monchaya Chiangpradit, Wararit Panichkitkosolkul, Hung T. Nguyen, and Vladik Kreinovich
VisKo: Semantic Web Support for Information and Science Visualization, Nicholas Del Rio and Paulo Pinheiro da Silva
PWiseGen: Generating Test Cases for Pairwise Testing Using Genetic Algorithms, Pedro Flores and Yoonsik Cheon
Knowledge Annotations in Scientific Workflows: An Implementation in Kepler, Aida Gandara, George Chin Jr., Paulo Pinheiro da Silva, Signe White, Chandrika Sivaramakrishnan, and Terence Critchlow
Estimating Probability of Failure of a Complex System Based on Partial Information about Subsystems and Components, with Potential Applications to Aircraft Maintenance, Christelle Jacob, Didier Dubois, Janette Cardoso, Martine Ceberio, and Vladik Kreinovich
Constraint Optimization: From Efficient Computation of What Can Be Achieved to Efficient Computation of a Way to Achieve The Corresponding Optimum, Ali Jalal-Kamali, Martine Ceberio, and Vladik Kreinovich
Estimating Correlation under Interval Uncertainty, Ali Jalal-Kamali and Vladik Kreinovich
Estimating Covariance for Privacy Case under Interval (and Fuzzy) Uncertainty, Ali Jalal-Kamali, Vladik Kreinovich, and Luc Longpre
Towards a "Generic" Notion of Genericity: From "Typical" and "Random" to Meager, Shy, etc., Ali Jalal-Kamali, Ondrej Nebesky, Michael H. Durcholz, Vladik Kreinovich, and Luc Longpre
Efficient Approximation for Security Games with Interval Uncertainty, Chris Kiekintveld and Vladik Kreinovich
Optimizing Trajectories for Unmanned Aerial Vehicles (UAVs) Patrolling the Border, Chris Kiekintveld, Vladik Kreinovich, and Octavio Lerma
Towards Optimal Few-Parametric Representation of Spatial Variation: Geometric Approach and Environmental Applications, Misha Kosheleva, Octavio Lerma, and Craig Tweedie
Estimating sample mean under interval uncertainty and constraint on sample varience, Misha Koshelev, Ali Jalal-Kamali, and Luc Longpre
All Kinds of Behavior are Possible in Chemical Kinetics: A Theorem and Its Potential Applications to Chemical Computing, Vladik Kreinovich
Designing, Understanding, and Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics, Vladik Kreinovich
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