Technical Reports from 2007
In Some Curved Spaces, One Can Solve NP-Hard Problems in Polynomial Time, Vladik Kreinovich and Maurice Margenstern
Statistical Hypothesis Testing Under Interval Uncertainty: An Overview, Vladik Kreinovich, Hung T. Nguyen, and Sa-aat Niwitpong
Aggregation in Biological Systems: Computational Aspects, Vladik Kreinovich and Max Shpak
Decomposable Aggregability in Population Genetics and Evolutionary Computations: Algorithms and Computational Complexity, Vladik Kreinovich and Max Shpak
Fast Algorithms for Computing Statistics under Interval Uncertainty: An Overview, Vladik Kreinovich and Gang Xiang
Static Space-Times Naturally Lead to Quasi-Pseudometrics, Hans-Peter A. Kuenzi and Vladik Kreinovich
m Solutions Good, m-1 Solutions Better, Luc Longpre, William Gasarch, G. W. Walster, and Vladik Kreinovich
When Are Two Wave Functions Distinguishable: A New Answer to Pauli's Question, with Potential Applications to Quantum Cosmology, Luc Longpre and Vladik Kreinovich
Interval Approach to Preserving Privacy in Statistical Databases: Related Challenges and Algorithms of Computational Statistics, Luc Longpre, Gang Xiang, Vladik Kreinovich, and Eric Freudenthal
How to Avoid Gerrymandering: A New Algorithmic Solution, Gregory B. Lush, Esteban Gamez, and Vladik Kreinovich
Estimating Quality of Support Vector Machines Learning Under Probabilistic and Interval Uncertainty: Algorithms and Computational Complexity, Canh Hao Nguyen, Tu Bao Ho, and Vladik Kreinovich
Trade-Off Between Sample Size and Accuracy: Case of Dynamic Measurements under Interval Uncertainty, Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Scott Ferson
Trade-Off Between Sample Size and Accuracy: Case of Static Measurements under Interval Uncertainty, Hung T. Nguyen and Vladik Kreinovich
Random Fuzzy Sets, Hung T. Nguyen, Vladik Kreinovich, and Gang Xiang
Set-Valued Extensions of Fuzzy Logic: Classification Theorems, Gilbert Ornelas and Vladik Kreinovich
WDO-It! A Tool for Building Scientific Workflows from Ontologies, Paulo Pinheiro da Silva, Leonardo Salayandia, and Ann Q. Gates
Propagation and Provenance of Probabilistic and Interval Uncertainty in Cyberinfrastructure-Related Data Processing and Data Fusion, Paulo Pinheiro da Silva, Aaron A. Velasco, Martine Ceberio, Christian Servin, Matthew G. Averill, Nicholas Ricky Del Rio, Luc Longpre, and Vladik Kreinovich
UFuzzy Prediction Models in Measurement, Leon Reznik and Vladik Kreinovich
Three Prosodic Features That Cue Back-Channel Feedback in Northern Mexican Spanish, Anais G. Rivera and Nigel G. Ward
Using Patterns and Composite Propositions to Automate the Generation of Complex LTL, Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach
Verification of Automatically Generated Pattern-Based LTL Specifications, Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications, Salamah Salamah, Vladik Kreinovich, and Ann Q. Gates
Building a Seismology Workflow-Driven Ontology: A Case Study, Leonardo Salayandia and Aaron Velazco
Throttling I/O Streams to Accelerate File-I/O Performance, Seetharami Seelam, Andre Kerstens, and Patricia J. Teller
Detecting Duplicates in Geoinformatics: From Intervals and Fuzzy Numbers to General Multi-D Uncertainty, Scott A. Starks, Luc Longpre, Roberto Araiza, Vladik Kreinovich, and Hung T. Nguyen