Technical Reports from 2011
Density-Based Fuzzy Clustering as a First Step to Learning the Rules: Challenges and Possible Solutions, Gözde Ulutagay and Vladik Kreinovich
Semi-Heuristic Poverty Measures Used by Economists: Justification Motivated by Fuzzy Techniques, Karen Villaverde, Nagwa Albehery, Tonghui Wang, and Vladik Kreinovich
How to Reconstruct the System's Dynamics by Differentiating Interval-Valued and Set-Valued Functions, Karen Villaverde and Olga Kosheleva
Computations under Time Constraints: Algorithms Developed for Fuzzy Computations Can Help, Karen Villaverde, Olga Kosheleva, and Martine Ceberio
Towards Fast and Accurate Algorithms for Processing Fuzzy Data: Interval Computations Revisited, Gang Xiang and Vladik Kreinovich
How to Tell When a Product of Two Partially Ordered Spaces Has a Certain Property?, Francisco Zapata, Olga Kosheleva, and Karen Villaverde
Product of Partially Ordered Sets (Posets), with Potential Applications to Uncertainty Logic and Space-Time Geometry, Francisco Zapata, Olga Kosheleva, and Karen Villaverde
Reconstructing an Open Order from Its Closure, with Applications to Space-Time Physics and to Logic, Francisco Zapata and Vladik Kreinovich
Technical Reports from 2010
Runtime Constraint Checking Approaches for OCL, A Critical Comparison, Carmen Avila, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep
Minimum Description Length (MDL) Principle as a Possible Approach to Arc Detection, Jan Beck, David Nemir, and Vladik Kreinovich
Toward Computing an Optimal Trajectory for an Environment-Oriented Unmanned Aerial Vehicle (UAV) under Uncertainty, Jerald Brady, Octavio Lerma, Vladik Kreinovich, and Craig Tweedie
Mamdani Approach to Fuzzy Control, Logical Approach, What Else?, Samuel Bravo and Jaime Nava
Functional Specification and Verification of Object-Oriented Programs, Yoonsik Cheon
A Tutorial on Functional Program Verification, Yoonsik Cheon and Melisa Vela
CleanJava: A Formal Notation for Functional Program Verification, Yoonsik Cheon, Cesar Yeep, and Melisa Vela
Why L2 Topology in Quantum Physics, Chris Culellar, Evan Longpre, and Vladik Kreinovich
Towards Simpler Description of Properties like Commutativity and Associativity: Using Expression Fragments, Shubhra Datta, Valeria Fierro, Krasen Petrov, Jessica Romo, Gesuri Ramirez, and Cesar Valenzuela
Visualization Queries, Nicholas Del Rio and Paulo Pinheiro da Silva
Reducing Over-Conservative Expert Failure Rate Estimates in the Presence of Limited Data: A New Probabilistic/Fuzzy Approach, Carlos M. Ferregut, F. Joshua Campos, and Vladik Kreinovich
Fundamental Physical Equations Can Be Derived By Applying Fuzzy Methodology to Informal Physical Ideas, Eric Gutierrez and Vladik Kreinovich
Least Sensitive (Most Robust) Fuzzy "Exclusive Or" Operations, Jesus E. Hernandez and Jaime Nava
A New Answer to Pauli's Question: Almost All Quantum States Can Be Uniquely Determined by Measuring Location and Momentum, Don Jackson and Olga Kosheleva
Estimating Mean under Interval Uncertainty and Variance Constraint, Ali Jalal-Kamali, Luc Longpre, and Misha Kosheleva
Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-Objective Constraint Optimization, Aline James, Craig Tweedie, Tanja Magoc, Vladik Kreinovich, and Martine Ceberio
Towards Optimal Placement of Bio-Weapon Detectors, Chris Kiekintveld and Octavio Lerma