Technical Reports from 2010
Computing Standard-Deviation-to-Mean and Variance-to-Mean Ratios under Interval Uncertainty Is NP-Hard, Sio-Long Lo
Computing the Range of Variance-to-Mean Ratio under Interval and Fuzzy Uncertainty, Sio-Long Lo and Gang Xiang
How to Relate Fuzzy and OWA Estimates, Tanja Magoc and Vladik Kreinovich
Uncertainty in Partially Ordered Sets as a Natural Generalization of Intervals: Negative Information Is Sufficient, Positive Is Not, David Mireles and Olga Kosheleva
Towards Chemical Applications of Dempster-Shafer-Type Approach: Case of Variant Ligands, Jaime Nava
Why Feynman Path Integration?, Jaime Nava, Juan Ferret, Vladik Kreinovich, Gloria Berumen, Sandra Griffin, and Edgar Padilla
Equivalence of Gian-Carlo Rota Poset Approach and Taylor Series Approach Extended to Variant Ligands, Jaime Nava and Vladik Kreinovich
Optimal Prices in the Presence of Discounts: A New Economic Application of Choquet Integrals, Hung T. Nguyen and Vladik Kreinovich
How to Describe Spatial Resolution: An Approach Similar to the Central Limit Theorem, Omar Ochoa, Martine Ceberio, and Vladik Kreinovich
Towards a Fast, Practical Alternative to Joint Inversion of Multiple Datasets: Model Fusion, Omar Ochoa, Aaron A. Velasco, and Christian Servin
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