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.

Graduação em Computer Science

1969 - 1973

Saint Petersburg State University

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Francês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Bandeira representando o idioma Alemão

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Bandeira representando o idioma 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

Yohans Mendoza

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;

Murali Krishna

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;

Steve Gibson

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;

Martin Schmidt

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;

Zhibao Hu

Best segments in representing contours; 1998; 0 f; Dissertação (Mestrado em Computer Science/Computer Engineering) - University of Texas System,; Orientador: Vladik Kreinovich;

Emilio Sanchez

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;

Brian Cloteaux

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;

Patrick Kahl

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;

Leticia Chee

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;

Inna S

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 Pernambuco

Ví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 Sciences

Ví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 Apllications

Ví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 System

Ví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