Vladik Kreinovich
Possui graduação em Computer Science pela Saint Petersburg State University(1973), mestrado em Mathematics pela Saint Petersburg State University(1974) e doutorado em Mathematics pela Soviet Academy Of Sciences(1979). Atualmente é professor titular da University of Texas System. Tem experiência na área de Ciência da Computação, com ênfase em Matemática da Computação. Atuando principalmente nos seguintes temas:Scientific Computing.
Informações coletadas do Lattes em 22/11/2022
Acadêmico
Formação acadêmica
Doutorado em Mathematics
1975 - 1979
Soviet Academy Of Sciences
Título: Categories of space-time models
Orientador: Soviet Academy Of Sciences
Palavras-chave: Scientific Computing.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação. Setores de atividade: Informática.
Mestrado em Mathematics
1973 - 1974
Saint Petersburg State University
Orientador: Saint Petersburg State University
Palavras-chave: Scientific Computation.Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada. Setores de atividade: Informática.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Alemão
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.
Russo
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Geometria e Topologia.
Orientou
Towards mathematical foundations of information retrieval with application to fault detection in aerospace structures; 2000; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
Using symmetries to reduce the size of a fuzzy knowledge base, with an application to fault detection; 1999; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
An optimal FFT-based algorithm for mosaicking images; 1999; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
Detecting text in web images: a complexity-based approach; 1999; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
Best segments in representing contours; 1998; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
A modified learning algorithm that prevents instability frequently found in FIR back-propagation neural networks; 1996; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
On the Computational Power of Using Chemical Reactions; 1996; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
Solving Narrow-Interval Linear Equation Systems Is NP-Hard; 1996; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
Computing the Value of a Boolean expression with intervals is NP-hard; 1996; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;
Kirillova; Optimal robust algorithms for processing the measurements results in case of a priori uncertainty; 1988; 0 f; Tese (Doutorado em Eletromeasuring Devices) - Leningrad University,; Orientador: Vladik Kreinovich;
Produções bibliográficas
-
WORDEN, K. ; OSEGUEDA, R. ; FERREGUT, C. ; NAZARIAN, S. ; GEORGE, D. L. ; GEORGE, M. J. ; KREINOVICH, V. ; KOSHELEVA, O. ; CABRERA, S. . Interval Methods in Non-Destructive Testing of Material Structures . Journal On Reliable Computing , Dordrecht, v. 7, 2001.
-
HEINDL, G. ; KREINOVICH, V. ; RIFQI, M. . In case of interval (or more general) uncertainty, no algorithm can choose the simplest representative . Journal of Reliable Computing , Dordrecht, v. 7, 2001.
-
KREINOVICH, V. ; NGUYEN, H. T. ; YAM, Y. . Fuzzy Systems Are Universal Approximators for a Smooth Function And Its Derivatives . International Journal Of Intelligent Systems, 2000.
-
KREINOVICH, V. . Roundoff-Free Number Fields For Interval Computations. Journal On Reliable Computing , Dordrecht, v. 6, n.4, 2000.
-
KREINOVICH, V. ; MUKAIDONO, M. ; ATANASSOV, K. . From Fuzzy Values To Intuitionistic Fuzzy Values To Intuitionistic Fuzzy Intervals etc.: Can We Get an Arbitrary Ordering? . Notes On Intutionistic Fuzzy Sets, 2000.
-
COOKE, D. E. ; KREINOVICH, V. ; URBAN, J. E. . Designing interdisciplinary approaches to problem solving into computer languages . Transactions Of The Society Of Design And Process Science, 2000.
-
NGUYEN, H. T. ; KREINOVICH, V. ; BOUCHON-MEUNIER, B. . Soft Computing Explains Heuristic Numerical Methods in Data Processing and in Logic Programming . Journal of Heuristics , 2000.
-
GEHRKE, M. ; KREINOVICH, V. ; BOUCHON-MEUNIER, B. . Propositional Fuzzy Logics: Decidable for Some (Algebraic) Operators, Undecidable for More Complicated Ones . International Journal On Intelligent Systems, 2000.
-
COOKE, D. E. ; KREINOVICH, V. . Automatic Concurrency in SequenceL. Science Of Computer Programming, 2000.
-
COOKE, D. E. ; KREINOVICH, V. . Automatic Concurrency in SequenceL. Eletronic Notes In Theoretical Computer Science, v. 25, 2000.
-
TREJO, R. A. ; KREINOVICH, V. ; LONGPRE, L. . Choosing a Physical Model: Why Symmetries?. Bull Of The European Association Of Theorethical Computer Science, v. 70, p. 159-161, 2000.
-
NGUYEN, H. T. ; KREINOVICH, V. ; WU, A. B. . Fuzzy/probability-fractal/smooth. International Journal of Uncertainty, Fuzziness and Kb Systems, v. 7, n.4, p. 363-370, 1999.
-
KOSHELEV, M. ; KREINOVICH, V. ; LONGPRE, L. . Encryption Algorithms Made Natural. Inroads Acm Sigcse Bulletin, v. 31, n.4, p. 50-51, 1999.
-
KREINOVICH, V. ; NGUYEN, H. T. ; WU, B. . Justification of Heuristic Methods in Data Processing Using Fuzzy Theory, with Applications to Detection of Business Cycles From Fuzzy Data . East West Journal Of Mathematics, v. 1, n.2, p. 147-157, 1999.
-
YAGER, R. R. ; KREINOVICH, V. . Decision Making Under Interval Probabilities. International Journal Of Approximate Reasoning, v. 22, n.3, p. 195-215, 1999.
-
SUBBARAMU, S. ; GATES, A. Q. ; KREINOVICH, V. . Application of Kolmogorov Complexity to Image Processing: It Is possible to Have a Better Compression, but It Is Not Possible to Have the Best One . Bull European Association For Theoretical Computer Science, v. 69, p. 145-150, 1999.
-
YAGER, R. R. ; KREINOVICH, V. . On How to Merge Sorted Lists Coming from Different Web Search tools. Soft Computing, v. 3, p. 83-88, 1999.
-
KOSHELEVA, O. ; KREINOVICH, V. . Only Intervals Preserve the Invertibility of Arithmetic Operations . Journal of Reliable Computing , Dordrecht, v. 5, n.4, p. 385-394, 1999.
-
HAMZO, C. ; KREINOVICH, V. . On Average Bit Complexity of Interval Arithmetic. Bull Of The European Association Of Theoretical Computer Science, v. 68, p. 153-156, 1999.
-
KREINOVICH, V. ; GUDENBERG, J. W. V. . Arithmetic of complex sets: Nickel's classical paper revisited from a geometric viewpoint . Geombinatorics, v. 9, n.1, p. 21-26, 1999.
-
KREINOVICH, V. . Coincidences are Not Accidental: a Theorem. Cybernetics And Systems, v. 30, n.5, p. 429-440, 1999.
-
KREINOVICH, V. ; YAM, Y. . Extending T-Norms Beyond [0,1]: Relevant Results of Semigroup Theory . Bull Of Studies And Exchanges On Fuzzines And Applications, v. 78, p. 12-16, 1999.
-
NGUYEN, H. T. ; KREINOVICH, V. ; SIRISAENGTAKSIN, O. . Fuzzy control as a universal control tool. International Journal on Fuzzy Sets and Systems, v. 80, n.1, p. 71-86, 1996.
-
NGUYEN, H. T. ; KREINOVICH, V. . Towards theoretical foundations of soft computing applications. International Journal of Uncertainty, Fuzziness and Kb Systems, v. 3, n.3, p. 341-373, 1995.
-
KREINOVICH, V. ; LAKEYEV, A. ; ROHN, J. ; KAHL, P. . Computational complexity and feasibility of data processing and interval computations . Dordrecht: Kluwer, 1997. v. 1.
-
NGUYEN, H. T. ; KREINOVICH, V. . Applications of continuous mathematics to computer science . Dordrecht: Kluwer, 1997. v. 1.
-
KREINOVICH, V. (Org.) ; MINTS, G. (Org.) . Problems of reducing the exhaustive search. Providence: American Mathematical Society, 1997. v. 1.
-
KEARFOTT, R. B. (Org.) ; KREINOVICH, V. (Org.) . Applications of Interval Computations. Dordrecht: Kluwer, 1996. v. 1.
-
KREINOVICH, V. . Beyond Interval Systems: What Is Feasible and What Is Algorithmically Solvable? . In: Panos M. Pardalos. (Org.). Approximation and Complexity in Numerical Optimization: Continuous and Discrete Problems. Dordrecht: Kluwer, 2000, v. 1, p. -.
-
NGUYEN, H. T. ; KREINOVICH, V. ; GORODETSKI, V. I. ; NESTEROV, V. M. ; TOULOUPIEV, A. L. . Applications of Interval-Valued Degrees of Belief: A Survey. In: Alexandre Touloupiev. (Org.). Information Technologies and Intellectual Methods. St. Petersburg: St. Petersburg Institute for Information/Automation of Russian Academy of Sciences, 1999, v. 3, p. 6-61.
-
KREINOVICH, V. ; PENN, B. ; STARKS, S. . From Expert Words Directly to Numerical Simulations: Group-Theoretic Approach to Computing with Words in Information/Intelligent Systems . In: Lotfi A. Zadeh; Janusz Kacprzyk. (Org.). Computing with Words in Information/Intelligent Systems. Berlin: Springer-Verlag, 1999, v. , p. 495-517.
-
COOKE, D. E. ; KREINOVICH, V. ; LONGPRE, L. . Which algorithms are feasible? MaxEnt approach. In: Gary J. Erickson; Joshua T. Rychert; C. Ray Smith. (Org.). Maximum Entropy and Bayesian Methods. Dordrecht: Kluwer, 1998, v. , p. 24-32.
-
FOX, D. ; SCHMIDT, M. ; KOSHELEV, M. ; KREINOVICH, V. ; LONGPRE, L. ; KUHN, J. . We must choose the simplest physical theory: Levin-Li-Vitanyi theorem and its potential physical applications . In: Gary J. Erickson; Joshua T. Rychert; C. Ray Smith. (Org.). Maximum Entropy and Bayesian Methods. Dordrecht: Kluwer, 1998, v. , p. 238-251.
-
STARKS, S. A. ; KREINOVICH, V. . Environmentally-oriented processing of multi-spectral satellite images: new challenges for Bayesian methods . In: Gary J. Erickson; Joshua T. Rychert; C. Ray Smith. (Org.). Maximum Entropy and Bayesian Methods. Dordrecht: Kluwer, 1998, v. , p. 271-276.
-
OSEGUEDA, R. ; FERREGUT, C. ; GEORGE, M. J. ; GUTIERREZ, J. M. ; KREINOVICH, V. . Maximum entropy approach to optimal sensor placement for aerospace non-destructive testing . In: Gary J. Erickson; Joshua T. Rychert; C. Ray Smith. (Org.). Maximum Entropy and Bayesian Methods. Dordrecht: Kluwer, 1998, v. , p. 277-289.
-
NGUYEN, H. T. ; KREINOVICH, V. . Multi-criteria optimization - an important foundation of fuzzy system design . In: Leonid Reznik; Vladimir Dimitrov; Janusz Kacprzyk. (Org.). Fuzzy system design: social and engineering applications. Heidelberg: Physica Verlag, 1998, v. , p. 24-35.
-
KREINOVICH, V. ; MOUZOURIS, G. C. ; NGUYEN, H. T. . Fuzzy rule based modeling as a universal control tool. In: H. T. Nguyen; M. Sugeno. (Org.). Fuzzy Systems: Modeling and Control. Boston: Kluwer, 1998, v. , p. 135-195.
-
NGUYEN, H. T. ; KREINOVICH, V. . Methodology of fuzzy control: an introduction. In: H. T. Nguyen; M. Sugeno. (Org.). Fuzzy Systems: Modeling and Control. Boston: Kluwer, 1998, v. , p. 19-62.
-
TREJO, R. ; KREINOVICH, V. ; BARAL, C. . Towards Feasible Approach to Plan Checking Under Probabilistic Uncertainty: Interval Methods . In: 17th National Conference on Artificial Intelligence, 2000, Austin. Proceedings of AAAI'2000, 2000.
-
STARKS, S. A. ; KREINOVICH, V. . Aerospace applications of soft computing and interval computations (with an emphasis on multi-spectral satellite imaging) . In: 2000 World Automation Congress, 2000, Maui. Proceedings, 2000.
-
BARRY, M. R. ; KREINOVICH, V. ; PHUONG, N. H. . Towards the optimal choice of data channels for monitoring a space flight . In: 2000 World Automation Congress, 2000, Maui, 2000.
-
KREINOVICH, V. ; MUKAIDONO, M. . Intervals (Pairs of Fuzzy Values), Triples, etc.: Can We Thus Get an Arbitrary Ordering? . In: 9th IEEE International Conference on Fuzzy, 2000, San Antonio. roceedings, 2000.
-
NGUYEN, H. T. ; WU, B. ; KREINOVICH, V. . Shadows of Fuzzy Sets - A Natural Approach Towards Describing 2-D and Multi-D Fuzzy Uncertainty in Linguistic Terms . In: 9th IEEE International Conference on Fuzzy, 2000, San Antonio. Proceedings, 2000.
-
NGUYEN, H. T. ; KANDEL, A. ; KREINOVICH, V. . Complex Fuzzy Sets: Towards New Foundations. In: 9th IEEE International Conference on Fuzzy, 2000, San Antonio. Proceedings, 2000.
-
NGUYEN, N. ; NGUYEN, H. T. ; KREINOVICH, V. . Chu Spaces: Towards New Justification for Fuzzy Heuristics . In: Seventh International Conference on Principles of Knowledge Representation and Reasoning, 2000, Breckenridge. Proceeding of the Workshop on Semantic Approximation, Granularity, and Vagueness, 2000. p. 51-56.
-
BARRY, M. ; KREINOVICH, V. . Which Sensor Set Is Better For Monitoring Space Shuttle?. In: Joint Conferences in Information Sciences, 2000, Atlantic City. Proceedings, 2000. v. 1. p. 244-246.
-
KOCZY, L. T. ; KREINOVICH, V. ; MENDOZA, Y. . Towards Mathematical Foundations of Information Retrieval: Dependence of Website's Relevance on the Number of Occurrences of a Queried Word . In: Joint Conferences in Information Sciences, 2000, Atlantic City. Proceedings, 2000. v. 1. p. 252-255.
-
GUDENBERG, J. W. V. ; KREINOVICH, V. . Candidate Sets for Complex Interval Arithmetic. In: International Conference on Information Technology, 1999, Bhubaneswar. Trends in Information Technology. New Delhi: Tata McGraw-Hill, 1999. p. 230-233.
-
NGUYEN, H. T. ; WU, B. ; KREINOVICH, V. . On Combining Statistical and Fuzzy Techniques: Detection of Business Cycles From Uncertain Data . In: International Conference on, 1999, Bhubaneswar. Trends in Information Technology. New Delhi: Tata McGraw-Hill, 1999. p. 69-74.
Outras produções
KREINOVICH, V. . Refereeing for Automatica. 1999.
KREINOVICH, V. . refereeing for The Computer Journal. 1999.
KREINOVICH, V. . referreing for Computers & Mathematics with Applications. 1999.
KREINOVICH, V. . refereeing for Fuzzy Sets & Systems. 1999.
KREINOVICH, V. . refereeing for IEEE Transactions on Circuits and Systems. 1999.
KREINOVICH, V. . refereeing for Logic Journal of the Interest Group in Pure and Applied Logic . 1998.
KREINOVICH, V. . REFEREEING FOR American Mathematical Monthly. 1996.
KREINOVICH, V. . Refereeing for Annals of Mathematics and Artificial Intelligence. 1996.
KREINOVICH, V. . referreing for Reliable Computing. 1995.
Histórico profissional
Endereço profissional
-
University of Texas System, University Of Texas At El Paso, Computer Science Department. , University of Texas, Computer Science Department, Center, TX79968 - El Paso, - Estados Unidos, Telefone: (1915) 476951, Fax: (1915) 475030, URL da Homepage:
Experiência profissional
2000 - 2000
Universidade Federal de PernambucoVínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40
Atividades
-
03/2000 - 03/2000
Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Linhas de pesquisa
1998 - 1999
Chinese Academy of SciencesVínculo: Professor Visitante, Enquadramento Funcional: Academic Visitor, Carga horária: 40
Atividades
-
12/1998 - 01/1999
Pesquisa e desenvolvimento .,Linhas de pesquisa
1996 - 1996
Universite de Paris VI (Pierre et Marie Curie)Vínculo: Professor Visitante, Enquadramento Funcional: Invited Professor, Carga horária: 40
Atividades
-
06/1996 - 09/1996
Pesquisa e desenvolvimento , Laboratory Of Forms And Artificial Inteligence, .,Linhas de pesquisa
1996 - 1996
Institute Of Mathematics And Its ApllicationsVínculo: Professor Visitante, Enquadramento Funcional: Visiting Researcher, Carga horária: 40
Atividades
-
08/1996 - 08/1996
Pesquisa e desenvolvimento .,Linhas de pesquisa
1990 - Atual
University of Texas SystemVínculo: Servidor público ou celetista, Enquadramento Funcional: Professor titular, Carga horária: 0, Regime: Dedicação exclusiva.
Outras informações:
de 1990 a 1997 - Associate Professor
Atividades
-
01/1990
Pesquisa e desenvolvimento , University Of Texas At El Paso, Computer Science Department.,Linhas de pesquisa
-
01/1990
Ensino,,Disciplinas ministradas, Numerical Analysis
-
01/1990
Ensino, Computer Science/Computer Engineering, Nível: Pós-Graduação,Disciplinas ministradas, Numerical Methods
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Vladik Kreinovich e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?