Technical Reports from 2006
Workflow-Driven Ontologies: An Earth Sciences Case Study, Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Flor Salcedo
Expert System-Type Approach to Voice Disorders: Scheduling Botulinum Toxin Treatment for Adductor Spasmodic Dysphonia, Anthony P. Salvatore, Amitava Biswas, Vladik Kreinovich, Bertha Manriquez, Michael P. Cannito, and Robert J. Sinard
Images with Uncertainty: Efficient Algorithms for Shift, Rotation, Scaling, and Registration, and their Applications to Geosciences, C. G. Schiek, Roberto Araiza, Jose M. Hurtado, A. A. Velazco, Vladik Kreinovich, and V. Sinyanski
Static Timing Analysis Based on Partial Probabilistic Description of Delay Uncertainty, Wei-Shen Wang, Vladik Kreinovich, and Michael Orshansky
The UTEP Corpus of Iraqi Arabic, Nigel Ward, David G. Novick, and Salamah I. Salamah
Fast Computation of Exact Ranges of Symmetric Convex and Concave Functions under Interval Uncertainty, Gang Xiang
Estimating Information Amount under Interval Uncertainty: Algorithmic Solvability and Computational Complexity, Gang Xiang, Olga Kosheleva, and George J. Klir
Estimating Variance under Interval and Fuzzy Uncertainty: Case of Hierarchical Estimation, Gang Xiang and Vladik Kreinovich
Fast Algorithms for Computing Statistics under Interval and Fuzzy Uncertainty, and Their Applications, Gang Xiang and Vladik Kreinovich
Entropy Conserving Probability Transforms and the Entailment Principle, Ronald R. Yager and Vladik Kreinovich
Topaz: A Firefox Protocol Extension for GridFTP Based on Data Flow Diagrams, Richard Zamudio, Daniel Catarino, Michela Taufer, Brent Stearn, and Karan Bhatia
Technical Reports from 2005
Interval Methods: An Introduction, Luke Achenie, Vladik Kreinovich, and Kaj Madsen
Towards a Cross-Platform Microbenchmark Suite for Evaluating Hardware Performance Counter Data, Maria G. Aguilera, Roberto Araiza, Thientam Pham, and Patricia J. Teller
Random Interval Arithmetic is Closer to Common Sense: An Observation, Rene Alt, Jean-Luc Lamotte, and Vladik Kreinovich
How to Reconstruct the Original Shape of a Radar Signal?, Matthew G. Averill, Gang Xiang, Vladik Kreinovich, George R. Keller, Scott A. Starks, Patrick S. Debroux, and James Boehm
On Inverse Halftoning: Computational Complexity and Interval Computations, Sergio D. Cabrera, K. Iyer, Gang Xiang, and Vladik Kreinovich
Towards an Optimal Approach to Soft Constraint Problems, Martine Ceberio and Vladik Kreinovich
Interval-Type and Affine Arithmetic-Type Techniques for Handling Uncertainty in Expert Systems, with Applications to Geoinformatics and Computer Security, Martine Ceberio, Vladik Kreinovich, Sanjeev Chopra, Luc Longpre, Hung T. Nguyen, Bertram Ludaescher, and Chitta Baral
A Complete Automation of Unit Testing for Java Programs, Yoonsik Cheon, Myoung Yee Kim, and Ashaveena Perumandla
A Contextual Interpretation of Undefinedness for Runtime Assertion Checking, Yoonsik Cheon and Gary T. Leavens
A Fitness Function for Modular Evolutionary Testing of Object-Oriented Programs, Yoonsik Cheon and Kim Myoung
Specifying and Checking Method Call Sequences in JML, Yoonsik Cheon and Ashaveena Perumandla
Specifying and Checking Method Call Sequences of Java Programs, Yoonsik Cheon and Ashaveena Perumandla
Population Variance under Interval Uncertainty: A New Algorithm, Evgeny Dantsin, Vladik Kreinovich, Alexander Wolper, and Gang Xiang
On Quantum Versions of Record-Breaking Algorithms for SAT, Evgeny Dantsin, Vladik Kreinovich, and Alexander Wolpert
Quantum Versions of K-CSP Algorithms: A First Step Towards Quantum Algorithms for Interval-Related Constraint Satisfaction Problems, Evgeny Dantsin, Alexander Wolpert, and Vladik Kreinovich
The Interval Categorizer Tesselation-Based Model for High Perfomance Computing, Marilton S. de Aguiar, Gracaliz P. Dimuro, Antonio C. da Rocha Costa, and Rafael K.S. Silva
Use of Maxitive (Possibility) Measures in Foundations of Physics and Description of Randomness: Case Study, A. M. Finkelstein, Olga Kosheleva, Vladik Kreinovich, Scott A. Starks, and Hung T. Nguyen
To Properly Reflect Physicists' Reasoning about Randomness, We Also Need a Maxitive (Possibility) Measure, Andrei M. Finkelstein, Olga Kosheleva, Vladik Kreinovich, Scott A. Starks, and Hung T. Nguyen
Consortium of CISE-MII Funded Institutions: Initial Recommendations on Broadening Participation of Hispanics, Ann Q. Gates
Optimal Choice of Granularity in Commonsense Estimation: Why Half-Orders of Magnitude, Jerry R. Hobbs and Vladik Kreinovich
Processing Educational Data: From Traditional Statistical Techniques to an Appropriate Combination of Probabilistic, Interval, and Fuzzy Approaches, Olga Kosheleva and Martine Ceberio
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications, Vladik Kreinovich, J. Beck, Carlos M. Ferregut, A. Sanchez, George R. Keller, Matthew G. Averill, and Scott A. Starks
Combining Interval, Probabilistic, and Fuzzy Uncertainty: Foundations, Algorithms, Challenges -- An Overview, Vladik Kreinovich, David J. Berleant, Scott Ferson, and Weldon A. Lodwick
Computing Best-Possible Bounds for the Distribution of a Sum of Several Variables is NP-Hard, Vladik Kreinovich and Scott Ferson
Why Product of Probabilities (Masses) for Independent Events? A Remark, Vladik Kreinovich and Scott Ferson
From Intervals to Domains: Towards a General Description of Validated Uncertainty, with Potential Applications to Geospatial and Meteorological Data, Vladik Kreinovich, Olga Kosheleva, Scott A. Starks, Kavitha Tupelly, Gracaliz P. Dimuro, Antonio C. da Costa Rocha, and Karen Villaverde
Kolmogorov Complexity Leads to a Representation Theorem for Idempotent Probabilities (Sigma-Maxitive Measures), Vladik Kreinovich and Luc Longpre
Interval Versions of Statistical Techniques with Applications to Environmental Analysis, Bioinformatics, and Privacy in Statistical Databases, Vladik Kreinovich, Luc Longpre, Scott A. Starks, Gang Xiang, Jan Beck, Raj Kandathi, Asis Nayak, Scott Ferson, and Janos Hajagos
Which Fuzzy Logic is the Best: Pragmatic Approach (and its Theoretical Analysis), Vladik Kreinovich and Hung T. Nguyen
Computing Mean and Variance under Dempster-Shafer Uncertainty: Towards Faster Algorithms, Vladik Kreinovich, Gang Xiang, and Scott Ferson
How the Concept of Information as Average Number of "Yes"-"No" Questions (Bits) Can Be Extended to Intervals, P-Boxes, and More General Uncertainty, Vladik Kreinovich, Gang Xiang, and Scott Ferson
Towards Combining Probabilistic and Interval Uncertainty in Engineering Calculations: Algorithms for Computing Statistics under Interval Uncertainty, and Their Computational Complexity, Vladik Kreinovich, Gang Xiang, Scott A. Starks, Luc Longpre, Martine Ceberio, Roberto Araiza, J. Beck, R. Kandathi, A. Nayak, R. Torres, and J. Hajagos
If an Exact Interval Computation Problem is NP-Hard, Then the Approximate Problem is Also NP-Hard: A Meta-Result, Aline B. Loreto, Laira V. Toscani, Leila Robeiro, Dalcidio M. Claudio, Liara S. Leal, Luc Longpre, and Vladik Kreinovich
A Universal Sensor Model, Valery Mazin and Vladik Kreinovich
Supporting Documentation for the 2003 SPS-Prospec Experiment, Oscar Mondragon and Salamah Salamah
Decision Making Beyond Arrow's "Impossibility Theorem", with the Analysis of Effects of Collusion and Mutual Attraction, Hung T. Nguyen, Olga Kosheleva, and Vladik Kreinovich
Optimization and Decision Making under Interval and Fuzzy Uncertainty: Towards New Mathematical Foundations, Hung T. Nguyen and Vladik Kreinovich
Interval-Based Robust Statistical Techniques for Non-Negative Convex Functions, with Application to Timing Analysis of Computer Chips, Michael Orshansky, Wei-Shen Wang, Martine Ceberio, and Gang Xiang
Exact Bounds for Interval and Fuzzy Functions under Monotonicity Constraints, with Potential Applications to Biostratigraphy, Emil Platon, Kavitha Tupelly, Vladik Kreinovich, Scott A. Starks, and Karen Villaverde