Technical Reports from 2005
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
On the Use of Intervals in Scientific Computing: What is the Best Transition from Linear to Quadratic Approximation?, Martine Ceberio, Vladik Kreinovich, and Lev Ginzburg
Advanced Relation Model for Genome Sequence Visualization (ARM 4 GSV): Exploratory Visualization Examples, Brian J. D'Auriol and Kavitha Tupelly
The Multi-Layered Interval Categorizer Tesselation-Based Model, Marilton S. de Aguiar, Gracaliz P. Dimuro, Antonio C. da Rocha Costa, Rafael K.S. Silva, Fabia A. da Costa, and Vladik Kreinovich
Using 1-D Radar Observations to Detect a Space Explosion Core Among the Explosion Fragments: Sequential and Distributed Algorithms, P. Debroux, J. Boehm, Vladik Kreinovich, Gang Xiang, J. Beck, K. Tupelly, R. Kandathi, Luc Longpre, and K. Villaverde
Modelling Measurement Processes as Timed Information Processes in Simplex Domains, Gracaliz P. Dimuro, Antonio C. da Rocha Costa, and Vladik Kreinovich
Exact Bounds on Finite Populations of Interval Data, Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Luc Longpre, and Monica Aviles
Probabilistic Approach to Trust: Ideas, Algorithms, And Simulations, Pattama Jaksurat, Eric A. Freudenthal, Martine Ceberio, and Vladik Kreinovich
Convergence Properties of an Interval Probabilistic Approach to System Reliability Estimation, Cliff Joslyn and Vladik Kreinovich
Beyond Convex? Global Optimization is Feasible Only for Convex Objective Functions: A Theorem, R. Baker Kearfott and Vladik Kreinovich