Technical Reports from 2005
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
NSF Advance: Institutional Transformation for Faculty Diversity - Faculty Worklife Survey Results, Manuela Romero and Ann Q. Gates
Supporting Documentation for the SPS-Prospec Case Study, Salamah I. Salamah and Ann Q. Gates
Discrete Conservation of Nonnegativity for Elliptic Problems Solved by the hp-FEM, Pavel Solin, Thomas Vejchodsky, and Roberto Araiza
Kaluza-Klein 5D Ideas Made Fully Geometric, Scott A. Starks, Olga Kosheleva, and Vladik Kreinovich
From Fuzzification and Intervalization to Anglification: A New 5D Geometric Formalism for Physics and Data Processing, Scott A. Starks and Vladik Kreinovich
Some Usability Issues and Research Priorities in Spoken Dialog Applications, Nigel Ward, Anais G. Rivera, Karen Ward, and David G. Novick
New Algorithms for Statistical Analysis of Interval Data, Gang Xiang, Scott A. Starks, Vladik Kreinovich, and Luc Longpre
Technical Reports from 2004
GEON: Geophysical Data Add the 3rd Dimension in Geospatial Studies, R. Aldouri, George R. Keller, Ann Q. Gates, J. Rasillo, Leonardo Salayandia, Vladik Kreinovich, John M. Seeley, P. Taylor, and S. Holloway
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Geophysical and Engineering Applications, Matthew G. Averill, Kate C. Miller, George R. Keller, Vladik Kreinovich, Jan Beck, Roberto Araiza, Roberto Torres, and Scott A. Starks
Interval-Valued and Fuzzy-Valued Random Variables: From Computing Sample Variances to Computing Sample Covariances, Jan B. Beck, Vladik Kreinovich, and Berlin Wu
Computing 2-Step Predictions for Interval-Valued Finite Stationary Markov Chains, Marcilia Andrade Campos, Gracaliz Pereira Dimuro, Antonio Carlos da Rocha Costa, and Vladik Kreinovich