Technical Reports from 2012
Why Clayton and Gumbel Copulas: A Symmetry-Based Explanation, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
If Energy Is Not Preserved, Then Planck's Constant Is No Longer a Constant: A Theorem, Vladik Kreinovich and Andres Ortiz
Metrological Self-Assurance Of Data Processing Software, Vladik Kreinovich, Leonid Reznik, Konstantin K. Semenov, and Gennady N. Solopchenko
From Unbiased Numerical Estimates to Unbiased Interval Estimates, Baokun Li, Gang Xiang, Vladik Kreinovich, and Panagios Moscopoulos
Towards Unique Physically Meaningful Definitions of Random and Typical Objects, Luc Longpre and Olga Kosheleva
Towards Symmetry-Based Explanation of (Approximate) Shapes of Alpha-Helices and Beta-Sheets (and Beta-Barrels) in Protein Structure, Jaime Nava and Vladik Kreinovich
Ubiquity of Data and Model Fusion: from Geophysics and Environmental Sciences to Estimating Individual Risk During an Epidemic, Omar Ochoa, Aline Jaimes, Christian Servin, Craig Tweedie, Aaron Velasco, Martine Ceberio, and Vladik Kreinovich
Image and Model Fusion: Unexpected Counterintuitive Behavior of Traditional Statistical Techniques and Resulting Need for Expert Knowledge, Omar Ochoa, Aaron A. Velasco, and Vladik Kreinovich
F-transform in view of trend extraction, Irina Perfilieva, Vladik Kreinovich, and Vilém Novák
Validated Templates for Specification of Complex LTL Formulas, Salamah Salamah, Ann Q. Gates, and Vladik Kreinovich
An Evaluation Approach for Interactions between Abstract Workflows and Provenance Traces, Leonardo Salayandia, Ann Q. Gates, and Paulo Pinheiro
A Framework to Create Ontologies for Scientific Data Management, Leonardo Salayandia, Paulo Pinheiro da Silva, and Ann Q. Gates
How to Describe and Propagate Uncertainty When Processing Time Series: Metrological and Computational Challenges, with Potential Applications to Environmental Studies, Christian Servin, Martine Ceberio, Aline Jaimes, Craig Tweedie, and Vladik Kreinovich
Semi-Heuristic Target-Based Fuzzy Decision Procedures: Towards a New Interval Justification, Christian Servin, Van-Nam Huynh, and Yoshiteru Nakamori
Do Constraints Facilitate or Inhibit Creative Problem Solving: A Theoretical Explanation of Two Seemingly Contradictory Experimental Studies, Karen Villaverde, Olga Kosheleva, and Martine Ceberio
Locating Local Extrema under Interval Uncertainty: Multi-D Case, Karen Villaverde and Vladik Kreinovich
Thirty-Two Sample Audio Search Tasks, Nigel G. Ward and Steven D. Werner
Modal Intervals as a New Logical Interpretation of the Usual Lattice Order Between Interval Truth Values, Francisco Zapata
Possible and Necessary Orders, Equivalences, etc.: From Modal Logic to Modal Mathematics, Francisco Zapata and Olga Kosheleva
Orders on Intervals Over Partially Ordered Sets: Extending Allen's Algebra and Interval Graph Results, Francisco Zapata, Vladik Kreinovich, Cliff Joslyn, and Emilie Hogan
Technical Reports from 2011
Assessment of Functional Impairment in Human Locomotion: A Fuzzy-Motivated Approach, Murad Alaqtash, Thompson Sarkodie-Gyan, and Vladik Kreinovich
Estimating Mean and Variance under Interval Uncertainty: Dynamic Case, Rafik Aliev and Vladik Kreinovich
A Heuristic for Selecting the Cycle Length for FAIRIO, Sarala Arunagiri, Y. Kwok, Patricia J. Teller, R. A. Portillo, and S. Seelam
Functional Verification of Class Invariants in CleanJava, Carmen Avila and Yoonsik Cheon
No-Free-Lunch Result for Interval and Fuzzy Computing: When Bounds Are Unusually Good, Their Computation is Unusually Slow, Ildar Batyrshin, Martine Ceberio, and Vladik Kreinovich
Modified Fourier-Motzkin Elimination Algorithm for Reducing Systems of Linear Inequalities with Unconstrained Parameters, Mario Bencomo, Luis Gutierrez, and Martine Ceberio
Estimating Risk of Extreme and Catastrophic Events under Interval Uncertainty, Nitaya Buntao and Vladik Kreinovich
How to Combine Probabilistic and Possibilistic (Expert) Knowledge: Uniqueness of Reconstruction in Yager's (Product) Approach, Nitaya Buntao and Vladik Kreinovich
Measures of Deviation (and Dependence) for Heavy-Tailed Distributions and heir Estimation under Interval and Fuzzy Uncertainty, Nitaya Buntao and Vladik Kreinovich
Uniqueness of Reconstruction for Yager's t-Norm Combination of Probabilistic and Possibilistic Knowledge, Nitaya Buntao and Vladik Kreinovich
Maximum Likelihood Approach to Pointwise Estimation in Statistical Data Processing under Interval Uncertainty, Nitaya Buntao, Sa-aat Niwitpong, and Vladik Kreinovich
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