Technical Reports from 2010
Metrization Theorem for Space-Times: From Urysohn's Problem Towards Physically Useful Constructive Mathematics, Vladik Kreinovich
Efficient Algorithms for Heavy-Tail Analysis under Interval Uncertainty, Vladik Kreinovich, Monchaya Chiangpradit, and Wararit Panichkitkosolkul
Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization, Vladik Kreinovich, Juan Ferret, and Martine Ceberio
Towards a More Adequate Defuzzification of Interval-Valued Fuzzy Sets, Vladik Kreinovich, Van Nam Huynh, and Yoshiteru Nakamori
Towards a Natural Proof of Metrization Theorem for Space-Times, Vladik Kreinovich and Olga Kosheleva
Spatial Resolution for Processing Seismic Data: Type-2 Methods for Finding the Relevant Granular Structure, Vladik Kreinovich, Jaime Nava, Rodrigo Romero, Julio Olaya, Aaron A. Velasco, and Kate C. Miller
How to Bargain: An Interval Approach, Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta
Estimating Information Amount under Uncertainty: Algorithmic Solvability and Computational Complexity, Vladik Kreinovich and Gang Xiang
How to Define a Confidence Set for Functions: A New Justification of the Area Method, Vladik Kreinovich, Gang Xiang, and Michael Oberguggenberger
Universal Approximation with Uninorm-Based Fuzzy Neural Networks, Andre Lemos, Vladik Kreinovich, Walmir Caminhas, and Fernando Gomide
Towards Optimal Sensor Placement in Multi-Zone Measurements, Octavio Lerma, Craig Tweedie, and Vladik Kreinovich
From Single to Double Use Expressions, with Applications to Parametric Interval Linear Systems: On Computational Complexity of Fuzzy and Interval Computations, Joseph A Lorkowski
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