Follow

Technical Reports from 2015

PDF

A Catalog of While Loop Specification Patterns, Aditi Barua and Yoonsik Cheon

PDF

Fuzzy, Intuitionistic Fuzzy, What Next?, Vladik Kreinovich and Bui Cong Cuong

PDF

How Design Quality Improves with Increasing Computational Abilities: General Formulas and Case Study of Aircraft Fuel Efficiency, Joe Lorkowski, Olga Kosheleva, Vladik Kreinovich, and Sergei Soloviev

PDF

Why Lattice-Valued Fuzzy Values? A Mathematical Justification, Rujira Ouncharoen, Vladik Kreinovich, and Hung T. Nguyen

PDF

Inverse problems in theory and practice of measurements and metrology, Konstantin K. Semenov, Gennadi N. Solopchenko, and Vladik Kreinovich

PDF

Minimax Portfolio Optimization under Interval Uncertainty, Meng Yuan, Xu Lin, Junzo Watada, and Vladik Kreinovich

Technical Reports from 2014

PDF

If We Take Into Account that Constraints Are Soft, Then Processing Constraints Becomes Algorithmically Solvable, Quentin Brefort, Luc Jaulin, Martine Ceberio, and Vladik Kreinovich

PDF

Towards Fast and Reliable Localization of an Underwater Object: An Interval Approach, Quentin Brefort, Luc Jaulin, Martine Ceberio, and Vladik Kreinovich

PDF

From Global to Local Constraints: A Constructive Version of Bloch's Principle, Martine Ceberio, Olga Kosheleva, and Vladik Kreinovich

PDF

Range Estimation under Constraints is Computable Unless There Is a Discontinuity, Martine Ceberio, Olga Kosheleva, and Vladik Kreinovich

PDF

Writing Self-testing Java Classes with SelfTest, Yoonsik Cheon

PDF

Extending OCL to Better Express UML Qualified Associations, Alla Dove, Aditi Barua, and Yoonsik Cheon

PDF

Roadmap for Graduating Students with Expertise in the Analysis and Development of Secure Cyber-Systems, Ann Q. Gates, Salamah Salamah, and Luc Longpre

PDF

Why Ricker Wavelets Are Successful in Processing Seismic Data: Towards a Theoretical Explanation, Afshin Gholamy and Vladik Kreinovich

PDF

Examining the Consistence of Futures Margin Levels using Bivariate Extreme Value Copulas, X. Gong, Hung T. Nguyen, Vladik Kreinovich, and Songsak Sriboonchitta

PDF

From Interval-Valued Probabilities to Interval-Valued Possibilities: Case Studies of Interval Computation under Constraints, Luis C. Gutierrez, Martine Ceberio, Vladik Kreinovich, Rebekah L. Gruver, Mariana Peña, Mathew J. Rister, Abraham Saldaña, John Vasquez, Janelle Ybarra, and Salem Benferhat

PDF

A Simple Probabilistic Explanation of Term Frequency-Inverse Document Frequency (tf-idf) Heuristic (and Variations Motivated by This Explanation), Lukas Havrlant and Vladik Kreinovich

PDF

F-Transform Enhancement of the Sampling Theorem and Reconstruction of Noisy Signals, Michal Holčapek, Irina Per lieva, and Vladik Kreinovich

PDF

How to Understand Connections Based on Big Data: From Cliques to Flexible Granules, Ali Jalal-Kamali, M. Shahriar Hossain, and Vladik Kreinovich

PDF

A Feasible Algorithm for Checking n-Scissors Congruence of Polyhedra in Rd, Olga Kosheleva and Vladik Kreinovich

PDF

Decision Making under Interval Uncertainty: What Can and What Cannot Be Computed in Linear Time and in Real Time, Olga Kosheleva and Vladik Kreinovich

PDF

Deep Mathematical Results Are The Ones That Connect Seemingly Unrelated Areas: Towards A Formal Proof Of Gian-Carlo Rota's Thesis, Olga Kosheleva and Vladik Kreinovich

PDF

For Each Mathematical Statement, Only Finitely Many of Its Generalizations Are Useful: A Formal Proof of E. Bishop's Idea, Olga Kosheleva and Vladik Kreinovich

PDF

How to Compare Different Range Estimations: A Symmetry-Based Approach, Olga Kosheleva and Vladik Kreinovich

PDF

Kekule's Benzene Structure: A Case Study of Teaching Usefulness of Symmetry, Olga Kosheleva and Vladik Kreinovich