Technical Reports from 2007
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
Towards Secure Cyberinfrastructure for Sharing Border Information, Ann Q. Gates, Vladik Kreinovich, Luc Longpre, Paulo Pinheiro da Silva, and Randy G. Keller
Growth Rates under Interval Uncertainty, Janos Hajagos and Vladik Kreinovich
Swarm Intelligence: Theoretical Proof that Empirical Techniques are Optimal, Dmitry Iourinskiy, Scott A. Starks, Vladik Kreinovich, and Stephen F. Smith
Statistical Data Processing under Interval Uncertainty: Algorithms and Computational Complexity, Vladik Kreinovich
Ellipsoids and Ellipsoid-Shaped Fuzzy Sets as Natural Multi-Variate Generalization of Intervals and Fuzzy Numbers: How to Elicit them from Users, and How to Use them in Data Processing, Vladik Kreinovich, Jan Beck, and Hung T. Nguyen
Helping Students to Become Researchers: What We Can Gain from Russian Experience, Vladik Kreinovich, Ann Q. Gates, and Olga Kosheleva
For Piecewise Smooth Signals, L1 Method is the Best Among Lp: An Interval-Based Justification of an Empirical Fact, Vladik Kreinovich and Arnold Neumaier
Towards Optimal Use of Multi-Precision Arithmetic: A Remark, Vladik Kreinovich and Siegfried Rump
Aggregability is NP-Hard, Vladik Kreinovich and Max Shpak
How to Efficiently Process Uncertainty Within a Cyberinfrastructure without Sacrificing Privacy and Confidentiality, Luc Longpre and Vladik Kreinovich
How to Measure Loss of Privacy, Luc Longpre and Vladik Kreinovich
Wavesurfer: A Tool for Sound Analysis, Ernesto Medina and Thamar Solorio
Fast Computation of Centroids for Constant-Width Interval-Valued Fuzzy Sets, Jerry M. Mendel, Hongwei Wu, Vladik Kreinovich, and Gang Xiang
Interval Finite Element Methods: New Directions, Rafi Muhanna, Vladik Kreinovich, Pavel Solin, Jack Chessa, Roberto Araiza, and Gang Xiang
Interval-Based Robust Statistical Techniques for Non-Negative Convex Functions with Application to Timing Analysis of Computer Chips, Michael Orshansky, Wei-Shen Wang, Gang Xiang, and Vladik Kreinovich
Canica: an IDE for the Java Modeling Language, Angelica B. Perez, Yoonsik Cheon, and Ann Q. Gates
Finding Least Expensive Tolerance Solutions and Least Expensive Tolerance Revisions: Algorithms and Computational Complexity, Inna Pivkina and Vladik Kreinovich
Automatic Labeling of Back Channels, Udit Sajjanhar and Nigel Ward
A Model-Based Workflow Approach for Scientific Applications, Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Alvaro Rebellon
Workflow-Driven Ontologies: An Earth Sciences Case Study, Leonardo Salayandia, Paulo Pinheiro da Silva, Ann Q. Gates, and Flor Salcedo
Expert System-Type Approach to Voice Disorders: Scheduling Botulinum Toxin Treatment for Adductor Spasmodic Dysphonia, Anthony P. Salvatore, Amitava Biswas, Vladik Kreinovich, Bertha Manriquez, Michael P. Cannito, and Robert J. Sinard
Images with Uncertainty: Efficient Algorithms for Shift, Rotation, Scaling, and Registration, and their Applications to Geosciences, C. G. Schiek, Roberto Araiza, Jose M. Hurtado, A. A. Velazco, Vladik Kreinovich, and V. Sinyanski
Static Timing Analysis Based on Partial Probabilistic Description of Delay Uncertainty, Wei-Shen Wang, Vladik Kreinovich, and Michael Orshansky
The UTEP Corpus of Iraqi Arabic, Nigel Ward, David G. Novick, and Salamah I. Salamah
Fast Computation of Exact Ranges of Symmetric Convex and Concave Functions under Interval Uncertainty, Gang Xiang
Estimating Information Amount under Interval Uncertainty: Algorithmic Solvability and Computational Complexity, Gang Xiang, Olga Kosheleva, and George J. Klir
Estimating Variance under Interval and Fuzzy Uncertainty: Case of Hierarchical Estimation, Gang Xiang and Vladik Kreinovich
Fast Algorithms for Computing Statistics under Interval and Fuzzy Uncertainty, and Their Applications, Gang Xiang and Vladik Kreinovich