Technical Reports from 2008
Computing with Tensors: Potential Applications of Physics-Motivated Mathematics to Computer Science, Martine Ceberio and Vladik Kreinovich
An Aspect-Based Approach to Checking Design Constraints at Run-time, Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, and Jessica Romo
Integrating Random Testing with Constraints for Improved Efficiency and Diversity, Yoonsik Cheon, Antonio Cortes, Martine Ceberio, and Gary T. Leavens
Towards an Optimal Algorithm for Computing Fixed Points: Dynamical Systems Approach, With Applications to Transportation Engineering, Ruey L. Cheu, Gang Xiang, and Vladik Kreinovich
Identifying and Explaining Map Quality Through Provenance: A User Study, Nicholas Ricky Del Rio and Paulo Pinheiro da Silva
Selecting the Most Representative Sample is NP-Hard: Need for Expert (Fuzzy) Knowledge, J. Esteban Gamez, Francois Modave, and Olga Kosheleva
Verified methods for computing Pareto sets: general algorithmic analysis, Boglarka G.-Toth and Vladik Kreinovich
Towards a More Adequate Use of Interval-Valued Fuzzy Techniques in Intelligent Control: A Fuzzy Analogue of Unimodality, Van Nam Huynh and Vladik Kreinovich
Identification of Human Gait in Neuro-Rehabilitation: Towards Efficient Algorithms, Naga Suman Kanagala, Martine Ceberio, Thompson Sarkodie-Gyan, Vladik Kreinovich, and Roberto Araiza
Testing the Value of a Time-based Language Model for Speech Recognition, Nisha Kiran and Nigel Ward
On chromatic numbers of space-times: open problems, Olga Kosheleva and Vladik Kreinovich
Asymmetric Paternalism: Description of the Phenomenon, Explanation Based on Decisions Under Uncertainty, and Possible Applications to Education, Olga Kosheleva and Francois Modave
Application-Motivated Combinations of Fuzzy, Interval, and Probability Approaches, and Their Use in Geoinformatics, Bioinformatics, and Engineering, Vladik Kreinovich
Equidecomposability (scissors congruence) of polyhedra in R^3 and R^4 is algorithmically decidable: Hilbert's 3rd Problem revisited, Vladik Kreinovich
Relations between Interval Computing and Soft Computing, Vladik Kreinovich
Toward Formalizing Non-Monotonic Reasoning In Physics: The Use of Kolmogorov Complexity, Vladik Kreinovich
Towards a Combination of Interval and Ellipsoid Uncertainty, Vladik Kreinovich, Arnold Neumaier, and Gang Xiang
Estimating Risk under Interval Uncertainty: Sequential and Parallel Algorithms, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
Extracting Computable Bounds (and Algorithms) from Classical Existence Proofs: Girard Domains Enable Us to Go Beyond Local Compactness, Vladik Kreinovich and Karen Villaverde
Towards Fast Algorithms for Processing Type-2 Fuzzy Data: Extending Mendel's Algorithms From Interval-Valued to a More General Case, Vladik Kreinovich and Gang Xiang
How to Measure a Degree of Mismatch Between Probability Models, p-Boxes, etc.: A Decision-Theory-Motivated Utility-Based Approach, Luc Longpre, Scott Ferson, and W. Troy Tucker
A New Simplified Derivation of Nash Bargaining Solution, Tanja Magoc and Vladik Kreinovich
A Paradox of Altruism: How Caring about Future Generations Can Result in Poverty for Everyone (Game-Theoretic Analysis), Tanja Magoc and Vladik Kreinovich
Current Financial Crisis and Inadequate Uncertainty Processing: A Comment, Tanja Magoc and Vladik Kreinovich
Computational Methods for Investment Portfolio: the Use of Fuzzy Measures and Constraint Programming for Risk Management, Tanja Magoc, Francois Modave, Martine Ceberio, and Vladik Kreinovich
Choquet Integrals and OWA Criteria as a Natural (and Optimal) Next Step After Linear Aggregation: A New General Justification, Francois Modave, Martine Ceberio, and Vladik Kreinovich
Trade-Off Between Sample Size and Accuracy: Case of Measurements under Interval Uncertainty, Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Scott Ferson
Computing Degrees of Subsethood and Similarity for Interval-Valued Fuzzy Sets: Fast Algorithms, Hung T. Nguyen and Vladik Kreinovich
Everything Is a Matter of Degree: A New Theoretical Justification of Zadeh's Principle, Hung T. Nguyen and Vladik Kreinovich
Intermediate Degrees are Needed for the World to be Cognizable: Towards a New Justification for Fuzzy Logic Ideas, Hung T. Nguyen, Vladik Kreinovich, J. Esteban Gamez, Francois Modave, and Olga Kosheleva
Asymmetric Information Measures: How to Extract Knowledge from an Expert So That the Expert's Effort is Minimal, Hung T. Nguyen, Vladik Kreinovich, and Elizabeth N. Kamoroff
Hypothesis Testing with Interval Data: Case of Regulatory Constraints, Sa-aat Niwitpong, Hung T. Nguyen, Ingo Neumann, and Vladik Kreinovich
TrustMap: Towards Trust Recommendations for Maps, Paulo Pinheiro da Silva, Nicholas Ricky Del Rio, Vladik Kreinovich, and Alejandro Castaneda
Maximum Entropy in Support of Semantically Annotated Datasets, Paulo Pinheiro da Silva, Vladik Kreinovich, and Christian Servin
Fast Algorithms for Uncertainty Propagation, and Their Applications to Structural Integrity, Andrzej Pownuk, Jakub Cerveny, and Jerald Brady
Program Synthesis from Workflow-Driven Ontologies, Leonardo Salayandia, Steve Roach, and Ann Q. Gates
Sloth-NFS and the Possibility of using Fuzzy Control to Optimize Cache Management, Ryan C. Spring and Eric Freudenthal
CAHSI Year 2 Evaluation Report: Recruiting, Retaining, and Advancing Hispanics in Computing, Heather Thiry, Sarah Hug, and Lecia Barker
How to Reconcile Physical Theories with the Idea of Free Will: From Analysis of a Simple Model to Interval and Fuzzy Approaches, Julio C. Urenda and Olga Kosheleva
Beyond Intervals: Phase Transitions Lead to More General Ranges, Karen Villaverde and Gilbert Ornelas
Estimating Variance under Interval and Fuzzy Uncertainty: Parallel Algorithms, Karen Villaverde and Gang Xiang
Additional Information about American and Arab Perceptions of an Arabic Turn-Taking Cue, Nigel Ward and Yaffa Al Bayyari
Towards More Adequate Representation of Uncertainty: From Intervals to Set Intervals, with the Possible Addition of Probabilities and Certainty Degrees, J. T. Yao, Y. Y. Yao, Vladik Kreinovich, Paulo Pinheiro da Silva, Scott A. Starks, Gang Xiang, and H. T. Nguyen
Technical Reports from 2007
Towards Optimal Scheduling for Global Computing under Probabilistic, Interval, and Fuzzy Uncertainty, with Potential Applications to Bioinformatics, Roberto Araiza, Michela Taufer, and Ming-Ying Leung
Under Interval and Fuzzy Uncertainty, Symmetric Markov Chains are More Difficult to Predict, Roberto Araiza, Gang Xiang, Olga Kosheleva, and Damjan Skulj
Towards Adding Probabilities and Correlations to Interval Computations, Daniel Berleant, Martine Ceberio, Gang Xiang, and Vladik Kreinovich
Adding Constraints to Situations when, in Addition to Intervals, We Also Have Partial Information about Probabilities, Martine Ceberio, Vladik Kreinovich, Gang Xiang, Scott Ferson, and Cliff Joslyn
Abstraction in Assertion-Based Test Oracles, Yoonsik Cheon
A Quick Tutorial on JET, Yoonsik Cheon
Automated Random Testing to Detect Specification-Code Inconsistencies, Yoonsik Cheon