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