Open Access. Powered by Scholars. Published by Universities.^{®}
 Keyword

 Inverse problem (2)
 Fair division (1)
 Interval uncertainty (1)
 Underconstrained problems (1)
 Ordinal Information (1)

 Nonlinear data compression (1)
 Bayesian regularization (1)
 Polynomial time solvability (1)
 Nondestructive evaluation (1)
 Multispectral inverse problem (1)
 Satellite imaging (1)
 Geometric construction problems (1)
 Kolmogorov complexity (1)
 Nonlinear inverse problem (1)
 Interval arithmetic (1)
 Periodic table (1)
 Invariance (1)
 Chemistry (1)
 Mammography (1)
 Birkhoff's approach to esthetics (1)
 Zeroone law (1)
Articles 1  30 of 46
FullText Articles in Computer Engineering
Interval Image Classification Is NpHard, Alejandro E. Brito, Vladik Kreinovich
Interval Image Classification Is NpHard, Alejandro E. Brito, Vladik Kreinovich
Departmental Technical Reports (CS)
Feature extraction from images to perform object classification is a very hard problem for general solution. We prove that under interval uncertainty, linear classification is NPhard.
Justification Of Heuristic Methods In Data Processing Using Fuzzy Theory, With Applications To Detection Of Business Cycles From Fuzzy Data, Vladik Kreinovich, Hung T. Nguyen, Berlin Wu
Justification Of Heuristic Methods In Data Processing Using Fuzzy Theory, With Applications To Detection Of Business Cycles From Fuzzy Data, Vladik Kreinovich, Hung T. Nguyen, Berlin Wu
Departmental Technical Reports (CS)
No abstract provided.
Interval Computations, Soft Computing, And Aerospace Applications, Vladik Kreinovich
Interval Computations, Soft Computing, And Aerospace Applications, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Towards Optimal Pain Relief: Acupuncture And Spinal Cord Stimulation, Richard Alo, Kenneth Alo, Obinna Ilochonwu, Vladik Kreinovich, Hoang Phuong Nguyen
Towards Optimal Pain Relief: Acupuncture And Spinal Cord Stimulation, Richard Alo, Kenneth Alo, Obinna Ilochonwu, Vladik Kreinovich, Hoang Phuong Nguyen
Departmental Technical Reports (CS)
One of the important potential areas of application of intelligent virtual environment is to training medical doctors. One of the main problems in designing the corresponding intelligent system is the computational complexity of the corresponding computational problems. This computational complexity is especially high when the corresponding optimization is a discrete optimization problem, e.g., for pain relief methodologies such as acupuncture and spinal cord stimulation. In this paper, we show how to efficiently solve the corresponding discrete optimization problems. As a result, we get, e.g., a theoretical justification for the heuristic method of "guarded cathode".
Towards Intelligent Virtual Environment For Teaching Telemanipulation Operators: Virtual Tool Approach And Its IntervalBased Justification, L. Olac Fuentes, Vladik Kreinovich
Towards Intelligent Virtual Environment For Teaching Telemanipulation Operators: Virtual Tool Approach And Its IntervalBased Justification, L. Olac Fuentes, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Towards Foundations For Traditional Oriental Medicine, Hoang Phuong Nguyen, Scott A. Starks, Vladik Kreinovich
Towards Foundations For Traditional Oriental Medicine, Hoang Phuong Nguyen, Scott A. Starks, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Fuzzy Justification Of Heuristic Methods In Inverse Problems And In Numerical Computations, With Applications To Detection Of Business Cycles From Fuzzy And Intuitionistic Fuzzy Data, Vladik Kreinovich, Hung T. Nguyen, Berlin Wu, Krassimir T. Atanassov
Fuzzy Justification Of Heuristic Methods In Inverse Problems And In Numerical Computations, With Applications To Detection Of Business Cycles From Fuzzy And Intuitionistic Fuzzy Data, Vladik Kreinovich, Hung T. Nguyen, Berlin Wu, Krassimir T. Atanassov
Departmental Technical Reports (CS)
No abstract provided.
NpHardness In Geometric Construction Problems With One Interval Parameter, Nuria Mata, Vladik Kreinovich
NpHardness In Geometric Construction Problems With One Interval Parameter, Nuria Mata, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Uncertainty Representation Explains And Helps Methodology Of Physics And Science In General, Misha Kosheleva, Vladik Kreinovich, Hung T. Nguyen, Bernadette BouchonMeunier
Uncertainty Representation Explains And Helps Methodology Of Physics And Science In General, Misha Kosheleva, Vladik Kreinovich, Hung T. Nguyen, Bernadette BouchonMeunier
Departmental Technical Reports (CS)
No abstract provided.
Towards Combining Fuzzy And Logic Programming Techniques, Hung T. Nguyen, Vladik Kreinovich, Daniel E. Cooke, Luqi, Olga Kosheleva
Towards Combining Fuzzy And Logic Programming Techniques, Hung T. Nguyen, Vladik Kreinovich, Daniel E. Cooke, Luqi, Olga Kosheleva
Departmental Technical Reports (CS)
No abstract provided.
Possible New Directions In Mathematical Foundations Of Fuzzy Technology: A Contribution To The Mathematics Of Fuzzy Theory, Hung T. Nguyen, Vladik Kreinovich
Possible New Directions In Mathematical Foundations Of Fuzzy Technology: A Contribution To The Mathematics Of Fuzzy Theory, Hung T. Nguyen, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Complex Problems: Granularity Is Necessary, Granularity Helps, Oscar N. Garcia, Vladik Kreinovich, Luc Longpre, Hung T. Nguyen
Complex Problems: Granularity Is Necessary, Granularity Helps, Oscar N. Garcia, Vladik Kreinovich, Luc Longpre, Hung T. Nguyen
Departmental Technical Reports (CS)
No abstract provided.
How To Describe Partially Ordered Preferences: Mathematical Foundations, Olga Kosheleva, Vladik Kreinovich, Hung T. Nguyen, Bernadette BouchonMeunier
How To Describe Partially Ordered Preferences: Mathematical Foundations, Olga Kosheleva, Vladik Kreinovich, Hung T. Nguyen, Bernadette BouchonMeunier
Departmental Technical Reports (CS)
No abstract provided.
Cooperative Learning Is Better: Explanation Using Dynamical Systems, Fuzzy Logic, And Geometric Symmetries, Vladik Kreinovich, Edye JohnsonHolubec, Leonid K. Reznik, Misha Kosheleva
Cooperative Learning Is Better: Explanation Using Dynamical Systems, Fuzzy Logic, And Geometric Symmetries, Vladik Kreinovich, Edye JohnsonHolubec, Leonid K. Reznik, Misha Kosheleva
Departmental Technical Reports (CS)
No abstract provided.
From SemiHeuristic Fuzzy Techniques To Optimal Fuzzy Methods: Mathematical Foundations And Applications, Vladik Kreinovich
From SemiHeuristic Fuzzy Techniques To Optimal Fuzzy Methods: Mathematical Foundations And Applications, Vladik Kreinovich
Departmental Technical Reports (CS)
Fuzzy techniques have been successfully used in various application areas ranging from control to image processing to decision making. In all these applications, there is usually:
a general idea, and then
there are several possible implementations of this idea; e.g., we can use:
different membership functions,
different "and" and "or" operations,
different defuzzifications, etc.
In the first approximation, the results are usually reasonably robust and independent on this choice, so any heuristic or semiheuristic choice works OK. However:
if we want to further improve the semiheuristic "good enough" control or image processing techniques,
we must actually make the selection ...
Towards Formalization Of Feasibility, Randomness, And Commonsense Implication: Kolmogorov Complexity, And The Necessity Of Considering (Fuzzy) Degrees, Vladik Kreinovich, Luc Longpre, Hung T. Nguyen
Towards Formalization Of Feasibility, Randomness, And Commonsense Implication: Kolmogorov Complexity, And The Necessity Of Considering (Fuzzy) Degrees, Vladik Kreinovich, Luc Longpre, Hung T. Nguyen
Departmental Technical Reports (CS)
No abstract provided.
Beyond Interval Systems: What Is Feasible And What Is Algorithmically Solvable?, Vladik Kreinovich
Beyond Interval Systems: What Is Feasible And What Is Algorithmically Solvable?, Vladik Kreinovich
Departmental Technical Reports (CS)
In many reallife applications of interval computations, the desired quantities appear (in a good approximation to reality) as a solution to a system of interval linear equations. It is known that such systems are difficult to solve (NPhard) but still algorithmically solvable. If instead of the (approximate) interval linear systems, we consider more realistic (and more general) formulations, will the corresponding problems still be algorithmically solvable? We consider three natural generalizations of interval linear systems: to conditions which are more general than linear systems, to multiintervals instead of intervals, and to dynamics (differential and difference equations) instead of statics (linear ...
Kolmogorov Complexity Justifies Software Engineering Heuristics, Ann Q. Gates, Vladik Kreinovich, Luc Longpre
Kolmogorov Complexity Justifies Software Engineering Heuristics, Ann Q. Gates, Vladik Kreinovich, Luc Longpre
Departmental Technical Reports (CS)
The "clean bill of health" produced by such a technique does not guarantee that the program is actually correct. In this paper, we show that several heuristic techniques for software testing that have been developed in software engineering can be rigorously justified. In this justification, we use Kolmogorov complexity to formalize the terms "simple" and "random" that these techniques use. The successful formalization of simple heuristics is a good indication that Kolmogorov complexity may be useful in formalizing more complicated heuristics as well.
MultiSpectral Inverse Problems In Satellite Image Processing, Scott A. Starks, Vladik Kreinovich
MultiSpectral Inverse Problems In Satellite Image Processing, Scott A. Starks, Vladik Kreinovich
Departmental Technical Reports (CS)
Satellite imaging is nowadays one of the main sources of geophysical and environmental information. It is, therefore, extremely important to be able to solve the corresponding inverse problem: reconstruct the actual geophysics or environmentrelated image from the observed noisy data.
Traditional image reconstruction techniques have been developed for the case when we have a single observed image. This case corresponds to a single satellite photo. Existing satellites (e.g., Landsat) take photos in several (up to 7) wavelengths. To process this multiplespectral information, we can use known reasonable multiimage modifications of the existing singleimage reconstructing techniques. These modifications, basically, handle ...
Kolmogorov Complexity, Statistical Regularization Of Inverse Problems, And Birkhoff's Formalization Of Beauty, Vladik Kreinovich, Luc Longpre, Misha Kosheleva
Kolmogorov Complexity, Statistical Regularization Of Inverse Problems, And Birkhoff's Formalization Of Beauty, Vladik Kreinovich, Luc Longpre, Misha Kosheleva
Departmental Technical Reports (CS)
Most practical applications of statistical methods are based on the implicit assumption that if an event has a very small probability, then it cannot occur. For example, the probability that a kettle placed on a cold stove would start boiling by itself is not 0, it is positive, but it is so small, that physicists conclude that such an event is simply impossible.
This assumption is difficult to formalize in traditional probability theory, because this theory only describes measures on sets (e.g., for an inverse problem, on the set of all functions) and does not allow us to divide ...
Fair Division Under Interval Uncertainty, Ronald R. Yager, Vladik Kreinovich
Fair Division Under Interval Uncertainty, Ronald R. Yager, Vladik Kreinovich
Departmental Technical Reports (CS)
It is often necessary to divide a certain amount of money between n participants, i.e., to assign, to each participant, a certain portion w(i)>=0 of the whole sum (so that w(1)+...+w(n)=1). In some situations, from the fairness requirements, we can uniquely determine these "weights" w(i). However, in some other situations, general considerations do not allow us to uniquely determine these weights, we only know the intervals [w(i),w+(i)] of possible fair weights. We show that natural fairness requirements enable us to choose unique weights from these intervals; as a result ...
Case Study Of NonLinear Inverse Problems: Mammography And NonDestructive Evaluation, Olga Kosheleva, S. Cabrera, Roberto A. Osegueda, Carlos M. Ferregut, Soheil Nazarian, M. J. George, Vladik Kreinovich, K. Worden
Case Study Of NonLinear Inverse Problems: Mammography And NonDestructive Evaluation, Olga Kosheleva, S. Cabrera, Roberto A. Osegueda, Carlos M. Ferregut, Soheil Nazarian, M. J. George, Vladik Kreinovich, K. Worden
Departmental Technical Reports (CS)
The inverse problem is usually difficult because the signal (image) that we want to reconstruct is weak. Since it is weak, we can usually neglect quadratic and higher order terms, and consider the problem to be linear. Since the problem is linear, methods of solving this problem are also, mainly, linear (with the notable exception of the necessity to take into consideration, e.g., that the actual image is nonnegative).
In most reallife problems, this linear description works pretty well. However, at some point, when we start looking for a better accuracy, we must take into consideration nonlinear terms. This ...
A Variation On The ZeroOne Law, Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpre
A Variation On The ZeroOne Law, Andreas Blass, Yuri Gurevich, Vladik Kreinovich, Luc Longpre
Departmental Technical Reports (CS)
Given a decision problem P and a probability distribution over binary strings, for each n, draw independently an instance xn of P of length n. What is the probability that there is a polynomial time algorithm that solves all instances xn of P? The answer is: zero or one.
How To Divide A Territory? A New Simple Differential Formalism For Optimization Of Set Functions, Hung T. Nguyen, Vladik Kreinovich
How To Divide A Territory? A New Simple Differential Formalism For Optimization Of Set Functions, Hung T. Nguyen, Vladik Kreinovich
Departmental Technical Reports (CS)
In many practical problems, we must optimize a set function, i.e., find a set A for which f(A) is maximum, where f is a function defined on the class of sets. Such problems appear in design, in image processing, in game theory, etc.
Most optimization problems can be solved (or at least simplified) by using the fact that small deviations from an optimal solution can only decrease the value of the objective function; as a result, some derivative must be equal to 0. This approach has been successfully used, e.g., for set functions in which the desired ...
Computational Complexity And Feasibility Of Fuzzy Data Processing: Why Fuzzy Numbers, Which Fuzzy Numbers, Which Operations With Fuzzy Numbers, Hung T. Nguyen, Misha Kosheleva, Olga Kosheleva, Vladik Kreinovich, Radko Mesiar
Computational Complexity And Feasibility Of Fuzzy Data Processing: Why Fuzzy Numbers, Which Fuzzy Numbers, Which Operations With Fuzzy Numbers, Hung T. Nguyen, Misha Kosheleva, Olga Kosheleva, Vladik Kreinovich, Radko Mesiar
Departmental Technical Reports (CS)
In many reallife situations, we cannot directly measure or estimate the desired quantity r. In these situations, we measure or estimate other quantities r1,...,rn related to r, and then reconstruct r from the estimates for r_i. This reconstruction is called data processing.
Often, we only have fuzzy information about ri. In such cases, we have fuzzy data processing. Fuzzy data means that instead of a single number ri, we have several numbers that describes the fuzzy knowledge about the corresponding quantity. Since we need to process more numbers, the computation time for fuzzy data processing is often much larger ...
Decision Making Based On Satellite Images: Optimal Fuzzy Clustering Approach, Vladik Kreinovich, Hung T. Nguyen, Scott A. Starks, Yeung Yam
Decision Making Based On Satellite Images: Optimal Fuzzy Clustering Approach, Vladik Kreinovich, Hung T. Nguyen, Scott A. Starks, Yeung Yam
Departmental Technical Reports (CS)
In many reallife decisionmaking situations, in particular, in processing satellite images, we have an enormous amount of information to process. To speed up the information processing, it is reasonable to first classify the situations into a few meaningful classes (clusters), find the best decision for each class, and then, for each new situation, to apply the decision which is the best for the corresponding class. One of the most efficiently clustering methodologies is fuzzy clustering, which is based on the use of fuzzy logic. Usually, heuristic clusterings are used, i.e., methods which are selected based on their empirical efficiency ...
Towards The Use Of Aesthetics In Decision Making: Kolmogorov Complexity Formalizes Birkhoff's Idea, Misha Kosheleva, Vladik Kreinovich, Yeung Yam
Towards The Use Of Aesthetics In Decision Making: Kolmogorov Complexity Formalizes Birkhoff's Idea, Misha Kosheleva, Vladik Kreinovich, Yeung Yam
Departmental Technical Reports (CS)
Decision making is traditionally based on utilitarian criteria such as cost, efficiency, time, etc. These criteria are reasonably easy to formalize; hence, for such criteria, we can select the best decision by solving the corresponding welldefined optimization problem. In many engineering projects, however, e.g., in designing cars, building, airplanes, etc., an important additional criterion which needs to be satisfied is that the designed object should be good looking. This additional criterion is difficult to formalize and, because of that, it is rarely taken into consideration in formal decision making. In the 1930s, the famous mathematician G. D. Birkhoff has ...
Adding Fuzzy Integral To Fuzzy Control, Hung T. Nguyen, Vladik Kreinovich, Richard Alo
Adding Fuzzy Integral To Fuzzy Control, Hung T. Nguyen, Vladik Kreinovich, Richard Alo
Departmental Technical Reports (CS)
Sugeno integral was invented a few decades ago as a natural fuzzynumber analogue of the classical integral. Sugeno integral has many interesting applications. It is reasonable to expect that it can be used in all application areas where classical integrals are used, and in many such areas it is indeed useful. Surprisingly, however, it has never been used in fuzzy control, although in traditional control, classical integral is one of the main tools.
In this paper, we show that the appropriately modified Sugeno integral is indeed useful for fuzzy control: namely, it provides numerical characterization of stability and smoothness of ...
Operations With Fuzzy Numbers Explain Heuristic Methods In Image Processing, Olga Kosheleva, Vladik Kreinovich, Bernadette BouchonMeuiner, Radko Mesiar
Operations With Fuzzy Numbers Explain Heuristic Methods In Image Processing, Olga Kosheleva, Vladik Kreinovich, Bernadette BouchonMeuiner, Radko Mesiar
Departmental Technical Reports (CS)
Maximum entropy method and its heuristic generalizations are very useful in image processing. In this paper, we show that the use of fuzzy numbers enables us to naturally explain these heuristic methods.
Encryption Algorithms Made (Somewhat) More Natural (A Pedagogical Remark), Misha Kosheleva, Vladik Kreinovich, Luc Longpre
Encryption Algorithms Made (Somewhat) More Natural (A Pedagogical Remark), Misha Kosheleva, Vladik Kreinovich, Luc Longpre
Departmental Technical Reports (CS)
Modern cryptographic algorithms, such as DES, IDEA, etc., are very complex and therefore difficult to learn. Textbooks explain in detail how these algorithms work, but they usually do not explain why these algorithms were designed as they were. In this paper, we explain why, and thus, hopefully, make cryptographic algorithms easier to learn.