Technical Reports from 2009
Equations Without Equations: Challenges on a Way to a More Adequate Formalization of Causality Reasoning in Physics, Roberto Araiza, Vladik Kreinovich, and Juan Ferret
Propitious Checkpoint Intervals to Improve System Performance, Sarala Arunagiri, John T. Daly, and Patricia J. Teller
A Possible Way to Avoid Heat Death, Nitaya Buntao, Narunchara Katemee, and Vladik Kreinovich
Continuous If-Then Statements Are Computable, Martine Ceberio and Vladik Kreinovich
Diagonalization is Also Practically Useful: A Geometric Idea, Martine Ceberio and Vladik Kreinovich
Quantum Computing as a Particular Case of Computing With Tensors, Martine Ceberio and Vladik Kreinovich
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interval, P-Box, and Fuzzy Uncertainty, Martine Ceberio, Vladik Kreinovich, Andrzej Pownuk, and Barnabas Bede
Automating Java Program Testing Using OCL and AspectJ, Yoonsik Cheon and Carmen Avila
Checking Design Constraints at Run-time Using OCL and AspectJ, Yoonsik Cheon, Carmen Avila, Steve Roach, and Cuauhtemoc Munoz
Optimal Sensor Placement in Environmental Research: Designing a Sensor Network under Uncertainty, Aline James, Craig Tweedie, Tanja Magoc, Vladik Kreinovich, and Martine Ceberio
Why Tensors?, Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich
Egyptian Fractions Revisited, Olga Kosheleva and Vladik Kreinovich
Guesstimation: A New Justification of the Geometric Mean Heuristic, Olga Kosheleva and Vladik Kreinovich
Towards Optimal Effort Distribution in Process Design under Uncertainty, with Application to Education, Olga Kosheleva and Vladik Kreinovich
What is the Best Way to Distribute Efforts Among Students: Towards Quantitative Approach to Human Cognition, Olga Kosheleva and Vladik Kreinovich
Astronomical Tests of Relativity: Beyond Parameterized Post-Newtonian Formalism (PPN), to Testing Fundamental Principles, Vladik Kreinovich
Engineering Design under Imprecise Probabilities: Computational Complexity, Vladik Kreinovich
Expert Knowledge Is Needed for Design under Uncertainty: For p-Boxes, Backcalculation is, in General, NP-Hard, Vladik Kreinovich
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interval and p-Box Uncertainty, Vladik Kreinovich
"Weird" Fuzzy Notations: An Algebraic Interpretation, Vladik Kreinovich
Analysis of Information and Computation in Physics Explains Cognitive Paradigms: from Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach, Vladik Kreinovich, Roberto Araiza, and Juan Ferret
Square Root of "Not": A Major Difference Between Fuzzy and Quantum Logics, Vladik Kreinovich, Ladislav J. Kohout, and Eunjin Kim
Towards Dynamical Systems Approach to Fuzzy Clustering, Vladik Kreinovich and Olga Kosheleva
Towards Neural-Based Understanding of the Cauchy Deviate Method for Processing Interval and Fuzzy Uncertainty, Vladik Kreinovich and Hung T. Nguyen
A New Justification of Wang Transform Operator in Financial Risk Analysis, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
Symmetries: A General Approach to Integrated Uncertainty Management, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
A Broad Prospective on Fuzzy Transforms: From Gauging Accuracy of Quantity Estimates to Gauging Accuracy and Resolution of Measuring Physical Fields, Vladik Kreinovich and Irina Perfilieva
From Gauging Accuracy of Quantity Estimates to Gauging Accuracy and Resolution of Measuring Physical Fields, Vladik Kreinovich and Irina Perfilieva
Fast Convolution and Fast Fourier Transform under Interval Uncertainty, Guoqing Liu and Vladik Kreinovich
Quantum Computations Techniques for Gauging Reliability of Interval and Fuzzy Data, Luc Longpre, Christian Servin, and Vladik Kreinovich
Empirical Formulas for Economic Fluctuations: Towards A New Justification, Tanja Magoc and Vladik Kreinovich
Discrete Taylor Series as a Simple Way to Predict Properties of Chemical Substances like Benzenes and Cubanes, Jaime Nava, Vladik Kreinovich, Guillermo Restrepo, and Douglas J. Klein
Stochastic Volatility Models and Financial Risk Measures: Towards New Justifications, Hung T. Nguyen, Vladik Kreinovich, and Songsak Sriboonchitta
Model Fusion under Probabilistic and Interval Uncertainty, with Application to Earth Sciences, Omar Ochoa, Aaron A. Velasco, Christian Servin, and Vladik Kreinovich
Fuzzy Transforms of Higher Order Approximate Derivatives: A Theorem, Irina Perfilieva and Vladik Kreinovich
Probabilistic Interpretation of Fuzzy Transforms and Fuzzy Control, Irina Perfilieva and Vladik Kreinovich
On the Use of Abstract Workflows to Capture Scientific Process Provenance, Paulo Pinheiro da Silva, Leonardo Salayandia, Nicholas Del Rio, and Ann Q. Gates
Experiments in teaching an engaging and demystifying introduction to algorithms: Installment 1: Huffman Codes, Alan Siegel and Eric Freudenthal
Measurement's result and its error as fuzzy variables: background and perspectives, Gennady N. Solopchenko, Konstantin K. Semenov, Vladik Kreinovich, and Leon Reznik
Asymmetric Heteroskedasticity Models: A New Justification, Songsak Sriboonchitta and Vladik Kreinovich
Symmetry Between True, False, and Uncertain: An Explanation, Eulalia Szmidt and Vladik Kreinovich
Looking for Entropy Rate Constancy in Spoken Dialog, Alejandro Vega and Nigel Ward
Technical Reports from 2008
Applications of 1-D Versions of Image Referencing Techniques to Hydrology and to Patient Rehabilitation, Roberto Araiza, Martine Ceberio, Naga Suman Kanagala, Vladik Kreinovich, and Gang Xiang
Opportunistic Checkpoint Intervals to Improve System Performance, Sarala Arunagiri, John T. Daly, Patricia J. Teller, Seetharami Seelam, Ron A. Oldfield, Maria Ruiz Varela, and Rolf Riesen
Impact of Checkpoint Latency on the Optimal Checkpoint Interval and Execution Time, Sarala Arunagiri, Seetharami Seelam, Ron A. Oldfield, Maria Ruiz, Patricia J. Teller, and Rolf Riesen
Viability of Travel-time Sensitivity Testing for Estimating Uncertainty of Tomographic Velocity Models: A Case Study, Matthew G. Averill, Kate C. Miller, Vladik Kreinovich, and Aaron A. Velasco
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking, Carmen Avila; Guillermo Flores, Jr.; and Yoonsik Cheon
Mathematical Justification of Spectral/Covariance Techniques: On the Example of Arc Detection, Jan Beck, David Nemir, and Vladik Kreinovich
Extracting Trust Network Information from Scientific Web Portals, Alejandro Castaneda and Paulo Pinheiro da Silva
Intelligence Techniques Are Needed to Further Enhance the Advantage of Groups with Diversity in Problem Solving, Oscar Castillo, Patricia Melin, J. Esteban Gamez, Vladik Kreinovich, and Olga Kosheleva