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