Technical Reports from 2007
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
Towards a General Description of Physical Invariance in Category Theory, John Symons, Julio C. Urenda, and Vladik Kreinovich
Russian Peasant Multiplication Algorithm, RSA Cryptosystem, and a New Explanation of Half-Orders Of Magnitude, J. Ivan Vargas and Olga Kosheleva
Reasons why Mobile Telephone Conversations may be Annoying: Considerations and Pilot Studies, Nigel Ward, Anais G. Rivera, and Alejandro Vega
Computing Population Variance and Entropy under Interval Uncertainty: Linear-Time Algorithms, Gang Xiang, Martine Ceberio, and Vladik Kreinovich
Computing Statistical Characteristics When We Know Probabilities with Interval or Fuzzy Uncertainty: Computational Complexity, Gang Xiang and Jim W. Hall
Fitting a Normal Distribution to Interval and Fuzzy Data, Gang Xiang, Vladik Kreinovich, and Scott Ferson
Von Mises Failure Criterion in Mechanics of Materials: How to Efficiently Use It Under Interval and Fuzzy Uncertainty, Gang Xiang, Andrzej Pownuk, Olga Kosheleva, and Scott A. Starks
Technical Reports from 2006
A Formal Specification in JML of the Java Security Package, Poonam Agarwal, Carlos E. Rubio-Medrano, Yoonsik Cheon, and Patricia J. Teller
Computing Variance under Interval Uncertainty: A New Algorithm and its Potential Application to Privacy in Statistical Databases, Richard Aló, Mohsen Beheshti, and Gang Xiang
Testing Hypotheses on Simulated Data: Why Traditional Hypotheses-Testing Statistics are Not Always Adequate for Simulated Data, and How to Modify Them, Richard Aló, Vladik Kreinovich, and Scott A. Starks
Bilinear Models from System Approach Justified for Classification, with Potential Applications to Bioinformatics, Richard Aló, Francois Modave, Vladik Kreinovich, David Herrera, and Xiaojing Wang
3-D Image Registration Using Fast Fourier Transform, with Potential Applications to Geoinformatics and Bioinformaticsa, Roberto Araiza, Matthew G. Averill, George R. Keller, and Scott A. Starks
Using Expert Knowledge in Solving the Seismic Inverse Problem, Matthew G. Averill, Kate Miller, George R. Keller, Vladik Kreinovich, Roberto Araiza, and Scott A. Starks
Interval and Fuzzy Techniques in Business-Related Computer Security: Intrusion Detection, Privacy Protection, Mohsen Beheshti, Jianchao Han, Luc Longpre, Scott A. Starks, J. Ivan Vargas, and Gang Xiang
Unimodality, Independence Lead to NP-Hardness of Interval Probability Problems, Daniel J. Berleant, Olga Kosheleva, Vladik Kreinovich, and Hung T. Nguyen
Optimized Sampling Frequencies for Weld Reliability Assessments of Long Pipeline Segments, Cesar J. Carrasco and Vladik Kreinovich
How to Take into Account Dependence Between the Inputs: From Interval Computations to Constraint-Related Set Computations, with Potential Applications to Nuclear Safety, Bio- and Geosciences, Martine Ceberio, Scott Ferson, Vladik Kreinovich, Sanjeev Chopra, Gang Xiang, Adrian Murguia, and Jorge Santillan
For Complex Intervals, Exact Range Computation is NP-Hard Even For Single Use Expressions (Even for the Product), Martine Ceberio, Vladik Kreinovich, and Guenter Mayer
TWO ETUDES ON Combining Probabilistic and Interval Uncertainty: Processing Correlations and Measuring Loss of Privacy, Martine Ceberio, Gang Xiang, Luc Longpre, Vladik Kreinovich, Hung T. Nguyen, and Daniel Berleant
Measuring Privacy Loss in Statistical Databases, Vinod Chirayath, Luc Longpre, and Vladik Kreinovich
Detecting Outliers under Interval Uncertainty: A New Algorithm Based on Constraint Satisfaction, Evgeny Dantsin, Alexander Wolpert, Martine Ceberio, Gang Xiang, and Vladik Kreinovich
The Effectiveness of Threshold-Based Scheduling Policies on BOINC Projects, Trilce Estrada, David A. Flores, Michela Taufer, Patricia J. Teller, Andre Kerstens, and David P. Anderson
compPknots: A Framework for Parallel Prediction and Comparison of RNA Secondary Structures with Pseudoknots, Trilce Estrada, Abel Licon, and Michela Taufer
Economics of Engineering Design under Interval (and Fuzzy) Uncertainty: Case Study of Building Design, Carlos M. Ferregut, Jan Beck, Araceli Sanchez, and Vladik Kreinovich
Modeling Correlation and Dependence Among Intervals, Scott Ferson and Vladik Kreinovich
On the Functional Form of Convex Underestimators for Twice Continuously Differentiable Functions, Chirstodoulos A. Floudas and Vladik Kreinovich
Towards Optimal Techniques for Solving Global Optimization Problems: Symmetry-Based Approach, Chirstodoulos A. Floudas and Vladik Kreinovich
Detecting Filled Pauses in Tutorial Dialogs, Gaurav Garg and Nigel Ward