Technical Reports from 2011
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