Technical Reports from 2010
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