Technical Reports from 2010
Fusing Continuous and Discrete Data, on the Example of Merging Seismic and Gravity Models in Geophysics, Omar Ochoa, Aaron Velasco, and Vladik Kreinovich
A Use Case-Guided Comparison of OPM and PML, Paulo Pinheiro da Silva and Steve Roach
Towards an Efficient Bisection of Ellipsoids, Paden Portillo, Martine Ceberio, and Vladik Kreinovich
Power vs. Performance Evaluation of Synthetic Aperture Radar Image-Formation Algorithms and Implementations for Embedded HEC Environments (Ongoing Study), Ricardo Portillo, Sarala Arunagiri, and Patricia J. Teller
From Program Synthesis to Optimal Program Synthesis, Joaquin Reyna
FemProf: Advancing Females to the Professoriate in Computing, Nestor J. Rodriguez, Richard A. Alo, Sarah Hug, Sangeeta Gad, Nayda Santiago, and Gladys O. Ducodray
Access Control Contracts for Java Program Modules, Carlos E. Rubio-Medrano and Yoonsik Cheon
Runtime Assertion Checking for JML on the Eclipse Platform Using AST Merging, Amritam Sarcar
A New Eclipse-Based JML Compiler Built Using AST Merging, Amritam Sarcar and Yoonsik Cheon
Testing Shock Absorbers: Towards a Faster Parallelizable Algorithm, Christian Servin
Why Curvature in L-Curve: Combining Soft Constraints, Uram Anibal Sosa Aguirre, Martine Ceberio, and Vladik Kreinovich
How to Relate Spectral Risk Measures and Utilities, Songsak Sriboonchitta, Hung T. Nguyen, and Vladik Kreinovich
Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky's Theorem Revisited, Karen Villaverde, Olga Kosheleva, and Martine Ceberio
Visualization to Support the Discovery of Prosodic Contours Related to Turn-Taking, Nigel Ward and Joshua L. McCartney
Studies in the Use of Time Into Utterance as a Predictive Feature for Language Modeling, Nigel Ward and Alejandro Vega
Extending Maximum Entropy Techniques to Entropy Constraints, Gang Xiang and Vladik Kreinovich
Towards Improved Trapezoidal Approximation to Intersection (Fusion) of Trapezoidal Fuzzy Numbers: Specific Procedure and General Non-Associativity Theorem, Gang Xiang and Vladik Kreinovich
How to Tell When a Product of Two Partially Ordered Spaces Has a Certain Property: General Results with Application to Fuzzy Logic, Francisco Zapata, Olga Kosheleva, and Karen Villaverde
Strings Lead to Lattice-Type Causality, Francisco Zapata, Essau Ramirez, Joel A. Lopez, and Olga Kosheleva
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