Vladik Kreinovich: Detailed Curriculum Vitae


Work Address:

  Computer Science Department
  University of Texas at El Paso
  500 W. University
  El Paso, TX 79968
  phone (915) 747-6951
  fax (915) 747-5030
  email vladik at utep.edu
  URL http://www.cs.utep.edu/vladik

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Home Address:

1003 Robinson El Paso, TX 79902 phone (915) 544-3543

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Education

Institute of Mathematics, Siberian Branch, Soviet Academy of Sciences, Novosibirsk, Russia Ph.D. in Mathematics, May 1979. Leningrad University, St. Petersburg, Russia M.S. in Mathematics and B.S. in Computer Science, December 1974. Diploma summa cum laude.

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Experience

University of Texas at El Paso, El Paso, TX 1997-present, Professor 1990-1997, Associate Professor Chiang Mai University, Chiang Mai, Thailand 2009-present, Adjunct Professor Center for Computational Sciences and Advanced Distributed Simulation, Houston, TX 2001-present, Research Associate University of Ostrava Ostrava, Czech Republic May-June 2009, Visiting Researcher Technion - Israel Institute of Technology Haifa, Israel March 2009, Visiting Researcher King Mongkut's University of Technology North Bangkok Bangkok, Thailand December 2008-January 2009, Visiting Professor Max Planck Institut fuer Mathematik, Bonn, Germany May - June 2007, Visiting Researcher Japan Advanced Institute of Science and Technology, Ishikawa, Japan March 2007, Visiting Researcher University of Texas at Austin February - March 2006, Visiting Researcher Catholic University of Pelotas, Brazil December 2003-January 2004, Visiting Professor Euler International Mathematical Institute St. Petersburg, Russia August 2002, Visiting Researcher Fields Institute for Research in Mathematical Sciences Toronto, Canada May 2002, Visiting Faculty Member Chinese University of Hong Kong, Hong Kong, China December 1998-January 1999, Academic Visitor Institute for Mathematics and its Applications, Minneapolis, MN August 1996, Visiting Researcher University of Paris VI, Paris, France Summer 1996, Invited Professor Laforia, Laboratory of Forms and Artificial Intelligence. Stanford University, Stanford, CA 1989, Visiting Scholar, Computer Science Department and Institute for Mathematical Studies in the Social Sciences. National Research Institute for Electrical Measuring Instruments St. Petersburg, Russia 1986-1989 Leading Research Associate. 1983-1986 Senior Research Associate. 1980-1983 Research Associate. Center for New Informational Technology "Informatika" St. Petersburg, Russia 1988-1989 Senior Research Associate. Leningrad University, St. Petersburg, Russia 1988-1989 Lecturer, Special Mathematical College. Academy of Sciences, National Council on Cybernetics and Artificial Intelligence, Moscow, Russia 1985-1989, Research Associate Committee on Applications of Mathematical Logic. Leningrad Electrical Engineering Institute, St. Petersburg, Russia 1985-1989, Lecturer, Department of Mathematical Logic. Experimental College of Intensive Education, Laboratory of Experimental Psychological Systems, St. Petersburg, Russia 1980-1983, Professor. Soviet Space Shuttle Program, National Institute of Scientific Instruments, St. Petersburg, Russia 1982, Senior Research Associate. Leningrad Pedagogical Institute, St. Petersburg, Russia 1981 Lecturer, Mathematical Department. Special Astrophysical Observatory, St. Petersburg, Russia 1978-1980 Senior Research Associate. Institute of Mathematics, Novosibirsk, Russia 1975-1978 Research Associate. Novosibirsk University, Novosibirsk, Russia 1975-1976, Lecturer, Mathematics Department. Novosibirsk Electrical Engineering Institute, Novosibirsk, Russia 1975-1976, Research Associate. Leningrad University, St. Petersburg, Russia 1973-1974 Director, Honors Program, Mathematics Department. 1970-1973 Lecturer, Honors Program Mathematics and Astronomy Department. Academy of Sciences, Komi Branch, Syktyvkar, Russia 1973 Research Associate Department of Mathematics and Computer Science

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Research Activities

More than 750 research papers in books, journals or conference
publications (more than 250 of them with student co-authors).
Publications: 

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Research Books (Computer Science)

Shoumei Li, Yukio Ogura, and Vladik Kreinovich, "Limit Theorems and Applications of Set Valued and Fuzzy Valued Random Variables", Kluwer Academic Publishers, Dordrecht, 2002. Vladik Kreinovich, Anatoly Lakeyev, Jiri Rohn, and Patrick Kahl, "Computational complexity and feasibility of data processing and interval computations", Kluwer, Dordrecht, 1997. Hung T. Nguyen and Vladik Kreinovich, "Applications of continuous mathematics to computer science", Kluwer, Dordrecht, 1997.

 

Edited Research Books (Computer Science)

Chenyi Hu, R. Baker Kearfott, Andre de Korvin, and Vladik Kreinovich (eds.), Knowledge Processing with Interval and Soft Computing, Springer Verlag, London, 2008. Witold Pedrycz, Andrzej Skowron, and Vladik Kreinovich (eds.), Handbook on Granular Computing, Wiley, Chichester, UK, 2008. Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, and Hung T. Nguyen (eds.), Interval/Probabilistic Uncertainty and Non-Classical Logics, Springer-Verlag, Berlin-Heidelberg-New York, 2008. L. Reznik and V. Kreinovich (eds.), Soft Computing in Measurements and Information Acquisition, Springer-Verlag, Berlin-Heidelberg, 2003. Vladik Kreinovich and Grigory Mints (eds.), "Problems of reducing the exhaustive search", American Mathematical Society (AMS Translations - Series 2, Vol. 178), Providence, RI, 1997. R. Baker Kearfott and Vladik Kreinovich (eds.), Applications of Interval Computations, Kluwer, Dordrecht, 1996.

[<--] Back to Research Activities


Research Book Chapters (Computer Science)

Vladik Kreinovich and Olga Kosheleva, "Towards Dynamical Systems Approach to Fuzzy Clustering", In: Dmitri A. Viattchenin (ed.), Developments in Fuzzy Clustering, Vever Publ., Minsk, Belarus, 2009, pp. 10-35.
pdf file. Tanja Magoc, Francois Modave, Martine Ceberio, and Vladik Kreinovich, "Computational Methods for Investment Portfolio: the Use of Fuzzy Measures and Constraint Programming for Risk Management", In: Aboul-Ella Hassanien and Ajith Abraham (ed.), Foundations of Computational Intelligence, Springer-Verlag, 2009, Vol. 2, pp. 133-173. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, J. Esteban Gamez, Francois Modave, and Olga Kosheleva, "Intermediate Degrees are Needed for the World to be Cognizable: Towards a New Justification for Fuzzy Logic Ideas", In: Aboul-Ella Hassanien and Ajith Abraham (ed.), Foundations of Computational Intelligence, Springer-Verlag, 2009, Vol. 2, pp. 53-74. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, Francois Modave, and Martine Ceberio, "Fuzzy Without Fuzzy: Why Fuzzy-Related Aggregation Techniques Are Often Better Even in Situations Without True Fuzziness", In: Aboul-Ella Hassanien and Ajith Abraham (ed.), Foundations of Computational Intelligence, Springer-Verlag, 2009, Vol. 2, pp. 27-51. Compressed PostScript file; pdf file. Vladik Kreinovich, "Interval Computations and Interval-Related Statistical Techniques: Tools for Estimating Uncertainty of the Results of Data Processing and Indirect Measurements'', In: Franco Pavese and Alistair B. Forbes (eds.), Data Modeling for Metrology and Testing in Measurement Science, Birkhauser-Springer, Boston, 2009, pp. 117-145. Compressed PostScript file; pdf file. Vladik Kreinovich, "Relation between interval computing and soft computing", In: Chenyi Hu, R. Baker Kearfott, Andre de Korvin, and Vladik Kreinovich (eds.), Knowledge Processing with Interval and Soft Computing, Springer Verlag, London, 2008, pp. 75-97. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Gang Xiang, "Random Fuzzy Sets", in: Hsiao-Fan Wang (ed.), Intelligent Data Analysis: Developing New Methodologies Through Pattern Discovery and Recovery, IGI Global, Hershey, Pennsylvania, 2008, pp. 18-44. Compressed PostScript file; pdf file. Vladik Kreinovich, "Interval Computations as an Important Part of Granular Computing: An Introduction", In: Witold Pedrycz, Andrzej Skowron, and Vladik Kreinovich (eds.), Handbook on Granular Computing, Wiley, Chichester, UK, 2008, pp. 3-31. Compressed PostScript file; pdf file. Vladik Kreinovich and Max Shpak, "Aggregation in Biological Systems: Computational Aspects", in: Tomasz G. Smolinski, Mariofanna M. Milanova, and Aboul-Ella Hassanien (eds.), Applications of Computational Intelligence in Biology: Current Trends and Open Problems, Springer Verlag, Berlin-Heidelberg, 2008, pp. 281-305. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "Trade-Off Between Sample Size and Accuracy: Case of Static Measurements under Interval Uncertainty", In: Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, and Hung T. Nguyen (eds.), Interval/Probabilistic Uncertainty and Non-Classical Logics, Springer-Verlag, Berlin-Heidelberg-New York, 2008, pp. 32-44. Compressed Postscript file; pdf file. Vladik Kreinovich and Gang Xiang, "Fast Algorithms for Computing Statistics under Interval Uncertainty: An Overview", In: Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, and Hung T. Nguyen (eds.), Interval/Probabilistic Uncertainty and Non-Classical Logics, Springer-Verlag, Berlin-Heidelberg-New York, 2008, pp. 19-31. Compressed Postscript file; pdf file. Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Scott Ferson, "Trade-Off Between Sample Size and Accuracy: Case of Dynamic Measurements under Interval Uncertainty", In: Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, and Hung T. Nguyen (eds.), Interval/Probabilistic Uncertainty and Non-Classical Logics, Springer-Verlag, Berlin-Heidelberg-New York, 2008, pp. 45-56. Compressed Postscript file; pdf file. Canh Hao Nguyen, Tu Bao Ho, and Vladik Kreinovich, "Estimating Quality of Support Vector Machines Learning Under Probabilistic and Interval Uncertainty: Algorithms and Computational Complexity", In: Van-Nam Huynh, Yoshiteru Nakamori, Hiroakira Ono, Jonathan Lawry, Vladik Kreinovich, and Hung T. Nguyen (eds.), Interval/Probabilistic Uncertainty and Non-Classical Logics, Springer-Verlag, Berlin-Heidelberg-New York, 2008, pp. 57-69. Compressed PostScript file; pdf file. Vladik Kreinovich and Max Shpak, "Decomposable Aggregability in Population Genetics and Evolutionary Computations: Algorithms and Computational Complexity", In: Arpad Kelemen, Ajith Abraham, and Yulan Liang (Eds.), Computational Intelligence in Medical Informatics, Springer-Verlag, Berlin-Heidelberg, 2008, pp. 69-92. Compressed PostScript file; pdf file. Luc Longpre and Vladik Kreinovich, "How to Efficiently Process Uncertainty within a Cyberinfrastructure without Sacrificing Privacy and Confidentiality", In: Nadia Nedjah, Ajith Abraham, and Luiza de Macedo Mourelle (Eds.), Computational Intelligence in Information Assurance and Security, Springer-Verlag, 2007, pp. 155-173. Compressed PostScript file; pdf file. Christodoulos A. Floudas and Vladik Kreinovich, "Towards Optimal Techniques for Solving Global Optimization Problems: Symmetry-Based Approach", In: A. Torn and J. Zilinskas (eds.), Models and Algorithms for Global Optimization, Springer, New York, 2007, pp. 21-42. Compressed PostScript file; pdf file. C. G. Schiek, R. Araiza, J. M. Hurtado, A. A. Velasco, V. Kreinovich, and V. Sinyansky, "Images with Uncertainty: Efficient Algorithms for Shift, Rotation, Scaling, and Registration, and Their Applications to Geosciences", In: Mike Nachtegael, Dietrich Van der Weken, Etienne E. Kerre, and Wilfried Philips (eds.), Soft Computing in Image Processing: Recent Advances, Springer Verlag, 2007, pp. 35-64. pdf file. Hung T. Nguyen and Vladik Kreinovich, "Optimization and Decision Making under Interval and Fuzzy Uncertainty: Towards New Mathematical Foundations", In: Cengiz Kahraman (ed.), Fuzzy Applications in Industrial Engineering, Springer Verlag, Berlin/Heidelberg, 2006, pp. 275-290. Compressed PostScript file; pdf file. Dmitriy Iourinskiy, Scott A. Starks, Vladik Kreinovich, and Stephen F. Smith, "Swarm intelligence: theoretical proof that empirical formulas are optimal", In: A. Abraham, C. Grosan, V. Ramos (Eds.), Stigmergic Optimization, Springer-Verlag, Berlin-Heidelberg, 2006, pp. 281-295. Compressed PostScript file; pdf file. Vladik Kreinovich, "Statistical Data Processing under Interval Uncertainty: Algorithms and Computational Complexity", In: Jonathan Lawry, Enrique Miranda, Alberto Bugarin, Shoumei Li, Maria Angeles Gil, Przemyslaw Grzegorzewski, and Olgierd Hryniewicz (eds.), Soft Methods for Integrated Uncertainty Modeling, Springer-Verlag, 2006, pp. 11-26. Compressed PostScript file; pdf file. G. Randy Keller, T. G. Hildenbrand, R. Kucks, M. Webring, Allen Briesacher, Kristine Rujawitz, A. M. Hittleman, D. R. Roman, Daniel Winester, R. Aldouri, John Seeley, Jorge Rasillo, Roberto Torres, William J. Hinze, Ann Gates, Vladik Kreinovich, and Leonardo Salayandia, "A community effort to construct a gravity database for the United States and an associated Web portal", In: A. Krishna Sinha (ed.), Geoinformatics: Data to Knowledge, Geological Society of America Publ., Boulder, Colorado, 2006, pp. 21-34. Jan B. Beck, Vladik Kreinovich, and Berlin Wu, "Interval-Valued and Fuzzy-Valued Random Variables: From Computing Sample Variances to Computing Sample Covariances", In: M. Lopez, M. A. Gil, P. Grzegorzewski, O. Hrynewicz, and J. Lawry (eds.), Soft Methodology and Random Information Systems, Springer-Verlag, 2004, pp. 85-92. Compressed PostScript file; pdf file. Goetz Alefeld, Vladik Kreinovich, and Guenter Mayer, "On Symmetric Solution Sets", In: J. Herzberger (ed.), Inclusion Methods for Nonlinear Problems, Springer-Verlag, Vienna, New York, 2003, pp. 1-23. Compressed PostScript file; pdf file. David D. Coblentz, Vladik Kreinovich, Brian S. Penn, and Scott A. Starks, "Towards Reliable Sub-Division of Geological Areas: Interval Approach", In: L. Reznik and V. Kreinovich (eds.), Soft Computing in Measurements and Information Acquisition, Springer-Verlag, Berlin-Heidelberg, 2003, pp. 223-233. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, Gennady N. Solopchenko, and Chin-Wang Tao, "Why Two Sigma? A Theoretical Justification", In: L. Reznik and V. Kreinovich (eds.), Soft Computing in Measurements and Information Acquisition, Springer-Verlag, Berlin-Heidelberg, 2003, pp. 10-22. Compressed PostScript file. Hung T. Nguyen and Vladik Kreinovich, "On Efficient Representation of Expert Knowledge by Fuzzy Logic: Towards an Optimal Combination of Granularity and Higher-Order Approaches", In: Ajith Abraham, Lakhmi Jain, and Janusz Kacprzyk (eds.), Recent Advances in Intelligent Paradigms and Applications, Springer-Verlag, 2002, pp. 107-132. Compressed PostScript file; pdf file. Carlos Ferregut, Roberto A. Osegueda, Yohans Mendoza, Vladik Kreinovich, and Timothy J. Ross, "Aircraft Integrity and Reliability", In: Jane Booker, Jerry Parkinson, and Timothy J. Ross (eds.), Combined Fuzzy Logic and Probability Applications, SIAM, Philadelphia, 2002, pp. 219-242. Compressed PostScript file; pdf file. G. Alefeld, V. Kreinovich, and G. Mayer, "Modification of the Oettli-Prager theorem wityh applications to the algebraic eignevalue problem", In: G. Alefeld, J. Rohn, S. Rump, and T. Yamamoto (eds.), Symbolic Algebraic Methods and Verification Methods - Theory and Application, Springer-Verlag, Wien, 2001, pp. 11-20. Raul Trejo and Vladik Kreinovich, "Error Estimations for Indirect Measurements: Randomized vs. Deterministic Algorithms For `Black-Box' Programs", Sanguthevar Rajasekaran, Panos Pardalos, John Reif, and Jose Rolim (eds.), Handbook on Randomized Computing, Kluwer, 2001, pp. 673-729. Compressed PostScript file; pdf file. Scott Ferson, Lev Ginzburg, Vladik Kreinovich, and Harry Schulte, "Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions", In: Juergen Wolff von Gudenberg and Walter Kraemer (eds.), Scientific Computing, Validated Numerics, Interval Methods, Kluwer, Dordrecht, 2001, pp. 355-366. Compressed PostScript file; pdf file. Hung T. Nguyen, Nadipuram R. Prasad, Vladik Kreinovich, and Habib Gassoumi, "Some Practical Applications of Soft Computing and Data Mining", In: A. Kandel, H. Bunke, and M. Last (eds.), Data Mining and Computational Intelligence, Springer-Verlag, Berlin, 2001, pp. 273-307. Compressed PostScript file; pdf file. Stephen Gibson, Vladik Kreinovich, Luc Longpre, Brian Penn, and Scott A. Starks, "Intelligent Mining in Image Databases, With Applications to Satellite Imaging and to Web Search", In: A. Kandel, H. Bunke, and M. Last (eds.), Data Mining and Computational Intelligence, Springer-Verlag, Berlin, 2001, pp. 309-336. Compressed PostScript file; pdf file Gennadij N. Solopchenko, Vladik Kreinovich, and Leonid Reznik, "Development of mathematical structure of the modern measurement science", In: Komyo Kariya and Ludwik Finkelstein (eds.), Measurement Science: A Discussion, Ohmsha/IOS Press, Tokyo, 2000, pp. 23-35. Vladik Kreinovich, "Beyond Interval Systems: What Is Feasible and What Is Algorithmically Solvable?", In: Panos M. Pardalos (ed.), Approximation and Complexity in Numerical Optimization: Continuous and Discrete Problems, Kluwer, Dordrecht, 2000, pp. 364-379. PostScript file. Nuria Mata and Vladik Kreinovich, "NP-Hardness In Geometric Construction Problems With One Interval Parameter", In: Josep Vehi and Miquel A. Sainz (eds.), Applications of Interval Analysis to Systems and Control, University of Girona, Spain, 1999, pp. 101-114. PostScript file. Hung T. Nguyen, Vladik Kreinovich, Vladimir I. Gorodetski, Vyacheslav M. Nesterov, and Alexandre L. Touloupiev, "Applications of Interval-Valued Degrees of Belief: A Survey", In: Alexandre Touloupiev (ed.), Information Technologies and Intellectual Methods, Vol. 3 (IT&IM'3), St. Petersburg Institute for Information and Automation of Russian Academy of Sciences (SPIIRAS), 1999, pp. 6-61 (in Russian). Vladik Kreinovich, Brian Penn, and Scott Starks, "From Expert Words Directly to Numerical Simulations: Group-Theoretic Approach to Computing with Words in Information/Intelligent Systems", In: Lotfi A. Zadeh and Janusz Kacprzyk (eds.), Computing with Words in Information/Intelligent Systems, Springer-Verlag, Berlin, 1999, pp. 495-517. Postscript file. Daniel E. Cooke, Vladik Kreinovich, and Luc Longpre, "Which algorithms are feasible? MaxEnt approach", In: Gary J. Erickson, Joshua T. Rychert, and C. Ray Smith (eds.), Maximum Entropy and Bayesian Methods, Kluwer, Dordrecht, 1998, pp. 24-32. Postscript file. Dirk Fox, Martin Schmidt, Misha Koshelev, Vladik Kreinovich, Luc Longpre, and Jeff Kuhn, "We must choose the simplest physical theory: Levin-Li-Vitanyi theorem and its potential physical applications", In: Gary J. Erickson, Joshua T. Rychert, and C. Ray Smith (eds.), Maximum Entropy and Bayesian Methods, Kluwer, Dordrecht, 1998, pp. 238-251. File in Postscript, Compressed Postscript, and pdf Scott A. Starks and V. Kreinovich, "Environmentally-oriented processing of multi-spectral satellite images: new challenges for Bayesian methods", In: Gary J. Erickson, Joshua T. Rychert, and C. Ray Smith (eds.), Maximum Entropy and Bayesian Methods, Kluwer, Dordrecht, 1998, pp. 271-276. Postscript file. Roberto Osegueda, Carlos Ferregut, Mary J. George, Jose M. Gutierrez, and Vladik Kreinovich, "Maximum entropy approach to optimal sensor placement for aerospace non-destructive testing", In: Gary J. Erickson, Joshua T. Rychert, and C. Ray Smith (eds.), Maximum Entropy and Bayesian Methods, Kluwer, Dordrecht, 1998, pp. 277-289. File in Postscript and pdf Hung T. Nguyen and Vladik Kreinovich, "Multi-criteria optimization - an important foundation of fuzzy system design'', In: Leonid Reznik, Vladimir Dimitrov, and Janusz Kacprzyk, Fuzzy system design: social and engineering applications, Physica Verlag, Heidelberg, 1998, pp. 24-35. File in LaTeX, in Compressed Postscript, and in pdf Vladik Kreinovich, George C. Mouzouris, and Hung T. Nguyen, "Fuzzy rule based modeling as a universal approximation tool'', In: H. T. Nguyen and M. Sugeno (eds.), Fuzzy Systems: Modeling and Control, Kluwer, Boston, MA, 1998, pp. 135-195. file in LaTeX, uses crckapb.sty Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "Methodology of fuzzy control: an introduction", In: H. T. Nguyen and M. Sugeno (eds.), Fuzzy Systems: Modeling and Control, Kluwer, Boston, MA, 1998, pp. 19-62. File in LaTeX, uses crckapb.sty. Hung T. Nguyen and Vladik Kreinovich, "Kolmogorov's Theorem and its impact on soft computing", In: Ronald R. Yager and Janusz Kacprzyk, The Ordered Weighted Averaging Operators: Theory and Applications, Kluwer, Boston, MA, 1997, pp. 3-17. File in Plain TeX Vladik Kreinovich, "S. Maslov's Iterative Method: 15 Years Later (Freedom of Choice, Neural Networks, Numerical Optimization, Uncertainty Reasoning, and Chemical Computing)", In: "Problems of reducing the exhaustive search", American Mathematical Society (AMS Translations - Series 2, Vol. 178), Providence, RI, 1997, pp. 175-189. File in plain TeX; Compressed PostScript file; pdf file. Vladik Kreinovich, "Random sets unify, explain, and aid known uncertainty methods in expert systems", in John Goutsias, Ronald P. S. Mahler, and Hung T. Nguyen (eds.), Random Sets: Theory and Applications, Springer-Verlag, N.Y., 1997, pp. 321-345. File in LaTeX, uses ima.sty, ima10.sty, epsf.sty, and amssym.def; Compressed PostScript file; pdf file. Vladik Kreinovich, Anatoly Lakeyev, and Jiri Rohn, "Computational Complexity of Interval Algebraic Problems: Some Are Feasible And Some Are Computationally Intractable - A Survey", In: Goetz Alefeld, Andreas Frommer, and Bruno Lang (eds.), Scientific Computing and Validated Numerics, Akademie-Verlag, Berlin, 1996, pp. 293-306. Goetz Alefeld, Vladik Kreinovich, and Guenther Mayer, "Symmetric Linear Systems with Perturbed Input Data", In: Goetz Alefeld and Jurgen Herzberger (eds.), Numerical Methods and Error Bounds. Proceedings of the IMACS-GAMM International Symposium on Numerical Methods and Error Bounds, Oldenburg, Germany, July 9-12, 1995, Akademie Verlag, Berlin, 1996, pp. 16-22. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung T. Nguyen, and Elbert A. Walker, "Maximum entropy (MaxEnt) method in expert systems and intelligent control: new possibilities and limitations", In: Ken M. Hanson and Richard N. Silver, Eds., Maximum Entropy and Bayesian Methods, Kluwer Academic Publishers, Dordrecht, 1996, pp. 93-100. Compressed PostScript file; pdf file. Goetz Alefeld, Guenter Mayer, and Vladik Kreinovich, "The shape of the symmetric solution set", In: R. B. Kearfott et al (eds.), Applications of Interval Computations, Kluwer, Dordrecht, 1996, pp. 61-79. R. Baker Kearfott and Vladik Kreinovich, "Applications of interval computations: an introduction", In: R. B. Kearfott et al (eds.), Applications of Interval Computations, Kluwer, Dordrecht, 1996, pp. 1-22. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "Nested Intervals and Sets: Concepts, Relations to Fuzzy Sets, and Applications", In: R. B. Kearfott et al (eds.), Applications of Interval Computations, Kluwer, Dordrecht, 1996, pp. 245-290. Compressed PostScript file; pdf file. Luis Mateus Rocha, Vladik Kreinovich, and R. Baker Kearfott, "Computing uncertainty in interval based sets", In: R. B. Kearfott et al (eds.), Applications of Interval Computations, Kluwer, Dordrecht, 1996, pp. 337-380. Vladik Kreinovich, Hung T. Nguyen, Ongard Sirisaengtaksin, "On approximation of controls in distributed systems by fuzzy controllers", In: B. Bouchon-Meunier, R. R. Yager, and L. A. Zadeh (eds.), Fuzzy Logic and Soft Computing, World Scientific, 1995, pp. 137-145. Michael H. Smith, Vladik Kreinovich. "Optimal strategy of switching reasoning methods in fuzzy control", Chapter 6 in H. T. Nguyen, M. Sugeno, R. Tong, and R. Yager (eds.), Theoretical aspects of fuzzy control, J. Wiley, N.Y., 1995, pp. 117-146. Compressed PostScript file; pdf file. Arthur Ramer and Vladik Kreinovich, "Information complexity and fuzzy control", Chapter 4 in: Abraham Kandel and Gideon Langholtz (Eds.), Fuzzy Control Systems, CRC Press, Boca Raton, FL, 1994, pp. 75-97. Compressed PostScript file; pdf file. Bassam Chokr and Vladik Kreinovich. "How far are we from the complete knowledge: complexity of knowledge acquisition in Dempster-Shafer approach." In R. R. Yager, J. Kacprzyk, and M. Pedrizzi (Eds.), Advances in the Dempster-Shafer Theory of Evidence, Wiley, N.Y., 1994, pp. 555-576. Compressed PostScript file; pdf file. Vladik Kreinovich, Andrew Bernat, Walter Borrett, Yvonne Mariscal, and Elsa Villa. "Monte-Carlo methods make Dempster-Shafer formalism feasible." In R. R. Yager, J. Kacprzyk, and M. Pedrizzi (Eds.), Advances in the Dempster-Shafer Theory of Evidence, Wiley, N.Y., 1994, pp. 175-191. Vladik Kreinovich. "Group-theoretic approach to intractable problems," Lecture Notes in Computer Science, Springer-Verlag, Berlin, Vol. 417, 1990, pp. 112-121. Vladik Kreinovich. "Knowledge representation for measurable quantities: group-theoretic approach," Mathematical Methods of Algorithms Design and Analysis, Leningrad, Academy of Sciences, 1990, pp. 64-72 (in Russian). Vitaly Kozlenko, Vladik Kreinovich, and M. G. Mirimanishvili. "An optimal method of describing expert information," Applied Problems of Systems Analysis, Proceedings of the Georgian Polytechnical Institute, Tbilisi, 1988, No.8 (337), pp.64-67 (in Russian). Vitaly Kozlenko, Vladik Kreinovich, and V. P. Popkov. "Optimal prognostic methods for characteristics of complex systems," Principles of Creating of Automatized Workplaces for Control and the Experience of Their Functioning, Proceedings of the Ukrainian Academy of Sciences, Institute of Industrial Economics, Donetsk, 1988, pp.50-54 (in Russian). Vladik Kreinovich. "Semantics of S. Yu. Maslov's iterative method," Problems of Cybernetics, Moscow, 1987, Vol. 131, pp. 30-62 (in Russian); English translation in: Vladik Kreinovich and Grigory Mints (eds.), "Problems of reducing the exhaustive search", American Mathematical Society, Providence, RI, 1996, pp. 23-51. Vladik Kreinovich and Leonid K. Reznik. "Methods and models of formalizing a priori information (on the example of processing measurements results)," Analysis and Formalization of Computer Experiments, Proceedings of the Mendeleev Metrology Institute, 1986, pp.37-41 (in Russian). Vitaly Kozlenko and Vladik Kreinovich. "Algorithms for integration, extrapolation and equations solving, that are optimal in the average," Logical Methods of Constructing Efficient Algorithms, Kalinin, Kalinin University, 1986, pp. 52-58 (in Russian). Vitaly Kozlenko and Vladik Kreinovich. "Methods of optimal formation of the applied programs package on the base of the given package," Leningrad scientific and technical information center, Leningrad, 1986, 4 pp. (edition No. 833, in Russian). Vitaly Kozlenko and Vladik Kreinovich. "Methods of optimal formation of the educating programs complex on the base of a given non-optimal complex," Leningrad Scientific and Technical Information Center, Leningrad, Technical report No. 834, 1986, 4 pp. (in Russian). Evgeny Koltik, Vladimir G. Dmitriev, Nina A. Zheludeva, and Vladik Kreinovich. "An optimal method for estimating a random error component," Investigations in Error Estimation, Proceedings of the Mendeleev Metrological Institute, Leningrad, 1986, pp. 36-41 (in Russian).

[<--] Back to Research Activities


Research Journal Articles (Computer Science)

Luc Longpre, Christian Servin, and Vladik Kreinovich, "Quantum Computation Techniques for Gauging Reliability of Interval and Fuzzy Data", International Journal of General Systems, to appear.
pdf file Vladik Kreinovich, Ladislav Kohout, and Eunjin Kim, "Square Root of 'Not': A Major Difference Between Fuzzy and Quantum Logics", International Journal of General Systems, to appear. pdf file Irina Perfilieva and Vladik Kreinovich, "A Broad Prospective on Fuzzy Transforms: From Gauging Accuracy of Quantity Estimates to Gauging Accuracy and Resolution of Measuring Physical Fields", Neural Network World, to appear. pdf file Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchita, "Estimating Risk under Interval Uncertainty: Sequential and Parallel Algorithms", International Journal of Intelligent Technologies and Applied Statistics, to appear. Compressed PostScript file; pdf file. Guoqing Liu and Vladik Kreinovich, "Fast Convolution and Fast Fourier Transform under Interval and Fuzzy Uncertainty", Journal of Computer and System Sciences, to appear Compressed PostScript file; pdf file Vladik Kreinovich, " 'Weird' Fuzzy Notations: An Algebraic Interpretation", Applied Mathematical Sciences, 2010, Vol. 4, pp. 431-434 pdf file Olga Kosheleva and Vladik Kreinovich, "What is the Best Way to Distribute Efforts Among Students: Towards Quantitative Approach", Applied Mathematical Sciences, 2010, Vol. 4, pp. 417-429 pdf file Boglarka G.-Toth and Vladik Kreinovich, "Verified methods for computing Pareto sets: general algorithmic analysis", International Journal of Applied Mathematics and Computer Science AMCS, 2009, Vol. 19, No. 3, pp. 369-380. Compressed PostScript file; pdf file Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Scott Ferson, "Trade-Off Between Sample Size and Accuracy: Case of Measurements under Interval Uncertainty", International Journal of Approximate Reasoning, 2009, Vol. 50, No. 8, pp. 1164-1176. pdf file Vladik Kreinovich, "Any (True) Statement Can Be Generalized So That It Becomes Trivial: A Simple Formalization of D. K. Faddeev's Belief", Applied Mathematical Sciences, 2009, Vol. 3, No. 47, pp. 2343-2347. pdf file O. Kosheleva and V. Kreinovich, "Guesstimation: A New Justification of the Geometric Mean Heuristic", Applied Mathematical Sciences, 2009, Vol. 3, No. 47, pp. 2335-2342. pdf file Olga Kosheleva and Vladik Kreinovich, "Egyptian Fractions Revisited", Informatics in Education, 2009, Vol. 8, No. 1, pp. 35-48. Compressed PostScript file; pdf file Vladik Kreinovich, "Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity", Revista Iberoamericana de Inteligencia Artificial, 2009, Vol. 41, pp. 4-20. Compressed PostScript file; pdf file Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchitta, "A New Justification of Wang Transform Operator in Financial Risk Analysis", International Journal of Intelligent Technologies and Applied Statistics, 2009, Vol. 2, No. 1, pp. 45-57. Compressed PostScript file; pdf file Songsak Sriboonchitta and Vladik Kreinovich, Asymmetric Heteroskedasticity Models: A New Justification, International Journal of Intelligent Technologies and Applied Statistics, 2009, Vol. 2, No. 1, pp. 1-12. Compressed PostScript file; pdf file Jan Beck, David Nemir, and Vladik Kreinovich, "Mathematical Justification of Spectral/Covariance Techniques: On the Example of Arc Detection", Applied Mathematical Sciences, 2009, Vol. 3, No. 22, pp. 1081-1089. Compressed PostScript file; pdf file. Tanja Magoc and Vladik Kreinovich, "A Paradox of Altruism: How Caring about Future Generations Can Result in Poverty for Everyone (Game-Theoretic Analysis)", Applied Mathematical Sciences, 2009, Vol. 3, No. 22, pp. 1091-1096. Compressed PostScript file; pdf file Tanja Magoc and Vladik Kreinovich, "A New Simplified Derivation of Nash Bargaining Solution", Applied Mathematical Sciences, 2009, Vol. 3, No. 22, pp. 1097-1101. Compressed PostScript file; pdf file Hung T. Nguyen, Olga Kosheleva, and Vladik Kreinovich, "Decision Making Beyond Arrow's 'Impossibility Theorem', With the Analysis of Effects of Collusion and Mutual Attraction", International Journal of Intelligent Systems, 2009, Vol. 24, No. 1, pp. 27-47. Compressed PostScript file; pdf file Ruey L. Cheu, Hung T. Nguyen, Tanja Magoc, and Vladik Kreinovich, "Logit Discrete Choice Model: A New Distribution-Free Justification", Soft Computing, 2009, Vol. 13, No. 2, pp. 133-137. Compressed PostScript file; pdf file. Vladik Kreinovich, Arnold Neumaier, and Gang Xiang, "Towards a Combination of Interval and Ellipsoid Uncertainty", Computational Technologies, 2008, Vol. 13, No. 6, pp. 5-16. Compressed PostScript file; pdf file. Vladik Kreinovich and Maurice Margenstern, "In Some Curved Spaces, One Can Solve NP-Hard Problems in Polynomial Time", Notes of Mathematical Seminars of St. Petersburg Department of Steklov Institute of Mathematics, 2008, Vol. 358, pp. 224-250; reprinted in Journal of Mathematical Sciences, 2009, Vol. 158, No. 5, pp. 727-740. Compressed PostScript file; pdf file. Vladik Kreinovich, "Application-motivated combinations of fuzzy, interval, and probability approaches, and their use in geoinformatics, bioinformatics, and engineering", International Journal of Automation and Control (IJAAC), 2008, Vol. 2, No. 2/3, pp. 317-339. Compressed PostScript file; pdf file. H. T. Nguyen, V. Kreinovich, and E. Kamoroff, "Asymmetric Information Measures: How to Extract Knowledge From an Expert So That the Expert's Effort is Minimal", International Journal of Automation and Control (IJAAC), 2008, Vol. 2, No. 2/3, pp. 153-177. Compressed PostScript file; pdf file. Sa-aat Niwitpong, Hung T. Nguyen, Ingo Neumann, and Vladik Kreinovich, "Hypothesis testing with interval data: case of regulatory constraints", International Journal of Intelligent Technologies and Applied Statistics, 2008, Vol. 1, No. 2, pp. 19-41. Compressed PostScript file; pdf file. Vladik Kreinovich and Olga Kosheleva, "From (Idealized) Exact Causality-Preserving Transformations to Practically Useful Approximately-Preserving Ones: A General Approach", International Journal of Theoretical Physics, 2008, Vol. 47, No. 4, pp. 1083-1091. Compressed PostScript file; pdf file. Luc Longpre and Vladik Kreinovich, "When Are Two Wave Functions Distinguishable: A New Answer to Pauli's Question, with Potential Application to Quantum Cosmology", International Journal of Theoretical Physics, 2008, Vol. 47, No. 3, pp. 814-831. Compressed PostScript file; pdf file. Vladik Kreinovich, "Equidecomposability (scissors congruence) of polyhedra in R^3 and R^4 is algorithmically decidable: Hilbert's 3rd Problem revisited", Geombinatorics, 2008, Vol. 18, No. 1, pp. 26-34. Compressed PostScript file; pdf file. Vladik Kreinovich and Olga Kosheleva, "Computational Complexity of Determining Which Statements about Causality Hold in Different Space-Time Models", Theoretical Computer Science, 2008, Vol. 405, No. 1-2, pp. 50-63. Compressed PostScript file; pdf file. Hans-Peter A. Kuenzi and Vladik Kreinovich, "Static Space-Times Naturally Lead to Quasi-Pseudometrics", Theoretical Computer Science, 2008, Vol. 405, No. 1-2, pp. 64-72. Compressed PostScript file; pdf file. Leon Reznik and Vladik Kreinovich, "Fuzzy prediction models in measurement", IEEE Transactions on Fuzzy Systems, 2008, Vol. 16, No. 4, pp. 851-862. pdf file. Vladik Kreinovich, Hung T. Nguyen, and Sa-aat Niwitpong, "Statistical Hypothesis Testing Under Interval Uncertainty: An Overview", International Journal of Intelligent Technologies and Applied Statistics, 2008, Vol. 1, No. 1, pp. 1-32. Compressed PostScript file; pdf file. Luc Longpre, Vladik Kreinovich, William Gasarch, and G. William Walster, "m Solutions Good, m-1 Solutions Better", Applied Math. Sciences, 2008, Vol. 2, No. 5, pp. 223-239. Compressed PostScript file; pdf file. Vladik Kreinovich, "Why Intervals? Why Fuzzy Numbers? Towards a New Justification", International Journal of Information Technology and Intelligent Computing, 2007, Vol. 2, No. 1. Compressed PostScript file; pdf file. Gang Xiang, Martine Ceberio, and Vladik Kreinovich, "Computing Population Variance and Entropy under Interval Uncertainty: Linear-Time Algorithms", Reliable Computing, 2007, Vol. 13, No. 6, pp. 467-488. Compressed PostScript file; pdf file. Daniel Berleant, Martine Ceberio, Gang Xiang, and Vladik Kreinovich, "Towards Adding Probabilities and Correlations to Interval Computations", International Journal of Approximate Reasoning, 2007, Vol. 46, No. 3, pp. 499-510. Compressed PostScript file; pdf file. Vladik Kreinovich, "Towards a More Physically Adequate Definition of Randomness: A Topological Approach", Journal of Uncertain Systems, 2007, Vol. 1, No. 4, pp. 256-266. Compressed PostScript file; pdf file. Ronald R. Yager and Vladik Kreinovich, "Entropy Conserving Probability Transforms and the Entailment Principle", Fuzzy Sets and Systems, 2007, Vol. 158, No. 12, pp. 1397-1405. pdf file. Christodoulos A. Floudas and Vladik Kreinovich, "On the Functional Form of Convex Underestimators for Twice Continuously Differentiable Functions", Optimization Letters, 2007, Vol. 1, No. 2, pp. 187-192. Compressed PostScript file; pdf file. Matthew G. Averill, Kate C. Miller, G. Randy Keller, Vladik Kreinovich, Roberto Araiza, and Scott A. Starks, "Using Expert Knowledge in Solving the Seismic Inverse Problem", International Journal of Approximate Reasoning, 2007, Vol. 45, No. 3, pp. 564-578. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung T. Nguyen, and Berlin Wu, "On-Line Algorithms for Computing Mean and Variance of Interval Data, and Their Use in Intelligent Systems", Information Sciences, 2007, Vol. 177, No. 16, pp. 3228-3238. Compressed PostScript file; pdf file. John Symons, Julio C. Urenda, and Vladik Kreinovich, "Towards a General Description of Physical Invariance in Category Theory", Journal of Uncertain Systems, 2007, Vol. 1, No. 3, pp. 201-205. Compressed PostScript file; pdf file. Martine Ceberio, Scott Ferson, Vladik Kreinovich, Sanjeev Chopra, Gang Xiang, Adrian Murguia, and Jorge Santillan, "How To Take Into Account Dependence Between the Inputs: From Interval Computations to Constraint-Related Set Computations, with Potential Applications to Nuclear Safety, Bio- and Geosciences", Journal of Uncertain Systems, 2007, Vol. 1, No. 1, pp. 11-34. Compressed PostScript file; pdf file. Scott Ferson, Lev Ginzburg, Vladik Kreinovich, and Jorge Lopez, "Absolute Bounds on the Mean of Sum, Product, etc.: A Probabilistic Extension of Interval Arithmetic", Applied Mathematical Sciences, 2007, Vol. 1, No. 9, pp. 395-440. Compressed PostScript file; pdf file. Daniel J. Berleant, Olga Kosheleva, Vladik Kreinovich, and Hung T. Nguyen, "Unimodality, Independence Lead to NP-Hardness of Interval Probability Problems", Reliable Computing, 2007, Vol. 13, No. 3, pp. 261-282. Compressed PostScript file; pdf file. Vladik Kreinovich, Jan Beck, and Hung T. Nguyen, "Ellipsoids and Ellipsoid-Shaped Fuzzy Sets as Natural Multi-Variate Generalization of Intervals and Fuzzy Numbers: How to Elicit Them from Users, and How to Use Them in Data Processing", Information Sciences, 2007, Vol. 177, No. 2, pp. 388-407. Compressed PostScript file; pdf file. Vladik Kreinovich, Luc Longpre, Scott A. Starks, Gang Xiang, Jan Beck, Raj Kandathi, Asis Nayak, Scott Ferson, and Janos Hajagos, "Interval Versions of Statistical Techniques, with Applications to Environmental Analysis, Bioinformatics, and Privacy in Statistical Databases", Journal of Computational and Applied Mathematics, 2007, Vol. 199, No. 2, pp. 418-423. Compressed PostScript file; pdf file. Vladik Kreinovich, Olga Kosheleva, Scott A. Starks, Kavitha Tupelly, Gracaliz P. Dimuro, Antonio Carlos da Rocha Costa, and Karen Villaverde, "From Intervals to Domains: Towards a General Description of Validated Uncertainty, with Potential Applications to Geospatial and Meteorological Data", Journal of Computational and Applied Mathematics, 2007, Vol. 199, No. 2, pp. 411-417. Compressed PostScript file; pdf file. Martine Ceberio, Vladik Kreinovich, Sanjeev Chopra, Luc Longpre, Hung T. Nguyen, Bertram Ludaescher, and Chitta Baral, "Interval-Type and Affine Arithmetic-Type Techniques for Handling Uncertainty in Expert Systems", Journal of Computational and Applied Mathematics, 2007, Vol. 199, No. 2, pp. 403--410. Compressed PostScript file; pdf file. V. Kreinovich, J. Beck, C. Ferregut, A. Sanchez, G. R. Keller, M. Averill, and S. A. Starks, "Monte-Carlo-type techniques for processing interval uncertainty, and their potential engineering applications", Reliable Computing, 2007, Vol. 13, No. 1, pp. 25-69. Compressed PostScript file; pdf file. Vladik Kreinovich and Max Shpak, "Aggregability is NP-Hard", ACM SIGACT News, 2006, Vol. 37, No. 3, pp. 97-104. Compressed PostScript file; pdf file. Vladik Kreinovich, Gang Xiang, and Scott Ferson, "Computing Mean and Variance Under Dempster-Shafer Uncertainty: Towards Faster Algorithms", International Journal of Approximate Reasoning, 2006, Vol. 42, pp. 212-227. Compressed PostScript file; pdf file. Jerry Hobbs and Vladik Kreinovich, "Optimal Choice of Granularity In Commonsense Estimation: Why Half-Orders of Magnitude", International Journal of Intelligent Systems, 2006, Vol. 21, No. 8, pp. 843-855. Compressed PostScript file; pdf file. V. Kreinovich, G. Xiang, S. A. Starks, L. Longpre, M. Ceberio, R. Araiza, J. Beck, R. Kandathi, A. Nayak, R. Torres, and J. Hajagos, "Towards combining probabilistic and interval uncertainty in engineering calculations: algorithms for computing statistics under interval uncertainty, and their computational complexity", Reliable Computing, 2006, Vol. 12, No. 6, pp. 471-501. Compressed PostScript file; pdf file. Richard Alo, Vladik Kreinovich, and Scott A. Starks, "Testing Hypotheses on Simulated Data: Why Traditional Hypotheses-Testing Statistics Are Not Always Adequate for Simulated Data, and How to Modify Them", Journal of Advanced Computational Intelligence and Intelligent Informatics, 2006, Vol. 10, No. 3, pp. 260-264. pdf file. Anthony P. Salvatore, Amitava Biswas, Vladik Kreinovich, Bertha Manriquez, Michael P. Cannito, and Robert J. Sinard, "Expert System-Type Approach to Voice Disorders: Scheduling Botulinum Toxin Treatment for Adductor Spasmodic Dysphonia", Journal of Advanced Computational Intelligence and Intelligent Informatics, 2006, Vol. 10, No. 3, pp. 332-338. pdf file. Vladik Kreinovich and Siegfried Rump, "Towards Optimal Use of Multi-Precision Arithmetic: A Remark", Reliable Computing, 2006, Vol. 12, No. 5, pp. 365-369. Compressed PostScript file; pdf file. Vladik Kreinovich and Scott Ferson, "Computing Best-Possible Bounds for the Distribution of a Sum of Several Variables is NP-Hard", International Journal of Approximate Reasoning, 2006, Vol. 41, pp. 331-342. Compressed PostScript file; pdf file. Evgeny Dantsin, Vladik Kreinovich, Alexander Wolpert, and Gang Xiang, "Population Variance under Interval Uncertainty: A New Algorithm", Reliable Computing, 2006, Vol. 12, No. 4, pp. 273-280. Compressed PostScript file; pdf file. Vladik Kreinovich and Hung T. Nguyen, "Which Fuzzy Logic Is the Best: Pragmatic Approach (and Its Theoretical Analysis)", Fuzzy Sets and Systems, 2006, Vol. 157, pp. 611-614. Compressed PostScript file; pdf file. Evgeny Dantsin, Vladik Kreinovich, and Alexander Wolpert, "On Quantum Versions of Record-Breaking Algorithms for SAT", ACM SIGACT News, 2005, Vol. 36, No. 4, pp. 103-108. Compressed PostScript file; pdf file. R. Baker Kearfott and Vladik Kreinovich, "Beyond Convex? Global Optimization Is Feasible Only for Convex Objective Functions: A Theorem", Journal of Global Optimization, 2005, Vol. 33, No. 4, pp. 617-624. Compressed PostScript file; pdf file. Cliff Joslyn and Vladik Kreinovich, "Convergence Properties of an Interval Probabilistic Approach to System Reliability Estimation", International Journal of General Systems, 2005, Vol. 34, No. 4, pp. 465-482. pdf file. Vladik Kreinovich and Scott Ferson, "Why Product of Probabilities (Masses) for Independent Events? A Remark", International Journal of Pure and Applied Mathematics, 2005, Vol. 22, No. 3, pp. 341-347. Compressed PostScript file; pdf file. Inna Pivkina and Vladik Kreinovich, "Minimality of Solution Update in Conflict Resolution: An Application of Revision Programming to von Neumann-Morgenstern Approach", International Journal of Intelligent Systems, 2005, Vol. 20, No. 9, pp. 939-956. Compressed PostScript file; pdf file. Vladik Kreinovich and Luc Longpre, "Kolmogorov Complexity Leads to a Representation Theorem for Idempotent Probabilities (sigma-Maxitive Measures)", ACM SIGACT News, 2005, Vol. 36, No. 3, pp. 107-112. Compressed PostScript file; pdf file. Boguslaw Stec and Vladik Kreinovich, "Geometry of protein structures. I. Why hyperbolic surfaces are a good approximation for beta-sheets", Geombinatorics, 2005, Vol. 15, Vol. 1, pp. 18-27. Compressed PostScript file; pdf file. Vladik Kreinovich, "Optimal Finite Characterization of Linear Problems with Inexact Data", Reliable Computing, 2005, Vol. 11, No. 6, pp. 479-489. Compressed PostScript file; pdf file. Kavitha Tupelly, Vladik Kreinovich, and Karen Villaverde, "Checking if There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm", Reliable Computing, 2005, Vol. 11, No. 4, pp. 291-312. Compressed PostScript file; pdf file. Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Luc Longpre, and Monica Aviles, "Exact Bounds on Finite Populations of Interval Data", Reliable Computing, 2005, Vol. 11, No. 3, pp. 207-233. Compressed PostScript file; pdf file. Vladik Kreinovich, Luc Longpre, Praveen Patangay, Scott Ferson, and Lev Ginzburg, "Outlier Detection Under Interval Uncertainty: Algorithmic Solvability and Computational Complexity", Reliable Computing, 2005, Vol. 11, No. 1, pp. 59-76. Compressed PostScript file; pdf file. Vladik Kreinovich and Andrei M. Finkelstein, "Towards Applying Computational Complexity to Foundations of Physics'', Notes of Mathematical Seminars of St. Petersburg Department of Steklov Institute of Mathematics, 2004, Vol. 316, pp. 63-110; reprinted in Journal of Mathematical Sciences, 2006, Vol. 134, No. 5, pp. 2358-2382. Compressed PostScript file; pdf file. Vladik Kreinovich, Eric J. Pauwels, Scott Ferson, and Lev Ginzburg, "A Feasible Algorithm for Locating Concave and Convex Zones of Interval Data and Its Use in Statistics-Based Clustering", Numerical Algorithms, 2004, Vol. 37, pp. 225-232. Compressed PostScript file; pdf file. Juergen Wolff von Gudenberg and Vladik Kreinovich, "A Full Function-Based Calculus of Directed and Undirected Intervals: Markov's Interval Arithmetic Revisited", Numerical Algorithms, 2004, Vol. 37, pp. 417-428. Compressed PostScript file; pdf file. Bharat C. Mulupuru, Vladik Kreinovich, and Roberto Osegueda, "Interval Approach to Phase Measurements Can Lead to Arbitrarily Complex Sets - A Theorem and Ways Around It", Numerical Algorithms, 2004, Vol. 37, pp. 285-299. Compressed PostScript file; pdf file. Nedialko S. Nedialkov, Vladik Kreinovich, and Scott A. Starks, "Interval Arithmetic, Affine Arithmetic, Taylor Series Methods: Why, What Next?", Numerical Algorithms, 2004, Vol. 37, pp. 325-336. Compressed PostScript file; pdf file. Roberto Osegueda, Vladik Kreinovich, Enrique Roldan, and Rodrigo Mares, "Detecting cracks in thin plates by using Lamb wave scanning: geometric approach", Geombinatorics, 2004, Vol. 14, No. 2, pp. 62--71. Compressed PostScript file; pdf file. Vladik Kreinovich, "Probabilities, Intervals, What Next? Optimization Problems Related to Extension of Interval Computations to Situations with Partial Information about Probabilities", Journal of Global Optimization, 2004, Vol. 29, No. 3, pp. 265-280. Compressed PostScript file; pdf file. Vladik Kreinovich and Luc Longpre, "Fast Quantum Algorithms for Handling Probabilistic and Interval Uncertainty'', Mathematical Logic Quarterly, 2004, Vol. 50, No. 4/5, pp. 507-518. Compressed PostScript file; pdf file. Vladik Kreinovich and Scott Ferson, "A New Cauchy-Based Black-Box Technique for Uncertainty in Risk Analysis", Reliability Engineering and Systems Safety, 2004, Vol. 85, No. 1-3, pp. 267-279. Compressed PostScript file; pdf file. Roberto Torres, G. Randy Keller, Vladik Kreinovich, Luc Longpre, and Scott A. Starks, "Eliminating Duplicates Under Interval and Fuzzy Uncertainty: An Asymptotically Optimal Algorithm and Its Geospatial Applications", Reliable Computing, 2004, Vol. 10, No. 5, pp. 401-422. Compressed PostScript file; pdf file. Martine Ceberio and Vladik Kreinovich, "Greedy Algorithms for Optimizing Multivariate Horner Schemes", ACM SIGSAM Bulletin, 2004, Vol. 38, No. 1 (147), pp. 8-15. Compressed PostScript file; pdf file. Martine Ceberio and Vladik Kreinovich, "Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm)", Reliable Computing, 2004, Vol. 10, No. 3, pp. 241-243. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Luc Longpre, "Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals", Reliable Computing, 2004, Vol. 10, No. 2, pp. 83-106. Compressed PostScript file; pdf file. Vilem Novak, Irina Perfilieva, Hung T. Nguyen, and Vladik Kreinovich, "Research on Advanced Soft Computing and Its Applications", Soft Computing, 2004, Vol. 8, No. 4, pp. 239-246. Compressed PostScript file; pdf file. Vladik Kreinovich, "Towards More Realistic (e.g., Non-Associative) `and'- and `or'-Operations in Fuzzy Logic", Soft Computing, 2004, Vol. 8, No. 4, pp. 274-280. Compressed PostScript file; pdf file. Vladik Kreinovich and Scott A. Starks, "Why benchmarking is an (asymptotically) optimal approach to numerical methods: a geombinatoric proof", Geombinatorics, 2004, Vol. 13, No. 3, pp. 131-138. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung T. Nguyen, Nadipuram S. Prasad, and Pratit Santiprabhob, "Intelligent Technologies (Introduction to the Special Issue)", International Journal of Intelligent Systems, 2004, Vol. 19, No. 1/2, pp. 1-8. Compressed PostScript file; pdf file. Vladik Kreinovich and Chin-Wang Tao, "Checking Identities Is Computationally Intractable (NP-Hard), So Human Provers Will Be Always Needed", International Journal of Intelligent Systems, 2004, Vol. 19, No. 1/2, pp. 39-49. Compressed PostScript file; pdf file. Ronald R. Yager and Vladik Kreinovich, "On the Relation Between Two Approaches to Combining Evidence: Ordered Abelian Groups and Uninorms", Journal of Intelligent and Fuzzy Systems, 2003, Vol. 14, No. 1, pp. 7-12. Compressed PostScript file; pdf file. Ronald R. Yager and Vladik Kreinovich, "Universal Approximation Theorem for Uninorm-Based Fuzzy Systems Modeling", Fuzzy Sets and Systems, 2003, Vol. 140, No. 2, pp. 331-339. Compressed PostScript file; pdf file. Vladik Kreinovich, Scott A. Starks, Dima Iourinski, Olga Kosheleva, and Andrei Finkelstein, "Open-ended configurations of radio telescopes: a geometrical analysis", Geombinatorics, 2003, Vol. 13, No. 2, pp. 79-85. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Antonio Di Nola, "Which Truth Values in Fuzzy Logics Are Definable?", International Journal of Intelligent Systems, 2003, Vol. 18, No. 10, pp. 1057-1064. Compressed PostScript file; pdf file. Hongjie Xie, Nigel Hicks, G. Randy Keller, Haitao Huang, and Vladik Kreinovich, "Implementation, test, and analysis of an automatic image registration algorithm based on FFT and IDL/ENVI", Computers and Geosciences, 2003, Vol. 29, No. 8, pp. 1045-1055. pdf file code posted at the website maintained by the journal Vladik Kreinovich, Scott Ferson, and Lev Ginzburg, "Exact Upper Bound on the Mean of the Product of Many Random Variables With Known Expectations", Reliable Computing, 2003, Vol. 9, No. 6, pp. 441-463. Compressed PostScript file; pdf file. Vladik Kreinovich, Luc Longpre, and James J. Buckley, "Are There Easy-to-Check Necessary and Sufficient Conditions for Straightforward Interval Computations to Be Exact?", Reliable Computing, 2003, Vol. 9, No. 5, pp. 349-358. Compressed PostScript file; pdf file. William G. Walster and Vladik Kreinovich, "Computational complexity of crude range estimation and fuzzy optimization", Fuzzy Sets and Systems, 2003, Vol. 135, No. 1, pp. 179-208; correction 2004, Vol. 141, p. 163. Compressed PostScript file; pdf file. Goetz Alefeld, Vladik Kreinovich, and Guenter Mayer, "On the Solution Sets of Particular Classes of Linear Systems" Journal of Computational and Applied Mathematics, 2003, Vol. 152, pp. 1-15. Compressed PostScript file; pdf file. Luc Longpre and Vladik Kreinovich, "Can Quantum Computers Be Useful When There Are Not Yet Enough Qubits?", Bulletin of the European Association for Theoretical Computer Science (EATCS), 2003, Vol. 79, pp. 164-169. Compressed PostScript file; pdf file. Vladik Kreinovich and Isaak A. Kunin, "Kolmogorov Complexity and Chaotic Phenomena", International Journal of Engineering Science, 2003, Vol. 41, No. 3-5, pp. 483-493. Compressed PostScript file; pdf file. V. G. Knorring, Y. Ya. Kreinovich, and V. D. Mazin, "Measurement Information: Scales and Conversions", Measurement Techniques, 2002, Vol. 45. No. 2, pp. 113-115 (Russian version February 2002, pp. 3-4). Hung T. Nguyen and Vladik Kreinovich, "From [0,1]-Based Logic To Interval Logic (From known description of all possible [0,1]-based logical operations to a description of all possible interval-based logical operations)", Notes on Intuitionistic Fuzzy Sets, 2002, Vol. 8, No. 3, pp. 75-94. Compressed PostScript file; pdf file. Daniel E. Cooke, Vladik Kreinovich, and Joseph E. Urban, "Designing interdisciplinary approaches to problem solving into computer languages", Journal of Integrated Design & Process Science, 2002, Vol. 6, No. 3, pp. 29-43. pdf file Vladik Kreinovich and Richard Alo, "Interval Mathematics for Analysis of Multi-Level Granularity", Archives of Control Sciences, 2002, Vol. 12, No. 4, pp. 323-350. Compressed PostScript file; pdf file. Irina Perfilieva and Vladik Kreinovich, "A New Universal Approximation Result For Fuzzy Systems, Which Reflects CNF-DNF Duality", International Journal of Intelligent Systems, 2002, Vol. 17. No. 12, pp. 1121-1130. Compressed PostScript file; pdf file. Vladik Kreinovich and Dima Iourinski, "Was there Satan's face in the World Trade Center fire? A geometric analysis", Geombinatorics, 2002, Vol. 12, No. 2, pp. 69-75. Compressed PostScript file; pdf file. Vladik Kreinovich, "Range Estimation Is NP-Hard For epsilon^2 Accuracy and Feasible For epsilon^{2-delta}", Reliable Computing, 2002, Vol. 8, No. 6, pp. 481-491. Compressed PostScript file; pdf file. Vladik Kreinovich, Luc Longpre, Scott Ferson, and Lev Ginzburg, "Why Is Selecting the Simplest Hypothesis (Consistent with Data) a Good Idea? A Simple Explanation", Bulletin of the European Association for Theoretical Computer Science (EATCS), 2002, Vol. 77, pp. 191-194. Compressed PostScript file; pdf file. Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Luc Longpre, and Monica Aviles, "Computing Variance for Interval Data is NP-Hard", ACM SIGACT News, 2002, Vol. 33, No. 2, pp. 108-118. Compressed PostScript file; pdf file. Scott A. Starks and Vladik Kreinovich, "Aerospace applications of soft computing and interval computations (with an emphasis on simulation and modeling)", Systems Analysis Modelling Simulation, 2002, Vol. 42, No. 5, pp. 713-734. Compressed PostScript file Brian d'Auriol, Vladik Kreinovich, Bindu George, Florence Muganda, and Pramod Kumar Chikkapaiah, "What Is the Best Way To Draw a Cube?", Geombinatorics, 2002, Vol. 11, No. 4, pp. 105-110. Compressed PostScript file; pdf file. Gerhard Heindl, Vladik Kreinovich, and Maria Rifqi, "In case of interval (or more general) uncertainty, no algorithm can choose the simplest representative", Reliable Computing, 2002, Vol. 8, No. 3, pp. 213-227. Compressed PostScript file; pdf file. Raul Trejo and Vladik Kreinovich, "Computing the Shape of the Image of a Multi-Linear Mapping Is Possible But Computationally Intractable: Theorems", International Journal of General Systems, 2002, Vol. 31, No. 1, pp. 17-27. Compressed PostScript file; pdf file. Daniel E. Cooke and Vladik Kreinovich, "Automatic Concurrency in SequenceL", Science of Computer Programming, 2002, Vol. 42, No. 1, pp. 115-128. Compressed PostScript file; pdf file. Raul Trejo, Vladik Kreinovich, I. R. Goodman, Jesus Martinez, and Reginaldo Gonzalez, "A Realistic (Non-Associative) Logic And a Possible Explanations of 7+-2 Law", International Journal of Approximate Reasoning, 2002, Vol. 29, pp. 235-266. Compressed PostScript file; pdf file. Roberto A. Osegueda, Seetharami R. Seelam, Ana C. Holguin, Vladik Kreinovich, and Chin-Wang Tao, "Statistical and Dempster-Shafer Techniques in Testing Structural Integrity of Aerospace Structures", International Journal of Uncertainty, Fuzziness, Knowledge-Based Systems (IJUFKS), 2001, Vol. 9, No. 6, pp. 749-758. Compressed PostScript file; pdf file. Raul A. Trejo, Joel Galloway, Charanjiv Sachar, Vladik Kreinovich, Chitta Baral, and Le Chi Tuan, "From Planning to Searching for the Shortest Plan: An Optimal Transition", International Journal of Uncertainty, Fuzziness, Knowledge-Based Systems (IJUFKS), 2001, Vol. 9, No. 6, pp. 827-838. Compressed PostScript file; pdf file. Vladik Kreinovich and Scott A. Starks, "Aerospace applications of intervals: from aerospatial data processing to fault detection in aerospace structures", International Journal of Uncertainty, Fuzziness, Knowledge-Based Systems (IJUFKS), 2001, Vol. 9, No. 6, pp. 721-730. Compressed PostScript file; pdf file. Vladik Kreinovich and Tibor Csendes, "Theoretical Justification of a Heuristic Subbox Selection Criterion", Central European Journal of Operations Research CEJOR, 2001, Vol. 9, No. 3, pp. 255-265. Compressed PostScript file; pdf file. Nguyen Hoang Phuong and Vladik Kreinovich, "Fuzzy logic and its applications in medicine", International Journal of Medical Informatics, 2001, Vol. 62, No. 2-3, pp. 165-173. Pdf file. Edward Vidal, Luc Longpre, Vladik Kreinovich, and Huang Haitao, "Geombinatorics of Smart Dust", Geombinatorics, 2001, Vol. 11, No. 2, pp. 54-58. Compressed PostScript file Jan Beck, Vladik Kreinovich, and Brian Penn, "Geombinatoric aspects of processing large images and large spatial databases", Geombinatorics, 2001, Vol. 11, No. 1, pp. 6-12. Compressed PostScript file. Frank Harary, Vladik Kreinovich, and Luc Longpre, "A new graph characteristic and its application to numerical computability", Information Processing Letters, 2001, Vol. 77, No. 5-6, pp. 277-282. Compressed PostScript file. I. R. Goodman and Vladik Kreinovich, "On Representation and Approximation of Operations in Boolean Algebras", International Journal of Intelligent Systems, 2001, Vol. 16, pp. 647-653. Compressed PostScript file. Ann Q. Gates and Vladik Kreinovich, "Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark", Bulletin of the European Association for Theoretical Computer Science (EATCS), 2001, Vol. 73, pp. 142-145. Compressed PostScript file; pdf file. Keith Worden, Roberto Osegueda, Carlos Ferregut, Soheil Nazarian, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva and Sergio Cabrera, "Interval Methods in Non-Destructive Testing of Material Structures", Reliable Computing, 2001, Vol. 7, No. 4, pp. 341-352. Compressed PostScript file. Goetz Alefeld, Vladik Kreinovich, Guenter Mayer, and Michael Huth, "A Comment on Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients", Reliable Computing, 2001, Vol. 7, No. 3, pp. 275-277. Compressed PostScript file; pdf file. Vladik Kreinovich, "Itanium's New Basic Operation of Fused Multiply-Add: Theoretical Explanation and Theoretical Challenge", ACM SIGACT News, 2001, Vol. 32, No. 1 (118), pp. 115-117. Compressed PostScript file; pdf file. Matthew Barry and Vladik Kreinovich, "Which sensor set is better for monitoring spacecraft subsystems? A geometric answer and its probabilistic generalization", Geombinatorics, 2001, Vol. X, No. 3, pp. 96-102. Compressed PostScript file. Vladik Kreinovich, "Roundoff-Free Number Fields For Interval Computations", Reliable Computing, 2001, Vol. 7, No. 1, pp. 41-47. Vladik Kreinovich, "Allowing Two Moves in Succession Increases the Game's Bias: a Theorem", International Journal of Intelligent Systems, 2001, Vol. 16, No. 1, pp. 209-213. Compressed PostScript file. Vladik Kreinovich and Yeung Yam, "Why Clustering in Function Approximation? Theoretical Explanation", International Journal of Intelligent Systems, 2000, Vol. 15, No. 10, pp. 959-966. Compressed PostScript file; pdf file. Ronald R. Yager and Vladik Kreinovich, "Fair Division Under Interval Uncertainty", International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems (IJUFKS), 2000, Vol. 8, No. 5, pp. 611-618. Compressed PostScript file; pdf file. Chitta Baral, Vladik Kreinovich, and Raul Trejo, "Computational Complexity of Planning and Approximate Planning in the Presence of Incompleteness", Artificial Intelligence, 2000, Vol. 122, pp. 241-267. Compressed PostScript file; pdf file. Daniel E. Cooke and Vladik Kreinovich, "Automatic Concurrency in SequenceL", Electronic Notes in Theoretical Computer Science, 2000, Vol. 25. Compressed PostScript file. Murali Siddaiah, Michael A. Lieberman, Nadipuram R. Prasad, and Vladik Kreinovich, "A geometric approach to classification of trash in ginned cotton", Geombinatorics, 2000, Vol. 10, No. 2, pp. 77-82. Compressed PostScript file; pdf file. Vladik Kreinovich and Juergen Wolff von Gudenberg, "An optimality criterion for arithmetic of complex sets", Geombinatorics, 2000, Vol. 10, No. 1, pp. 31-37. Compressed PostScript file. Vladik Kreinovich and Luc Longpre, "How Important Is Theory for Practical Problems? A Partial Explanation of Hartmanis' Observation", Bulletin on the European Association for Theoretical Computer Science EATCS, 2000, Vol. 71, pp. 160-164. Compressed PostScript file. Vladik Kreinovich and Nadipuram R. Prasad, "The Use of Fuzzy Measures in Pain Relief Control", Biomedical Soft Computing and Human Sciences, 2000, Vol. 5, No. 2, pp. 23-30. Compressed PostScript file. Vladik Kreinovich, Hung T. Nguyen, and Yeung Yam, "Fuzzy Systems Are Universal Approximators for a Smooth Function And Its Derivatives", International Journal of Intelligent Systems, 2000, Vol. 15, No. 6, pp. 565-574. File in PostScript and in pdf. Raul A. Trejo, Vladik Kreinovich, and Luc Longpre, "Choosing a Physical Model: Why Symmetries?", Bulletin of the European Association for Theoretical Computer Science (EATCS), 2000, Vol. 70, pp. 159-161. Compressed PostScript file; pdf file. Mai Gehrke, Vladik Kreinovich, and Bernadette Bouchon-Meunier, "Propositional Fuzzy Logics: Decidable for Some (Algebraic) Operators, Undecidable for More Complicated Ones", International Journal of Intelligent Systems, 1999, Vol. 14, No. 9, pp. 935-947. File in LaTeX Vladik Kreinovich, Masao Mukaidono, and Krassimir Atanassov, "From Fuzzy Values To Intuitionistic Fuzzy Values To Intuitionistic Fuzzy Intervals etc.: Can We Get an Arbitrary Ordering?", Notes on Intuitionistic Fuzzy Sets (NIFS), 1999, Vol. 5, No. 3, pp. 11-18. Compressed PostScript file. Hung T. Nguyen, Vladik Kreinovich, and Berlin Wu, "Fuzzy/probability~fractal/smooth", International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems (IJUFKS), 1999, Vol. 7, No. 4, pp. 363-370. File in Compressed PostScript and pdf Misha Koshelev, Vladik Kreinovich, and Luc Longpre, "Encryption Algorithms Made Natural", Inroads: ACM SIGCSE Bulletin, 1999, Vol. 31, No. 4, pp. 50-51. File in PostScript, Compressed PostScript, and pdf Vladik Kreinovich, Hung T. Nguyen, and Berlin Wu, "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, 1999, Vol. 1, No. 2, pp. 147-157. PostScript file. Ronald R. Yager and Vladik Kreinovich, "Decision Making Under Interval Probabilities", International Journal of Approximate Reasoning, 1999, Vol. 22, No. 3, pp. 195-215. Compressed PostScript file; pdf file. Sanjeev Subbaramu, Ann Q. Gates, and Vladik Kreinovich, "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", Bulletin of the European Association for Theoretical Computer Science (EATCS), 1999, Vol. 69, pp. 145-150. PostScript file. Ronald R. Yager and Vladik Kreinovich, "On How to Merge Sorted Lists Coming from Different Web Search Tools", Soft Computing, 1999, Vol. 3, pp. 83-88. PostScript file. Olga Kosheleva and Vladik Kreinovich, "Only Intervals Preserve the Invertibility of Arithmetic Operations", Reliable Computing, 1999, Vol. 5, No. 4, pp. 385-394. Chadi Hamzo and Vladik Kreinovich, "On Average Bit Complexity of Interval Arithmetic", Bulletin of the European Association for Theoretical Computer Science (EATCS), 1999, Vol. 68, pp. 153-156. File in Compressed PostScript and in pdf Vladik Kreinovich and Juergen Wolff von Gudenberg, "Arithmetic of complex sets: Nickel's classical paper revisited from a geometric viewpoint", Geombinatorics, 1999, Vol. 9, No. 1, pp. 21-26. Compressed PostScript file. Vladik Kreinovich, "Coincidences are Not Accidental: a Theorem", Cybernetics and Systems: An International Journal, 1999, Vol. 30, No. 5, pp. 429-440. File in PostScript and in pdf. Vladik Kreinovich and Yeung Yam, "Extending T-Norms Beyond [0,1]: Relevant Results of Semigroup Theory", BUlletin for Studies and Exchanges on Fuzziness and its AppLications (BUSEFAL), No. 78, May 1999, pp. 12-16. PostScript file. Hung T. Nguyen and Vladik Kreinovich, "How to Divide a Territory? A New Simple Differential Formalism for Optimization of Set Functions", International Journal of Intelligent Systems, 1999, Vol. 14, No. 3, pp. 223-251. Postscript file; Compressed Postscript file; pdf. Bernadette Bouchon-Meunier and Vladik Kreinovich, "Fuzzy modus ponens as a calculus of logical modifiers: towards Zadeh's vision of implication calculus", Information Sciences, 1999, Vol. 116, pp. 219-227. File in LaTeX, Compressed Postscript, and pdf. Scott A. Starks and Vladik Kreinovich, "Locating the whole pattern is better than locating its pieces: a geometric explanation of an empirical phenomenon," Geombinatorics, 1999, Vol. 8, No. 4, pp. 116-121. PostScript file. Olga Kosheleva and Vladik Kreinovich, "Error estimation for indirect measurements: Interval computation problem is (slightly) harder than a similar probabilistic computational problem", Reliable Computing, 1999, Vol. 5, No. 1, pp. 81-95. Misha Koshelev, Vladik Kreinovich, and Luc Longpre, "Encryption Algorithms Made (Somewhat) More Natural (a pedagogical remark)", Bulletin of the European Association for Theoretical Computer Science (EATCS), 1999, Vol. 67, pp. 153-156. File in Compressed PostScript and pdf Krassimir T. Atanassov and Vladik Kreinovich, "Intuitionistic fuzzy interpretation of interval data", Notes on Intuitionistic Fuzzy Sets (NIFS), 1999, Vol. 5, No. 1, pp. 1-8. Misha Koshelev, Vladik Kreinovich, Bhuvan Rachamreddy, Haris Yasemis, and Krassimir T. Atanassov, "Fundamental Justification of Intuitionistic Fuzzy Logic and of Interval-Valued Fuzzy Methods", Notes on Intuitionistic Fuzzy Sets (NIFS), 1998, Vol. 4, No. 2, pp. 42-46. File in Compressed Postscript and pdf Vladik Kreinovich, Hung T. Nguyen, Berlin Wu, and 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", Notes on Intuitionistic Fuzzy Sets (NIFS), 1998, Vol. 4, No. 2, pp. 47-56. Postscript file. T. E. Kaminsky and Vladik Kreinovich, "Natural requirements for interval roundings lead to a hardware-independent characterization of standard rounding procedures", Notes on Intuitionistic Fuzzy Sets (NIFS), 1998, Vol. 4, No. 2, pp. 57-64. File in LaTeX. Gerhard Heindl, Vladik Kreinovich, and Anatoly V. Lakeyev, "Solving Linear Interval Systems is NP-Hard Even If We Exclude Overflow and Underflow", Reliable Computing, 1998, Vol. 4, No. 4, pp. 383-388. Compressed PostScript file; pdf file. Ann Q. Gates, Vladik Kreinovich, and Luc Longpre, "Kolmogorov Complexity Justifies Software Engineering Heuristics", Bulletin of the European Association for Theoretical Computer Science (EATCS), 1998, Vol. 66, pp. 150-154. Postscript file. Bernadette Bouchon-Meunier and Vladik Kreinovich, "From Interval Computations to Modal Mathematics: Applications and Computational Complexity", ACM SIGSAM Bulletin, 1998, Vol. 32, No. 2, pp. 7-11. LaTeX file; Compressed PostScript file; pdf file. Eric R. Scerri, Vladik Kreinovich, Piotr Wojciechowski, and Ronald R. Yager, "Ordinal Explanation of the Periodic System of Chemical Elements", International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems (IJUFKS), 1998, Vol. 6, No. 4, pp. 387-399. PostScript file. Andreas Blass, Yuri Gurevich, Vladik Kreinovich, and Luc Longpre, "A Variation on the Zero-One Law", Information Processing Letters, 1998, Vol. 67, pp. 29-30. Postscript file. Brian Cloteaux, Christophe Eick, Bernadette Bouchon-Meunier, and Vladik Kreinovich, "From Ordered Beliefs to Numbers: How to Elicit Numbers Without Asking for Them (Doable but Computationally Difficult)", International Journal of Intelligent Systems, 1998, Vol. 13, No. 9, pp. 801-820. Postscript file Hung T. Nguyen, Vladik Kreinovich, and Valery Shekhter, "On the Possibility of Using Complex Values in Fuzzy Logic For Representing Inconsistencies", International Journal of Intelligent Systems, 1998, Vol. 13, No. 8, pp. 683-714. File in LaTeX, Compressed PostScript, and pdf S. A. Starks, V. Kreinovich, and A. Meystel, "Multi-Resolution Data Processing: It is Necessary, It is Possible, It is Fundamental", Heuristics: The Journal of Intelligent Technologies, 1997/98, Vol. 10, No. 2, pp. 51-58. I. Burhan Turksen, Vladik Kreinovich, and Ronald R. Yager, "A new class of fuzzy implications (axioms of fuzzy implication revisited)", Fuzzy Sets and Systems, 1998, Vol. 100, pp. 267-272. File in Compressed Postscript and pdf Goetz Alefeld, Vladik Kreinovich, and Guenter Mayer, "The Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients", Mathematische Nachrichten, 1998, Vol. 192, pp. 23-36. File in Compressed Postscript and pdf Hung T. Nguyen, Vladik Kreinovich, and Piotr Wojciechowski, "Strict Archimedean t-Norms and t-Conorms as Universal Approximators", International Journal of Approximate Reasoning, 1998, Vol. 18, Nos. 3-4, pp. 239-249. Postscript file. Diane I. Doser, Kevin D. Crain, Mark R. Baker, Vladik Kreinovich, and Matthew C. Gerstenberger "Estimating uncertainties for geophysical tomography", Reliable Computing, 1998, Vol. 4, No. 3, pp. 241-268. File in Compressed Postscript and pdf David Dennis, Vladik Kreinovich, and Siegfried Rump, "Intervals and the Origin of Calculus", Reliable Computing, 1998, Vol. 4, No. 2, pp. 191-197. Francisco G. Fernandez and Vladik Kreinovich, "Fuzzy Implication can be Arbitrarily Complicated: A Theorem", International Journal of Intelligent Systems, 1998, Vol. 13, No. 5, pp. 445-451. File in LaTeX, Compressed PostScript, and pdf. Maria Beltran, Gilbert Castillo, and Vladik Kreinovich, "Algorithms That Still Produce a Solution (Maybe Not Optimal) Even When Interrupted: Shary's Idea Justified", Reliable Computing, 1998, Vol. 4, No. 1, pp. 39-53. Vladik Kreinovich and Luc Longpre, "Human Visual Perception and Kolmogorov Complexity: Revisited", Bulletin of the European Association for Theoretical Computer Science (EATCS), 1998, Vol. 64, pp. 155-158. File in PostScript, Compressed PostScript, and pdf. Vladik Kreinovich, G\"unter Mayer, and Scott Starks, "On a Theoretical Justification of The Choice of Epsilon-Inflation in PASCAL-XSC", Reliable Computing, 1997, Vol. 3, No. 4, pp. 437-452. File in LaTeX, Compressed PostScript, and pdf. Vera Kurkova, Paul C. Kainen, and Vladik Kreinovich, "Estimates of the Number of Hidden Units and Variation with Respect to Half-spaces", Neural Networks, 1997, Vol. 10, No. 6, pp. 1061-1068. Hung T. Nguyen and Vladik Kreinovich, "Using Gelfond-Przymusinska's Epistemic Specifications to Justify (Some) Heuristic Methods Used in Expert Systems and Intelligent Control", Soft Computing, 1997, Vol. 1, No. 4, pp. 198-209. File in LaTeX Ronald R. Yager and Vladik Kreinovich, "Using robust optimization to play against an imperfect opponent", Soft Computing, 1997, Vol. 1, No. 2, pp. 69-80. File in LaTeX. Vladik Kreinovich and Bernadette Bouchon-Meunier, "Granularity via Non-Deterministic Computations: What We Gain and What We Lose", International Journal of Intelligent Systems, 1997, Vol. 12, pp. 469-481. File in LaTeX. Bernadette Bouchon-Meunier, Olga Kosheleva, Vladik Kreinovich, and Hung T. Nguyen, "Fuzzy numbers are the only fuzzy sets that keep invertible operations invertible", Fuzzy Sets and Systems, 1997, Vol. 91, No. 2, pp. 155-163. File in LaTeX, uses amssymbols.sty. Hung T. Nguyen, Vladik Kreinovich, and Qiang Zuo, "Interval-valued degrees of belief: applications of interval computations to expert systems and intelligent control", International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems (IJUFKS), 1997, Vol. 5, No. 3, pp. 317-358. File in compressed PostScript and in pdf. Goetz Alefeld, Vladik Kreinovich, and Guenter Mayer, "The Shape of the Symmetric, Persymmetric, and Skew-Symmetric Solution Set", SIAM Journal on Matrix Analysis and Applications (SIMAX), 1997, Vol. 18, No. 3, pp. 693-705. File in compressed PostScript and in pdf. Hung T. Nguyen and Vladik Kreinovich, "Interval-valued fuzzy control in space exploration" BUlletin for Studies and Exchanges on Fuzziness and its AppLications (BUSEFAL), No. 71, July 1997, pp. 55-64. File in LaTeX, uses IEEEtran.sty Raul Antonio Trejo Ramirez and Vladik Kreinovich, "How to rate numerical packages? Foundations of ratings, and their possible use in numerical mathematics, in education, and in military design", ACM SIGNUM Newsletter, 1997, Vol. 32, No. 1/2, pp. 2-10. File in compressed PostScript and in pdf. Hung T. Nguyen and Vladik Kreinovich, "Intelligent Control in Space Exploration: Interval Computations are Needed", ACM SIGNUM Newsletter, 1997, Vol. 32, No. 1/2, pp. 17-36. File in LaTeX, uses IEEEtran.sty Hung T. Nguyen and Vladik Kreinovich, "Intelligent control in space exploration: what non-linearity to choose?" BUlletin for Studies and Exchanges on Fuzziness and its AppLications (BUSEFAL), No. 70, April 1997, pp. 61-69. File in LaTeX, uses IEEEtran.sty Vladimir Dimitrov, Misha Koshelev, and Vladik Kreinovich, "Acausal processes and astrophysics: case when uncertainty is non-statistical (fuzzy?)", BUlletin for Studies and Exchanges on Fuzziness and its AppLications (BUSEFAL), No. 69, January 1997, pp. 183-191. File in LaTeX, File in compressed PostScript and in pdf. Hung T. Nguyen, Vladik Kreinovich, Vyacheslav Nesterov, and Mutsumi Nakamura, "On hardware support for interval computations and for soft computing: a theorem", IEEE Transactions on Fuzzy Systems, 1997, Vol. 5, No. 1, pp. 108-127. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "From Numerical Intervals to Set Intervals (Interval-Related Results Presented at the First International Workshop on Applications and Theory of Random Sets)", Reliable Computing, 1997, Vol. 3, No. 1, pp. 95-102. File in LaTeX; Compressed PostScript file; pdf file. Anatoly V. Lakeyev and Vladik Kreinovich, "NP-hard classes of linear algebraic systems with uncertainties", Reliable Computing, 1997, Vol. 3, No. 1, pp. 51-81. Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich, "Astrogeometry, error estimation, and other applications of set-valued analysis", ACM SIGNUM Newsletter, 1996, Vol. 31, No. 4, pp. 3-25. File in LaTeX; Compressed PostScript file; pdf file. Vladik Kreinovich and Anatoly V. Lakeyev, "Linear Interval Equations: Computing Enclosures with Bounded Relative Or Absolute Overestimation is NP-Hard", Reliable Computing, 1996, Vol. 2, No. 4, pp. 341-350. Vladik Kreinovich and Bernadette Bouchon-Meunier, "Granularity via Non-Deterministic Computations", BUlletin for Studies and Exchanges on Fuzziness and its AppLications (BUSEFAL), No. 68, October 1996, pp. 20-24. File in LaTeX Douglas Schirmer and Vladik Kreinovich, "Towards a More Realistic Definition of Feasibility", Bulletin of the European Association for Theoretical Computer Science (EATCS), 1996, Vol. 60, pp. 151-153. File in LaTeX Hung T. Nguyen, Vladik Kreinovich, and David Sprecher, "Normal forms for fuzzy logic - an application of Kolmogorov's theorem" International Journal on Uncertainty, Fuzziness, and Knowledge-Based Systems, 1996, Vol. 4, No. 4, pp. 331-349. File in LaTeX Misha Koshelev and Vladik Kreinovich, "Why Monotonicity in Interval Computations? A Remark", ACM SIGNUM Newsletter, 1996, Vol. 31, No. 3, pp. 4-8. File in Compressed Postscript and pdf G. William Walster and Vladik Kreinovich, "For unknown-but-bounded errors, interval estimates are often better than averaging", ACM SIGNUM Newsletter, 1996, Vol. 31, No. 2, pp. 6-19. File in Compressed Postscript and pdf Vladik Kreinovich and Karen Villaverde, "A Quadratic-Time Algorithm For Smoothing Interval Functions", Reliable Computing, 1996, Vol. 2, No. 3, pp. 255-264. File in Compressed Postscript and pdf Hung T. Nguyen, Vladik Kreinovich, and Ongard Sirisaengtaksin, "Fuzzy control as a universal control tool", Fuzzy Sets and Systems, 1996, Vol. 80, No. 1, pp. 71-86. Compressed PostScript file; pdf file. Carlos Ferregut, Soheil Nazarian, Krishnamohan Vennalganti, Ching-Chuan Chang, and Vladik Kreinovich, "Fast Error Estimates For Indirect Measurements: Applications To Pavement Engineering", Reliable Computing, 1996, Vol. 2, No. 3, pp. 219-228. Robert Lea, Vladik Kreinovich, and Raul Trejo, "Optimal interval enclosures for fractionally-linear functions, and their application to intelligent control", Reliable Computing, 1996, Vol. 2, No. 3, pp. 265-286. Compressed PostScript file; pdf file. Joe Lorkowski and Vladik Kreinovich. "If we measure a number, we get an interval. What if we measure a function or an operator?", Reliable Computing, 1996, Vol. 2, No. 3, pp. 287-298. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung Nguyen, and Piotr Wojciechowski, "Fuzzy Logic as Applied Linear Logic", BUlletin for Studies and Exchanges on Fuzziness and its AppLications (BUSEFAL), No. 67, July 1996, p. 4-13. File in LaTeX Vladik Kreinovich, Vyacheslav M. Nesterov, and Nina A. Zheludeva, "Interval Methods That Are Guaranteed to Underestimate (and the resulting new justification of Kaucher arithmetic)", Reliable Computing, 1996, Vol. 2, No. 2, pp. 119-124. Compressed PostScript file; pdf file. Vladik Kreinovich and Anatoly V. Lakeyev, " `Interval Rational = Algebraic' Revisited: A More Computer Realistic Result", ACM SIGNUM Newsletter, 1996, Vol. 31, No. 1, pp. 14-17. File in LaTeX; Compressed PostScript file; pdf file. Olga Kosheleva and Vladik Kreinovich, "How to measure arbitrary distances using a given standard length (i.e., a stick with two marks on it): it is necessary, it is theoretically possible, it is feasible", Geombinatorics, 1996, Vol. 5, No. 4, pp. 142-155. Compressed PostScript file; pdf file. Vladik Kreinovich, "Maximum entropy and interval computations", Reliable Computing, 1996, Vol. 2, No. 1, pp. 63-79. Compressed PostScript file; pdf file. Driss Misane and Vladik Kreinovich, "The necessity to check consistency explains the use of parallelepipeds in describing uncertainty", Geombinatorics, 1996, Vol. 5, No. 3, pp. 109-120. Compressed PostScript file; pdf file. Vladik Kreinovich, Anatoly V. Lakeyev, Sergei I. Noskov, "Approximate linear algebra is intractable". Linear Algebra and its Applications, 1996, Vol. 232, No. 1, pp. 45-54. Hung T. Nguyen, Olga M. Kosheleva, and Vladik Kreinovich, "Is the success of fuzzy logic really paradoxical? Or: Towards the actual logic behind expert systems", International Journal of Intelligent Systems, 1996, Vol. 11, No. 5, pp. 295-326. Compressed PostScript file; pdf file. Bernadette Bouchon-Meunier, Vladik Kreinovich, Anatole Lokshin, and Hung T. Nguyen, "On the formulation of optimization under elastic constraints (with control in mind)", Fuzzy Sets and Systems, 1996, Vol. 81, No. 1, pp. 5-29. Compressed PostScript file; pdf file. Vladik Kreinovich. "Strongly transitive fuzzy relations: a more adequate way to describe similarity", International Journal of Intelligent Systems, 1995, Vol. 10, No. 12, pp. 1061-1076. Hung T. Nguyen and Vladik Kreinovich, "Towards theoretical foundations of soft computing applications", International Journal on Uncertainty, Fuzziness, and Knowledge-Based Systems, 1995, Vol. 3, No. 3, pp. 341-373. Vladik Kreinovich, "Interval rational = algebraic", ACM SIGNUM Newsletter, 1995, Vol. 30, No. 4, pp. 2-13. Compressed PostScript file; pdf file. Vladik Kreinovich and Guenther Mayer, "Towards the future of interval computations (editors' introduction to the student issue)", Reliable Computing, 1995, Vol. 1, No. 3, pp. 209-214. Compressed PostScript file; pdf file. Driss Misane and Vladik Kreinovich, "A new characterization of the set of all intervals, based on the necessity to check consistency easily", Reliable Computing, 1995, Vol. 1, No. 3, pp. 285-298. Compressed PostScript file; pdf file. Bo H. Friesen, Vladik Kreinovich, "Ockham's razor in interval identification", Reliable Computing, 1995, Vol. 1, No. 3, pp. 225-238. Hung T. Nguyen, Vladik Kreinovich, Bob Lea, and Dana Tolbert. "Interpolation that leads to the narrowest intervals, and its application to expert systems and intelligent control", Reliable Computing, 1995, Vol. 1 No. 3, pp. 299-316. Compressed PostScript file; pdf file. Bo Friesen and Vladik Kreinovich. "How to improve Mamdani's approach to fuzzy control", International Journal of Intelligent Systems, 1995, Vol. 10, No. 11, pp. 947-957. David Nemir, Vladik Kreinovich, and Efren Gutierrez. "Applications of interval computations to earthquake-resistant engineering: how to compute derivatives of interval functions fast". Reliable Computing, 1995, Vol. 1, No. 2, pp. 141-172. Compressed PostScript file; pdf file. Bonnie Traylor, Vladik Kreinovich, "A bright side of NP-hardness of interval computations: interval heuristics applied to NP-problems", Reliable Computing, 1995, Vol. 1, No. 3, pp. 343-360. Vladik Kreinovich. "Why intervals? A simple limit theorem that is similar to limit theorems from statistics." Reliable Computing, 1995, Vol. 1, No. 1, pp. 33-40. Dara Morgenstein and Vladik Kreinovich, "Which algorithms are feasible and which are not depends on the geometry of space-time", Geombinatorics, 1995, Vol. 4, No. 3, pp. 80-97. Compressed PostScript file; pdf file. Jiri Rohn, Vladik Kreinovich, "Computing exact componentwise bounds on solutions of linear systems with interval data is NP-hard". SIAM Journal on Matrix Analysis and Applications (SIMAX), 1995, Vol. 16, No. 2, pp. 415-420. Hung T. Nguyen, Vladik Kreinovich, and Dana Tolbert, "A measure of average sensitivity for fuzzy logics", International Journal on Uncertainty, Fuzziness, and Knowledge-Based Systems, 1994, Vol. 2, No. 4, pp. 361-375. Compressed PostScript file; pdf file. Arthur Ramer and Vladik Kreinovich. "Maximum entropy approach to fuzzy control", Information Sciences, 1994, Vol. 81, No. 3-4, pp. 235-260. Compressed PostScript file; pdf file. Paul C. Kainen, Vera Kurkova, Vladik Kreinovich, and Ongard Sirisaengtaksin. "Uniqueness of network parameterization and faster learning", Neural, Parallel, and Scientific Computations, 1994, Vol. 2, p. 459-466. Compressed PostScript file; pdf file. Vladik Kreinovich, Andrew Bernat "Parallel algorithms for interval computations: an introduction", Interval Computations, 1994, No. 3, pp. 6-62. Vladik Kreinovich, Thomas Swenson, Alex Elentukh, "Interval approach to testing software", Interval Computations, 1994, No. 2, pp. 90-109. Compressed PostScript file; pdf file. Vladik Kreinovich. "Error estimation for indirect measurements is exponentially hard." Neural, Parallel, and Scientific Computations, 1994, Vol. 2, No. 2, pp. 225-234. Olga Kosheleva, Vladik Kreinovich. "Geombinatorics, computational complexity, and saving environment: let's start", Geombinatorics, 1994, Vol. 3, No. 3 (January), pp. 90-99. Compressed PostScript file; pdf file. V. Ya. Kreinovich and G. N. Solopchenko, "Canonical-parameter estimation for instrument complex frequency response", Izmeritelnaya Tekhnika, 1993, No. 9, pp. 11-14 (in Russian), English translation: Measurement Techniques, 1993, Vol. 36, No. 9, pp. 968-972. Mutsumi Nakamura, Ray Mines, and Vladik Kreinovich. "Guaranteed intervals for Kolmogorov's theorem (and their possible relation to neural networks)", Interval Computations, 1993, No. 3, pp. 183-199. Compressed PostScript file; pdf file. Ongard Sirisaengtaksin and Vladik Kreinovich. "Neural networks that are not sensitive to the imprecision of hardware neurons", Interval Computations, 1993, No. 4, p. 100-113. Karen Villaverde and Vladik Kreinovich. "A linear-time algorithm that locates local extrema of a function of one variable from interval measurement results," Interval Computations, 1993, No. 4, pp. 176-194. Compressed PostScript file; pdf file. Elsa Villa, Andrew Bernat, and Vladik Kreinovich "Estimating errors of indirect measurement on realistic parallel machines: routings on 2-D and 3-D meshes that are nearly optimal", Interval Computations, 1993, No. 4, pp. 154-175. Vladik Kreinovich, A. V. Lakeyev, and S. I. Noskov. "Optimal solution of interval linear systems is intractable (NP-hard)." Interval Computations, 1993, No. 1, pp. 6-14. Vladik Kreinovich. "Carnap's induction and machine learning: a remark". Cybernetics and Systems, 1993, Vol. 24, No. 6, p. 567-571. Compressed PostScript file; pdf file. Vladik Kreinovich, Ongard Sirisaengtaksin, "3-layer neural networks are universal approximators for functionals and for control strategies", Neural, Parallel, and Scientific Computations, 1993, Vol. 1, pp. 325-346. Marion L. Ellzey, Jr., Vladik Kreinovich, Julio Pena. "Fast rotation of a 3D image around an arbitrary line", Computers & Graphics, 1993, Vol. 17, No. 2, pp. 121-126. Vladik Kreinovich, Chris Quintana, Olac Fuentes. "Genetic algorithms: what fitness scaling is optimal?" Cybernetics and Systems: an International Journal, 1993, Vol. 24, No. 1, pp. 9-26. Compressed PostScript file; pdf file. Vladik Kreinovich and Chris Quintana. "How does new evidence change our estimates of probabilities: Carnap's formula revisited", Cybernetics and Systems: an International Journal, 1992, Vol. 23, No. 2, pp. 143-168. Compressed PostScript file; pdf file. Vladik Kreinovich, Andrew Bernat, Elsa Villa and Yvonne Mariscal. "Parallel computers estimate errors caused by imprecise data," Interval Computations, 1991, No. 2, pp. 31-46. Vladik Kreinovich. "Spacetime isomorphism problem is intractable (NP-hard)," International Journal of Theoretical Physics, 1991, Vol. 30, No. 9, pp. 1249-1257. Vladik Kreinovich, Alejandro Vazquez and Olga M. Kosheleva. "Prediction problem in quantum mechanics is intractable (NP-hard)," International Journal of Theoretical Physics, 1991, Vol. 30, No. 2, pp. 113-122. Vladik Kreinovich and Sundeep Kumar. "How to help intelligent systems with different uncertainty representations communicate with each other," Cybernetics and Systems: International Journal, 1991, Vol. 22, No. 2, pp. 217-222. Vladik Kreinovich. "Arbitrary nonlinearity is sufficient to represent all functions by neural networks: a theorem," Neural Networks, 1991, Vol. 4, 381-383. Evgeny Ya. Dantsin and Vladik Kreinovich. "Probabilistic inference in prediction systems," Academy of Sciences Doklady, 1989, Vol. 307, No. 1, pp. 17-21 (in Russian); English translation: Soviet Mathematics Doklady, 1990, Vol. 40, No. 1, pp. 8-12. Vitaly Kozlenko and Vladik Kreinovich. "Using computers for solving optimal control problems in case of uncertain criteria," International Radioelectronics Surveys, 1989, No. 8, pp. 60-66 (in Russian). Vladimir G. Dmitriev, Nina A. Zheludeva, and Vladik Kreinovich. "Applications of interval analysis methods to estimate algorithm errors in measuring systems," Measurement, Control, Automatization, 1985, No.1(53), pp. 31-40 (in Russian). Vladik Kreinovich and Marina I. Pavlovich. "Error estimate of the result of indirect measurements by using a calculational experiment," Izmeritelnaya Tekhnika, 1985, No. 3, pp. 11-13 (in Russian), English translation: Measurement Techniques, 1985, Vol. 28, No. 3, pp. 201-205. Vladik Kreinovich. "On A. F. Timan's inverse problem, for epsilon-entropy of compacts," Soviet Mathematics Uspekhi, 1975, Vol. 30, No. 1, pp. 241-242 (in Russian).

[<--] Back to Research Activities


Research Conference Papers (Computer Science)

Olga Kosheleva, Martine Ceberio, and Vladik Kreinovich, "Why Tensors?", Proceedings of the Second International Workshop on Constraint Programming and Decision Making CoProD'09, El Paso, Texas, November 9-10, 2009, to appear.
pdf file. Martine Ceberio and Vladik Kreinovich, "Continuous If-Then Statements Are Computable", Proceedings of the Second International Workshop on Constraint Programming and Decision Making CoProD'09, El Paso, Texas, November 9-10, 2009, to appear. pdf file. Aline Jaimes, Craig Tweedy, Tanja Magoc, Vladik Kreinovich, and Martine Ceberio, "Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-Objective Constraint Optimization", Proceedings of the Second International Workshop on Constraint Programming and Decision Making CoProD'09, El Paso, Texas, November 9-10, 2009, to appear. pdf file. Vladik Kreinovich, "From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interval and P-Box Uncertainty", In: Andrej Bauer, Ruth Dillhage, Peter Hertling, Ker-I Ko, and Robert Rettinger (eds.), Proceedings of the Sixth International Conference on Computability and Complexity in Analysis CCA'2009, Ljubljana, Slovenia, August 18-22, 2009, pp. 4-15. pdf file. Hung T. Nguyen, Vladik Kreinovich, and Songsak Sriboonchitta, "Stochastic Volatility Models and Financial Risk Measures: Towards New Justifications", Proceedings of the 2009 Singapore Economic Review Conference, Singapore, August 6-8, 2009. pdf file. Vladik Kreinovich and Hung T. Nguyen, "Towards A Neural-Based Understanding of the Cauchy Deviate Method for Processing Interval and Fuzzy Uncertainty", Proceedings of the 2009 World Congress of the International Fuzzy Systems Association IFSA, Lisbon, Portugal, July 20-24, 2009, pp. 1264-1269. Compressed PostScript file; pdf file. Gennady N. Solopchenko, Konstantin K. Semenov, Vladik Kreinovich, and Leon Reznik, "Measurement's result and its error as fuzzy variables: background and perspectives", Proceedings of the 9th International Symposium on Measurement Technology and Intelligent Instruments ISMTII'2009, St. Petersburg, Russia, June 28 - July 2, 2009, pp. 4-132 -- 4-136. pdf file. Tanja Magoc and Vladik Kreinovich, "Empirical Formulas for Economic Fluctuations: Towards A New Justification", Proceedings of the 28th North American Fuzzy Information Processing Society Annual Conference NAFIPS'09, Cincinnati, Ohio, June 14-17, 2009. Compressed PostScript file; pdf file. Olga Kosheleva and Vladik Kreinovich, "What is the Best Way to Distribute Efforts Among Students: Towards Quantitative Approach to Human Cognition", Proceedings of the 28th North American Fuzzy Information Processing Society Annual Conference NAFIPS'09, Cincinnati, Ohio, June 14-17, 2009. Compressed PostScript file; pdf file. Vladik Kreinovich, "Expert Knowledge Is Needed for Design under Uncertainty: For p-Boxes, Backcalculation is, in General, NP-Hard", Proceedings of the 28th North American Fuzzy Information Processing Society Annual Conference NAFIPS'09, Cincinnati, Ohio, June 14-17, 2009. Compressed PostScript file; pdf file. Van Nam Huynh, Chenyi Hu, Yoshiteru Nakamori, and Vladik Kreinovich, "On Decision Making under Interval Uncertainty: A New Justification of Hurwicz Optimism-Pessimism Approach and Its Use in Group Decision Making", Proceedings of the 39th International Symposium on Multiple-Valued Logic ISMVL'2009, Naha, Okinawa, Japan, May 21-23, 2009, pp. 214-220. Compressed PostScript file; pdf file. Vladik Kreinovich, "Astronomical Tests of Relativity: Beyond Parameterized Post-Newtonian Formalism (PPN), to Testing Fundamental Principles", In: Sergei Klioner, P. Ken Seidelmann, and Michael H. Soffel (eds.), Relativity in Fundamental Astronomy, Proceedings of IAU Symposium No. 261, Cambridge University Press, Cambridge, UK, 2009, pp. 56-61. pdf file Oscar Castillo, Patricia Melin, Esteban Gamez, Vladik Kreinovich, and Olga Kosheleva, "Intelligence Techniques Are Needed to Further Enhance the Advantage of Groups with Diversity in Problem Solving", Proceedings of the 2009 IEEE Workshop on Hybrid Intelligent Models and Applications HIMA'2009, Nashville, Tennessee, March 30-April 2, 2009, pp. 48-55. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung T. Nguyen, and Songsak Sriboonchita, "Estimating Risk under Interval Uncertainty: Sequential and Parallel Algorithms", Proceedings of the 2nd Annual Econometric Conference, Chiang Mai, Thailand, January 5-6, 2009, pp. 47-60. Compressed PostScript file; pdf file. Van Nam Huynh and Vladik Kreinovich, "Towards a more adequate use of interval-valued fuzzy techniques in intelligent control: a fuzzy analogues of unimodality", Proceedings of the International Workshop on Soft Computing for Knowledge Technology, in conjunction with The Tenth Pacific Rim International Conference on Artificial Intelligence PRICAI'08, Hanoi, Vietnam, December 15-19, 2008, pp. 80-89. Compressed PostScript file; pdf file. Francois Modave, Martine Ceberio, and Vladik Kreinovich, "Choquet Integrals and OWA Criteria as a Natural (and Optimal) Next Step After Linear Aggregation: A New General Justification", In: Alexander Gelbukh and Eduardo F. Morales (eds.), Proceedings of the 7th Mexican International Conference on Artificial Intelligence MICAI'08, Mexico City, Mexico, October 27-31, 2008, Springer Lecture Notes on Artificial Intelligence, 2008, Vol. 5317, pp. 741-753. Compressed PostScript file; pdf file. Paulo Pinheiro da Silva, Nicholas Del Rio, Vladik Kreinovich, and Alejandro Castaneda, "TrustMap: Towards Trust Recommendations for Maps", Proceedings of the Terra Cognita 2008 Workshop, Karlsruhe, Germany, October 26, 2008. pdf file. Paulo Pinheiro da Silva, Vladik Kreinovich and Christian Servin, "Maximum Entropy in Support of Semantically Annotated Datasets", Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web URSW'2008, Karlsruhe, Germany, October 26, 2008. Compressed PostScript file; pdf file. Sa-aat Niwitpong, Hung T. Nguyen, Ingo Neumann, and Vladik Kreinovich, "Hypothesis Testing with Interval Data: Case of Regulatory Constraints", Proceedings of the 9th International Conference on Intelligent Technologies InTech'08, Samui, Thailand, October 7-9, 2008, pp. 11-20. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "Computing Degrees of Subsethood and Similarity for Interval-Valued Fuzzy Sets: Fast Algorithms", Proceedings of the 9th International Conference on Intelligent Technologies InTech'08, Samui, Thailand, October 7-9, 2008, pp. 47-55. Compressed PostScript file; pdf file. Ruey L. Cheu, Gang Xiang, and Vladik Kreinovich, "Towards an optimal algorithm for computing fixed points: dynamical systems approach, with applications to transportation engineering", Proceedings of the Sixth EUROMECH Nonlinear Dynamics Conference ECON'08, St. Petersburg, Russia, June 30 - July 4, 2008. Compressed PostScript file; pdf file. J. T. Yao, Y. Y. Yao, V. Kreinovich, P. Pinheiro da Silva, S. A. Starks, G. Xiang, and H. T. Nguyen, "Towards More Adequate Representation of Uncertainty: From Intervals to Set Intervals, with the Possible Addition of Probabilities and Certainty Degrees", Proceedings of the IEEE World Congress on Computational Intelligence WCCI'2008, Hong Kong, China, June 1-6, 2008, pp. 983-990. Compressed PostScript file; pdf file. Vladik Kreinovich, Ladislav J. Kohout, and Eunjin Kim, "Square Root of 'Not': A Major Difference Between Fuzzy and Quantum Logics", Proceedings of the 27th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2008, New York, New York, May 19-22, 2008. Compressed PostScript file; pdf file. Vladik Kreinovich and Gang Xiang, "Towards Fast Algorithms for Processing Type-2 Fuzzy Data: Extending Mendel's Algorithms From Interval-Valued to a More General Case", Proceedings of the 27th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2008, New York, New York, May 19-22, 2008. Compressed PostScript file; pdf file. Roberto Araiza, Martine Ceberio, Naga Suman Kanagala, Vladik Kreinovich, and Gang Xiang, "Applications of 1-D Versions of Image Referencing Techniques to Hydrology and to Patient Rehabilitation", Proceedings of the 27th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2008, New York, New York, May 19-22, 2008. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "Everything Is a Matter of Degree: A New Theoretical Justification of Zadeh's Principle", Proceedings of the 27th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2008, New York, New York, May 19-22, 2008. Compressed PostScript file; pdf file. Naga Suman Kanagala, Martine Ceberio, Thompson Sarkodie-Gyan, Vladik Kreinovich, and Roberto Araiza, "Identification of human gait in neuro-rehabilitation: towards efficient algorithms", In: Homer Nazeran, Michael Goldman, and Richard Schoephoerster, Biomedical Engineering: Recent Developments, Medical and Engineering Publishers, 2008, pp. 153-156. pdf file Ruey L. Cheu, Vladik Kreinovich, Francois Modave, Gang Xiang, Tao Li, and Tanja Magoc, "How to Estimate, Take Into Account, and Improve Travel Time Reliability in Transportation Networks", In: Rafi L. Muhanna and Robert L. Mullen (eds.), Proceedings of the International Workshop on Reliable Engineering Computing REC'08, Savannah, Georgia, February 20-22, 2008, pp. 289-332. Compressed PostScript file; pdf file. Paulo Pinheiro da Silva, Aaron Velasco, Martine Ceberio, Christian Servin, Matthew G. Averill, Nicholas Del Rio, Luc Longpre, and Vladik Kreinovich, "Propagation and Provenance of Probabilistic and Interval Uncertainty in Cyberinfrastructure-Related Data Processing and Data Fusion", In: Rafi L. Muhanna and Robert L. Mullen (eds.), Proceedings of the International Workshop on Reliable Engineering Computing REC'08, Savannah, Georgia, February 20-22, 2008, pp. 199-234. Compressed PostScript file; pdf file. Ruey Cheu, Vladik Kreinovich, and Srinivasa R. Manduva, "Traffic Assignment for Risk Averse Drivers in a Stochastic Network", Proceedings of the Annual Meeting of the Transportation Research Board of the National Academies TRB'07, Washington, DC, January 13-17, 2008. pdf file. Vladik Kreinovich, "Application-Motivated Combinations of Fuzzy, Interval, and Probability Approaches, with Application to Geoinformatics, Bioinformatics, and Engineering", Proceedings of the International Conference on Information Technology InTech'07, Sydney, Australia, December 12-14, 2007, pp. 11-20. Compressed PostScript file; pdf file. Gregory B. Lush, Esteban Gamez, and Vladik Kreinovich, "How to Avoid Gerrymandering: A New Algorithmic Solution", Proceedings of the International Conference on Information Technology InTech'07, Sydney, Australia, December 12-14, 2007, pp. 146-151. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Elizabeth N. Kamoroff, "Asymmetric Information Measures: How to Extract Knowledge From an Expert So That the Expert's Effort is Minimal", Proceedings of the International Conference on Information Technology InTech'07, Sydney, Australia, December 12-14, 2007, pp. 136-145. Compressed PostScript file; pdf file. Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach, "Verification of automatically generated pattern-based LTL specifications", Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium HASE'07, Dallas, Texas, November 14-16, 2007, pp. 341-348. Compressed PostScript file; pdf file. Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, and Steve Roach, "Using Patterns and Composite Propositions to Automate the Generation of Complex LTL", In: K. Namjoshi, T. Yoneda, T. Higashino, and Y. Okamura (Eds.), Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis ATVA'2007, Tokyo, Japan, October 22-25, 2007, Springer Lecture Notes in Computer Science, 2007, Vol. 4762, pp. 533-542. pdf file. Luc Longpre, Gang Xiang, Vladik Kreinovich, and Eric Freudenthal, "Interval Approach to Preserving Privacy in Statistical Databases: Related Challenges and Algorithms of Computational Statistics", In: V. Gorodetsky, I. Kotenko, and V. A. Skormin (eds.), Proceedings of the International Conference "Mathematical Methods, Models and Architectures for Computer Networks Security", MMM-ACNS-07, St. Petersburg, Russia, September 13-15, 2007, Springer Lecture Notes in Computer Science, 2007, Vol. CCIS-1, pp. 346-361. Compressed PostScript file; pdf file. Van Nam Huynh, Vladik Kreinovich, Yoshiteru Nakamori, and Hung T. Nguyen, "Towards Efficient Prediction of Decisions under Interval Uncertainty", In: Roman Wyrzykowski, Jack Gondarra, Konrad Karczewski, and Jerzy Wasniewski (eds.), Parallel Processing and Applied Mathematics, Proceedings of the Seventh International Conference on Parallel Processing and Applied Mathematics PPAM'2007, Gdansk, Poland, September 9-12, 2007, Springer Lecture Notes in Computer Science, 2008, Vol. 4967, pp. 1372-1381. Compressed PostScript file; pdf file. Salamah Salamah, Vladik Kreinovich, and Ann Q. Gates, "Generating Linear Temporal Logic Formulas for Pattern-Based Specifications", Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering SEKE'07, Boston, Massachusetts, July 9-11, 2007, pp. 422-427. Compressed PostScript file; pdf file. Gilbert Ornelas and Vladik Kreinovich, "Set-Valued Extensions of Fuzzy Logic: Classification Theorems", In: Marek Reformat and Michael R. Berthold (eds.), Proceedings of the 26th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2007, San Diego, California, June 24-27, 2007, pp. 549-553. Compressed PostScript file; pdf file. Olga Kosheleva, Guenter Mayer, and Vladik Kreinovich, "Towards a General Description of Interval Multiplication: Algebraic Analysis and Its Relation to t-Norms", In: Marek Reformat and Michael R. Berthold (eds.), Proceedings of the 26th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2007, San Diego, California, June 24-27, 2007, pp. 543-548. Compressed PostScript file; pdf file. Gang Xiang, Vladik Kreinovich, and Scott Ferson, "Fitting a Normal Distribution to Interval and Fuzzy Data", In: Marek Reformat and Michael R. Berthold (eds.), Proceedings of the 26th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2007, San Diego, California, June 24-27, 2007, pp. 560-565. Compressed PostScript file; pdf file. Scott A. Starks, Luc Longpre, Roberto Araiza, Vladik Kreinovich, and Hung T. Nguyen, "Detecting Duplicates in Geoinformatics: from Intervals and Fuzzy Numbers to General Multi-D Uncertainty", In: Marek Reformat and Michael R. Berthold (eds.), Proceedings of the 26th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2007, San Diego, California, June 24-27, 2007, pp. 554-559. Compressed PostScript file; pdf file. Gang Xiang and Vladik Kreinovich, "Estimating Variance under Interval and Fuzzy Uncertainty: Case of Hierarchical Estimation", In: Patricia Melin, Oscar Castillo, Luis T. Aguilar, Janusz Kacprzyk, and Witold Pedrycz (eds.), Foundations of Fuzzy Logic and Soft Computing, Proceedings of the World Congress of the International Fuzzy Systems Association IFSA'2007, Cancun, Mexico, June 18-21, 2007, Springer Lecture Notes on Artificial Intelligence, 2007, Vol. 4529, pp. 3-12. Compressed PostScript file; pdf file. Martine Ceberio, Vladik Kreinovich, Andrzej Pownuk, and Barnabas Bede, "From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval, p-Box, and Fuzzy Uncertainty", In: Patricia Melin, Oscar Castillo, Luis T. Aguilar, Janusz Kacprzyk, and Witold Pedrycz (eds.), Foundations of Fuzzy Logic and Soft Computing, Proceedings of the World Congress of the International Fuzzy Systems Association IFSA'2007, Cancun, Mexico, June 18-21, 2007, Springer Lecture Notes on Artificial Intelligence, 2007, Vol. 4529, pp. 33-42. Compressed PostScript file; pdf file. Vladik Kreinovich, "Why Intervals? Why Fuzzy Numbers? Towards a New Justification", Proceedings of the IEEE Conference on Foundations of Computational Intelligence FOCI'07, Honolulu, Hawaii, April 1-5, 2007, pp. 113-119. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "Fuzzy Aggregation Techniques in Situations Without Experts: Towards A New Justification", Proceedings of the IEEE Conference on Foundations of Computational Intelligence FOCI'07, Hawaii, April 1-5, 2007, pp. 440-446. Compressed PostScript file; pdf file. Gang Xiang and Vladik Kreinovich, "Fast Algorithms for Computing Statistics Under Interval and Fuzzy Uncertainty, and Their Applications", Proceedings of the International Conference on Fuzzy Mathematics and Its Applications, Ahmednagar, Maharashtra, India, January 27-29, 2007. Compressed PostScript file; pdf file. Martine Ceberio, Gang Xiang, Luc Longpre, Vladik Kreinovich, Hung T. Nguyen, Daniel Berleant, "Two Etudes on Combining Probabilistic and Interval Uncertainty: Processing Correlations and Measuring Loss of Privacy", Proceedings of the 7th International Conference on Intelligent Technologies InTech'06, Taipei, Taiwan, December 13-15, 2006, pp. 8-17. Compressed PostScript file; pdf file. Olga Kosheleva, Vladik Kreinovich, Luc Longpre, Mourat Tchoshanov, and Gang Xiang, "Towards Interval Techniques for Processing Educational Data", IEEE Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Duisburg, Germany, September 26-29, 2006. Compressed PostScript file; pdf file. Martine Ceberio, Vladik Kreinovich, Gang Xiang, Scott Ferson, and Cliff Joslyn, "Adding Constraints to Situations When, In Addition to Intervals, We Also Have Partial Information about Probabilities", IEEE Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Duisburg, Germany, September 26-29, 2006. Compressed PostScript file; pdf file. V. Kreinovich, S. A. Starks, A. A. Velasco, M. G. Averill, R. Araiza, G. Xiang, and G. R. Keller, "Towards Combining Probabilistic, Interval, Fuzzy Uncertainty, and Constraints: An Example Using the Inverse Problem in Geophysics", IEEE Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Duisburg, Germany, September 26-29, 2006. Compressed PostScript file; pdf file. Wei-Shen Wang, Vladik Kreinovich, and Michael Orshansky, "Static Timing Analysis Based on Partial Probabilistic Description of Delay Uncertainty", Proceedings of the 43th Design Automation Conference, San Francisco, California, July 24-28, 2006. pdf file. Evgeny Dantsin, Alexander Wolpert, Martine Ceberio, Gang Xiang, and Vladik Kreinovich, "Detecting Outliers under Interval Uncertainty: A New Algorithm Based on Constraint Satisfaction", Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'06, Paris, France, July 2-7, 2006, pp. 802-809. Compressed PostScript file; pdf file. G. Randy Keller, Scott A. Starks, Aaron Velasco, Matthew Averill, Roberto Araiza, Gang Xiang, and Vladik Kreinovich, "Towards combining probabilistic, interval, fuzzy uncertainty, and constraints: on the example of inverse problem in geophysics", Proceedings of the Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance FSSCEF'2006, St. Petersburg, Russia, June 28 - July 1, 2006, pp. 47-54. Compressed PostScript file; pdf file. Carlos Ferregut, Jan Beck, Araceli Sanchez, and Vladik Kreinovich, "Economics of Engineering Design under Interval (and Fuzzy) Uncertainty: Case Study of Building Design", Proceedings of the Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance FSSCEF'2006, St. Petersburg, Russia, June 28-July 1, 2006, pp. 39-46. Compressed PostScript file; pdf file. Janos Hajagos and Vladik Kreinovich, "Growth rates under interval uncertainty", Proceedings of the Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance FSSCEF'2006, St. Petersburg, Russia, June 28-July 1, 2006, pp. 31-38. Compressed PostScript file; pdf file. Richard Alo, Francois Modave, Vladik Kreinovich, David Herrera, and Xiaojing Wang, "Bilinear Models from System Approach Justified for Classification, with Potential Applications to Bioinformatics", Proceedings of the Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance FSSCEF'2006, St. Petersburg, Russia, June 28-July 1, 2006, pp. 55-62. Compressed PostScript file; pdf file. Vinod Chirayath, Luc Longpre, and Vladik Kreinovich, "Measuring privacy loss in statistical databases", In: H. Leung and G. Pighizzini (Eds.), Proceedings of the Workshop on Descriptional Complexity of Formal Systems DCFS 2006, Las Cruces, New Mexico, June 21-23, 2006, pp. 16-25. Compressed PostScript file; pdf file. Jerry M. Mendel, Hongwei Wu, Vladik Kreinovich, and Gang Xiang, "Fast Computation of Centroids for Constant-Width Interval-Valued Fuzzy Sets", Proceedings of the 25th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2006, Montreal, Quebec, Canada, June 3-6, 2006, pp. 621-626. Compressed PostScript file; pdf file. Cesar J. Carrasco and Vladik Kreinovich, "Optimized Sampling Frequencies for Weld Reliability Assessments of Long Pipeline Segments", Proceedings of the 25th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2006, Montreal, Quebec, Canada, June 3-6, 2006, pp. 605-610. Compressed PostScript file; pdf file. Evgeny Dantsin, Alexander Wolpert, and Vladik Kreinovich, "Quantum Versions of k-CSP Algorithms: a First Step Towards Quantum Algorithms for Interval-Related Constraint Satisfaction Problems", Proceedings of the ACM Symposium on Applied Computing SAC'06, Dijon, France, April 23-27, 2006, pp. 1640-1644. Compressed PostScript file; pdf file. Ann Gates, Vladik Kreinovich, Luc Longpre, Paolo Pinheiro da Silva, and G. Randy Keller, "Towards Secure Cyberinfrastructure for Sharing Border Information", Proceedings of the Lineae Terrarum: International Border Conference, El Paso, Las Cruces, and Cd. Juarez, March 27-30, 2006. Compressed PostScript file; pdf file Rafi Muhanna, Vladik Kreinovich, Pavel Solin, Jack Chessa, Roberto Araiza, and Gang Xiang, "Interval Finite Element Methods: New Directions", Proceedings of the Second International Workshop on Reliable Engineering Computing, Savannah, Georgia, February 22-24, 2006, pp. 229-243. Compressed PostScript file; pdf file Scott Ferson and Vladik Kreinovich, "Modeling Correlation and Dependence Among Intervals", Proceedings of the Second International Workshop on Reliable Engineering Computing, Savannah, Georgia, February 22-24, 2006, pp. 115-126. pdf file Michael Orshansky, Wei-Shen Wang, Gang Xiang, and Vladik Kreinovich, "Interval-Based Robust Statistical Techniques for Non-Negative Convex Functions, with Application to Timing Analysis of Computer Chips", Proceedings of the Second International Workshop on Reliable Engineering Computing, Savannah, Georgia, February 22-24, 2006, pp. 197-212. pdf file Martine Ceberio, Scott Ferson, Vladik Kreinovich, Sanjeev Chopra, Gang Xiang, Adrian Murguia, and Jorge Santillan, "How to take into account dependence between the inputs: from interval computations to constraint-related set computations, with potential applications to nuclear safety, bio- and geosciences", Proceedings of the Second International Workshop on Reliable Engineering Computing, Savannah, Georgia, February 22-24, 2006, pp. 127-154. Compressed PostScript file; pdf file. Hung T. Nguyen, Olga Kosheleva, and Vladik Kreinovich, "Decision Making Beyond Arrow's `Impossibility Theorem', With the Analysis of Effects of Collusion and Mutual Attraction", Proceedings of the Sixth International Conference on Intelligent Technologies InTech'05, Phuket Island, Thailand, December 14-16, 2005, pp. 43-52. Compressed PostScript file; pdf file. Vladik Kreinovich, Daniel J. Berleant, Scott Ferson, and Weldon A. Lodwick, "Combining Interval and Probabilistic Uncertainty: Foundations, Algorithms, Challenges -- An Overview'' Proceedings of the International Conference on Fuzzy Systems, Neural Networks, and Genetic Algorithms FNG'05, Tijuana, Mexico, October 13-14, 2005, pp. 1-10. Compressed PostScript file; pdf file. Rene Alt, Jean-Luc Lamotte, and Vladik Kreinovich, "Random Interval Arithmetic is Closer to Common Sense: An Observation", Proceedings of the 17th World Congress of the International Association for Mathematics and Computers in Simulation IMACS'2005, Paris, France, July 11-15, 2005. Compressed PostScript file; pdf file. Martine Ceberio, Vladik Kreinovich, Sanjeev Chopra, and Bertram Ludaescher, "Taylor Model-Type Techniques for Handling Uncertainty in Expert Systems, with Potential Applications to Geoinformatics", Proceedings of the 17th World Congress of the International Association for Mathematics and Computers in Simulation IMACS'2005, Paris, France, July 11-15, 2005. Compressed PostScript file; pdf file. Martine Ceberio and Vladik Kreinovich, "Towards an Optimal Approach to Soft Constraint Problems", Proceedings of the 17th World Congress of the International Association for Mathematics and Computers in Simulation IMACS'2005, Paris, France, July 11-15, 2005. Compressed PostScript file; pdf file. Andrei M. Finkelstein, Olga Kosheleva, Vladik Kreinovich, Scott A. Starks, and Hung T. Nguyen, "Use of Maxitive (Possibility) Measures in Foundations of Physics and Description of Randomness: Case Study", Proceedings of the 24th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2005, Ann Arbor, Michigan, June 22-25, 2005, pp. 687-692. Compressed PostScript file; pdf file. Scott A. Starks and Vladik Kreinovich, "From Fuzzification and Intervalization to Anglification: A New 5D Geometric Formalism for Physics and Data Processing", Proceedings of the 24th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2005, Ann Arbor, Michigan, June 22-25, 2005, pp. 401-406. Compressed PostScript file; pdf file. Vladik Kreinovich, Gang Xiang, and Scott Ferson, "How the Concept of Information as Average Number of `Yes-No' Questions (Bits) Can Be Extended to Intervals, P-Boxes, and more General Uncertainty", Proceedings of the 24th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2005, Ann Arbor, Michigan, June 22-25, 2005, pp. 80-85. Compressed PostScript file; pdf file. Matthew G. Averill, Gang Xiang, Vladik Kreinovich, G. Randy Keller, Scott A. Starks, Patrick S. Debroux, and James Boehm, "How to Reconstruct the Original Shape of a Radar Signal?", Proceedings of the 24th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2005, Ann Arbor, Michigan, June 22-25, 2005, pp. 717-721. Compressed PostScript file; pdf file. Matthew G. Averill, Kate C. Miller, G. Randy Keller, Vladik Kreinovich, Roberto Araiza, and Scott A. Starks, "Using Expert Knowledge in Solving the Seismic Inverse Problem", Proceedings of the 24th International Conference of the North American Fuzzy Information Processing Society NAFIPS'2005}, Ann Arbor, Michigan, June 22-25, 2005, pp. 310-314. Compressed PostScript file; pdf file. Emil Platon, Kavitha Tupelly, Vladik Kreinovich, Scott A. Starks, and Karen Villaverde, "Exact Bounds for Interval and Fuzzy Functions Under Monotonicity Constraints, with Potential Applications to Biostratigraphy", Proceedings of the 2005 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2005, Reno, Nevada, May 22-25, 2005, pp. 891-896. Compressed PostScript file; pdf file. Andrei M. Finkelstein, Olga Kosheleva, Vladik Kreinovich, Scott A. Starks, and Hung T. Nguyen, "To Properly Reflect Physicists' Reasoning about Randomness, We Also Need a Maxitive (Possibility) Measure", Proceedings of the 2005 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2005, Reno, Nevada, May 22-25, 2005, pp. 1044-1049. Compressed PostScript file; pdf file. Valery Mazin and Vladik Kreinovich, "A Universal Sensor Model", Proceedings of the 12th International Conference Sensor'2005, Nuremberg, Germany, May 10-12, 2005, pp. 317-322. Compressed PostScript file; pdf file. S. D. Cabrera, K. Iyer, G. Xiang, and V. Kreinovich, "On Inverse Halftoning: Computational Complexity and Interval Computations", Proceedings of the 39th Conference on Information Sciences and Systems CISS'2005, John Hopkins University, March 16-18, 2005, Paper 164. Compressed PostScript file; pdf file. Olga Kosheleva, Vladik Kreinovich, Guenter Mayer, and Hung T. Nguyen, "Computing the Cube of an Interval Matrix Is NP-Hard", Proceedings of the 20th ACM Symposium on Applied Computing SAC'2005, Santa Fe, New Mexico, March 13-17, 2005, pp. 1449-1453. Compressed PostScript file; pdf file. M. S. Aguiar, G. P. Dimuro, Antonio C. R. Costa, R. K. S. Silva, F. A. Costa, and V. Kreinovich, "The Multi-Layered Interval Categorizer Tesselation-Based Model", In: Cirano Iochpe and Gilberto Camara (eds.), IFIP WG2.6 Proceedings of the 6th Brazilian Symposium on Geoinformatics Geoinfo'2004, Campos do Jordao, Brazil, November 22-24, 2004, pp. 437-454. ISBN 3901882200 pdf file. Richard Alo, Vladik Kreinovich, and Scott A. Starks, "Testing Hypotheses on Simulated Data: Why Traditional Hypotheses-Testing Statistics Are Not Always Adequate for Simulated Data, and How to Modify Them", Proceedings of the Fifth International Conference on Intelligent Technologies InTech'04, Houston, Texas, December 2-4, 2004. Compressed PostScript file; pdf file. Pattama Jaksurat, Eric Freudenthal, Martine Ceberio, and Vladik Kreinovich, "Probabilistic Approach to Trust: Ideas, Algorithms, and Simulations", Proceedings of the Fifth International Conference on Intelligent Technologies InTech'04, Houston, Texas, December 2-4, 2004. Compressed PostScript file; pdf file. Anthony P. Salvatore, Amitava Biswas, Vladik Kreinovich, Bertha Manriquez, Michael P. Cannito, and Robert J. Sinard, "Expert System-Type Approach to Voice Disorders: Scheduling Botulinum Toxin Treatment for Adductor Spasmodic Dysphonia", Proceedings of the Fifth International Conference on Intelligent Technologies InTech'04, Houston, Texas, December 2-4, 2004. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Gang Xiang, "Foundations of Statistical Processing of Set-Valued Data: Towards Efficient Algorithms", Proceedings of the Fifth International Conference on Intelligent Technologies InTech'04}, Houston, Texas, December 2-4, 2004. Compressed PostScript file; pdf file. V. Kreinovich, J. Beck, C. Ferregut, A. Sanchez, G. R. Keller, M. Averill, and S. A. Starks, "Monte-Carlo-type techniques for processing interval uncertainty, and their engineering applications", Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, September 15-17, 2004, pp. 139-160. Compressed PostScript file; pdf file. S. A. Starks, V. Kreinovich, L. Longpre, M. Ceberio, G. Xiang, R. Araiza, J. Beck, R. Kandathi, A. Nayak, and R. Torres, "Towards combining probabilistic and interval uncertainty in engineering calculations", Proceedings of the Workshop on Reliable Engineering Computing, Savannah, Georgia, September 15-17, 2004, pp. 193-213. Compressed PostScript file; pdf file. R. Aldouri, G. R. Keller, A. Gates, J. Rasillo, L. Salayandia, V. Kreinovich, J. Seeley, P. Taylor, and S. Holloway, "GEON: Geophysical data add the 3rd dimension in geospatial studies", Proceedings of the ESRI International User Conference 2004, San Diego, California, August 9-13, 2004, Paper 1898. MSWord file Scott A. Starks, Soheil Nazarian, Vladik Kreinovich, Joseph Adidhela, and Roberto Araiza, "Using FFT-Based Data Processing Techniques to Characterize Asphaltic Concrete Mixtures", Proceedings of the 11th IEEE Digital Signal Processing Workshop DSP'04, Taos Ski Valley, New Mexico, August 1-4, 2004, pp. 241-245. Compressed PostScript file; pdf file. P. Debroux, J. Boehm, F. Modave, V. Kreinovich, G. Xiang, J. Beck, K. Tupelly, R. Kandathi, L. Longpre, and K. Villaverde, "Using 1-D radar observations to detect a space explosion core among the explosion fragments: sequential and distributed algorithms", Proceedings of the 11th IEEE Digital Signal Processing Workshop DSP'04, Taos Ski Valley, New Mexico, August 1-4, 2004, pp. 273-277. Compressed PostScript file; pdf file. Leon Reznik and Vladik Kreinovich, "Fuzzy and Probabilistic Models of Association Information in Sensor Networks", Proceedings of the International IEEE Conference on Fuzzy Systems FUZZ-IEEE'2004, Budapest, Hungary, July 25-29, 2004. pdf file. Vladik Kreinovich, Gennady N. Solopchenko, Scott Ferson, Lev Ginzburg, and Richard Alo, "Probabilities, intervals, what next? Extension of interval computations to situations with partial information about probabilities'', Proceedings of the 10th IMEKO TC7 International Symposium on Advances of Measurement Science, St. Petersburg, Russia, June 30-July 2, 2004, Vol. 1, pp. 137-142. Compressed PostScript file; pdf file G. P. Dimuro, A. C. R. Costa, and V. Kreinovich, "Modelling measurement processes as timed information processes in simplex domains", Proceedings of the 10th IMEKO TC7 International Symposium on Advances of Measurement Science, St. Petersburg, Russia, June 30-July 2, 2004, Vol. 1, pp. 71-76. MSWord file; pdf file Hung T. Nguyen, Vladik Kreinovich, Chitta Baral, and Valery D. Mazin, "Group-Theoretic Approach as a General Framework for Sensors, Neural Networks, Fuzzy Control, and Genetic Boolean Networks, Proceedings of the 10th IMEKO TC7 International Symposium on Advances of Measurement Science, St. Petersburg, Russia, June 30-July 2, 2004, Vol. 1, pp. 65-70. Compressed PostScript file; pdf file Roberto Osegueda, G. Randy Keller, Scott A. Starks, Roberto Araiza, Dmitry Bizyaev, and Vladik Kreinovich, "Towards a General Methodology for Designing Sub-Noise Measurement Procedures", Proceedings of the 10th IMEKO TC7 International Symposium on Advances of Measurement Science, St. Petersburg, Russia, June 30-July 2, 2004, Vol. 1, pp. 59-64. Compressed PostScript file; pdf file Vladik Kreinovich and Isaak A. Kunin, "Application of Kolmogorov Complexity to Advanced Problems in Mechanics", Proceedings of the Advanced Problems in Mechanics Conference APM'04, St. Petersburg, Russia, June 24-July 1, 2004, pp. 241-245. Compressed PostScript file; pdf file. Luke Achenie, Vladik Kreinovich, and Kaj Madsen, "Interval Methods: An Introduction", In: Jack Dongarra, Kaj Madsen, and Jerzy Wasniewski (eds.), PARA'04 Workshop on State-of-the-Art in Scientific Computing, Springer Lecture Notes in Computer Science, 2006, Vol. 3732, pp. 53-56. Compressed PostScript file; pdf file. Gang Xiang, Scott A. Starks, Vladik Kreinovich, and Luc Longpre, "New Algorithms for Statistical Analysis of Interval Data", Proceedings of the Workshop on State-of-the-Art in Scientific Computing PARA'04, Lyngby, Denmark, June 20-23, 2004, Vol. 1, pp. 123-129. Compressed PostScript file; pdf file. extended version in Jack Dongarra, Kaj Madsen, and Jerzy Wasniewski (eds.), PARA'04 Workshop on State-of-the-Art in Scientific Computing, Springer Lecture Notes in Computer Science, 2006, Vol. 3732, pp. 189-196. Compressed PostScript file; pdf file. Martine Ceberio, Vladik Kreinovich, and Lev Ginzburg, "Towards Joint Use of Probabilities and Intervals in Scientific Computing: What is the Best Transition from Linear to Quadratic Approximation?", Proceedings of the Workshop on State-of-the-Art in Scientific Computing PARA'04, Lyngby, Denmark, June 20-23, 2004, Vol. 1, pp. 43-49. Compressed PostScript file; pdf file. extended version: Martine Ceberio, Vladik Kreinovich, and Lev Ginzburg, "On the Use of Intervals in Scientific Computing: What is the Best Transition from Linear to Quadratic Approximation?", in Jack Dongarra, Kaj Madsen, and Jerzy Wasniewski (eds.), PARA'04 Workshop on State-of-the-Art in Scientific Computing, Springer Lecture Notes in Computer Science, 2006, Vol. 3732, pp. 75-82. Compressed PostScript file; pdf file. M. S. Aguiar, G. P. Dimuro, Antonio C. R. Costa, R. K. S. Silva, and V. Kreinovich, "HPC-ICTM: the interval categorizer tesselation-based model for high performance computing", Proceedings of the Workshop on State-of-the-Art in Scientific Computing PARA'04, Lyngby, Denmark, June 20-23, 2004. PostScript file. extended version in Jack Dongarra, Kaj Madsen, and Jerzy Wasniewski (eds.), PARA'04 Workshop on State-of-the-Art in Scientific Computing, Springer Lecture Notes in Computer Science, 2006, Vol. 3732, pp. 83-92. pdf file. Vladik Kreinovich, "Toward Formalizing Non-Monotonic Reasoning in Physics: the Use of Kolmogorov Complexity and Algorithmic Information Theory to Formalize the Notions `Typically' and `Normally' ", In: Leonid Sheremetov and Matias Alvarado (eds.), Proceedings of the Workshops on Intelligent Computing WIC'04 associated with the Mexican International Conference on Artificial Intelligence MICAI'04, Mexico City, Mexico, April 26-27, 2004, pp. 187-194. Compressed PostScript file; pdf file. Jose Rodrigo Mares, Roberto Osegueda, Nagaswaroopa Kaukuri, and Vladik Kreinovich, "Geometric approach to detecting and locating cracks in thin plates by Lamb wave reflection: case of moving transducer", In: Tribikram Kundu (ed.), Health Monitoring and Smart Nondestructive Evaluation of Structural and Biological Systems III, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 5394, San Diego, CA, March 14-18, 2004, pp. 385-398. pdf file. Vladik Kreinovich, Hung T. Nguyen, Gracaliz Pereira Dimuro, Antonio Carlos da Rocha Costa, and Benjamin Rene Callejas Bedregal, "A New Differential Formalism for Interval-Valued Functions and Its Potential Use in Detecting 1-D Landscape Features", Proceedings of the International Conference on Information Technology InTech'03, Chiang Mai, Thailand, December 17-19, 2003, pp. 491-498. Compressed PostScript file; pdf file. Berlin Wu, Hung T. Nguyen, and Vladik Kreinovich, "Real-Time Algorithms for Statistical Analysis of Interval Data", Proceedings of the International Conference on Information Technology InTech'03, Chiang Mai, Thailand, December 17-19, 2003, pp. 483-490. Compressed PostScript file; pdf file. Chin-Wang Tao, Hung T. Nguyen, J. T. Yao, and Vladik Kreinovich, "Sensitivity Analysis of Neural Control", Proceedings of the International Conference on Information Technology InTech'03, Chiang Mai, Thailand, December 17-19, 2003, pp. 478-482. Compressed PostScript file; pdf file. Vladik Kreinovich and Luc Longpre, "Computational complexity and feasibility of data processing and interval computations, with extension to cases when we have partial information about probabilities", In: Vasco Brattka, Matthias Schroeder, Klaus Weihrauch, and Ning Zhong, Proceedings of the Conference on Computability and Complexity in Analysis CCA'2003, Cincinnati, Ohio, USA, August 28-30, 2003, pp. 19-54. Compressed PostScript file; pdf file. Vladik Kreinovich and Isaak A. Kunin, "Kolmogorov Complexity: How a Paradigm Motivated by Foundations of Physics Can Be Applied in Robust Control", In: A. L. Fradkov and A. N. Churilov (eds.), Proceedings of the International Conference ``Physics and Control" PhysCon'2003, Saint-Petersburg, Russia, August 20-22, 2003, pp. 88-93. Compressed PostScript file; pdf file. Fariba Ansari, William Durrer, Soheil Nazarian, and Vladik Kreinovich, "Determination of Properties of Composite Materials from the Lamb Wave Propagation: Probabilistic, Interval, and Fuzzy Approaches", Proceedings of the 22nd International Conference of the North American Fuzzy Information Processing Society NAFIPS'2003, Chicago, Illinois, July 24-26, 2003, pp. 420-425. Compressed PostScript file; pdf file. Cynthia Campos, G. Randy Keller, Vladik Kreinovich, Luc Longpre, Francois Modave, Scott A. Starks, and Roberto Torres, "The Use of Fuzzy Measures as a Data Fusion Tool in Geographic Information Systems: Case Study", Proceedings of the 22nd International Conference of the North American Fuzzy Information Processing Society NAFIPS'2003, Chicago, Illinois, July 24-26, 2003, pp. 365-370. Compressed PostScript file; pdf file. Carlos de la Mora, Piotr Wojciechowski, Vladik Kreinovich, Scott A. Starks, Paul Tanenbaum, and Alexander Kuzminykh, "Robust Methodology for Characterizing System Response to Damage: A Subjective (Fuzzy) Partial Ordered Modification of the Traditional Utility-Probability Scheme", Proceedings of the 22nd International Conference of the North American Fuzzy Information Processing Society NAFIPS'2003, Chicago, Illinois, July 24-26, 2003, pp. 413-419. Compressed PostScript file; pdf file. Mark Martinez, Luc Longpre, Vladik Kreinovich, Scott A. Starks, and Hung T. Nguyen, "Fast Quantum Algorithms for Handling Probabilistic, Interval, and Fuzzy Uncertainty", Proceedings of the 22nd International Conference of the North American Fuzzy Information Processing Society NAFIPS'2003, Chicago, Illinois, July 24-26, 2003, pp. 395-400. Compressed PostScript file; pdf file. Vladik Kreinovich, Praveen Patangay, Luc Longpre, Scott A. Starks, Cynthia Campos, Scott Ferson, and Lev Ginzburg, "Outlier Detection Under Interval and Fuzzy Uncertainty: Algorithmic Solvability and Computational Complexity", Proceedings of the 22nd International Conference of the North American Fuzzy Information Processing Society NAFIPS'2003, Chicago, Illinois, July 24-26, 2003, pp. 401-406. Compressed PostScript file; pdf file. Paul J. Tanenbaum, Carlos de la Mora, Piotr Wojciechowski, Olga Kosheleva, Vladik Kreinovich, Scott A. Starks, and Alexandr Kuzminykh, "Robust Methodology for Characterizing System Response to Damage: Approach Based on Partial Order", In: Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski, and Plamen Yalamov (eds.), Large-Scale Scientific Computing, Proceedings of the 4-th International Conference LSSC'2003, Sozopol, Bulgaria, June 4-8, 2003, Springer Lecture Notes in Computer Science, 2004, Vol. 2907, pp. 276-283. Compressed PostScript file; pdf file. Vladik Kreinovich, Luc Longpre, Praveen Patangay, Scott Ferson, and Lev Ginzburg, "Outlier Detection Under Interval Uncertainty: Algorithmic Solvability and Computational Complexity", In: Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski, and Plamen Yalamov (eds.), Large-Scale Scientific Computing, Proceedings of the 4-th International Conference LSSC'2003, Sozopol, Bulgaria, June 4-8, 2003, Springer Lecture Notes in Computer Science, 2004, Vol. 2907, pp. 238-245. Compressed PostScript file; pdf file; detailed version in Compressed PostScript and pdf Hung T. Nguyen, Vladik Kreinovich, and Luc Longpre, "Dirty Pages of Logarithm Tables, Lifetime of the Universe, and Subjective (Fuzzy) Probabilities on Finite and Infinite Intervals", Proceedings of the IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2003, St. Louis, Missouri, May 25-28, 2003, pp. 67-73. Compressed PostScript file; pdf file. Leon Reznik, Vladik Kreinovich and Scott A. Starks, "Use of Fuzzy Expert's Information in Measurement and What We Can Gain from Its Application in Geophysics", Proceedings of the IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2003, St. Louis, Missouri, May 25-28, 2003, pp. 1026-1031. MSWord file; pdf file. Roberto Osegueda, Vladik Kreinovich, Soheil Nazarian and Enrique Roldan, "Detection of cracks at rivet holes in thin plates using Lamb-wave scanning", In: Tribikram Kundu (ed.), Smart Nondestructive Evaluation and Health Monitoring of Structural and Biological Systems II, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 5047, San Diego, CA, March 3-5, 2003, pp. 55-66. pdf file. Roberto A. Osegueda, Seetharami R. Seelam, Bharat Mulupuru, and Vladik Kreinovich, "Statistical and Dempster-Shafer Techniques in Testing Structural Integrity of Aerospace Structures", In: Tribikram Kundu (ed.), Smart Nondestructive Evaluation and Health Monitoring of Structural and Biological Systems II, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 5047, San Diego, CA, March 3-5, 2003, pp. 140-151. Compressed PostScript file; pdf file. Hung T. Nguyen, Tonghui Wang, and Vladik Kreinovich, "Towards Foundations of Processing Imprecise Data: From Traditional Statistical Techniques of Processing Crisp Data to Statistical Processing of Fuzzy Data", In: Yingming Liu, Guoqing Chen, Mingsheng Ying and Kai-Yuan Cai (eds.), Proceedings of the International Conference on Fuzzy Information Processing: Theories and Applications FIP'2003, Beijing, China, March 1-4, 2003, Vol. II, pp. 895-900. Compressed PostScript file; pdf file. Laurent Granvilliers, Vladik Kreinovich, and Norbert Mueller, "Novel Approaches to Numerical Software with Result Verification", In: Rene Alt, Andreas Frommer, R. Baker Kearfott, and Wolfram Luther (eds.), Numerical Software with Result Verification, International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers, Springer Lectures Notes in Computer Science, 2004, Vol. 2991, pp. 274-305. Compressed PostScript file; pdf file. Francois Modave and Vladik Kreinovich, "Fuzzy Measures and Integrals as Aggregation Operators: Solving the Commensurability Problem", Proceedings of the 21st International Conference of the North American Fuzzy Information Processing Society NAFIPS'2002, New Orleans, Louisiana, June 27-29, 2002, pp. 292-297. Compressed PostScript file; pdf file. Ronald R. Yager and Vladik Kreinovich, "Main Ideas Behind OWA Lead to a Universal and Optimal Approximation Scheme", Proceedings of the 21st International Conference of the North American Fuzzy Information Processing Society NAFIPS'2002, New Orleans, Louisiana, June 27-29, 2002, pp. 428-433. Compressed PostScript file; pdf file. I. B. Turksen, A. Esper, K. Patel, S. A. Starks, and V. Kreinovich, "Selecting a Fuzzy Logic Operation from the DNF-CNF Interval: How Practical Are the Resulting Operations?", Proceedings of the 21st International Conference of the North American Fuzzy Information Processing Society NAFIPS'2002, New Orleans, Louisiana, June 27-29, 2002, pp. 28-33. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung T. Nguyen, Scott Ferson, and Lev Ginzburg, "From Computation with Guaranteed Intervals to Computation with Confidence Intervals: A New Application of Fuzzy Techniques", Proceedings of the 21st International Conference of the North American Fuzzy Information Processing Society NAFIPS'2002, New Orleans, Louisiana, June 27-29, 2002, pp. 418-422. Compressed PostScript file; pdf file. Dima Iourinski, Scott A. Starks, Vladik Kreinovich, and Stephen F. Smith, "Swarm intelligence: theoretical proof that empirical techniques are optimal", Proceedings of the 2002 World Automation Congress WAC'2002, Orlando, Florida, June 9-13, 2002, pp. 107-112. Compressed PostScript file; pdf file. Vladik Kreinovich, Scott A. Starks, Olga Kosheleva, and Andrei Finkelstein, "Open-ended configurations of radio telescopes: towards optimal design", Proceedings of the 2002 World Automation Congress WAC'2002, Orlando, Florida, June 9-13, 2002, pp. 101-106. Compressed PostScript file; pdf file. Vladik Kreinovich, Luc Longpre, and James J. Buckley, "Are There Efficient Necessary and Sufficient Conditions for Straightforward Interval Computations To Be Exact?", Extended Abstracts of the 2002 SIAM Workshop on Validated Computing, Toronto, Canada, May 23-25, 2002, pp. 94-96. Compressed PostScript file; pdf file; detailed version in Compressed PostScript and pdf Scott Ferson, Lev Ginzburg, Vladik Kreinovich, and Jorge Lopez, "Absolute Bounds on the Mean of Sum, Product, etc.: A Probabilistic Extension of Interval Arithmetic", Extended Abstracts of the 2002 SIAM Workshop on Validated Computing, Toronto, Canada, May 23-25, 2002, pp. 70-72. Compressed PostScript file; pdf file; detailed version in Compressed PostScript and pdf Scott Ferson, Lev Ginzburg, Vladik Kreinovich, and Monica Aviles, "Exact Bounds on Sample Variance of Interval Data", Extended Abstracts of the 2002 SIAM Workshop on Validated Computing, Toronto, Canada, May 23-25, 2002, pp. 67-69. Compressed PostScript file; pdf file; detailed version in Compressed PostScript and pdf Roberto Osegueda and Vladik Kreinovich, "Detecting and Locating Small Cracks in Thin Plates by Lamb Wave Reflection: Validated Geometric Approach", Extended Abstracts of the 2002 SIAM Workshop on Validated Computing, Toronto, Canada, May 23-25, 2002, pp. 149-151. Compressed PostScript file; pdf file Hung T. Nguyen, Masao Mukaidono, and Vladik Kreinovich, "Probability of Implication, Logical Version of Bayes Theorem, and Fuzzy Logic Operations", Proceedings of FUZZ-IEEE'2002, Honolulu, Hawaii, May 12-17, 2002, Vol. 1, pp. 530-535. Compressed PostScript file; pdf file. Roberto Osegueda, Vladik Kreinovich, Lakshmi Potluri, and Richard Alo, "Non-Destructive Testing of Aerospace Structures: Granularity and Data Mining Approach", Proceedings of FUZZ-IEEE'2002, Honolulu, Hawaii, May 12-17, 2002, Vol. 1, pp. 685-689. Compressed PostScript file; pdf file. Scott A. Starks, Soheil Nazarian, Vladik Kreinovich, and Joseph Adidhela, "Use of Satellite Image Referencing Algorithms to Characterize Asphaltic Concrete Mixtures", Proceedings of FUZZ-IEEE'2002, Honolulu, Hawaii, May 12-17, 2002, Vol. 1, pp. 536-540. Compressed PostScript file; pdf file. Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Hung T. Nguyen, and Scott A. Starks, "Uncertainty in Risk Analysis: Towards a General Second-Order Approach Combining Interval, Probabilistic, and Fuzzy Techniques", Proceedings of FUZZ-IEEE'2002, Honolulu, Hawaii, May 12-17, 2002, Vol. 2, pp. 1342-1347. Compressed PostScript file; pdf file. Roberto Araiza, Hongjie Xie, Scott A. Starks, and Vladik Kreinovich, "Automatic Referencing of Multi-Spectral Images", Proceedings of the IEEE Southwest Symposium on Image Analysis and Interpretation, Santa Fe, New Mexico, USA, April 7-9, 2002, pp. 21-25. Compressed PostScript file; pdf file. Olga Kosheleva, Vladik Kreinovich, and Hung T. Nguyen, "On the Optimal Choice of Quality Metric in Image Compression", Proceedings of the IEEE Southwest Symposium on Image Analysis and Interpretation, Santa Fe, New Mexico, USA, April 7-9, 2002, pp. 116-120. Compressed PostScript file; pdf file. Vladik Kreinovich and Richard Alo, "Optimization Techniques under Uncertain Criteria, and Their Possible Use in Computerized Education", Proceedings of the International Workshop on Research and Development of Human Communication Technologies for Conversational Interaction and Learning, Puebla, Mexico, January 19-20, 2002. Compressed PostScript file; pdf file. Vladik Kreinovich, Claude Langrand, and Hung T. Nguyen, "Combining Fuzzy and Probabilistic Knowledge Using Belief Functions", Proceedings of the Second Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'2001, Hanoi, Vietnam, December 7-8, 2001, pp. 191-198. Compressed PostScript file; pdf file. Sompong Dhompongsa, Vladik Kreinovich, and Hung T. Nguyen, "How to Interpret Neural Networks In Terms of Fuzzy Logic?", Proceedings of the Second Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'2001, Hanoi, Vietnam, December 7-8, 2001, pp. 184-190. Compressed PostScript file; pdf file. Pratit Santiprabhob, Hung T. Nguyen, Witold Pedrycz, and Vladik Kreinovich, "Logic-Motivated Choice of Fuzzy Logic Operators", Proceedings of The 10th IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2001, Melbourne, Australia, December 2-5, 2001, Vol. 2, pp. 646-649. Compressed PostScript file; pdf file. Bernadette Bouchon-Meunier, Hung T. Nguyen, and Vladik Kreinovich, "Discrete (Set) Derivatives and `Algebraic' Fuzzy Logic Operations", Proceedings of The 10th IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2001, Melbourne, Australia, December 2-5, 2001, Vol. 1, pp. 420-423. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, Michael Margaliot, and Gideon Langholtz, "Hyperbolic Approach to Fuzzy Control Is Optimal", Proceedings of The 10th IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2001, Melbourne, Australia, December 2-5, 2001, Vol. 2, pp. 888-891. Compressed PostScript file; pdf file. Mourad Oussalah, Hung T. Nguyen, and Vladik Kreinovich, "A New Derivation of Centroid Defuzzification", Proceedings of The 10th IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2001, Melbourne, Australia, December 2-5, 2001, Vol. 2, pp. 884-887. Compressed PostScript file; pdf file. Vladik Kreinovich, Claude Langrand, and Hung T. Nguyen, "A Statistical Analysis for Rule Base Reduction", Proceedings of the Second International Conference on Intelligent Technologies InTech'2001, Bangkok, Thailand, November 27-29, 2001, pp. 47-52. Compressed PostScript file; pdf file. Sompong Dhompongsa, Vladik Kreinovich, and Hung T. Nguyen, "Interval Mathematics: Algebraic Aspects", Proceedings of the Second International Conference on Intelligent Technologies InTech'2001, Bangkok, Thailand, November 27-29, 2001, pp. 30-38. Compressed PostScript file; pdf file. Bernadette Bouchon-Meunier, Vladik Kreinovich, and Hung T. Nguyen, "Non-Associative Operations", Proceedings of the Second International Conference on Intelligent Technologies InTech'2001, Bangkok, Thailand, November 27-29, 2001, pp. 39-46. Compressed PostScript file; pdf file. Vladik Kreinovich, Mirko Navara, and Zdenek Zabokrtsky, "Constrained fuzzy arithmetic", In: P. Hajek (ed.), Proceedings of the Workshop on Soft Computing SOFSEM'2001, Piestany, Slovakia, November 29-30, 2001, pp. 1-3. Compressed PostScript file; pdf file. Jesus Martinez, Leopoldo Macias, Ammar Esper, Jesus Chaparro, Vick Alvarado, Scott A. Starks, and Vladik Kreinovich, "Towards more realistic (e.g., non-associative) and- and or-operations in fuzzy logic", Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, October 7-10, 2001, pp. 2187-2192. Compressed PostScript file; pdf file. Scott A. Starks, Dima Iourinski, and Vladik Kreinovich, "2-D analogues of Allen interval algebra for image analysis: towards justification", Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, October 7-10, 2001, pp. 2182-2186. Compressed PostScript file; pdf file. Sreenath Srikrishnan, Roberto Araiza, Hongjie Xie, Scott A. Starks, and Vladik Kreinovich, "Automatic referencing of satellite and radar images", Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, October 7-10, 2001, pp. 2176-2181. Compressed PostScript file; pdf file. Qian Wen, Ann Q. Gates, Jan Beck, Vladik Kreinovich, and G. Randy Keller, "Towards automatic detection of erroneous measurement results in a gravity database", Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, October 7-10, 2001, pp. 2170-2175. Compressed PostScript file; pdf file. Nguyen Hoang Phuong, K. P. Adlassnig, Vladik Kreinovich, and Daniel Yeung, "A rule-based expert system for integrated Western and Eastern medicine in diagnosis and treatment using interval computations", Proceedings of the 2001 IEEE Systems, Man, and Cybernetics Conference, Tucson, Arizona, October 7-10, 2001, pp. 3602-3609. Hung T. Nguyen, Vladik Kreinovich, and Antonio Di Nola, "Which Truth Values in Fuzzy Logics Are Definable?", Proceedings of the NEW New Paradigms for the New Millennium Conference, Caserta, Italy, September 13-15, 2001. Compressed PostScript file; pdf file. Mourad Oussalah, Hung T. Nguyen, and Vladik Kreinovich, "Reduction to Independent Variables: From Normal Distribution to General Statistical Case to Fuzzy", Proceedings of the 2nd Conference of the European Society for Fuzzy Logic and Technology EUSFLAT'01, Leicester, England, September 5-7, 2001, pp. 402-405. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Witold Pedrycz, "Towards Fusing Sophisticated Mathematical Knowledge and Informal Expert Knowledge: An Arbitrary Metric Can Be Naturally Interpreted in Fuzzy Terms", Proceedings of the 2nd Conference of the European Society for Fuzzy Logic and Technology EUSFLAT'01, Leicester, England, September 5-7, 2001, pp. 406-409. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Luc Longpre, "Second-Order Uncertainty as a Bridge Between Probabilistic and Fuzzy Approaches", Proceedings of the 2nd Conference of the European Society for Fuzzy Logic and Technology EUSFLAT'01, Leicester, England, September 5-7, 2001, pp. 410-413. Compressed PostScript file; pdf file. Vladik Kreinovich and Richard Alo, "Interval Mathematics for Analysis of Multiresolutional Systems", In: E. R. Messina and A. R. Meystel (eds.), Measuring the Performance and Intelligence of Systems: Proceedings of the 2001 PerMIS Workshop, Mexico City, September 4, 2001, NIST Publication 982, June 2002, pp. 37-48. Compressed PostScript file; pdf file. Chitta Baral, Vladik Kreinovich, and Raul A. Trejo, "Computational Complexity of Planning with Temporal Goals", Proceedings of the International Joint Conferences in Artificial Intelligence IJCAI'01, Seattle, Washington, August 4-10, 2001, pp. 509-514. Compressed PostScript file; pdf file. Jerry R. Hobbs and Vladik Kreinovich, "Optimal Choice of Granularity In Commonsense Estimation: Why Half-Orders of Magnitude", Proceedings of the Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS 2001, Vancouver, Canada, July 25-28, 2001, pp. 1343-1348. Compressed PostScript file; pdf file. I. R. Goodman, Raul A. Trejo, Vladik Kreinovich, Jesus Martinez, and Reginaldo Gonzalez, "An even more realistic (non-associative) interval logic and its relation to psychology of human reasoning", Proceedings of the Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS 2001, Vancouver, Canada, July 25-28, 2001, pp. 1586-1591. Compressed PostScript file; pdf file. Vladik Kreinovich and Hung T. Nguyen, "1st Order, 2nd Order, What Next? Do We Really Need Third-Order Descriptions: A View From A Realistic (Granular) Viewpoint", Proceedings of the Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS 2001, Vancouver, Canada, July 25-28, 2001, pp. 1908-1913. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung T. Nguyen, and Witold Pedrycz, "How to Make Sure That "~100" + 1 Is ~100 in Fuzzy Arithmetic: Solution and Its (Inevitable) Drawbacks", Proceedings of the Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS 2001, Vancouver, Canada, July 25-28, 2001, pp. 1653-1658. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and I. R. Goodman, "Why Unary and Binary Operations in Logic: General Result Motivated by Interval-Valued Logics", Proceedings of the Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS 2001, Vancouver, Canada, July 25-28, 2001, pp. 1991-1996. Compressed PostScript file; pdf file. Timothy Ross, Cliff Joslyn, and Vladik Kreinovich, "Accessing the predictive accuracy of complex simulation models", Proceedings of the Joint 9th World Congress of the International Fuzzy Systems Association and 20th International Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS 2001, Vancouver, Canada, July 25-28, 2001, pp. 2008-2012. pdf file. Richard Alo, Raul Trejo, and Vladik Kreinovich, "Can Computers Do the Job of Nobelist Physicists? Planck Formula Revisited", Proc. of the 2001 International Conference on Information Technology for the New Millennium IConIT'2001, Bangkok, Thailand, May 28-30, 2001, pp. 284-295. Compressed PostScript file; pdf file. A. Bertoni, Giuly Grossi, Alessandro Provetti, Vladik Kreinovich, and Luis Ng Tari, "The Prospect for Answer Sets Computation by a Genetic Model", Proc. of AAAI Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, Stanford, CA, March 26-28, 2001, pp. 1-5. Compressed PostScript file; pdf file. Hung T. Nguyen, Witold Pedrycz, and Vladik Kreinovich, "On Approximation of Fuzzy Sets by Crisp Sets: From Continuous Control-Oriented Defuzzification To Discrete Decision Making", Proc. of International Conference on Intelligent Technologies, Bangkok, Thailand, December 13-15, 2000, pp. 254-260. Compressed Postscript file. Timothy J. Ross, Berlin Wu, and Vladik Kreinovich, "Optimal Elimination of Inconsistency in Expert Knowledge: Formulation of the Problem, Fast Algorithms", Proc. of International Conference on Intelligent Technologies, Bangkok, Thailand, December 13-15, 2000, pp. 450-458. Compressed Postscript file. Roberto A. Osegueda, Seetharami R. Seelam, Ana C. Holguin, Vladik Kreinovich, and Chin-Wang Tao, "Statistical and Dempster-Shafer Techniques in Testing Structural Integrity of Aerospace Structures", Proc. of International Conference on Intelligent Technologies, Bangkok, Thailand, December 13-15, 2000, pp. 383-389. Compressed Postscript file. Raul A. Trejo, Joel Galloway, Charanjiv Sachar, Vladik Kreinovich, Chitta Baral, and Le Chi Tuan, "From Planning to Searching for the Shortest Plan: An Optimal Transition", Proc. of International Conference on Intelligent Technologies, Bangkok, Thailand, December 13-15, 2000. pp. 17-23. Compressed Postscript file. Vladik Kreinovich and Chin-Wang Tao, "Checking Identities Is Computationally Intractable (NP-Hard), So Human Provers Will Be Always Needed", Proc. of International Conference on Intelligent Technologies, Bangkok, Thailand, December 13-15, 2000, pp. 24-30. Compressed Postscript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Chin-Wang Tao, "Why 95% and Two Sigma? A Theoretical Justification for an Empirical Measurement Practice", Proc. International Workshop on Intelligent Systems Resolutions: The 8th Bellman Continuum, Taipei, Taiwan, December 11-12, 2000, pp. 358-362. Compressed Postscript file; pdf file. Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Liya Ding, "On the Optimal Choice of Quality Metric In Image Compression: A Soft Computing Approach", Proceedings of the Sixth International Conference on Control, Automation, Robotics and Vision ICARCV'2000, Singapore, December 5-8, 2000. Compressed Postscript file. Hongjie Xie, Nigel Hicks, G. Randy Keller, Haitao Huang, and Vladik Kreinovich, "Automatic image registration based on a FFT algorithm and IDL/ENVI", Proceedings of the ICORG-2000 International Conference on Remote Sensing and GIS/GPS, Hyderabad, India, December 1-4, 2000, Vol. 1, pp. 397-402. Olga Kosheleva, Vladik Kreinovich, and Yeung Yam, "On the optimal choice of quality metric in image compression", Proceedings of the International Symposium on Smart Structures and Microsystems (IS3M), Hong Kong, October 19-21, 2000, Paper C3-3. Compressed Postscript file. Edward Vidal, Luc Longpre, Vladik Kreinovich, Huang Haitao, and Yeung Yam, "Asymptotically optimal algorithms for weather applications of Smart Dust", Proceedings of the International Symposium on Smart Structures and Microsystems (IS3M), Hong Kong, October 19-21, 2000, Paper C3-2. Compressed Postscript file. Yeung Yam, Vladik Kreinovich, and Hung T. Nguyen, "Extracting fuzzy sparse rule base by Cartesian representation and clustering", Proceedings of the 2000 IEEE Conference on Systems, Man, and Cybernetics SMC'2000, Nashville, TN, October 8-10, pp. 2778-2783. Compressed Postscript file. Nguyen Hoang Phuong and Vladik Kreinovich, "Fuzzy logic and its applications in medicine", Proc. of Asian Pacific Medical Informatics Conference APAMI-MIC'2000, Hong Kong, September 27-30, 2000, pp. 1-11. Pdf file. Raul Trejo, Vladik Kreinovich, and Chitta Baral, "Towards Feasible Approach to Plan Checking Under Probabilistic Uncertainty: Interval Methods", Proc. of the 17th National Conference on Artificial Intelligence AAAI'2000, Austin, TX, July 30-August 3, 2000, pp. 545-550. Compressed Postscript file; pdf file. Chitta Baral, Le-Chi Tuan, Raul Trejo, and Vladik Kreinovich, "Computational Complexity of Planning Based on Partial Information About The System's Present and Past States", In: J. Lloyd et al. (eds.), Proceedings of the First International Conference on Computational Logic CL'2000, London, July 24-28, 2000, Springer Lecture Notes in Artificial Intelligence, Vol. 1861, pp. 882-896. Compressed Postscript file; pdf file. Roberto A. Osegueda, Carlos Ferregut, Vladik Kreinovich, Seelam Seetharami, and Harry Schulte, "Fuzzy (Granular) Levels of Quality, With Applications to Data Mining and to Structural Integrity of Aerospace Structures", Proceedings of the 19th International Conference of the North American Fuzzy Information Society NAFIPS'2000, Atlanta, Georgia, July 13-15, 2000, pp. 348-352. Compressed Postscript file. Vladik Kreinovich and Hung T. Nguyen, "Granularity as an Optimal Approach to Uncertainty - A General Mathematical Idea With Applications to Sleep, Consumption, Traffic Control, Learning, etc.", Proceedings of the 19th International Conference of the North American Fuzzy Information Society NAFIPS'2000, Atlanta, Georgia, July 13-15, 2000, pp. 316-320. Compressed Postscript file. David D. Coblentz, Vladik Kreinovich, Brian S. Penn, and Scott A. Starks, "Towards Reliable Sub-Division of Geological Areas: Interval Approach" Proceedings of the 19th International Conference of the North American Fuzzy Information Society NAFIPS'2000, Atlanta, Georgia, July 13-15, 2000, pp. 368-372. Compressed Postscript file. Hung T. Nguyen, Vladik Kreinovich, and Leonid Reznik, "Integrating Domain Knowledge With Data: From Crisp To Probabilistic and Fuzzy Knowledge", Proceedings of the UAI-2000 Workshop on Fusion of Domain Knowledge with Data for Decision Support, Stanford University, June 30, 2000. Compressed Postscript file. Scott A. Starks and Vladik Kreinovich, "Aerospace applications of soft computing and interval computations (with an emphasis on multi-spectral satellite imaging)", In: Mo Jamshidi, Madjid Fathi, and Takeshi Furunashi (eds.), "Soft Computing, Multimedia, and Image Processing. Proceedings of the 2000 World Automation Congress WAC'2000, Maui, Hawaii, June 11-16, 2000", TSI Press, Albuquerque, 2000, pp. 644-651. Compressed Postscript file. Matthew R. Barry, Vladik Kreinovich, and Nguyen Hoang Phuong, "Towards the optimal choice of data channels for monitoring a space flight", In: Mo Jamshidi, Madjid Fathi, and Takeshi Furunashi (eds.), "Soft Computing, Multimedia, and Image Processing. Proceedings of the 2000 World Automation Congress WAC'2000, Maui, Hawaii, June 11-16, 2000", TSI Press, Albuquerque, 2000, pp. 652-658. Compressed Postscript file. Vladik Kreinovich and Masao Mukaidono, "Intervals (Pairs of Fuzzy Values), Triples, etc.: Can We Thus Get an Arbitrary Ordering?", Proceedings of the 9th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'2000), San Antonio, Texas, May 7-10, 2000, Vol. 1, pp. 234-238. Compressed Postscript file. Hung T. Nguyen, Berlin Wu, and Vladik Kreinovich, "Shadows of Fuzzy Sets - A Natural Approach Towards Describing 2-D and Multi-D Fuzzy Uncertainty in Linguistic Terms", Proceedings of the 9th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'2000), San Antonio, Texas, May 7-10, 2000, Vol. 1, pp. 340-345. Compressed Postscript file. Hung T. Nguyen, Abraham Kandel, and Vladik Kreinovich, "Complex Fuzzy Sets: Towards New Foundations", Proceedings of the 9th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'2000), San Antonio, Texas, May 7-10, 2000, Vol. 2, pp. 1045-1048. Compressed Postscript file. Nhu Nguyen, Hung T. Nguyen, and Vladik Kreinovich, "Chu Spaces: Towards New Justification for Fuzzy Heuristics", In: Leo Obrst and Inderjeet Mani (eds.), Proceeding of the Workshop on Semantic Approximation, Granularity, and Vagueness, A Workshop of the Seventh International Conference on Principles of Knowledge Representation and Reasoning KR'2000, Breckenridge, Colorado, April 11, 2000, pp. 51-56. Compressed Postscript file. Matthew Barry and Vladik Kreinovich, "Which Sensor Set Is Better For Monitoring Space Shuttle?" Proceedings of the Joint Conferences in Information Sciences JCIS'2000, Atlantic City, NJ, February 27-March 3, 2000, Vol. I, pp. 244-247. Compressed Postscript file. Laszlo T. Koczy, Vladik Kreinovich, Yohans Mendoza, Hung T. Nguyen, and Harry Schulte, "Towards Mathematical Foundations of Information Retrieval: Dependence of Website's Relevance on the Number of Occurrences of a Queried Word" Proceedings of the Joint Conferences in Information Sciences JCIS'2000, Atlantic City, NJ, February 27-March 3, 2000, Vol. I, pp. 252-255. Compressed Postscript file; pdf file. Juergen Wolff von Gudenberg and Vladik Kreinovich, "Candidate Sets for Complex Interval Arithmetic", In: Hrushikesha Mohanty and Chitta Baral (eds.), Trends in Information Technology, Proceeedings of the International Conference on Information Technology ICIT'99, Bhubaneswar, India, December 20-22, 1999, Tata McGraw-Hill, New Delhi, 2000, pp. 230-233. Compressed Postscript file. Hung T. Nguyen, Berlin Wu, and Vladik Kreinovich, "On Combining Statistical and Fuzzy Techniques: Detection of Business Cycles From Uncertain Data", In: Hrushikesha Mohanty and Chitta Baral (eds.), Trends in Information Technology, Proceeedings of the International Conference on Information Technology ICIT'99, Bhubaneswar, India, December 20-22, 1999, Tata McGraw-Hill, New Delhi, 2000, pp. 69-74. Compressed Postscript file. Vladik Kreinovich, Scott Ferson, Lev Ginzburg, Harry Schulte, Matthew R. Barry, and Hung T. Nguyen, "From Interval Methods of Representing Uncertainty To A General Description of Uncertainty", In: Hrushikesha Mohanty and Chitta Baral (eds.), Trends in Information Technology, Proceeedings of the International Conference on Information Technology ICIT'99, Bhubaneswar, India, December 20-22, 1999, Tata McGraw-Hill, New Delhi, 2000, pp. 161-166. Compressed Postscript file. Yeung Yam, Hung T. Nguyen, and Vladik Kreinovich, "Multi-Resolution Techniques in the Rules-Based Intelligent Control Systems: A Universal Approximation Result", Proceedings of the 14th IEEE International Symposium on Intelligent Control/Intelligent Systems and Semiotics ISIC/ISAS'99, Cambridge, Massachusetts, September 15-17, 1999, pp. 213-218. Compressed Postscript file. Roberto Osegueda, Yohans Mendoza, Olga Kosheleva, and Vladik Kreinovich, "Multi-Resolution Methods in Non-Destructive Testing of Aerospace Structures and in Medicine", Proceedings of the 14th IEEE International Symposium on Intelligent Control/Intelligent Systems and Semiotics ISIC/ISAS'99, Cambridge, Massachusetts, September 15-17, 1999, pp. 207-212. Compressed Postscript file; pdf file. Vladik Kreinovich and Nadipuram R. Prasad, "The Use of Fuzzy Measures in Pain Relief Control", Proceedings of the International Symposium on Medical Informatics and Fuzzy Technology MIF'99, Hanoi, Vietnam, August 27-29, 1999, pp. 447-453. Compressed Postscript file. Nguyen Hoang Phuong, Vladik Kreinovich, Nguyen Viet Anh, and Uong Huong Duong, "Implementation of an interval-based expert system for diagnosis in oriental traditional medicine", Proceedings of the International Symposium on Medical Informatics and Fuzzy Technology MIF'99, Hanoi, Vietnam, August 27-29, 1999, pp. 486-494. Vladik Kreinovich, Hung T. Nguyen, and Berlin Wu, "Justification of Heuristic Methods in Data Processing Using Fuzzy Theory, with Applications to Detection of Business Cycles From Fuzzy Data", Proceedings of the 8th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'99), Seoul, Korea, August 22-25, 1999, Vol. 2, pp. 1131-1136. Postscript file. Richard Alo, Kenneth Alo, and Vladik Kreinovich, "Towards Intelligent Virtual Environment for Training Medical Doctors in Surgical Pain Relief", Proceedings of The Eighth International Fuzzy Systems Association World Congress IFSA'99, Taipei, Taiwan, August 17-20, 1999, pp. 260-264. Compressed Postscript file; pdf file. Chitta Baral, Vladik Kreinovich, Hung T. Nguyen, and Yeung Yam, "From Fuzzy Models to Fuzzy Control", Proceedings of The Eighth International Fuzzy Systems Association World Congress IFSA'99, Taipei, Taiwan, August 17-20, 1999, pp. 246-250. Compressed Postscript file. Hung T. Nguyen, Berlin Wu, and Vladik Kreinovich, "A New Look at Fuzzy Theory Via Chu Spaces", Proceedings of The Eighth International Fuzzy Systems Association World Congress IFSA'99, Taipei, Taiwan, August 17-20, 1999, pp. 237-240. Compressed Postscript file. Masao Mukaidono, Yeung Yam, and Vladik Kreinovich, "Intervals is All We Need: An Argument", Proceedings of The Eighth International Fuzzy Systems Association World Congress IFSA'99, Taipei, Taiwan, August 17-20, 1999, pp. 147-150. Postscript file. Yeung Yam, Masao Mukaidono, and Vladik Kreinovich, "Beyond [0,1] to Intervals and Further: Do We Need All New Fuzzy Values?", Proceedings of The Eighth International Fuzzy Systems Association World Congress IFSA'99, Taipei, Taiwan, August 17-20, 1999, pp. 143-146. Postscript file. Vladik Kreinovich, Guoqing Liu, and Hung T. Nguyen, "Chu Spaces - A New Approach to Describing Uncertainty in Systems", In: Jaime Ramirez-Angulo (ed.), Proceedings of the 1999 IEEE Midwest Symposium on Circuits and Systems, Las Cruces, New Mexico, August 8-11, 1999, Vol. 1, pp. 427-430. Compressed Postscript file. Murali Krishna, Vladik Kreinovich, and Roberto Osegueda, "Fuzzy Logic in Non-Destructive Testing of Aerospace Structures", In: Jaime Ramirez-Angulo (ed.), Proceedings of the 1999 IEEE Midwest Symposium on Circuits and Systems, Las Cruces, New Mexico, August 8-11, 1999, Vol. 1, pp. 431-434. Compressed Postscript file. Martin Schmidt, Vladik Kreinovich, and Luc Longpre, "Kolmogorov Complexity-Based Ideas for Locating Text in Web Images", In: Jaime Ramirez-Angulo (ed.), Proceedings of the 1999 IEEE Midwest Symposium on Circuits and Systems, Las Cruces, New Mexico, August 8-11, 1999, Vol. 1, pp. 543-546. Compressed Postscript file. Chitta Baral, Vladik Kreinovich, and Raul Trejo, "Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness", Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence IJCAI'99, Stockholm, Sweden, July 31 - August 6, 1999, Vol. 2, pp. 948-953. Postscript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, and Berlin Wu, "Chu Spaces - A New Approach to Diagnostic Information Fusion", Proceedings of the 2nd International Conference on Information Fusion FUSION'99, Sunnyvale, CA, July 6-8, 1999, Vol. 1, pp. 323-330. Compressed Postscript file. Gennadij N. Solopchenko, Vladik Kreinovich, and Leonid Reznik, "Development of mathematical structure of the modern measurement science", Proceedings of the IMEKO TC-7 International Workshop on Advances of Measurement Science, Kyoto, Japan, June 20-21, 1999, pp. 35-47. Leonid Reznik, A. Stojcevski, and Vladik Kreinovich, "Modelling of human measurement functions as a way of intelligent sensor design", In: H. Imai (ed.), Measurement to Improve Quality of Life in the 21st Century, Proceedings of the IMEKO-XV World Congress, Osaka, Japan, June 13-18, 1999, Vol. XI, pp. 75-82. Hung T. Nguyen, Vladik Kreinovich, and Guoqing Liu, "Chu Spaces: Towards New Foundations for Fuzzy Logic and Fuzzy Control, with Applications to Information Flow on the World Wide Web", Proceedings of the 18th International Conference of the North American Fuzzy Information Society NAFIPS'99, New York City, June 10-12, 1999, pp. 766-770. Postscript file. Yeung Yam, Roberto Osegueda and Vladik Kreinovich, "Towards Faster, Smoother, and More Compact Fuzzy Approximation, with an Application to Non-Destructive Evaluation of Space Shuttle's Structural Integrity", Proceedings of the 18th International Conference of the North American Fuzzy Information Society NAFIPS'99, New York City, June 10-12, 1999, pp. 243-247. Postscript file. Timothy J. Ross, Carlos Ferregut, Roberto Osegueda, and Vladik Kreinovich, "System Reliability: A Case When Fuzzy Logic Enhances Probability Theory's Ability to Deal With Real-World Problems", Proceedings of the 18th International Conference of the North American Fuzzy Information Society NAFIPS'99, New York City, June 10-12, 1999, pp. 81-84. Compressed Postscript file. Nuria Mata and Vladik Kreinovich, "NP-Hardness In Geometric Construction Problems With One Interval Parameter", Proceedings of the Workshop on Applications of Interval Analysis to Systems and Control with special emphasis on recent advances in Modal Interval Analysis MISC'99, Girona, Spain, February 24-26, 1999, pp. 85-98. PostScript file. Vladik Kreinovich, "From semi-heuristic fuzzy techniques to optimal fuzzy methods: mathematical foundations and applications", In: Basil Papadopoulos and Apostolos Syropoulos (eds.), Current Trends and Developments in Fuzzy Logic, Proceedings of the First International Workshop, Thessaloniki, Greece, October 16-20, 1998, pp. 1-62. Postscript file. Vladik Kreinovich, Hung T. Nguyen, Scott A. Starks, and Yeung Yam, "Decision making based on satellite images: optimal fuzzy clustering approach", Proceedings of the 37th IEEE Conference on Decision and Control CDC'98, Tampa, Florida, December 16-18, 1998, pp. 4246-4251. Postscript file. Daniel E. Cooke and Vladik Kreinovich, "Automatic concurrency in SequenceL", In: Luqi (ed.), Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems, Carmel, CA, October 23-26, 1998, Naval Postgraduate School, Monterey, CA, April 1999, pp. 47-56. Daniel E. Cooke, Vladik Kreinovich, and Joseph E. Urban, "A distributed version of the SequenceL language", Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems, West Lafayette, IN, October 20-23, 1998, pp. 295-301. Hung T. Nguyen and Vladik Kreinovich, "Possible new directions in mathematical foundations of fuzzy technology: a contribution to the mathematics of fuzzy theory", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 9-32. Postscript file. Oscar N. Garcia, Vladik Kreinovich, Luc Longpre, and Hung T. Nguyen, "Complex problems: granularity is necessary, granularity helps", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 449-455. Postscript file. Misha Koshelev, Vladik Kreinovich, Hung T. Nguyen, and Bernadette Bouchon-Meunier, "Uncertainty representation explains and helps methodology of physics and science in general", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 577-585. File in Postscript, Compressed Postscript, and pdf Olga Kosheleva, Vladik Kreinovich, Hung T. Nguyen, and Bernadette Bouchon-Meunier, "How to describe partially ordered preferences: mathematical foundations", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 269-278. File in Postscript, Compressed Postscript, and pdf Vladik Kreinovich, Edye Johnson-Holubec, Leonid K. Reznik, and Misha Koshelev, "Cooperative learning is better: explanation using dynamical systems, fuzzy logic, and geometric symmetries", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 154-160. File in Postscript, Compressed Postscript, and pdf Vladik Kreinovich, Luc Longpre, and Hung T. Nguyen, "Towards formalization of feasibility, randomness, and commonsense implication: Kolmogorov complexity, and the necessity of considering (fuzzy) degrees", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 294-302. File in Postscript, Compressed Postscript, and pdf Hung T. Nguyen, Vladik Kreinovich, Daniel E. Cooke, Luqi, and Olga Kosheleva, "Towards combining fuzzy and logic programming techniques", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 482-489. Postscript file. Hoang Phuong Nguyen, Scott Starks, and Vladik Kreinovich, "Towards foundations for traditional oriental medicine", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 704-708. Postscript file. Hoang Phuong Nguyen, Scott Starks, and Vladik Kreinovich, "Interval-based expert systems and their use for traditional oriental medicine", In: Nguyen Hoang Phuong and Ario Ohsato (eds.), Proceedings of the Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'98, HaLong Bay, Vietnam, 30th September-2nd October, 1998, pp. 697-703. Vladik Kreinovich, "Interval Computations, Soft Computing, and Aerospace Applications", Proceedings of the 2nd International Workshop on Intelligent Virtual Environments, Xalapa, Veracruz, Mexico, September 11-12, 1998, pp. 25-41. Compressed Postscript file; pdf file. Richard Alo, Kenneth Alo, Obinna Ilochonwu, Vladik Kreinovich, and Hoang Phuong Nguyen, "Towards Optimal Pain Relief: Acupuncture and Spinal Cord Stimulation", Proceedings of the 2nd International Workshop on Intelligent Virtual Environments, Xalapa, Veracruz, Mexico, September 11-12, 1998, pp. 16-24. Compressed Postscript file; pdf file. Alejandro E. Brito and Vladik Kreinovich, "Interval Image Classification is NP-Hard", Proceedings of the 2nd International Workshop on Intelligent Virtual Environments, Xalapa, Veracruz, Mexico, September 11-12, 1998, pp. 12-15. Compressed Postscript file; pdf file. L. Olac Fuentes and Vladik Kreinovich, "Towards Intelligent Virtual Environment for Teaching Telemanipulation Operators: Virtual Tool Approach and its Interval-Based Justification", Proceedings of the 2nd International Workshop on Intelligent Virtual Environments, Xalapa, Veracruz, Mexico, September 11-12, 1998, pp. 8-11. Compressed Postscript file; pdf file. Olga Kosheleva, Sergio Cabrera, Roberto Osegueda, Soheil Nazarian, Debra L. George, Mary J. George, Vladik Kreinovich, and Keith Worden, "Case study of non-linear inverse problems: mammography and non-destructive evaluation", In: Ali Mohamad-Djafari (ed.), Bayesian Inference for Inverse Problems, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 3459, San Diego, CA, 1998, pp. 128-135. Postscript file. Scott A. Starks and Vladik Kreinovich, "Multi-spectral inverse problems in satellite image processing", In: Ali Mohamad-Djafari (ed.), Bayesian Inference for Inverse Problems, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 3459, San Diego, CA, 1998, pp. 138-146. Postscript file. Vladik Kreinovich, "A simplified version of the tomography problem can help to estimate the errors of indirect measurements", In: Ali Mohamad-Djafari (ed.), Bayesian Inference for Inverse Problems, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 3459, San Diego, CA, 1998, pp. 106-115. Postscript file. Vladik Kreinovich, Luc Longpre, and Misha Koshelev, "Kolmogorov complexity, statistical regularization of inverse problems, and Birkhoff's formalization of beauty", In: Ali Mohamad-Djafari (ed.), Bayesian Inference for Inverse Problems, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 3459, San Diego, CA, 1998, pp. 159-170. File in Postscript, Compressed Postscript, and pdf. Hung T. Nguyen, Vladik Kreinovich, and Richard Alo, "Adding Fuzzy Integral to Fuzzy Control", Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Paris, France, July 6-10, 1998, pp. 657-664. Postscript file; Compressed Postscript file; pdf. Olga Kosheleva, Vladik Kreinovich, Bernadette Bouchon-Meunier, and Radko Mesiar, "Operations with Fuzzy Numbers Explain Heuristic Methods in Image Processing", Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Paris, France, July 6-10, 1998, pp. 265-272. Postscript file. Hung T. Nguyen, Misha Koshelev, Olga Kosheleva, Vladik Kreinovich, and Radko Mesiar, "Computational Complexity and Feasibility of Fuzzy Data Processing: Why Fuzzy Numbers, Which Fuzzy Numbers, Which Operations with Fuzzy Numbers", Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Paris, France, July 6-10, 1998, pp. 273-280. Postscript file. Leonid Reznik, Vladik Kreinovich, Walter Giardini, Kishor P. Dabke, "Feasibility study of soft computing methods application for uncertainty evaluation", Proceedings of the International Conference on Soft Computing and Measurement SCM'98, St. Petersburg, Russia, June 22-26, 1998. Hung T. Nguyen and Vladik Kreinovich, "A Modification of Sugeno Integral Describes Stability and Smoothness of Fuzzy Control, Proceedings of the FUZZ-IEEE'98 International Conference on Fuzzy Systems, Anchorage, Alaska, May 4-9, 1998, Vol. 1, pp. 360-365. Postscript file. Daniel E. Cooke, Vladik Kreinovich, and Scott A. Starks, "ALPS: A Logic for Program Synthesis (Motivated by Fuzzy Logic)", Proceedings of the FUZZ-IEEE'98 International Conference on Fuzzy Systems, Anchorage, Alaska, May 4-9, 1998, Vol. 1, pp. 779-784. File in Postscript and in pdf Vladik Kreinovich, Anatoly Lakeyev, Jiri Rohn, Patrick Kahl, "Computational Complexity and Feasibility of Data Processing and Interval Computations: A Survey", International Conference on Interval Methods and their Application in Global Optimization (INTERVAL'98), April 20-23, Nanjing, China, Extended Abstracts, 1998, pp. 58-60. Scott A. Starks and Vladik Kreinovich, "Non-Interval Extension of Interval Methods Leads to a New 5D Geometric Formalism for Physics and Data Processing", International Conference on Interval Methods and their Application in Global Optimization (INTERVAL'98), April 20-23, Nanjing, China, Abstracts, 1998, pp. 136-138. Keith Worden, Roberto Osegueda, Carlos Ferregut, Soheil Nazarian, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, and Sergio Cabrera, "Interval Methods in Non-Destructive Testing of Aerospace Structures and in Mammography", International Conference on Interval Methods and their Application in Global Optimization (INTERVAL'98), April 20-23, Nanjing, China, Abstracts, 1998, pp. 152-154. Compressed Postscript file. Vladik Kreinovich and Luc Longpre, "Guaranteed Predictions Based on Probabilistic Knowledge: Why and How", International Conference on Interval Methods and their Application in Global Optimization (INTERVAL'98), April 20-23, Nanjing, China, Abstracts, 1998, pp. 61-63. Ann Gates, Vladik Kreinovich, Leticia Sifuentes, and Scott Starks, "OO Or Not OO: When Object-Oriented is Better. Qualitative Analysis and Application to Satellite Image Processing", In: Goetz Alefeld and Raul A. Trejo (eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proceedings of MEXICON'98, Workshop on Interval Computations, 4th World Congress on Expert Systems, Mexico City, Mexico, 1998. Postscript file; pdf file. R. Baker Kearfott and Vladik Kreinovich, "Where to Bisect a Box? A Theoretical Explanation of the Experimental Results", In: Goetz Alefeld and Raul A. Trejo (eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proceedings of MEXICON'98, Workshop on Interval Computations, 4th World Congress on Expert Systems, Mexico City, Mexico, 1998. Postscript file; pdf file. Vladik Kreinovich and L. Olac Fuentes, "Telemanipulation: The Virtual Tool Approach and Its Interval-Based Justification", In: Goetz Alefeld and Raul A. Trejo (eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proceedings of MEXICON'98, Workshop on Interval Computations, 4th World Congress on Expert Systems, Mexico City, Mexico, 1998. Postscript file; pdf file. Scott A. Starks, Hung T. Nguyen, Vladik Kreinovich, Hoang Phuong Nguyen, and Mirko Navara, "Strong Negation: Its Relation to Intervals and Its Use in Expert Systems", In: Goetz Alefeld and Raul A. Trejo (eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proceedings of MEXICON'98, Workshop on Interval Computations, 4th World Congress on Expert Systems, Mexico City, Mexico, 1998. Postscript file. Raul Trejo and Vladik Kreinovich, "Complexity of Collective Decision Making Explained by Neural Network Universal Approximation Theorem", In: Goetz Alefeld and Raul A. Trejo (eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proceedings of MEXICON'98, Workshop on Interval Computations, 4th World Congress on Expert Systems, Mexico City, Mexico, 1998. Postscript file; pdf file. Keith Worden, Roberto Osegueda, Carlos Ferregut, Soheil Nazarian, Eulalio Rodriguez, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, and Sergio Cabrera, "Interval Approach to Non-Destructive Testing of Aerospace Structures and to Mammography", In: Goetz Alefeld and Raul A. Trejo (eds.), Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory. Proceedings of MEXICON'98, Workshop on Interval Computations, 4th World Congress on Expert Systems, Mexico City, Mexico, 1998. Kenneth M. Alo, Richard Alo, Andre de Korvin, and Vladik Kreinovich, "Spinal Cord Stimulation for Chronic Pain Management: Towards an Expert System", Proceedings of the World Congress on Expert Systems, Mexico City, March 16-20, 1998, Vol. 1, pp. 156-164. Postscript file; pdf file. Vladik Kreinovich, "Neural networks and fuzzy logic", In: Richard Alo, Ana L. Solis, and Homero Rios (Eds.), Proceedings of the International Workshop on Distributed Simulation, Artificial Intelligence, and Virtual Environments, Mexico City, February 22-23, 1998, pp. 70-141 Hung T. Nguyen, Vladik Kreinovich, and Bernadette Bouchon-Meunier, "Soft Computing Explains Heuristic Numerical Methods in Data Processing and in Logic Programming", preliminary version appeared in Working Notes of the AAAI Symposium on Frontiers in Soft Computing and Decision Systems, Boston, MA, November 8-10, 1997, pp. 40-45; final version is in Larry Medsker (ed.), Frontiers in Soft Computing and Decision Systems, AAAI Press (Publication No. FS-97-04), 1997, pp. 30-35. Postscript file. Scott Starks and Vladik Kreinovich, "Soft Computing: Frontiers? A Case Study of Hyper-Spectral Satellite Imaging", preliminary version appeared in Working Notes of the AAAI Symposium on Frontiers in Soft Computing and Decision Systems, Boston, MA, November 8-10, 1997, pp. 66-71; final version is in Larry Medsker (ed.), Frontiers in Soft Computing and Decision Systems, AAAI Press (Publication No. FS-97-04), 1997, pp. 52-57. Postscript file. Roberto Osegueda, Carlos Ferregut, Mary J. George, Jose M. Gutierrez, and Vladik Kreinovich, "Computational geometry and artificial neural networks: a hybrid approach to optimal sensor placement for aerospace NDE", In: Carlos Ferregut, Roberto Osegueda, and Alina Nunez (eds.), Proceedings of the International Workshop on Intelligent NDE Sciences for Aging and Futuristic Aircraft, El Paso, TX, September 30-October 2, 1997, pp. 59-71. Postscript file. M. Koshelev and V. Kreinovich, "Towards Computers of Generation Omega - Non-Equilibrium Thermodynamics, Granularity, and Acausal Processes: A Brief Survey", Proceedings of the International Conference on Intelligent Systems and Semiotics (ISAS'97), National Institute of Standards and Technology Publ., Gaithersburg, MD, 1997, pp. 383-388. File in Postscript, Compressed Postscript, and pdf Roberto Osegueda, Carlos Ferregut, Mary J. George, Jose M. Gutierrez, and Vladik Kreinovich, "Non-Equilibrium Thermodynamics Explains Semiotic Shapes: Applications to Astronomy and to Non-Destructive Testing of Aerospace Systems", Proceedings of the International Conference on Intelligent Systems and Semiotics (ISAS'97), National Institute of Standards and Technology Publ., Gaithersburg, MD, 1997, pp. 378-382. Postscript file. S. A. Starks, V. Kreinovich, and A. Meystel, "Multi-Resolution Data Processing: It is Necessary, It is Possible, It is Fundamental", Proceedings of the International Conference on Intelligent Systems and Semiotics (ISAS'97), National Institute of Standards and Technology Publ., Gaithersburg, MD, 1997, pp. 145-150. Postscript file. Vladik Kreinovich and Luc Longpre, "How the Theory of Computing Can Help in Space Exploration", Proceedings of the NASA University Research Centers Conference, Albuquerque, New Mexico, February 16-19, 1997, pp. 443-446. Hung T. Nguyen and Vladik Kreinovich, "On Re-Scaling In Fuzzy Control and Genetic Algorithms", Proceedings of the 1996 IEEE International Conference on Fuzzy Systems, New Orleans, September 8-11, 1996, Vol. 3, pp. 1677-1681. File in LaTeX, uses 10pt.sty and latex8.sty Hung T. Nguyen and Vladik Kreinovich, "Classical-Logic Analogue of a Fuzzy `Paradox' ", Proceedings of the 1996 IEEE International Conference on Fuzzy Systems, New Orleans, September 8-11, 1996, Vol. 1, pp. 428-431. File in LaTeX, uses 10pt.sty and latex8.sty Vladik Kreinovich and Raul Trejo, "Optimal interval computation techniques: optimization of numerical methods in case of uncertainty", In: Marcilia A. Campos (ed.), Abstracts of the II Workshop on Computer Arithmetic, Interval and Symbolic Computation (WAI'96), Recife, Pernambuco, Brazil, August 7-8, 1996, pp. 48-50. File in plain TeX. Slava Nesterov and Vladik Kreinovich, "The worse, the better: a survey of paradoxical computational complexity of interval computations", In: Marcilia A. Campos (ed.), Abstracts of the II Workshop on Computer Arithmetic, Interval and Symbolic Computation (WAI'96), Recife, Pernambuco, Brazil, August 7-8, 1996, pp. 61A-63A. File in plain TeX. Bernadette Bouchon-Meunier, Olga Kosheleva, Vladik Kreinovich, and Hung T. Nguyen, "Fuzzy Numbers are the Only Fuzzy Sets That Keep Invertible Operations Invertible", Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), Granada, Spain, July 1-5, 1996, Vol. 2, pp. 1049-1054. File in LaTeX, uses proceedingsIPMU96.styand amssymbols.sty. Bernadette Bouchon-Meunier and Vladik Kreinovich, "Simulating Fuzzy Control as a New Method of Eliciting Membership Functions", Proceedings of the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'96), Granada, Spain, July 1-5, 1996, Vol. 2, pp. 1043-1048. File in LaTeX, uses proceedingsIPMU96.sty Hung T. Nguyen and Vladik Kreinovich, "Fuzzy Logic, Logic Programming, and Linear Logic: Towards a New Understanding of Common Sense", Proceedings of NAFIPS'96, Biennial Conference of the North American Fuzzy Information Processing Society, Berkeley, CA, June 20-22, 1996, pp. 546-550. File in LaTeX, uses IEEEtran.sty Louis Irwin and Vladik Kreinovich, "Adding predators to genetic algorithms", In: Vladimir Dimitrov and Judith Dimitrov (eds.), Fuzzy Logic and the Management of Complexity (Proceedings of the 1996 International Discourse), UTS Publ., Sydney, Australia, 1996, Vol. 3, pp. 289-291. Misha Koshelev and Vladik Kreinovich, "Fuzzy interpretation of quantum mechanics made more convincing: every statement with real numbers can be reformulated in logical terms", In: Vladimir Dimitrov and Judith Dimitrov (eds.), Fuzzy Logic and the Management of Complexity (Proceedings of the 1996 International Discourse), UTS Publ., Sydney, Australia, 1996, Vol. 3, pp. 296-299. File in Compressed Postscript and pdf I. Burhan Turksen and V. Kreinovich, "Fuzzy implication revisited: a new type of fuzzy implication explains Yager's implication operation", In: Vladimir Dimitrov and Judith Dimitrov (eds.), Fuzzy Logic and the Management of Complexity (Proceedings of the 1996 International Discourse), UTS Publ., Sydney, Australia, 1996, Vol. 3, pp. 292-295. File in Compressed Postscript and pdf Leonid K. Reznik and Vladik Kreinovich, "Fuzzy information improves measurement (if this information is correct)", In: Vladimir Dimitrov and Judith Dimitrov (eds.), Fuzzy Logic and the Management of Complexity (Proceedings of the 1996 International Discourse), UTS Publ., Sydney, Australia, 1996, Vol. 2, pp. 206-210. Vera Kurkova, Paul C. Kainen, and Vladik Kreinovich, "Dimension-independent rates of approximation by neural networks and variation with respect to half-spaces", Proceedings of World Congress on Neural Networks, WCNN'95, Washington, DC, July 1995, INNS Press, NJ, 1995, Vol. I, pp. 54-57. Olga Kosheleva, Vladik Kreinovich, and Hung T. Nguyen, "Mamdani's Rule: a "weird" use of "and" as implication justified by modern logic", Sixth International Fuzzy Systems Association World Congress, San Paulo, Brazil, July 22-28, 1995, Vol. 1, pp. 229-232. Compressed PostScript file; pdf file. Claude Langrand, Vladik Kreinovich, and Hung T. Nguyen, "Two-dimensional fuzzy logic for expert systems", Sixth International Fuzzy Systems Association World Congress, San Paulo, Brazil, July 22-28, 1995, Vol. 1, pp. 221-224. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich, "On Logical Equivalence in Fuzzy Logic", Sixth International Fuzzy Systems Association World Congress, San Paulo, Brazil, July 22-28, 1995, Vol. 1, pp. 209-212. Ongard Sirisaengtaksin, Vladik Kreinovich, and Hung T. Nguyen "Sigmoid neurons are the safest against additive errors", Proceedings of the First International Conference on Neural, Parallel, and Scientific Computations, Atlanta, GA, May 28-31, 1995, Vol. 1, pp. 419-423. Compressed PostScript file; pdf file. Ongard Sirisaengtaksin, Paul Kainen, Vladik Kreinovich, and Vera Kurkova, "For neural networks, even approximate function determines form", Proceedings of the First International Conference on Neural, Parallel, and Scientific Computations, Atlanta, GA, May 28-31, 1995, Vol. 1, pp. 424-426. Ongard Sirisaengtaksin, L. Olac Fuentes, and Vladik Kreinovich, "Non-traditional neural networks that solve one more intractable problem: propositional satisfiability", Proceedings of the First International Conference on Neural, Parallel, and Scientific Computations, Atlanta, GA, May 28-31, 1995, Vol. 1, pp. 427-430. Vladik Kreinovich and Hung T. Nguyen, "On Hilbert's Thirteenth Problem for Soft Computing", Proceedings of the Joint 4th IEEE Conference on Fuzzy Systems and 2nd IFES, Yokohama, Japan, March 20-24, 1995, Vol. IV, pp. 2089-2094. Compressed PostScript file; pdf file Hung T. Nguyen and Vladik Kreinovich, "When is an algorithm feasible? Soft computing approach", Proceedings of the Joint 4th IEEE Conference on Fuzzy Systems and 2nd IFES, Yokohama, Japan, March 20-24, 1995, Vol. IV, pp. 2109-2112. Maria Beltran and Vladik Kreinovich, "How To Find Input Variables Whose Influence On The Result Is The Largest, or, How To Detect Defective Stages In VLSI Manufacturing?", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 34-37. Andrew Bernat, Vladik Kreinovich, Thomas McLean, and Gennady N. Solopchenko, "What are interval computations, and how are they related to quality in manufacturing?", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 10-12. Guido J. Deboeck, Karen Villaverde, and Vladik Kreinovich, "Interval Methods for Presenting Performance of Financial Trading Systems", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 67-70. Diane I. Doser, Kevin D. Crain, Mark R. Baker, Vladik Kreinovich, Matt C. Gerstenberger, and J. L. Williams, "Estimating uncertainties for geophysical tomography", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 74-75. A. B. Korlyukov and Vladik Kreinovich, "Equations of physics become consistent if we take measurement uncertainty into consideration", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 111-112. Vladik Kreinovich, "Data processing beyond traditional statistics: applications of interval computations. A brief introduction", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 13-21. Anatoly V. Lakeyev and Vladik Kreinovich, "If Input Intervals Are Small Enough, Then Interval Computations Are Almost Always Easy", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 134-139. Robert N. Lea and Vladik Kreinovich, "Intelligent Control Makes Sense Even Without Expert Knowledge: an Explanation", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 140-145. Eduardo Serrano, Vera P. Pytchenko, Vladimir M. Rubinstein, and Vladik Kreinovich, "Error Estimate of the Result of Measuring Laser Beam Diameter", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 176-180. Samuel Smith and Vladik Kreinovich, "In Case of Interval Uncertainty, Optimal Control is NP-Hard Even for Linear Plants, so Expert Knowledge is Needed", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 190-193. Karen Villaverde and Vladik Kreinovich, "Parallel algorithm that locates local extrema of a function of one variable from interval measurement results", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 212-219. Qiang Zuo, I. Burhan Turksen, Hung T. Nguyen, and Vladik Kreinovich, "In expert systems, even if we fix AND/OR operations, a natural answer to a composite query is the interval of possible degrees of belief", Reliable Computing, 1995, Supplement (Extended Abstracts of APIC'95: International Workshop on Applications of Interval Computations, El Paso, TX, Febr. 23-25, 1995), pp. 236-240. Hung T. Nguyen and Vladik Kreinovich, "Towards theoretical foundations of soft computing applications", Proceedings of the 11-th IEEE CAAI, Conference on Applications of Artificial Intelligence, Los Angeles, CA, February 20-22, 1995, pp. 368-373. Scott Starks, Vladik Kreinovich, and Prakash Narasimhamurthy. "How to avoid congestion in computer networks", In: L. Hall, H. Ying, R. Langari, and J. Yen (eds.), NAFIPS/IFIS/NASA'94, Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference, The Industrial Fuzzy Control and Intelligent Systems Conference, and The NASA Joint Technology Workshop on Neural Networks and Fuzzy Logic, San Antonio, December 18-21, 1994, IEEE, Piscataway, NJ, pp. 466-469. Vladik Kreinovich and Hung T. Nguyen, "Applications of fuzzy intervals: a skeletal outline of papers presented at this section", In: L. Hall, H. Ying, R. Langari, and J. Yen (eds.), NAFIPS/IFIS/NASA'94, Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference, The Industrial Fuzzy Control and Intelligent Systems Conference, and The NASA Joint Technology Workshop on Neural Networks and Fuzzy Logic, San Antonio, December 18-21, 1994, IEEE, Piscataway, NJ, pp. 461-463. Leopoldo Gemoets, Vladik Kreinovich, and Hector Melendez, "When to stop testing software? A fuzzy interval approach, In: L. Hall, H. Ying, R. Langari, and J. Yen (eds.), NAFIPS/IFIS/NASA'94, Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference, The Industrial Fuzzy Control and Intelligent Systems Conference, and The NASA Joint Technology Workshop on Neural Networks and Fuzzy Logic, San Antonio, December 18-21, 1994, IEEE, Piscataway, NJ, pp. 182-186. B. Bouchon-Meunier, H. T. Nguyen, V. Kreinovich, and O. Kosheleva, "Optimization with soft constraints: case of fuzzy intervals", In: L. Hall, H. Ying, R. Langari, and J. Yen (eds.), NAFIPS/IFIS/NASA'94, Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference, The Industrial Fuzzy Control and Intelligent Systems Conference, and The NASA Joint Technology Workshop on Neural Networks and Fuzzy Logic, San Antonio, December 18-21, 1994, IEEE, Piscataway, NJ, pp. 177-179. J. Abello, V. Kreinovich, H. T. Nguyen, S. Sudarsky, and J. Yen, "Computing an appropriate control strategy based only on a given plant's rule-based model is NP-hard", In: L. Hall, H. Ying, R. Langari, and J. Yen (eds.), NAFIPS/IFIS/NASA'94, Proceedings of the First International Joint Conference of The North American Fuzzy Information Processing Society Biannual Conference, The Industrial Fuzzy Control and Intelligent Systems Conference, and The NASA Joint Technology Workshop on Neural Networks and Fuzzy Logic, San Antonio, December 18-21, 1994, IEEE, Piscataway, NJ, pp. 331-332. Hung T. Nguyen and Vladik Kreinovich, "How stable is a fuzzy linear system?", Proceedings of the FUZZ-IEEE'94 International Conference, Orlando, FL, July 1994, Vol. 2, pp. 1023-1027. Pdf file; Pdf file. Vladik Kreinovich, Ongard Sirisaengtaksin, Sergio Cabrera. "Wavelet neural networks are optimal approximators for functions of one variable." Proceedings of the IEEE International Conference on Neural Networks, Orlando, FL, July 1994, Vol. 1, pp. 299-303. Compressed PostScript file; pdf file. Vladik Kreinovich, Dana Tolbert. "Minimizing computational complexity as a criterion for choosing fuzzy rules and neural activation functions in intelligent control". In: Mohammad Jamshidi, Charles Nguyen, Ronald Lumia, and Junku Yuh (Editors), Intelligent Automation and Soft Computing. Trends in Research, Development, and Applications. Proceedings of the First World Automation Congress (WAC'94), August 14-17, 1994, Maui, Hawaii, TSI Press, Albuquerque, NM, 1994, Vol. 1, pp. 545-550. Compressed PostScript file; pdf file. Vladik Kreinovich, Hung T. Nguyen, Ongard Sirisaengtaksin, "On approximations of controls in distributed systems by fuzzy controllers", Proceedings of the 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'94, Paris, July 4-8, 1994, Vol. 1, pp. 79-83. Daniel E. Cooke, Richard Duran, Ann Gates, Vladik Kreinovich, "Bag languages, concurrency, Horn logic programs, and linear logic", Proceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering SEKE'94, June 21-23 1994, Jurmala, Latvia, IEEE Computer Society and Knowledge Systems Institute, Skokie, IL, 1994, pp. 289-297. Olga Kosheleva, Vladik Kreinovich, "One more potential application of symbolic computations: interval logic", International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (Interval'94), St. Petersburg, Russia, March 7-10, 1994, Abstracts, pp. 143-146. Vladik Kreinovich, "Towards symbolic interval computations: interval rational = algebraic", International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (Interval'94), St. Petersburg, Russia, March 7-10, 1994, Abstracts, pp. 152-154. Andrew Bernat, Elsa Villa, Kishore Bhamidipati, Vladik Kreinovich, "Parallel interval computations as a background problem: when processors come and go", International Conference on Interval and Computer-Algebraic Methods in Science and Engineering (Interval'94), St. Petersburg, Russia, March 7-10, 1994, Abstracts, pp. 51-53. Mohamed Amine Khamsi, Vladik Kreinovich, Driss Misane, "A new method of proving the existence of answer sets for disjunctive logic programs: a metric fixed point theorem for multi-valued maps", Proceedings of the Workshop on Logic Programming with Incomplete Information, Vancouver, B.C., Canada, October 1993, pp. 58-73. Compressed PostScript file; pdf file. Hung T. Nguyen and Vladik Kreinovich. "On approximations of controls by fuzzy systems". Fifth International Fuzzy Systems Association World Congress IFSA'93, Seoul, Korea, July 1993, pp. 1414-1417. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, Dana Tolbert. "On robustness of fuzzy logics". Proceedings of the 1993 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'93, San Francisco, California, March 1993, Vol. 1, pp. 543-547. Compressed PostScript file; pdf file. Hugh VanLandingham, Apostolos Tsoukkas, Vladik Kreinovich, Chris Quintana. "Nonlinear rescaling of control values simplifies fuzzy control", Proceedings of the Third International Workshop on Neural Networks and Fuzzy Logic, Houston, TX, June 1-3, 1992, NASA, January 1993, Vol. I (NASA Conference Publication No. 10111), pp. 174-182. Compressed PostScript file; pdf file. Hung T. Nguyen, Vladik Kreinovich, Bob Lea. "How to combine probabilistic and fuzzy uncertainties in fuzzy control". Proceedings of the Second International Workshop on Industrial Applications of Fuzzy Control and Intelligent Systems, College Station, December 2-4, 1992, pp. 117-121. Compressed PostScript file; pdf file. Arthur Ramer, Vladik Kreinovich. "Maximum entropy approach to fuzzy control". Proceedings of the Second International Workshop on Industrial Applications of Fuzzy Control and Intelligent Systems, College Station, December 2-4, 1992, pp. 113-117. Hung T. Nguyen, Vladik Kreinovich, Bob Lea, Dana Tolbert. "How to control if even experts are not sure: robust fuzzy control". Proceedings of the Second International Workshop on Industrial Applications of Fuzzy Control and Intelligent Systems, College Station, December 2-4, 1992, pp. 153-162. Compressed PostScript file; pdf file. Vladik Kreinovich, Ching-Chuang Chang, Leonid Reznik, Gennady N. Solopchenko. "Inverse problems: fuzzy representation of uncertainty generates a regularization", Proceedings of NAFIPS'92: North American Fuzzy Information Processing Society Conference, Puerto Vallarta, Mexico, December 15-17, 1992, NASA Johnson Space Center, Houston, TX, 1992, pp. 418-426. Vladik Kreinovich, Chris Quintana, Leonid Reznik. "Gaussian membership functions are most adequate in representing uncertainty in measurements". Proceedings of NAFIPS'92: North American Fuzzy Information Processing Society Conference, Puerto Vallarta, Mexico, December 15-17, 1992, NASA Johnson Space Center, Houston, TX, 1992, pp. 618-625. Compressed PostScript file; pdf file. Andrew Bernat, Luis Cortes, Vladik Kreinovich, Karen Villaverde. "Intelligent parallel simulation - a key to intractable problems of information processing." Proceedings of the Twenty-Third Annual Pittsburgh Conference on Modelling and Simulation, Pittsburgh, PA, 1992, Part 2, pp. 959-969. Vladik Kreinovich, Robert Lea, Olac Fuentes, and Anatole Lokshin. "Fuzzy control is often better than manual control of the very experts whose knowledge it uses: an explanation". In: Proceedings of 1992 IEEE International Conference on Tools with Artificial Intelligence, Arlington, VA, 1992, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 180-185. Vladik Kreinovich, Andrew Bernat, Elsa Villa, and Yvonne Mariscal. "Parallel computers estimate errors caused by imprecise data", Technical Papers of the the Society of Mexican American Engineers and Scientists 1992 National Symposium, San Antonio, Texas, April 1992, pp. 192-199. Vladik Kreinovich, Chris Quintana, Robert Lea, Olac Fuentes, Anatole Lokshin, Sundeep Kumar, Inna Boricheva, and Leonid Reznik. "What non-linearity to choose? Mathematical foundations of fuzzy control", Proceedings of the 1992 International Conference on Fuzzy Systems and Intelligent Control, Louisville, KY, 1992, pp. 349-412. Compressed PostScript file; pdf file. Vladik Kreinovich, Chris Quintana, and Robert Lea. "What procedure to choose while designing a fuzzy control? Towards mathematical foundations of fuzzy control", Working Notes of the 1st International Workshop on Industrial Applications of Fuzzy Control and Intelligent Systems, College Station, TX, 1991, pp. 123-130. Compressed PostScript file; pdf file. Nilesh Nabar, Carlos Ferregut, and Vladik Kreinovich. "Methodology that combines neural and analytical models and its application to composite materials", Proceedings of the International AMSE Conference "Signals, Data & Systems", December 9-11, 1991, New Delhi, India, 1991, AMSE Press, Vol. 4, pp. 149-160. Vladik Kreinovich and Chris Quintana. "Neural networks: what non- linearity to choose?," Proceedings of the 4th University of New Brunswick Artificial Intelligence Workshop, Fredericton, N.B., Canada, 1991, pp. 627-637. Compressed PostScript file; pdf file. Vladik Kreinovich and Bassam A. Chokr. "How far are we form the complete knowledge: complexity of knowledge acquisition in Dempster-Shafer approach," Proceedings of the 4th University of New Brunswick Artificial Intelligence Workshop, Fredericton, N.B., Canada, 1991, pp. 551-561. Vladik Kreinovich and L. Olac Fuentes. "Simulation of chemical kinetics - a promising approach to inference engines," in: J. Liebowitz (ed.), Proceedings of the World Congress on Expert Systems, Orlando, Florida, 1991, Pergamon Press, N.Y., Vol. 3, pp. 1510-1517. Vladik Kreinovich, Andrew Bernat, Elsa Villa and Yvonne Mariscal. "Parallel computers estimate errors caused by imprecise data," Proceedings of the Fourth ISMM (International Society on Mini and Micro Computers) International Conference on Parallel and Distributed Computing and Systems, Washington, 1991, Vol. 1, pp. 386-390. Vladik Kreinovich and Sundeep Kumar. "Optimal choice of &- and \/-operations for expert values," Proceedings of the 3rd University of New Brunswick Artificial Intelligence Workshop, Fredericton, N.B., Canada, 1990, pp. 169-178. Vladik Kreinovich and Leonid K. Reznik, "Prospectives of using expert systems in intelligent measuring devices", Proceedings of the Workshop on Aspects of Intelligent Measurement, Sochi, USSR, 20-30 October, 1989 (in Russian). Vladik Kreinovich. "Group-theoretic approach to intractable problems," Proceedings of International Conference on Computer Logic COLOG-88, Tallinn, 1988, Vol.1, pp.31-42. Vladik Kreinovich. "How to describe certainty values: an axiomatic approach," Proceedings of the Conference on Semiotic Aspects of Formalizing Intelligent Activity, Borzhomi-88, Moscow, 1988, pp. 141-145 (in Russian). Vladik Kreinovich and Andrei M. Finkelstein. "Perspectives of using personal computers when solving creative problems in physics," Proceedings of the Conference "Dialogue on personal computers" IVERSI-85, Tbilisi, 1985, 4 pp. (in Russian). Vladik Kreinovich and Andrei M. Finkelstein. "Formalization of various methods of solving creative problems in physics," Proceedings of the Conference on Semiotic Aspects of Formalizing Intelligent Activity, Kutaisi-85, Moscow, 1985, pp. 146-149 (in Russian). Vladik Kreinovich. "Applying Wiener measure to calculations," Proceedings of the 3rd Leningrad Conference of Young Mathematicians, Leningrad University, 1974, pp. 6-9 (in Russian).

[<--] Back to Research Activities


Research Reports (Computer Science)

Vladik Kreinovich, Janos G. Hajagos, W. Troy Tucker, Lev R. Ginzburg, and Scott Ferson, Propagating uncertainty through a quadratic response surface model, Sandia National Laboratories Report, Report SAND2008-5983, November 2008. File in
pdf Ruey (Kelvin) Cheu, Vladik Kreinovich, Yi-Chang Chiu, Rong Pan, Gang Xiang, Sanjay V. Bhupathiraju, and Srinavasa Rao Manduva, Strategies for Improving Travel Time Reliability, Texas Department of Transportation, Research Report 0-5453-R2, August 2007. Scott Ferson, Vladik Kreinovich, Janos Hajagos, William Oberkampf, and Lev Ginzburg, Experimental Uncertainty Estimation and Statistics for Data Having Interval Uncertainty, Sandia National Laboratories, Report SAND2007-0939, May 2007. File in pdf Vladik Kreinovich, "Interval approach", In: Proceedings of the Los Alamos National Laboratory (LANL) Uncertainty Quantification Workshop, Los Alamos, New Mexico, June 6-7, 2006, Technical Report LA-UR-05-8071, November 2005, pp. 320-353. Ronald R. Yager and Vladik Kreinovich, Entropy Conserving Probability Transforms and the Entailment Principle, Iona College, Machine Intelligence Institute, Technical Report MII-2518, September 2005. File in pdf Updated version MII-2518R, October 2006. File in pdf Vladik Kreinovich, Gracaliz P. Dimuro, and Antonio Carlos da Rocha Costa, "From Intervals to? Towards a General Description of Validated Uncertainty", Catholic University of Pelotas, Brazil, Technical Report, January 2004. File in Compressed Postscript and pdf Scott Ferson, Vladik Kreinovich, Lev Ginzburg, David S. Myers, and Kari Sentz, "Constructing Probability Boxes and Dempster-Shafer Structures", Sandia National Laboratories, Report SAND2002-4015, January 2003. File in pdf Cliff Joslyn and Vladik Kreinovich, "Convergence properties of an interval probabilistic approach to system reliability estimation", Los Alamos National Laboratory, Technical Report LA-UR-02-6261, Los Alamos, NM, 2002. File in Compressed Postscript and pdf Masao Mukaidono, Yeung Yam, and Vladik Kreinovich, "Intervals is All We Need: An Argument", The Chinese University of Hong Kong, Department of Mechanical & Automation Engineering, Technical Report CUHK-MAE-99-005, January 1999. Postscript file. Masao Mukaidono, Yeung Yam, and Vladik Kreinovich, "Beyond [0,1] to Intervals and Further: Do We Need All New Fuzzy Values?", The Chinese University of Hong Kong, Department of Mechanical & Automation Engineering, Technical Report CUHK-MAE-99-004, January 1999. Postscript file. Vladik Kreinovich, Hung T. Nguyen, and Yeung Yam, "Fuzzy Systems Are Universal Approximators for a Smooth Function And Its Derivatives", The Chinese University of Hong Kong, Department of Mechanical & Automation Engineering, Technical Report CUHK-MAE-99-002, January 1999. Postscript file. Vladik Kreinovich and Yeung Yam, "Why Clustering in Function Approximation? Theoretical Explanation", The Chinese University of Hong Kong, Department of Mechanical & Automation Engineering, Technical Report CUHK-MAE-99-001, January 1999. Postscript file. Nuria Mata and Vladik Kreinovich, "NP-Hardness In Geometric Construction Problems With One Interval Parameter", Universitat Politecnica de Catalunya, Departament de Llenguatges i Sistemes Informatics Barcelona, Spain, Technical Report No. LSI-98-55-R, November 1998. Postscript file. Vladik Kreinovich, Hung T. Nguyen, and Yeung Yam, "Optimal Choices of Potential Functions in Fuzzy Clustering", The Chinese University of Hong Kong, Department of Mechanical & Automation Engineering, Technical Report CUHK-MAE-98-001, January 1998. Postscript file. Olga Kosheleva and Vladik Kreinovich, Error estimation for indirect measurements: Interval computation problem is (slightly) harder than a similar probabilistic computational problem, Universite Paris VI et VII, Institut Blaise Pascal, Laboratoire Formes et Intelligence Artificielle LAFORIA, Technical Report 96/24, September 1996. Vladik Kreinovich, S. Maslov's Iterative Method: 15 Years Later (Freedom of Choice, Neural Networks, Numerical Optimization, Uncertainty Reasoning, and Chemical Computing), Universite Paris VI et VII, Institut Blaise Pascal, Laboratoire Formes et Intelligence Artificielle LAFORIA, Technical Report 96/23, September 1996. File in plain TeX Brian Cloteaux, Cristophe Eick, Vladik Kreinovich, and Bernadette Bouchon-Meunier, From Ordered Beliefs to Numbers: How to Elicit Numbers Without Asking for Them (Doable but Computationally Difficult), Universite Paris VI et VII, Institut Blaise Pascal, Laboratoire Formes et Intelligence Artificielle LAFORIA, Technical Report 96/20, June 1996. Postscript file Bernadette Bouchon-Meunier, Vladik Kreinovich, Anatole Lokshin, and Hung T. Nguyen, "On the formulation of optimization under elastic constraints (with control in mind)", Universite Paris VI et VII, Institut Blaise Pascal, Laboratoire Formes et Intelligence Artificielle LAFORIA, Technical Report 94/19, October 1994. Andrew Bernat, Vladik Kreinovich, Sivakumar Natarajan, Ongard Sirisaengtaksin, Elsa Villa, "Fast polynomial algorithms that use expert error estimates for sensors to estimate the error of an indirect measurement", Center for Fuzzy Logic and Intelligent Systems Research, Texas A&M University, Technical Report CFL-93-005, July 1993, 18 pp. Vladik Kreinovich. "Main and max are the only continuous &-, \/-operations for finite logics", Center for Fuzzy Logic and Intelligent Systems Research, Texas A&M University, Technical Report CFL-93-003, January 1993, 11 pp. Vladik Kreinovich. "Fast parallel algorithms that compute transitive closure of a fuzzy relation", Center for Fuzzy Logic and Intelligent Systems Research, Texas A&M University, Technical Report CFL-93-001, January 1993, 8 pp. Hung T. Nguyen and Vladik Kreinovich, "On approximation of controls by fuzzy systems", Technical Report 92-93/302, LIFE Chair of Fuzzy Theory, Tokyo Institute of Technology, 1992. Andrei M. Finkelstein and Vladik Kreinovich. "Formal models of nonformalizable reasoning: applications to computer science," University of Bari, Italy, Department of Philosophy, Technical Report No. 7, 1989, 9 pp. Vladik Kreinovich, A. E. Yurzditsky, "Analysis of the existing expert systems for the instruments automation and designing new expert system shells for that purpose. ", Preliminary Report 1.1. for Grant No. 7550-9241-40 from the Soviet Science Foundation, USSR National Institute for Electrical Measuring Instruments, Leningrad, 1989, 210 pp. (in Russian). Alexander M. Gelfand, I. Novikov, Vladik Kreinovich, et al. "Precision characteristics for the results of processing the measured data by automatized systems: main principles," Central Research and Development Institute of Complex Automatization, Moscow, 1989, 8 pp. (in Russian). Vitaly Kozlenko, Vladik Kreinovich, and Gennady N. Solopchenko. "A method for solving ill-defined problems," Leningrad Center of Scientific and Technical Information, Leningrad, Technical Report No. 1067, 1984, 2 pp. (in Russian). Vitaly Kozlenko, Vladik Kreinovich, and Boris A. Litov. "A method of processing the contradictory experts' statements," Leningrad Center of Scientific and Technical Information, Leningrad, Technical Report No. 1071, 1984, 2 pp. (in Russian)
[<--] Back to Research Activities

Computer Science Education

Vladik Kreinovich, Ann Gates, and Olga Kosheleva, "Helping Students to Become Researchers: What We Can Gain from Russian Experience", Proceedings of the 36th ASEE/IEEE Frontiers in Education Conference FIE'2006, San Diego, California, October 28-31, 2006, pp. M3G-26 - M3G-31. File in
pdf Vladik Kreinovich, Ann Gates, and Olga Kosheleva, "Helping Students to Become Researchers: What We Can Gain from Russian Experience", Proceedings of the 2006 International Sun Conference on Teaching and Learning, El Paso, Texas, March 3-4, 2006 http://sunconference.utep.edu/SunHome/2006/proceedings2006.html File in Compressed Postscript and pdf Scott Starks, Mario Beruvides, Walter Fisher, Vladik Kreinovich, Silvia Pinon, Mary Clare Robbins, Charles Turner, and Elsa Villa, "Restructuring the freshman year in engineering at UTEP", Proceedings of the 24th IEEE Annual Frontiers in Education Conference, San Jose, CA, November 2-6, 1994, pp. 331-335.

[<--] Back to Research Activities


Research Journal Articles (Mathematical Logic)

Olga Kosheleva and Vladik Kreinovich, "Unit-distance preserving theorem is logically non-trivial", Geombinatorics, 1995, Vol. 4, No. 4, pp. 119-128. File in
Compressed Postscript and pdf Vladik Kreinovich and Olga Kosheleva, "An application of logic to combinatorial geometry: how many tetrahedra are equidecomposable with a cube?". Mathematical Logic Quarterly, 1994, Vol. 40, No. 1, pp. 31-34. File in Compressed Postscript and pdf Vladik Kreinovich and Urs Oswald. "A decision method for the universal theorems of Quine's New Foundations," Zeitschrift fur Mathematische Logik und Grundlangen der Mathematik, 1982, Bd. 28, S. 181-187. Olga M. Kosheleva and Vladik Kreinovich. "What can physics give to constructive mathematics," Mathematical Logic and Mathematical Linguistics, Kalinin, 1981, pp. 117-128 (in Russian). Vladik Kreinovich. "What does the law of the excluded middle follow from?," Proceedings of the Leningrad Mathematical Institute of the Academy of Sciences, 1974, Vol. 40, pp.37-40 (in Russian), English translation: Journal of Soviet Mathematics, 1977, Vol. 8, No. 1, pp. 266-271. Vladik Kreinovich, "Constructivization of the notions of epsilon- entropy and epsilon-capacity," Proceedings of the Leningrad Mathematical Institute of the Academy of Sciences, 1974, Vol. 40, pp. 38-44 (in Russian), English translation: Journal of Soviet Mathematics, 1977, Vol. 8, No. 3, pp. 271-276.

[<--] Back to Research Activities


Research Book Chapters (Applied Mathematics)

Benjamin C. Flores, Vladik Kreinovich, and Roberto Vasquez, "Signal design for radar imaging in radar astronomy: genetic optimization", In: Dipankar Dasgupta and Zbigniew Michalewicz (eds.), Evolutionary Algorithms in Engineering Applications, Springer-Verlag, Berlin-Heidelberg, 1997, pp. 406-423.
File in LaTeX, uses epsf.tex, f1.eps, f2.eps, f3.eps, f4.eps, f5.eps, and f6.eps. Andrei I. Gerasimov and Vladik Kreinovich. "On the foundations of scaling theory," Leningrad Technical University and National Research Institute for Scientific and Technical Information (VINITI), 1989, Publication No. 7661-B89, 51 pp. (in Russian). Vladik Kreinovich. "Knowledge representation for measurable quantities: group-theoretic approach," Theoretical Problems of Electrical Measuring Techniques, Proceedings of the National Institute of Electrical Measuring Instruments, Leningrad, 1989, pp. 14-22 (in Russian). Andrei I. Gerasimov and Vladik Kreinovich. "Piecewise- fractionally-linear approximation," Leningrad Polytechnical University and National Research Institute for Scientific and Technical Information (VINITI), 1988, 15 pp. (in Russian) Andrei I. Gerasimov and Vladik Kreinovich. "On the problem of optimal approximation choice for metrological characteristics," Leningrad Polytechnical University and National Research Institute for Scientific and Technical Information (VINITI), 1988, 13 pp. (in Russian). Vladik Kreinovich and Dmitri Pereverzev. "Choice of the parameters of test signals for determining amplitude-frequency characteristics of measuring transformers," Design of the Electrical Measuring Instruments, Proceedings of the National Institute of Electrical Measuring Instruments, Leningrad, 1988, pp. 49-57 (in Russian). Valery D. Mazin and Vladik Kreinovich. "An explanation of the universal character of the transformation functions y=(a ln x+b)/(c ln x+d)," Leningrad Polytechnical Institute and National Research Institute for Scientific and Technical Information (VINITI), 1988, 6 pp. (in Russian). Valery D. Mazin and Vladik Kreinovich. "An important property of fractional-linear transformation functions," Leningrad Polytechnical Institute and National Research Institute for Scientific and Technical Information (VINITI), 1988, 13 pp. (in Russian). Gennady N. Solopchenko, Vladik Kreinovich, and Vera P. Pytchenko, "Metrological standardization of the software components used of digital processing of the measurement information." The Instruction (normative document), USSR National Institute of Electrical Measuring Instruments, Leningrad, 1987 (in Russian). Gennady N. Solopchenko and Vladik Kreinovich. "Methods allowing to take a priori information into consideration when correcting measurement errors in dynamical regime," Investigations in Measurement Error Estimations, Proceedings of the National Mendeleev Metrological Institute, Leningrad, 1986, pp. 27-31 (in Russian). Igor N. Krotkov, Vladik Kreinovich and Valery D. Mazin. "Methodology of designing measuring systems, using fractionally linear transformations," Measuring Systems. Theory and Applications. Proceedings of the Novosibirsk Electrical Engineering Institute, 1986, pp. 5-14 (in Russian). Inna S. Kirillova and Vladik Kreinovich. "Approximation of experimental data in case noises in independent and dependent variables are of different nature," Design of Electrical Measuring Instruments, Proceedings of the National Institute of Electrical Measuring Instruments (VNIIEP), 1985, pp. 101-107 (in Russian). Inna S. Kirillova and Vladik Kreinovich. "Methods allowing to obtain an upper estimates of metrological characteristics on the whole measurements scale," Investigations in Metrological Problems of Measuring Systems and Measuring Devices Used in Systems, Proceedings of the National Institute of Measuring and Control Systems, Lvov, 1985, pp. 68-74 (in Russian). Vladik Kreinovich and Gennady N. Solopchenko. "Necessary and sufficient conditions for correctness of inverse problems in measuring techniques," Investigations in Methodology of Metrological Maintenance of Measuring Techniques, Proceedings of the National Institute of Measuring and Control Systems, Lvov, 1984, pp. 53-56 (in Russian). Inna S. Kirillova and Vladik Kreinovich. "Choosing lp method of calculating the shift parameter, on the basis of the applicability criterion," Metrological Maintenance of Electrical Measuring Instruments, Proceedings of the National Institute of Electrical Measuring Instruments (VNIIEP), Leningrad, 1984, pp. 91-97 (in Russian). Vladik Kreinovich and Inna S. Shadenkova. "Using confluent methods when estimating multidimensional influence function," Design of Electrical Measuring Instruments, Proceedings of the National Institute of Electrical Measuring Instruments, Leningrad, 1983, pp. 114-119 (in Russian).

[<--] Back to Research Activities


Research Journal Articles (Applied Mathematics)

Olga Kosheleva, Vladik Kreinovich, Andrei M. Finkelstein, and Steven Chan, "On geometry of radio antenna placements", Geombinatorics, 1998, Vol. 8, No. 2, pp. 46-49.
Postscript file. Vladik Kreinovich and Ilya Molchanov, "How to define an average of several sets?", Geombinatorics, 1998, Part I, Vol. 7, No. 4, pp. 123-131; Part II, 1998, Vol. 8, No. 1, pp. 160-165. File in plain TeX. Gilbert Castillo and Vladik Kreinovich, "Was Stonehenge an observatory?", Geombinatorics, 1998, Vol. 7, No. 3, pp. 83-87. File in Compressed Postscript, pdf, and plain TeX Gerhard Heindl, Vladik Kreinovich, and Bernadette Bouchon-Meunier, "Geometry of errors revisited: a natural way to vector-valued metric spaces", Geombinatorics, 1997, Vol. 7, No. 2, pp. 47-60. File in plain TeX Vladik Kreinovich, Joseph Pierluissi, and Misha Koshelev, "A new method of measuring strong currents by their magnetic fields", Computers & Electrical Engineering, 1997, Vol. 23, No. 2, pp. 121-128. File in Compressed Postscript and pdf Piotr J. Wojciechowski and Vladik Kreinovich, "On the Lattice Extensions of Partial Orders of Rings", Communications in Algebra, 1997, Vol. 25, No. 3, pp. 935-941. File in LaTeX, uses tex-set.tex Vladik Kreinovich and Andrew Bernat, "Is solar system stable? A remark", Reliable Computing, 1997, Vol. 3, No. 2, pp. 149-154. File in Compressed Postscript and pdf Vladik Kreinovich, "With what accuracy can we measure masses if we have an (approximately known) mass standard", ACM SIGNUM Newsletter, 1996, Vol. 31, No. 4, pp. 26-34. Mohamed A. Khamsi and Vladik Ya. Kreinovich, "Fixed Point Theorems for Dissipative Mappings in Complete Probabilistic Metric Spaces", Mathematica Japonica, 1996, Vol. 44, No. 3, pp. 513-520. Diane Doser, Mohamed Amine Khamsi, and Vladik Kreinovich, "Earthquakes and geombinatorics", Geombinatorics, 1996, Vol. 6, No. 2, pp. 48-54. File in plain TeX Vladik Kreinovich, "If a polynomial identity guarantees that every partial order on a ring can be extended, then this identity is true only for a zero-ring", Algebra Universalis, 1995, Vol. 33, No. 2, pp. 237-242. Daniel E. Cooke, Richard Duran, Ann Gates, and Vladik Kreinovich, "Geombinatoric problems of environmentally safe manufacturing and linear logic", Geombinatorics, 1994, Vol. 4, No. 2, pp. 36-47. File in Compressed PostScript, and in pdf Vladik Kreinovich. "How to represent measurement errors? geombinatoric approach", Geombinatorics, 1994, Vol. 4, No. 1, pp. 17-22. Vladik Kreinovich, Richard Watson, "How difficult is it to invent a non-trivial game?", Cybernetics and Systems, 1994, Vol. 25, No. 4, pp. 629-640. File in Compressed PostScript, and in pdf Vladik Kreinovich, Gennadii N. Solopchenko, "Canonical-parameter estimation for instrument complex frequency response", Izmeritel'naya Tekhnika, 1993, No. 9, pp. 11-14 (in Russian); English translation: Measurement Techniques, 1993, Vol. 36, No. 9, pp. 968-972. Olga Kosheleva, Vladik Kreinovich, and Andrei Gerasimov. "Geometry of emotions revisited: why do emotions form a circle?", Cybernetics and Systems, 1993, Vol. 24, No. 6, pp. 547-565. Vladik Kreinovich, Andrew Bernat, Olga Kosheleva, and Andrei Finkelstein. "Interval estimates for closure phase and closure amplitude imaging in radio astronomy", Interval Computations, 1992, No. 2(4), pp. 51-71. Olga M. Kosheleva and Vladik Kreinovich. "Algorithmic problems of nontransitive (SSB) utilities," Mathematical Social Sciences, 1991, Vol. 21, pp. 95-100. Inna S. Kirillova, Vladik Kreinovich, and Gennady N. Solopchenko. "Distribution-independent estimators of error characteristics of measuring instruments," Izmeritelnaya Tekhnika, 1989, No.7, pp. 5-8 (in Russian), English translation: Measurement Techniques, 1989, Vol. 32, No. 7, pp. 621-627. Igor N. Krotkov, Vladik Kreinovich and Valery D. Mazin. "General form of measurement transformations which admit the computational methods of metrological analysis of measuring- testing and measuring-computing systems," Izmeritelnaya Tekhnika, 1987, No. 10, pp. 8-10 (in Russian); English translation: Measurement Techniques, 1987, Vol. 30, No. 10, pp. 936-939.

[<--] Back to Research Activities


Research Conference Papers (Applied Mathematics)

Jorge Luis Mora, Benjamin C. Flores, and Vladik Kreinovich. "Suboptimum binary phase code search using a genetic algorithm", In: Satish D. Udpa and Hsui C. Han (eds.), Advanced Microwave and Millimeter-Wave Detectors, Proceedings of the SPIE/International Society for Optical Engineering, Vol. 2275, San Diego, CA, 1994, pp. 168-176. Benjamin C. Flores, Alberto Ugarte, and Vladik Kreinovich. "Choice of an entropy-like function for range-Doppler processing", Proceedings of the SPIE/International Society for Optical Engineering, Vol. 1960, Automatic Object Recognition III, 1993, pp. 47-56. Vladik Kreinovich and Gennady N. Solopchenko. "Robust methods for correcting errors (in dynamical regime) and for solving identification equations," Proceedings of the 4th National Symposium on Dynamical Measurements, Leningrad, 1984, pp. 67-70 (in Russian).

[<--] Back to Research Activities


Research Reports (Applied Mathematics)

Olga M. Kosheleva, Vladik Kreinovich. "A Hierarchic Analog of von Neumann-Morgenstern Solution Always Exists" Pool -Listing Service in Game Theory, Institute of Mathematical Economics, Bielefeld, Germany, December 1990, Report No. 90-26. Vladik Kreinovich. "Paradoxes of Love: Game-Theoretic Explanation". Pool- Listing Service in Game Theory, Institute of Mathematical Economics, Bielefeld, Germany, September 1990, Report No. 90-16. Olga M. Kosheleva, Vladik Kreinovich, and Karen Villaverde. "A Polynomial-Time Algorithm for Calculating the Shapley Vector (Monte-Carlo Method)," Pool - Listing Service in Game Theory, Institute of Mathematical Economics, Bielefeld, Germany, September 1990, Report No. 90-18.

[<--] Back to Research Activities


Research Book Chapters (Gravity, Astrophysics, Quantum Physics, and Geometry)

Andrei M. Finkelstein, Vladik Kreinovich, and Roman R. Zapatrin. "Fundamental physical equations uniquely determined by their symmetry groups," Lecture Notes in Mathematics, Springer-Verlag, Berlin-Heidelberg-N.Y., Vol. 1214, 1986, pp. 159-170. Vladik Kreinovich and Andrei M. Finkelstein. "Are scientific revolutions inevitable: pro and contra," Methodological Problems of the Interaction between Social, Natural and Technical Sciences, Nauka Publishers, Moscow, 1981, pp. 240-254 (in Russian). Vladik Kreinovich. "Categories of space-time models". A Ph. D. dissertation. Novosibirsk, Soviet Academy of Sciences, Siberian Branch, Institute of Mathematics, 1979, (in Russian)

[<--] Back to Research Activities


Research Journal Articles (Gravity, Astrophysics, Quantum Physics, and Geometry)

Scott A. Starks, Olga Kosheleva, and Vladik Kreinovich, "Kaluza-Klein 5D Ideas Made Fully Geometric", International Journal of Theoretical Physics, 2006, Vol. 45, No. 3, pp. 589-601. File in
Compressed PostScript and in pdf Vladik Kreinovich, "Strong equivalence principle contradicts to observations", Gravitacija (in Russian; to appear). Vladik Kreinovich, "On the influence of cosmology on celestrial mechanical effects", Gravitacija (in Russian; to appear). Takeshi Yamakawa and Vladik Kreinovich, "Why Fundamental Physical Equations Are of Second Order?", International Journal of Theoretical Physics, 1999, Vol. 38, No. 6, pp. 1763-1770. File in PostScript and in pdf Vladik Kreinovich and Luc Longpre, "Why Kolmogorov Complexity in Physical Equations", International Journal of Theoretical Physics, 1998, Vol. 37, No. 11, pp. 2791-2801. File in PostScript. Roman R. Zapatrin and Vladik Kreinovich, "An operationalistic reformulation of Einstein's equivalence principle", Gravitacija, 1997, Vol. 3, No. 2, pp. 51-59 (in Russian). PostScript file. Vladik Kreinovich and Luc Longpre, "Nonstandard (Non-sigma-Additive) Probabilities in Algebraic Quantum Field Theory", International Journal of Theoretical Physics, 1997, Vol. 36, No. 7, pp. 1601-1615. File in LaTeX, in Compressed PostScript, and in pdf. Vladik Kreinovich and Piotr Wojciechowski, "Geometric approach to quark confinement", Geombinatorics, 1997, Vol. 7, No. 1, pp. 9-24. File in plain TeX, in Compressed PostScript, and in pdf. Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich, "Astrogeometry: towards mathematical foundations", International Journal of Theoretical Physics, 1997, Vol. 36, No. 4, pp. 1009-1020. File in LaTeX, in Compressed PostScript, and in pdf. Andrei Finkelstein, Olga Kosheleva, and Vladik Kreinovich, "Astrogeometry: geometry explains shapes of celestial bodies", Geombinatorics, 1997, Vol. VI, No. 4, pp. 125-139. Compressed PostScript file; pdf file. Vladik Kreinovich and Luc Longpre, "Pure Quantum States Are Fundamental, Mixtures (Composite States) Are Mathematical Constructions: An Argument Using Algorithmic Information Theory", International Journal on Theoretical Physics, 1997, Vol. 36, No. 1, pp. 167-176. Compressed PostScript file; pdf file, File in LaTeX Vladik Kreinovich, "Space-time is `square times' more difficult to approximate than Euclidean space", Geombinatorics, 1996, Vol. 6, No. 1, pp. 19-29. File in pdf Vladik Kreinovich and Luc Longpre, "Unreasonable effectiveness of symmetry in physics", International Journal of Theoretical Physics, 1996, Vol. 35, No. 7, pp. 1549-1555. file in pdf Vladik Kreinovich, "Causality explains why spatial and temporal translations commute: a remark", International Journal of Theoretical Physics, 1996, Vol. 35, No. 3, pp. 693-695. file in pdf Vladik Kreinovich, "Symmetry characterization of Pimenov's spacetime: a reformulation of causality axioms", International Journal of Theoretical Physics, 1996, Vol. 35, No. 2, pp. 341-346. file in pdf Vladik Kreinovich. "Approximately measured causality implies the Lorentz group: Alexandrov-Zeeman result made more realistic". International Journal of Theoretical Physics, 1994, Vol. 33, No. 8, pp. 1733-1747. Compressed PostScript file; pdf file. Olga Kosheleva, Vladik Kreinovich, and Ricardo Labiaga. "Inter-stellar travel and simple geometrical combinatorics: how many trajectory corrections are necessary?" Geombinatorics, 1994, Vol. 4, No. 4, pp. 129-136. Compressed PostScript file; pdf file. Vladik Kreinovich. "Is 3K radiation of cosmological origin or it is a mixture of radiations of small sources?". Comments on Astrophysics, 1993, Vol. 16, No. 5, pp. 279-286. Compressed PostScript file; pdf file. Vladik Kreinovich. "Only particles with spin <=2 are mediators for fundamental forces: why?" Physics Essays, December 1992, Vol. 5, No. 4, pp. 458-462. Compressed PostScript file; pdf file. Anna A. Vakulenko and Vladik Kreinovich. "Physico-geometrical investigation of brittle fracture during creep," Prikladnaya Matematika i Mekhanika, 1989, Vol. 53, No. 5, pp. 837-844 (in Russian); English translation: Journal of Applied Mathematics and Mechanics, 1989, Vol. 53, No. 5, pp. 660-665. Andrei M. Finkelstein and Vladik Kreinovich. "The singularities in quantum cosmology," Astrophysics and Space Science, 1987, No. 1, pp. 73-76. Anna A. Vakulenko and Vladik Kreinovich. "A geometrical model of brittle fracture under creep," Prikladnaya Matematika i Mekhanika, 1987, Vol. 51, No. 2, pp. 341-345 (in Russian); English translation: Journal of Applied Mathematics and Mechanics, 1987, Vol. 51, No. 2, pp. 265-268. Yuri V. Lagovier, Vladik Kreinovich, and N. B. Rashkovskaya. "Mathematical model of fragmentation kinetics upon granulation of finely dispersed materials by the mixing method in a high-speed horizontal rotor continuous-action apparatus," Zhurnal Prikladnoi Khimii, 1987, Vol. 60, No. 8, pp. 1781-1788 (in Russian); English translation: Journal of Applied Chemistry, 1987, Vol. 60, No. 8, pt. 1, pp. 1661-1667. S. N. Pandey, Andrei M. Finkelstein, and Vladik Kreinovich. "Birkhoff theorem in a metric theory of gravitation," Progress in Theoretical Physics, 1983, Vol. 70, No. 3, pp. 883-885. Andrei M. Finkelstein, Vladik Kreinovich and S. N. Pandey. "Relativistic reductions for radiointerferometric observables," Astrophysics and Space Science, 1983, Vol. 94, pp. 233-247. Andrei M. Finkelstein, Olga M. Kosheleva and Vladik Kreinovich. "On the uniqueness of image reconstruction from the amplitude of radiointerferometric responses," Astrophysics and Space Science, 1983, Vol. 92, No. 1, pp. 31-36. Piet G. Vroegindeweij, Vladik Kreinovich, and Olga Kosheleva. "From a connected, partially ordered set of events to a field of time intervals," Foundations of Physics, 1980, Vol. 10, No. 5/6, pp. 469-484 Olga M. Kosheleva and Vladik Kreinovich. "A letter on maximum entropy method," Nature, 1979, Vol. 281, No. 5733 (Oct. 25), pp. 708-709 Alexander F. Dravskikh, Olga M. Kosheleva, Vladik Kreinovich, and Andrei M. Finkelstein. "Optimization of the procedure for measuring arcs by radiointerferometry," Pisma v Astronomichesky Zhurnal, 1979, Vol. 5, No. 8, pp. 422-425 (in Russian); English translation: Soviet Astronomy Letters, 1979, Vol. 5, No. 4, pp. 227-228. Alexander F. Dravskikh, Olga M. Kosheleva, Vladik Kreinovich, and Andrei M. Finkelstein. "The method of arcs and differential astrometry," Pisma v Astronomichesky Zhurnal, 1979, Vol. 5, No. 6, pp. 300-303 (in Russian); English translation: Soviet Astronomy Letters, 1979, Vol. 5, No. 3, pp. 160-162. Piet G. Vroegindeweij, Vladik Kreinovich, and Olga Kosheleva. "An extension of a theorem of A. D. Alexandrov to a class of partially ordered fields," Proceedings of the Royal Academy of Science of Netherlands, 1979, Vol. 82(3), Series A, September 21, pp. 363-376. Vladik Kreinovich, Robert Sine. "Remarks on billiards," American Mathematical Monthly, 1979, Vol. 86, No.3, pp. 204-206. K. S. Bharma, Andrei M. Finkelstein, Lev E. Gurevich and Vladik Kreinovich. "The naked singularity in the scalar-tensor gravitation theory," Astrophysics and Space Science, 1978, Vol. 57, No. 2, pp. 371-380. Vladik Kreinovich. "Derivation of the Schroedinger equations from scale invariance," Teoreticheskaya i Mathematicheskaya Fizika, 1976, Vol. 26, No. 3, pp. 414-418 (in Russian); English translation: Theoretical and Mathematical Physics, 1976, Vol. 8, No. 3, pp. 282-285. Vladik Kreinovich. "On the problem of recovering the psi- function in non-relativistic quantum mechanics," Teoreticheskaya i Mathematicheskaya Fizika, 1976, Vol. 28, No. 1, pp. 56-64 (in Russian); English translation: Theoretical and Mathematical Physics, 1976, Vol. 8, No. 7, pp. 56-64. Andrei M. Finkelstein and Vladik Kreinovich. "Relativistic theory of moon motion," Celestial Mechanics, 1976, Vol. 13, No. 2, pp. 151-176. Vladik Kreinovich. "Gupta's derivation of Einstein equations," Soviet Academy of Sciences Doklady, 1975, Vol. 222, No. 2, pp. 319-321 (in Russian); translated into English as Soviet Physics Doklady, 1975, Vol. 20, No. 5, pp. 341-342. Vladik Kreinovich. "Influence of the possible violations of Equivalence Principle on Moon motion", Leningrad University Vestnik, 1975, No. 19, pp. 144-148 (in Russian). Vladik Kreinovich. "On the metrization problem for spaces of kinematic type", Soviet Academy of Sciences Doklady, 1974, Vol. 218, No. 6, pp. 1272-1275 (in Russian); translated into English as Soviet Mathematics Doklady, 1974, Vol. 15, pp. 1486-1490.

[<--] Back to Research Activities


Research Conference Papers (Gravity, Astrophysics, Quantum Physics, and Geometry)

Andrei M. Finkelstein and Vladik Kreinovich. "Impossibility of hardly possible events: physical consequences," Abstracts of the 8th International Congress on Logic, Methodology and Philosophy of Science, Moscow, 1987, Vol. 5, Pt. 2, pp. 25-27. Wayne H. Cannon, D. Lisewski, Andrei M. Finkelstein, and Vladik Kreinovich. "Relativistic effects in Earth based and cosmic long baseline interferometry," Proceedings of the IAU Symposium 114 "Relativity in Celestial Mechanics and Astrometry", Reidel, Dordrecht-Boston-Lancaster-Tokyo, 1986, pp. 255-268. Andrei M. Finkelstein and Vladik Kreinovich. "Derivation of Einstein's, Brans-Dicke and other equations from group considerations," On Relativity Theory. Proceedings of the Sir Arthur Eddington Centenary Symposium, Nagpur India 1984, Vol. 2, Choque-Bruhat, Y.; Karade, T. M. (eds), World Scientific, Singapore, 1985, pp. 138-146. Vladik Kreinovich and Andrei M. Finkelstein. "Relativistic corrections for very long baseline measurements of sources coordinates," Problems of Modern Astrometry: Designing an Inertial Coordinate System, Proceedings of the 21th National Astrometric Conference, Tashkent, Fan Publishers, 1981, pp. 287-292 (in Russian). Alexander Dravskikh, Andrei M. Finkelstein and Vladik Kreinovich. "Astrometric and geodetic applications of VLBI "arc method"," Modern Astrometry, Proceedings of the IAU Colloquium No. 48, Vienna, 1978, pp. 143-153.

[<--] Back to Research Activities


Research Reports (Gravity, Astrophysics, Quantum Physics, and Geometry)

Andrei M. Finkelstein and Vladik Kreinovich. "On Cauchy problem in scalar-tensor theory of gravitation," Special Astrophysical Observatory, Leningrad, Technical Report No. 50L, 1988, 8 pp. Andrei M. Finkelstein and Vladik Kreinovich. "Newtonian interpretation of harmonic coordinates in static spaces of general relativity", Special Astrophysical Observatory, Leningrad, Technical Report No. 18L, 1985, 7 pp. (in Russian). Olga M. Kosheleva and Vladik Kreinovich. "On the problem of measurement in quantum mechanics," Research Reports in Philosophy of Physics, University of Toronto, Ontario, Canada, Department of Philosophy, No. 6, 1979, 15 pp. Piet G. Vroegindeweij, Vladik Kreinovich, and Olga Kosheleva. "Note on a physical application of the main theorem of chronogeometry," Technological University, Eindhoven, Netherlands, 1979, 7 pp. Olga M. Kosheleva and Vladik Kreinovich. "On the Algorithmic Problems of a Measurement Process," Research Reports in Philosophy of Physics, University of Toronto, Ontario, Canada, Department of Philosophy, No. 5, 1978, 63 pp. Olga M. Kosheleva and Vladik Kreinovich. "Derivation of the probabilistic character of physics from fundamental assumptions," Research Notes in Philosophy of Physics, University of British Columbia, No. 4, 1978, 5 pp. Olga M. Kosheleva and Vladik Kreinovich. "A strengthening of a theorem by Kochen and Specker," Research Notes in Philosophy of Physics, University of British Columbia, No. 3, 1978, 2 pp. Olga M. Kosheleva and Vladik Kreinovich. "Algebraic analysis of the notions of elementary and composite particles," Research Notes in Philosophy of Physics, University of British Columbia, No. 2, 1978, 4 pp. Olga M. Kosheleva and Vladik Kreinovich. "Prime ideal theorem and the problem of completeness of a physical theory," Research Notes in Philosophy of Physics, University of British Columbia, No. 1, 1978, 4 pp. Nikolai Gromov, Vladik Kreinovich, and Revolt I. Pimenov. "Curves in kinematic spaces and relevant problems of physics and cosmology," Soviet Academy of Sciences, Komi Branch Technical Report No. 22, Syktyvkar, 1976 (in Russian).

[<--] Back to Research Activities


Personalia

Vladik Kreinovich, "Chronogeometry seminar after 1974", In: A. K. Guts, Chronogeometry: Axiomatic Relativity Theory, Omsk University Press, Omsk, 2008, pp. 283-290 (in Russian).

[<--] Back to Research Activities


Educational Activities

Totally, 62 students received their Master's Degree under my supervision, and 6 students received their Ph.D.

Master's Degrees

Jaime Nava, "Towards More Reliable Extrapolation Algorithms, with Applications to Organic Chemistry", University of Texas at El Paso, 2009.
file in pdf Gilbert Ornelas, "Set-Valued Extensions of Fuzzy Logic: Classification Theorems", University of Texas at El Paso, 2007. file in pdf J. Ivan Vargas, "Fast Algorithms for Computing Odd Moments in Statistical Analysis of Privacy-Related Interval Data", University of Texas at El Paso, 2007. Sanjeev Chopra, "Affine arithmetic-type techniques for handling uncertainty in expert systems", University of Texas at El Paso, 2005. file in pdf Asis Nayak, "Outlier detection under interval uncertainty in privacy-protected statistical databases", Master project, University of Texas at El Paso, 2004. Raj Kandathi, "Estimating Covariance under Interval Uncertainty in Privacy-Protected Statistical Databases", University of Texas at El Paso, 2004. Kavitha Tupelly, "Checking if There Exists a Monotonic Function that is Consistent with the Measurement Results", University of Texas at El Paso, 2004. Joseph E Adidhela, "Using FFT-based Data Processing Techniques to Characterize Asphaltic Concrete Mixtures", University of Texas at El Paso, 2004. Dong Zhang, "Optimality under Uncertainty and its Application to Automatic Non-Destructive Testing of Concrete", University of Texas at El Paso, 2004. Roberto Araiza, "Optimal FFT-Based Algorithms for Referencing Multi-Spectral Images", University of Texas at El Paso, 2003. Roberto Torres, "Eliminating Duplicates under Interval and Fuzzy Uncertainty: An Asymptotically Optimal Algorithm and its Geospatial Applications", University of Texas at El Paso, 2003. Praveen Patangay, "Outlier Detection Under Interval Uncertainty: Algorithmic Solvability and Computational Complexity". University of Texas at El Paso, 2003. Sanjaya Das, "Search engines for XML-based websites", University of Texas at El Paso, 2003. Sreenath Srikrishnan, "Referencing noisy images: complexity of the problem, analysis and efficient implementation of the Fast Fourier approach", University of Texas at El Paso, 2002. Bharat C. Mulupuru, "Differentiating between angular and smooth shapes in noisy computer images, on the example of non-destructive testing of aerospace structures", University of Texas at El Paso, 2002. Jesus Martinez, "Towards more realistic (e.g. non-associative) `and'- and `or'-operations in fuzzy logic", University of Texas at El Paso, 2002. Kiran Patel, "Non-Binary fuzzy logical operations: why they are needed in expert systems and how they are related to traditional binary logic", University of Texas at El Paso, 2002. Seetharami R. Seelam, "Intelligent outlier detection and information fusion methods for noisy images, with applications to structural integrity of aerospace structures", University of Texas at El Paso, 2002. Rajesh Saini, "Kolmogorov complexity for probabilistic computations: towards resource bounded Kolmogorov complexity for quantum computing", University of Texas at El Paso, 2002. file in pdf Lakshmi Potluri, "Correlation techniques for information fusion", University of Texas at El Paso, 2002. Jan Beck, "An optimal combination of interval computations and traditional linearization, with an application to gravity databases", University of Texas at El Paso, 2001. Su Wang, "A new method of selecting the optimal neural network and its application to non-destructive evaluation of pavements", University of Texas at El Paso, 2000. Ivette Sierra, "Geometric foundations for the uniqueness of the FFT-based image mosaicking, with the application to detecting hidden text in web images", University of Texas at El Paso, 2000. Yohans Mendoza, "Towards mathematical foundations of information retrieval with application to fault detection in aerospace structures", University of Texas at El Paso, 2000. Murali Krishna, "Using symmetries to reduce the size of a fuzzy knowledge base, with an application to fault detection", University of Texas at El Paso, 1999. Steve Gibson, "An optimal FFT-based algorithm for mosaicking images", University of Texas at El Paso, 1999. Martin Schmidt, "Detecting text in web images: a complexity-based approach", University of Texas at El Paso, 1999. Zhibao Hu, "Best segments in representing contours", University of Texas at El Paso, 1998. Emilio Sanchez, "A modified learning algorithm that prevents instability frequently found in FIR back-propagation neural networks", University of Texas at El Paso, 1998. Brian Cloteaux, "On the Computational Power of Using Chemical Reactions", University of Texas at El Paso, 1996. Patrick Kahl, "Solving Narrow-Interval Linear Equation Systems Is NP-Hard", University of Texas at El Paso, 1996. Leticia Chee, "Computing the Value of a Boolean expression with intervals is NP-hard", University of Texas at El Paso, 1996. Manoranjan Baral, "Incorporating deadlines in Internet message traffic", University of Texas at El Paso, 1995. Srinandan Hullahalli, "Why fractionally linear formulas work well in adaptive fuzzy control?", University of Texas at El Paso, 1994. Raul Antonio Trejo Ramirez, "An improved rating system: its foundations and computational problems", University of Texas at El Paso, 1994. Luis Alfredo Cortes. "Calculating belief probabilities and intervals", University of Texas at El Paso, 1994. Nancy Strickland. "What can we compute if we use computational devices based on non-Newtonian physical phenomena: Church's thesis revisited", University of Texas at El Paso, 1994. Dana Tolbert. "Finding `and' and `or' operations that are least sensitive to change in intelligent control", University of Texas at El Paso, 1994. Sridharan Thamotharan. "Prediction paradox: neural network - a possible application to the economic prediction", University of Texas at El Paso, 1993. Navdeep Singh Chadha. "Computer vision and fractal dimension", University of Texas at El Paso, 1993. Devanand Addagatla. "How to train a space-time neural network: backpropagation approach", Master Project, University of Texas at El Paso, 1993. Karen Villaverde. "Linear-time algorithm that locates local maxima and minima of a function from given approximate measurement results", University of Texas at El Paso, 1993. Carlos Sandoval. "A modified learning algorithm for backpropagation networks", University of Texas at El Paso, 1993. Ricardo Diaz. "Maxneuron neural networks." University of Texas at El Paso, 1993. Joseph Lorkowski. "Analysis of the properties of a function based on approximate measurement results using semantic domains and interval methods." University of Texas at El Paso, 1993. Julio Pena. "Fast rotation of a 3D image about an arbitrary line." University of Texas at El Paso, 1993. Nitin Nilkanth Okade. "A real time algorithm for fractal analysis and its application to an early detection of epileptic seizures." University of Texas at El Paso, 1993. Sunil Kamat. "Efficient spare allocation for restructrable VLSI RAM chips." University of Texas at El Paso, 1993. Prakash Narasimhamurthy. "Application of intelligent control to congestion in computer networks". University of Texas at El Paso, 1992. Sukanya Krishnamurthy. "Robust statistical methods in computer vision", University of Texas at El Paso, 1992. Ketan Shah. "A fractionally linear method to decrease window size in the case of congestion in computer networks", University of Texas at El Paso, 1992. Ching-Chuan Chang. "Fast algorithm that estimates the precision of indirect measurements", Master Project, University of Texas at El Paso, 1992. Liz Kamoroff. "How to extract knowledge from an expert so that his effort is minimal", Master Project, University of Texas at El Paso, 1992. Chi-Cheng Chang."Comparison of different fuzzy control algorithms based on computer simulation of car back-parking problem", University of Texas at El Paso, 1992. Monu Pradhan-Advani. "Catastrophe theory and congestion in computer networks", University of Texas at El Paso, 1992. Jaswinder Singh Chadha. "An automated system for inspection of solder joints using machine vision", University of Texas at El Paso, 1991. Nilesh Nabar. "Methodology that combines neural and analytical models and its application to composite materials", University of Texas at El Paso, 1991. Dharmendran Rajendran. "Application of discrete optimization techniques to the diagnostics of industrial systems", University of Texas at El Paso, 1991. Luis Olac Fuentes. "Applying uncertainty formalisms to well- defined problems: experimental and theoretical foundations", University of Texas at El Paso, 1991. Sergei Shukeilo. "A new probabilistic approach to the knapsack problem", Leningrad Electrotechnical Institute, 1988. Vera P. Pytchenko. "Estimating dynamic errors: general methods; applications to the new superprecise computer-controlled laser- based National temperature standard", Leningrad Polytechnical Institute, 1987. Roman R. Zapatrin. "Equivalence principle in the presence of physical fields: precise mathematical formalization, applications to the problem of choosing equations in curved space-time", Leningrad University, 1983. Tatiana Medvedeva. "Mathematical formalization of heuristic geometric methods of physics", Leningrad University, 1981. Svetlana Koshnyakova. "Algorithms of local differential geometry", Leningrad University, 1981.

Ph.D. Degree Students

Roberto Araiza, "The Use of Interval-Related Expert Knowledge in Processing 2D and 3D Data, with an Emphasis on Applications to Geosciences and Biosciences", Department of Computer Science, University of Texas at El Paso, 2007. file in pdf Gang Xiang, "Fast Algorithms for Computing Statistics under Interval Uncertainty, with Applications to Computer Science and to Electrical and Computer Engineering", Department of Computer Science, University of Texas at El Paso, 2007. file in pdf Jan Beck, "Data Processing under a Combination of Interval and Probabilistic Uncertainty and Its Application to Earth and Environmental Studies and Engineering", Department of Computer Science, University of Texas at El Paso, 2004. Fariba Ansari, "Determination of dynamic elastic constants of transversely isotropic materials using computer programs", Material Science Program, University of Texas at El Paso, 2003. Raul A. Trejo, "Interval computation methods and probabilistic methods for planning and plan checking under uncertainty and incomplete information", Department of Computer Science, University of Texas at El Paso, 2001. Inna S. Kirillova. "Optimal robust algorithms for processing the measurements results in case of a priori uncertainty", 1988, Degree awarded at the meeting of the professors of the National Institute for Electromeasuring Devices, Leningrad Polytechnical Institute and Leningrad Electrotechnical Institute (These are the Leningrad Technical Universities); approved by the special meeting of the National Dissertation Committee, Moscow, USSR.

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Grants

"UBM - Institutional Undergraduate Training in Bioinformatics", National Science Foundation, $879,000, 2009-13, co-Principal Investigator. "Enhancement of Qualitative Science in Biology Curricula", National Institutes of Health, $1,291,697, 2008-13, co-Principal Investigator. "CREST Cyber-ShARE Center of Excellence: A center for sharing cyberresources to advance science and education", National Science Foundation, $4,999,889, 2007-12, co-Principal Investigator. "Application of fuzzy logic with operators in the knowledge based systems", Science and Technology Centre in Ukraine (STCU), funded by European Union, EUR 25,260, 2009-11, Collaborator. "ITR Collaborative Research: GEON: A Research Project to Create Cyberinfrastructure for the Geosciences", National Science Foundation, $892,437, 2002-07, co-Principal Investigator. "Strategies for Improving Travel Time Reliability", Texas Department of Transportation, $200,000, 2005-07, co-Principal Investigator. "Finite Element Methods in Science and Engineering", National Science Foundation, $13,220, 2006-07, co-Principal Investigator. "High Assurance Systems Infrastructure", Star Award from the University of Texas System, $465,000, 2005-06, co-Principal Investigator. "Stochastic Process Inversion Through Radar Receiver Components", Army Research Lab, $20,000, 2005-06, Principal Investigator. "Pan American Center for Earth and Environmental Studies (PACES)", National Aeronautic and Space Administration, $6,000,000, 1999-2006, co-Principal Investigator. "Enhancement of Computational Biology Curricula", National Institutes of Health, $50,000, 2004-05, co-Principal Investigator. "New Physical-Statistical Methods and Models for Clutter", Army Research Lab, $27,000, 2003-04, co-Principal Investigator. "Itanium 2 Equipment Grant", Hewlett-Packard, $94,685, 2003-04, co-Principal Investigator. "Acquisition of Equipment to Support Collaboration, Multi-Disciplinary Research and Development of Reliable Software", National Science Foundation, $163,793, 2003-04, co-Principal Investigator. "Creation of a Geospatial Data System for the Transition Zone Between the Colorado Plateau and Basin & Range Provinces (Geoinformatics in Action)", National Science Foundation, $400,000, 2001-04, co-Principal Investigator. "Lamb Wave Scanning and Intelligent NDE Wide Area Aircraft Inspections", Air Force Office of Sponsored Research AFOSR, $300,000, 2000-04, co-Principal Investigator. "Personal Interface AccessGrid", Education, Outreach and Training Partnership for Advanced Computational Infrastructure EOT-PACI, $5,199.41, 2003. "SC2003 Minority Serving Institutions Participation Grant", IEEE and ACM, $1,400, 2003. "Development of Methodology to Characterize the Response of Military Systems to Battlefield Threats", Army Research Lab, $40,000, 2002-03, Principal Investigator. "SC2002 Minority Serving Instituions Participation Grant", IEEE and ACM, $1,200, 2002. "Agent development and complex plan verification under uncertainty using declarative programming", National Aeronautic and Space Administration, $150,000, 2001-02, co-Principal Investigator. "SC2001 Minority Serving Instituions Participation Grant", IEEE and ACM, $1,410, 2001. "Current trends in soft computing", U.S.-Czech Science and Technology Joint Fund, $7,920, 2001, co-Principal Investigator. "The SequenceL language and data mining", National Security Agency, $98,413, 1998-2000, Principal Investigator. "USA Training Technology Consortium and Dual Use Academic Liaison Program", United Space Alliance, 1998-2000, $5,000, Principal Investigator. "Interval Computation and Maximum Entropy Methods", United Space Alliance, $9,599, 1997-2000, Principal Investigator. "Reasoning about Actions and Plans", United Space Alliance, 1997-2000, $68,608, Principal Investigator. "An Undergraduate Laboratory for Building and Programming Mobile Robots", National Science Foundation, $40,000, 1997-2000, co-Principal Investigator. "Detection of text images in web pages", National Security Agency, $101,293, 1998-99, co-Principal Investigator. "Electrical Engineering and Computer Science Projects to Support Research at the National Solar Observatory", National Science Foundation, $39,670, 1994-97, co-Principal Investigator. "Intelligent control: which algorithm to choose", National Aeronautic and Space Administration, $62,326, 1994-96, Principal Investigator. "A center for excellence for Computer Science Education and Research", National Science Foundation, $1,543,192, 1990-95, co-Principal Investigator. "Towards combined methods of processing uncertainty in intelligent control systems", National Science Foundation, $10,000.00, 1993-94, co-Principal Investigator. "Towards a new generation of machine vision inspection systems: combining statistical and expert system approaches", A grant from the General Services Administration administered first by the Institute for Manufacturing and Materials Management, $57,967, 1991-92, co-Principal Investigator. "Uncertainty reasoning in expert systems", National Aeronautic and Space Administration, $62,326, 1990-92, Principal Investigator/Project Director. Invited to Stanford University as a co-investigator on the McCarthy Foundation grant on the analysis of relations between Philosophy and Artificial Intelligence, 1989. "Analysis of the existing expert systems for the instruments automation and designing new expert system shells for that purpose", Grant No. 7550-9241-40 from the Soviet Science Foundation, 1989, Principal Investigator. "Designing the methods that use a priori knowledge about the objects to increase precision and reliability of measurement results", Grant No. 7550-8180-40 from the Soviet Science Foundation, 1988-89, Principal Investigator. "Theoretical foundations for estimating numerical precision of software in intellectual systems for control and measurement", Grant No. 7550-8170-40 from the Soviet Science Foundation, 1988-89, Principal Investigator. "Standardizing the precision characteristics for the software, that is used in control and measurement", Grant from the Soviet National Bureau of Standards, 1988-89, co-Principal Investigator. "A computer-based real-time system for data acquisition and processing in marine geology", Grant from the Soviet Ministry of Geology, 1988-89, co-Principal Investigator. "A knowledge-based navigation system", Grant from the Soviet Ministry of Marine Industry and National Bureau of Cartography and Geodesy, Soviet Ministry of Defense, 1988-89, co-Principal Investigator. "Metrological principles for the multifunctional multiprocessor-based measuring instruments, that measure alternating current by measuring its instant values", Grant No. 7550-8198-40 from the Soviet Science Foundation, 1987-88, co-Principal Investigator. "Metrological standardization of the digital algorithms used in control and measuring systems", Grant No. 7550-6627-40 from the Soviet Science Foundation, 1986-87, Principal Investigator. "Methods of designing hardware for filtering and errors correction for dynamical measuring systems", Grant No. 2470-6117-13 from the Soviet Science Foundation, 1986-87, co-Principal Investigator. "Analysis of the present state of metrology in instruments industry and possible methods of its improvement", Grant No. 2470-6107-13 from the Soviet Ministry of Defense and Soviet Science Foundation, 1986-87, co-Principal Investigator. "Metrological analysis of the algorithms, that process the measured information and take into consideration the a priori knowledge about the measured object", Grant No. 0471-5226-40 from the Soviet Science Foundation, 1985-86, co-Principal Investigator. "Methods of correcting the errors of dynamic measurements", Grants No. 0471-4225-40 and 0471-5226-40 from the Soviet Science Foundation, 1984-86, co-Principal Investigator. "Designing an adaptive robototechnical module for highly reliable flexible automatic industrial systems", Grant No. 0107-4346-10 from the Soviet Science Foundation, 1984-86, co-Principal Investigator. "Metrological characteristics for computational algorithms used in measuring systems", Grant No. 0471-4225-40 from the Soviet Science Foundation, 1984-85, Principal Investigator. "Designing the unified complex of algorithms for metrological tests in the instruments industry", Grant No. 0471-3714-10 from the Soviet Science Foundation, 1983-84, co-Principal Investigator. "Designing the standard characteristic of the aperture error and methods for estimating these characteristics", Grant from the Soviet Science Foundation, 1983-84, co-Principal Investigator. "Automatic control system for psychological experiments", Grant No. 0471-2213-20 from the Soviet Science Foundation, 1982, co-Principal Investigator. "Automatic system for quick education of computer operators", Grant No. 0471-0212-60 from the Soviet Science Foundation, 1980-82, co-Principal Investigator.

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Society Membership, Society Offices, Editorships, Refereeing

[<--] Back to Vladik Kreinovich: Detailed Curriculum Vitae


Membership in Professional Societies

1991-present Association for Computing Machinery (ACM) 1991-present Association for Advancement of Artificial Intelligence (AAAI) 2009-present AHP Academy - Association for Decision Making 2008-present American Geophysical Union (AGU) 1978-present American Mathematical Society (AMS) 2008-present American Physical Society (APS) 2006-present Association of Mathematics Teacher Educators (AMTE) 2007-present Association for Symbolic Logic (ASL) 1998-present Biomathematics and Scientific Computations (a section of the Union of the Mathematicians in Bulgaria) 2008-present Computability in Europe Association (CiE) 1989-present European Association for Theoretical Computer Science (EATCS) 2006-present Geological Society of America (GSA) 1995-present Gesselschaft fuer Angewandte Mathematik und Mechanik (GAMM) International Association of Applied Mathematics and Mechanics 1991-present IEEE and IEEE Computer Society 2002-present IEEE Computational Intelligence Society 1992-present Interest Group in Pure and Applied Logic (in 1992-1993: Interest Group in Propositional and Predicate Logics) 2008-present International Physics and Control Society 1991-present International Quantum Structures Association (IQSA) 2006-present International Society for Imprecise Probability: Theories and Applications (SIPTA) 1992-present Neural Modeling Society 1993-present North American Fuzzy Information Processing Society (NAFIPS) 1991-present Sigma Xi, Scientific Research Society 2005-present Society for Mathematics of Uncertainty 1998-present Texas Action Group (TAG): The University of Texas Research Group for the Study of Reasoning about Actions 1992-present Upsilon Pi Epsilon (UPE), Computer Science Honor Society 1988-present Balkan Logical Society 1995-present St. Petersburg Mathematical Society, Russia 1987-89 St. Petersburg Mathematical Society, Russia 1998-present Russian Academy of Metrological Sciences (Foreign Member) 1999-present Vietnam Fuzzy Systems Society (Foreign Member) 2002-present Working Group on Interval Methods for Control, part of the IEEE Control Systems Society Technical Committee on Computer Aided Control System Design 2002-present
SCIP, Working Group on Soft Computing in Image Processing 2005-07 Association for Computing Machinery (ACM) Special Interest Group on Applied Computing SIGAPP 1989 Soviet Association for Pure and Applied Logic 1982-89 Soviet National Society on Instruments Theory 1980-84 Soviet National Association of Young Scientists

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Offices Held in Professional Societies

1995-present co-founder and co-maintainer, official Interval Computations website http://www.cs.utep.edu/interval-comp/main.html 1993-96 Association for Computing Machinery, Rio Grande Chapter, El Paso representative 1994-present Berkeley Initiative for Soft Computing, El Paso representative 1998 Biomathematics and Scientific Computations (a section of the Union of the Mathematicians in Bulgaria), co-organizer 2008-present Decision Analysis and Support (DAS), Special Interest Group (SIG) of the Berkeley Initiative for Soft Computing (BISC), Member 2003-present Fuzzy Logic and the INTernet (FLINT), Berkeley Initiative for Soft Computing (BISC), Member, International Advisory Committee 2002-present SIG Bio, Berkeley Initiative for Soft Computing (BISC) Special Interest Group on Bioinformatics, Member, Executive Committee 2000-02 SIG GrC, Berkeley Initiative for Soft Computing (BISC) Special Interest Group on Granular Computing, Chair 1997-present SIGInterval, BISC Special Interest Group in Interval Methods in Knowledge Representation, coordinator 1992-present Center for Fuzzy Logic and Intelligent Systems Research, Coordinator for University of Texas at El Paso 2007-present Vice Chair, Task Force on Extensions to Type-1 Fuzzy Sets, IEEE Computational Intelligence Society 2003-07 Chair, Task Force on Interval Computations and Fuzzy Techniques, IEEE Computational Intelligence Society 1992-present Neural Modeling Society, El Paso Coordinator 1992-93 Sigma Xi, Scientific Research Society, President of El Paso Chapter 1989 Soviet Association for Pure and Applied Logic, Leningrad Branch, Vice-President 1982-84 Soviet National Association of Young Scientists, Leningrad Branch, Vice-President

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Society Committee Membership

2007-present IEEE Computational Intelligence Society, Member of the Task Force on Extensions to Type-1 Fuzzy Sets 2007-present International Astronomical Union (IAU), member of Commission 52 "Relativity in Fundamental Astronomy" 2006-present IEEE Computational Intelligence Society; member of the AdHoc Committee to Study the Creation of the Technical Committee on Granular Computing 2004-present IEEE Computational Intelligence Society; member of the Task Force on Granular Computing 2003-present IEEE Computational Intelligence Society; member of the Fuzzy Technical Committee 2008-present Gesselschaft fuer Angewandte Mathematik und Mechanik (GAMM) International Association of Applied Mathematics and Mechanics; member of GAMM Committee on Computer-Assisted Proofs and Symbolic Computations 1996-2007 Gesselschaft fuer Angewandte Mathematik und Mechanik (GAMM); International Association of Applied Mathematics and Mechanics; member of GAMM Committee on Computer Arithmetic and Scientific Computations

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Editorships of the Journals

2008-present Member of the Editorial Board, "International Journal of Intelligent Systems Science and Technology" 2007-present Member of the Editorial Board, "Computational Technologies" 2006-present Member of the Editorial Board, "International Journal of Approximate Reasoning" 2005-present Member of the Editorial Board, "International Journal of Computational Intelligence Research" 2000-present Member of the Editorial Board, "International Journal of General Systems" 2004-present Member of the Editorial Board, "Journal of Advanced Computational Intelligence and Intelligent Informatics JACIII" 2007-present Member of the Editorial Board, "Journal of Applied Statistics and Intelligent Technology" 1998-present Member of the Editorial Advisory Board, "Journal of Intelligent and Fuzzy Systems" 2006-present Associate Editor, "Journal of Uncertain Systems" 1995-present Member of the Editorial Board, International Journal "Reliable Computing" 1996-99 Editor, application section, International Journal "Reliable Computing" 1996-present Editor, section on interval methods, "International Journal on Uncertainty, Fuzziness, and Knowledge-Based Systems" 2004-present Member of the Editorial Board, "Soft Computing Bulletin" 2009-present Member of the Editorial Board, "Soft Computing, Modeling and Simulation" 2007-present Member of the Editorial Board, "Thailand Statistician: Journal of Thai Statistical Association (TSJTSA)" 1994 Member of the Editorial Board, International Journal "Interval Computations" 1989 Member of the Editorial Board, "Proceedings of the National Research Institute of Electrical Measuring Instruments", Leningrad, USSR

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Editorships of the Special Issues of the Journals

2008 Co-editor, a special issue of International Journal of Intelligent Systems on Decision Science: Foundations and Applications, 2009, Vol. 24, No. 1; with Hung T. Nguyen 2008 Co-editor, a special issue of International Journal of Automation and Control (IJAAC) on selected papers from InTech'07, 2008, Vol. 2, No. 2/3; with Quang P. Ha and Gamini Dissanayake 2007 Co-editor, a special issue of "Journal of Advanced Computational Intelligence and Intelligent Informatics" (JACIII) on Selected Papers from InTech'2005, 2007, Vol. 11, No. 10; with Jirapun Daengdej, Pratit Santiprabhob, and Hung T. Nguyen 2007 Editor, a special issue of "Journal of Uncertain Systems" on Uncertainty, 2007, Vol. 1, No. 4. 2007 Co-editor, a special issue of "Information Sciences" on Mathematical Foundations for Intelligent Technologies, Vol. 177, No. 16; with Hung T. Nguyen and Sompong Dhompongsa 2006 Co-editor, a special issue of "Journal of Advanced Computational Intelligence and Intelligent Informatics" (JACIII) on Selected Papers from InTech'2004, Vol. 10, No. 3; with Richard Alo. 2004 Co-editor, a special issue of "Soft Computing" on Advanced Soft Computing and Its Applications, Vol. 8, No. 4; with Vilem Novak, Irina Perfilieva, and Hung T. Nguyen 2004 Co-editor, a special issue of "International Journal of Intelligent Systems" on Intelligent Technologies, Vol. 19, No. 1/2; with Hung T. Nguyen, Nadipuram S. Prasad, and Pratit Santiprabhob 2001 Co-editor, a special issue of "International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems" on Intelligent Technologies, Vol. 9, No. 6; with Nadipuram S. Prasad and Pratit Santiprabhob 1999 Co-editor, a special issue of "International Journal on Uncertainty, Fuzziness, and Knowledge-Based Systems (IJUFKS)" on Fuzzy Systems and Their Applications, Vol. 7, No. 4, with Nguyen Hoang Phuong and Ario Ohsato 1997 Co-editor, special issue of the International Journal "Annals of Mathematics and Artificial Intelligence (AMAI)" on Logic Programming, Nonmonotonic Reasoning, and Reasoning about Actions, Vol. 21, No. 2-4; with Chitta Baral and Vladimir Lifschitz 1997 Editor, a special issue of "International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems" on Interval Methods in Representing and Processing Uncertainty, Vol. 5, No. 3 1995-98 Co-editor, special issues of the International Journal "Reliable Computing" devoted to student papers: 1995, Vol. 1, No. 3; 1996, Vol. 2, No. 3; 1998, Vol. 4, No. 1; with Guenther Mayer 1994 Co-editor, a special issue of the International Journal "Interval Computations" on Parallel Computations, No. 3; with Andrew Bernat

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Editorships of Book Translations

2005 Co-editor, Russian translation of R. Hammer, M. Hocks, U. Kulisch, D. Ratz, Numerical Toolbox for Verified Computing, RHD Publ., Moscow, 2005; with Andrei N. Solovevski and Alexander G. Yakovlev

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Conference Organization

2010 International Conference on Machines, Computations, and Universality MCU'2010, Pittsburg, Pennsylvania, September 21-25, 2010 (Program Committee) 2010 13th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'2010, Dortmund, Germany, June 28 - July 2, 2010 (Program Committee) 2010 Seventh International Conference on Computability and Complexity in Analysis CCA'2010, Zhenjiang, China, June-July 2010 (Program Committee) 2010 International Symposium on Integrated Uncertainty Management And Applications, Japan Advanced Institute of Science and Technology, Ishikawa, Japan, April 9-11, 2010 (Program Committee) 2010 The Fourth International Workshop on Reliable Engineering Computing, Singapore, March 3-5, 2010 (Program Committee) 2010 3rd Annual Econometric Conference, Chiang Mai, Thailand, January 7-8, 2010 (Scientific Program Committee) 2009 8th Mexican International Conference on Artificial Intelligence MICAI'09, Guanajuata, Mexico, November 9-13, 2009 (Program Committee) 2009 International Conference on Intelligent Human-Machine Systems and Cybernetics IHMSC'09, Hangzhou, China, August 26-27, 2009 (Program Committee) 2009 World Congress of the International Fuzzy Systems Association IFSA'2009, Lisbon, Portugal, July 20-24, 2009 (International Program Committee) 2009 Sixth International Symposium on Imprecise Probability: Theories and Applications ISIPTA'09, Durham, England, UK, July 14-18, 2009 (Program Committee) 2009 Fourth International Conference on Rough Set and Knowledge Technology, Gold Coast, Australia, July 14-16, 2009 (Program Committee) 2009 2nd International Conference on Uncertainty in Structural Dynamics, Sheffield, England, UK, June 15-17, 2009 (Scientific Committee) 2009 International Joint Conference on Neural Networks IJCNN'2009, Atlanta, Georgia, June 14-19, 2009 (Program Committee) 2009 Annual International Conference of the North American Fuzzy Information Processing Society NAFIPS'09, Cincinnati, Ohio, June 14-17, 2009 (Co-Chair, Program Committee) 2009 IEEE Workshop on Hybrid Intelligent Models and Applications HIMA'09, Nashville, Tennessee, March 30 - April 2, 2009 (Program Committee) 2009 5th International Conference on Sciences of Electronic, Technologies of Information and Telecommunications SETIT'2009, Hammamet, Tunisia, March 22-26, 2009 (Program Committee) 2009 2nd International Conference on Finite Element Methods in Engineering and Science FEMTEC'2009, Lake Tahoe, California, January 5-9, 2009 (Scientific Committee) 2008 Workshop on Soft Computing in conjunction with the Tenth Pacific Rim International Conference on Artificial Intelligence PRICAI'08, Hanoi, Vietnam, December 15-19, 2008 (Program Committee) 2008 International Conference on E-Medical Systems E-Medisys'08, Sfar, Tunisia, October 29-31, 2008 (Program Committee) 2008 7th Mexican International Conference on Artificial Intelligence MICAI'08, Mexico City, Mexico, October 27-31, 2008 (Program Committee) 2008 International Multi-conference on Computer Science and Information Technology, Wisla, Poland, October 20-22, 2008 (Technical Program Committee) 2008 Ninth International Conference on Intelligent Technologies InTech'08, Samui, Thailand, October 7-9, 2008 (co-Chair, International Program Committee) 2008 1st International Conference on Security Technologies SecTech'08, Samui, Thailand, October 7-9, 2008 (International Program Committee) 2008 Mexican International Conference on Computer Science ENC'08, Mexicali, Baja California, Mexico, October 6-10, 2008 (Program Committee) 2008 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation SCAN'2008, El Paso, Texas, September 29 - October 3, 2008 (Scientific Committee) 2008 Soft Methods in Probability and Statistics SMPS'08, Toulouse, France, September 8-10, 2008 (Program Committee) 2008 Eighth International Conference on Application of Fuzzy Systems and Soft Computing ICAFS'2008, Helsinki, Finland, September 1-3, 2008 (Program Committee) 2008 1st Annual North American Simulation Technology Conference NASTEC'08, Montreal, Canada, August 13-15, 2008 (Program Committee) 2008 International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'08, Malaga, Spain, June 22-27, 2008 (Program Committee) 2008 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'08, Hong Kong, China, June 1-6, 2008 (Program Committee) 2008 Annual International Conference of the North American Fuzzy Information Processing Society NAFIPS'08, New York City, May 18-21, 2008 (Co-Chair, Program Committee) 2008 3rd International Conference on Rough Sets and Knowledge Technology RSKT'08, Chengdu, China, May 17-19, 2008 (Program Committee) 2008 Twelfth International Conference on Intuitionistic Fuzzy Sets ICIFS'2008, Sofia, Bulgaria, May 17-18, 2008 (Program Committee) 2008 International Workshop on on Interval/Probabilistic Uncertainty and Non-Classical Logics, Japan Advanced Institute of Science and Technology (JAIST), Nomi (near Kanazawa), Japan, March 25-28, 2008 (Program Committee) 2008 The 5th International Symposium on Management Engineering ISME'2008, Kitakyushu, Japan, March 15-17, 2008 (Program Committee) 2008 The Third International Workshop on Reliable Engineering Computing, Savannah, Georgia, February 20-22, 2008 (Program Committee) 2007 Eighth International Conference on Intelligent Technologies InTech'07, Sydney, Australia, December 12-14, 2007 (co-Chair, International Program Committee) 2007 The IEEE International Conference on Granular Computing
GrC'2007, Silicon Valley, California, November 2-4, 2007 (Advisory Board) 2007 5th International Conference of European Society for Fuzzy Logic and Technology EUSFLAT'2007, Ostrava, Czech Republic, September 11-14, 2007 (Program Committee) 2007 Fourth International Conference on Soft Computing, Computing with Words and Perceptions in System Analysis, Decision and Control ICSCCW'2007, Antalya, Turkey, August 27-28, 2007 (International Program Committee) 2007 Third International Conference on Natural Computation ICNC'07, Haikou, China, August 24-27, 2007 (Program Committee) 2007 International Conference on Innovative Soft Computing and Its Applications ISCIA'2007, Malaysia, August 20-22, 2007 (International Program Committee) 2007 5th International Symposium on Imprecise Probabilities and Their Applications ISIPTA'07, Prague, Czech Republic, July 16-19, 2007 (Program Committee) 2007 Annual International Conference of the North American Fuzzy Information Processing Society NAFIPS'07, San Diego, California, June 24-27, 2007 (Technical Program Committee) 2007 World Congress of the International Fuzzy Systems Association IFSA'2007, Cancun, Mexico, June 18-21, 2007 (International Technical Committee) 2007 1st International Conference on Uncertainty in Structural Dynamics USD'2007, Sheffield, UK, June 11-13, 2007 (Scientific Committee) 2007 Joint Rough Sets Symposium JRS'07, Toronto, Canada, May 14-16, 2007 (Program Committee) 2007 1st Joint NMSU/UTEP Workshop on Mathematics and Computer Science, Las Cruces, New Mexico, April 14, 2007 (Organizing Committee) 2007 IEEE Symposium on Foundations of Computational Intelligence, Honolulu, Hawaii, April 1-5, 2007 (International Program Committee) 2007 4th International Conference Sciences of Electronic, Technologies of Information and Telecommunications SETIT'2007, Hammamet, Tunisia, March 25-29, 2007 (Program Committee) 2006 9th International Conference on Information Technology CIT'2006, Bhubaneswar, India, December 18-21, 2006 (Program Committee) 2006 Seventh International Conference on Intelligent Technologies InTech'06, Taipei, Taiwan, December 12-15, 2006 (co-Chair, International Program Committee) 2006 International Conference on Software, Knowledge, Information Management and Applications SKIMA'2006, Chiang Mai, Thailand, December 12-15, 2006 (International Program Committee) 2006 International Workshop on Finite Element Methods in Science and Engineering FEM'2006, El Paso, Texas, December 11-14, 2006 (Local Organizing Committee) 2006 International Symposium on Fuzzy and Rough Sets ISFUROS’06, Santa Clara, Cuba, December 5-8, 2006 (Program Committee) 2006 The Fifth International Conference on Rough Sets and Current Trends in Computing RSCTC'2006 Kobe, Japan, November 6-8, 2006 (Program Committee) 2006 The 11th Conference Fuzzy Theory and Technology FTT'06, Kaohsiung, Taiwan, October 8-11, 2006 (Program Committee) 2006 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2006, Duisburg, Germany, September 26-29, 2006 (Scientific Committee) 2006 11th Online World Conference on Soft Computing in Industrial Applications WSC11, September 18 - October 6, 2006 (Program Committee) 2006 9th Fuzzy Days International Conference on Computational Intelligence, Dortmund, Germany, September 18-20, 2006 (Program Committee) 2006 First Thailand International Conference on 21st Century Information Technology in Mathematics Education, Chiang Mai, Thailand, September 17-20, 2006 (Organizing Committee) 2006 Soft Methods in Probability and Statistics SMPS'06, Bristol, UK, September 5-7, 2006 (Scientific Committee) 2006 13th Workshop on Logic, Language, Information and Computation WoLLIC'2006, Stanford, California, July 18-21, 2006 (Program Committee) 2006 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2006, Vancouver, Canada, July 16-21, 2006 (Program Committee) 2006 International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'06, Paris, France, July 2-7, 2006 (Program Committee) 2006 International Conference on Interval Analysis and Its Applications, Peterhof, St. Petersburg, Russia, July 1-4, 2006 (Program Committee) 2006 Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance FSSCEF'2006, St. Petersburg, Russia, June 28 - July 1, 2006 (Program Committee) 2006 International Forum "Product lifecycle management in informational environment of up-to-date enterprises" isiCAD'2006, Akademgorodok, Novosibirsk, Russia, May 29-30, 2006 (Program Committee) 2006 The Second Workshop on Reliable Engineering Computing REC'06, Savannah, Georgia, February 22-24, 2006 (Program Committee) 2005 Sixth International Conference on Intelligent Technologies InTech'05, Phuket, Thailand, December 14-16, 2005 (co-Chair, International Program Committee) 2005 International Conference on Machine Intelligence ACIDCA-ICMI'2005, Tozeur, Tunisia, November 5-7, 2005 (International Program Committee) 2005 The Berkeley Initiative in Soft Computing Special Event BISCSE'05, "Forging New Frontiers", Berkeley, California, November 2-5, 2005 (International Advisory Committee) 2005 Richard Tapia Celebration of Diversity in Computing Conference, Albuquerque, New Mexico, October 19-22, 2005 (Program Committee) 2005 10th Online World Conference on Soft Computing in Industrial Applications WSC10, September 19 - October 7, 2005 (Program Committee) 2005 Second International Conference on Computability and Complexity in Analysis CCA'2005, Kyoto, Japan, August 26-29, 2005 (Program Committee) 2005 Bioinspired System and Brain-like Architecture Workshop BISBC'05, part of the Joint Conference in Information Sciences JCIS'2005, Salt Lake City, Utah, July 21-26, 2005 (Program Committee) 2005 4th International Symposium on Imprecise Probabilities and Their Applications ISIPTA'05, Pittsburgh, Pennsylvania, July 20-23, 2005 (Program Committee) 2005 Fourth International Conference on Information and Management Sciences IMS'2005, Kunming and Dali, China, July 1-8, 2005 (Program Committee) 2005 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2005, Reno, Nevada, May 22-25, 2005 (Program Committee) 2005 Meeting of the Southwestern Section of the Mathematical Association of America (MAA), El Paso, Texas, April 1-2, 2005 (special session organizer) 2005 3rd International Conference Sciences of Electronic, Technologies of Information and Telecommunications SETIT'05, Susa, Tunisia, March 27-31, 2005 (Program Committee) 2005 Track on Reliable Computations and their Applications (RCA) at the 20th Annual ACM Symposium on Applied Computing SAC'05, Santa Fe, New Mexico, March 13-17, 2005 (Track co-Chair) 2004 International Conference on Information Technology CIT'2004, Hyderabad, India, December 20-23, 2004 (Program Committee) 2004 International Symposium on Computational Intelligent and Industrial Applications ISCIIA'2004, Haikou, China, December 20-22, 2004 (Program Committee) 2004 Asian Fuzzy Systems Society (AFSS) International Conference on Fuzzy Systems, Hanoi, Vietnam, December 14-16, 2004 (International Program Committee) 2004 Fifth International Conference on Intelligent Technologies InTech'04, Houston, Texas, December 2-4, 2004 (International Program Committee) 2004 Workshop on Deduction and Reasoning Techniques DRT'04, co-located with 9th Ibero-American Conference on Artificial Intelligence IBERAMIA'2004, November 22-23, 2004, Puebla, Mexico (International Program Committee) 2004 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2004, Fukuoka, Japan, October 4-8, 2004 (Scientific Committee) 2004 Joint 2nd International Conference on Soft Computing and Intelligent Systems and 5th International Symposium on Advanced Intelligent Systems SCIS&ISIS'2004, Yokohama, Japan, September 21-24, 2004 (International Program Committee) 2004 Second International Workshop on Web-based Support Systems WSS'2004, in conjunction with the 2004 IEEE/WIC/ACM International Conference on Web Intelligence WI'2004, Beijing, China, September 20, 2004 (Program Committee) 2004 Workshop on Reliable Engineering Computing REC'2004, Savannah, Georgia, September 15-17, 2004 (Program Committee) 2004 International Conference on Computability and Complexity in Analysis CCA'04, Lutherstadt-Wittenberg, Germany, August 16-20, 2004 (Program Committee) 2004 The Nineteenth National Conference on Artificial Intelligence AAAI'2004, San Jose, California, July 25-29, 2004 (Program Committee) 2004 International Workshop "Constraint-based Approaches and Methods of Mathematical Modelling for Intelligent CAD/CAM/CAE systems: From Methods to Applications" isiCAD'2004, Akademgorodok, Novosibirsk, Russia, June 22-24, 2004 (Program Committee) 2004 2nd International Workshop on Interval Mathematics and Constraint Propagation methods IMCP'04, Akademgorodok, Novosibirsk, Russia, June 21--24, 2004 (Program Committee) 2004 Fourth International Conference on Rough Sets and Current Trends in Computing RSCTC'2004, Uppsala, Sweden, June 1-4, 2004 (Program Committee) 2003 International Conference on Information Technology CIT'2003, Bhubaneswar, Orissa, India, December 22-25, 2003 (Program Committee) 2003 4th International Confereence on Intelligent Technologies InTech'2003, Chiangmai, Thailand, December 17-19, 2003 (International Program Committee) 2003 Second International Joint Workshop on Soft Computing for Internet and Bioinformatics FLINT-CIBI'03, Berkeley, California, December 15-18, 2003 (International Advisory Committee) 2003 3rd International Conference on Optoinformatics, St. Petersburg, Russia, October 20-24, 2003 (Program Committee) 2003 Seventh International Conference on Intuitionistic Fuzzy Sets ICIFS'2003, Sofia, Bulgaria, August 23-24, 2003 (Program Committee) 2003 Annual International Conference of the North American Fuzzy Information Processing Society NAFIPS'2003, Chicago, Illinois, July 24-26, 2003 (session co-organizer) 2003 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2003, St. Louis, Missouri, May 25-28, 2003 (program committee). 2003 Mini-Symposia on Geoinformatics: Creating Cyberinfrastructure for the Geosciences at SIAM Conference on Mathematical and Computational Issues in the Geosciences, Austin, Texas, March 17-20, 2003 (co-organizer). 2002 International Conference on Information Technology CIT'02, Bhubaneswar, India, December 21-24, 2002 (program committee) 2002 Joint 3rd International Confereence on Intelligent Technologies and 3rd Vietnam-Japan Symposium on Fuzzy Systems and Applications InTech/VJFUZZY'2002 Hanoi, Vietnam, December 3-5, 2002 (International Program Committee) 2002 10th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2002, Paris, France, September 23-27, 2002 (scientific committee) 2002 Second International Workshop on Intelligent Systems Design and Applications ISDA'02, in conjunction with the Second International Conference on Neural, Parallel and Scientific Computations NSPC'02, Atlanta, Georgia, August 7-8, 2002 (technical committee). 2002 10th Mediterranean Conference on Control and Automation MED'2002, Lisbon, Portugal, July 9-13, 2002 (session co-organizer) 2002 NAFIPS-FLINT 2002, Joint Annual International Conference of the North American Fuzzy Information Processing Society NAFIPS'2002 and International Conference on Fuzzy Logic and Internet (FLINT), New Orleans, Louisiana, June 27-29, 2002 (international advisory committee) 2002 Validated Computing 2002, SIAM Workshop, Toronto, Canada, May 23-25, 2002 (organizing committee) 2001 International Conference on Information Technology ICIT'2001, Gopalpur-on-Sea, Orissa, India, December 20-22, 2001 (program committee) 2001 Second Vietnam-Japan Bilateral Symposium on Fuzzy Systems and Applications VJFUZZY'2001, Hanoi, Vietnam, December 7-8, 2001 (International Advisory Committee) 2001 IEEE International Conference on Fuzzy Systems, Melbourne, Australia, December 2001 (technical program committee) 2001 Fifth International Conference on Intuitionistic Fuzzy Sets ICIFS'2001, Sofia, September 22-23, 2001 (program committee) 2001 Workshop on Granular Computing GrC'2001, Bangor, Wales, U.K., June 19-22, 2001 (international program committee) 2001 Symposium on Fuzzy Logic and its Applications FLA'2001, Bangor, Wales, U.K., June 19-22, 2001 (international program committee) 2000 International Conference on Information Technology ICIT'2000, Bhubaneswar, India, December 21-23, 2000 (program committee) 2000 International Conference on Intelligent Technologies, Bangkok, Thailand, December 13-15, 2000 (program committee; publicity co-chair) 2000 International Conference on Soft Computing IIZUKA'2000, Iizuka city, Fukuoka, Japan, October 1-4, 2000 (program committee) 2000 9th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'2000, Karlsruhe, Germany, September 19-22, 2000 (international steering committee) 2000 Second International Discourse "With Fuzzy Logic in the New Millenium", Mackay, Great Barrier Reef, Australia, September 18-21, 2000 (program committee) 2000 Fourth International Conference on Intuitionistic Fuzzy Sets ICIFS'2000, Sofia, September 16-17, 2000 (program committee) 2000 Annual International Conference of the North American Information Processing Society NAFIPS'00, Atlanta, Georgia, July 13-15, 2000 (program committee) 2000 6th International Conference on Applications of Computer Algebra IMACS-ACA'2000, St. Petersburg, Russia, June 25-28, 2000 (session co-organizer) 2000 Integrated Design and Process Technology Conference, Section on Process and Software Specification, Dallas, TX, June 4-8, 2000 (program committee) 2000 IEEE International Conference on Fuzzy Systems, San Antonio, Texas, May 7-10, 2000 (program committee; publicity chair) 1999 International Conference on Information Technology ICIT'99, Bhubaneswar, India, December 20-22, 1999 (program committee) 1999 Third International Conference on Intuitionistic Fuzzy Sets ICIFS'99, Sofia, Bulgaria, October 16-17, 1999 (program committee) 1999 14th IEEE International Symposium on Intelligent Control/Intelligent Systems and Semiotics ISIC/ISAS'99, Cambridge, Massachusetts, September 15-17, 1999 (session chair) 1999 International Symposium on Medical Informatics and Fuzzy Technology MIF'99, Hanoi, Vietnam, August 27-29, 1999 (program committee) 1999 Annual International Conference of the North American Information Processing Society NAFIPS'99, New York City, June 10-12, 1999 (program committee) 1999 SIAM Mini-Symposium Possible Future Directions in Applications of Interval Computations, Atlanta, Georgia, May 12-15, 1999 (co-organizer) 1999 Workshop on Applications of Interval Analysis to Systems and Control with special emphasis on recent advances in Modal Interval Analysis MISC'99, Girona, Spain, February 24-26, 1999 (program committee) 1998 Second Seminar in Medical Informatics (SMI'97), Hanoi, Vietnam, December 28-29, 1998 (program committee) 1998 Vietnam-Japan Workshop on Fuzzy Logic for Technology VJFUZZY'98, HaLong Bay, Vietnam, September 30-October 2, 1998 (International Advisory Committee). 1998 A Joint Conference on the Science and Technology of Intelligent Systems STIS'98: * IEEE International Symposium on Intelligent Control (ISIC); * International Symposium on Computational Intelligence in Robotics and Automation (CIRA), and * Intelligent Systems and Semiotics (ISAS), Gaithersburg, MD, September 14-17, 1998 (program committee) 1998 International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN'98, Budapest, Hungary, September 1998 (scientific committee) 1998 Annual International Conference of the North American Information Processing Society NAFIPS'98, Pensacola Beach, Florida, August 20-21, 1998 (program committee) 1998 SIAM Mini-Symposium Applications of Interval Computations, Toronto, Canada, July 13-17, 1998 (co-organizer) 1998 Interval'98: International Conference on Interval Methods and their Application in Global Optimization, Nanjing, China, April 20-23, 1998 (program committee) 1998 Mexican Expert Systems Interval Conference (MEXICON'98), Workshop on Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory (in conjunction with the 4th World Congress on Expert Systems) Mexico City, Mexico, March 16-20, 1998 (scientific committee) 1997 International Workshop on Intelligent Non-Destructive Evaluation (NDE) Sciences for Aging and Futuristic Aircraft, El Paso, TX, September 30-October 2, 1997 (session co-chair) 1997 International Conference on Intelligent Systems and Semiotics (ISAS'97), Gaithersburg, MD, September 22-25, 1997 (program committee) 1997 First Seminar in Medical Informatics (SMI'97), Hanoi, Vietnam, September 23-24, 1997 (program committee) 1997 SCAN-97: GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Lyon, France, September 10-12, 1997 (scientific committee) 1997 IEEE International Conference on Fuzzy Systems, Barcelona, Spain, July 1-5, 1997 (program committee). 1997 International Workshop on Computational Science and Engineering, Hefei, China, May 27-28, 1997 (member of the International Advisory Committee). 1997 Combined Workshops on Computational Complexity and Interval Computations (in conjunction with ACM Symposium on Theory of Computing STOC'97), El Paso, TX, May 6-8, 1997 (co-organizer) 1997 ACM Symposium on Theory of Computing STOC'97, El Paso, TX, May 4-6, 1997 (member, local organizing committee) 1997 NASA University Research Centers Conference, Albuquerque, NM, February 16-19, 1997 (member, program committee; session chair) 1996 9th International Symposium on Artificial Intelligence/6th International Conference on Industrial Fuzzy Control and Intelligent Systems, ISAI/IFIS 96, Cancun, Mexico, November 12-15, 1996 (sponsored by the IJCAI and AAAI) (program committee). 1996 Second SC COSMIC (South and Central Computational Science in Minority Institutions Consortium) Student Conference on Computational Science, El Paso, TX, October 25-27, 1996 (chairman, program committee) 1996 WAI'96: II Workshop on Computer Arithmetic, Interval Methods, and Symbolic Computation, Recife, Brazil, August 7-8, 1996 (program committee) 1996 SIAM Mini-Symposium Verification Theory, Techniques and Software: Components of Modern Reliable Scientific Computing, Kansas City, July 22-26, 1996 (co-organizer) 1996 Annual International Conference of the North American Information Processing Society NAFIPS'96, Berkeley, California, June 20-22, 1996 (program committee) 1996 Workshop on Interval Techniques in Computing, Modelling, Simulation and Optimization (part of IASTED International Conference Modeling, Simulation and Optimisation), Gold Coast, Australia, May 5, 1996 (advisory panel) 1996 International Discourse on Fuzzy Logic and The Management of Complexity, Sydney, Australia, January 1996 (program committee) 1995 Theories of Logic Programming, Non-Monotonic Reasoning, and their application to reasoning about Actions: The first Shell Oil Symposium, in honor of Michael Gelfond's 50th birthday, November 1995 (co-organizer) 1995 SONIC'95: Student Mini-Symposium On Interval Computations (SONIC'95), Houston, Texas, October 21-22, 1995 (chair, program committee) 1995 Applications of Interval Computations. International Workshop, El Paso, TX, February 1995 (chair, organizing committee). 1995 First SC COSMIC (South and Central Computational Science in Minority Institutions Consortium) Student Conference on Computational Science, Houston, TX, October 21-22, 1995 (member, program committee) 1994 NAFIPS/IFIS/NASA'94, San Antonio, TX, December 1994 (program committee; section chair). 1993 Third International Conference on Fuzzy Theory and Technology, November 1993 (program committee). 1993 Third International Conference on Industrial Fuzzy Control and Intelligent Systems, Houston, TX, December 1993 (panel chair). 1993 Second International Conference on Fuzzy Theory and Technology, October 1993 (program committee). 1993 5th University of Brunswick Artificial Intelligence Symposium, August 1993 (program committee). 1993 International Conference on Numerical Analysis with Automatic Results Verification, Lafayette, LA, February-March 1993 (program committee) 1993 Workshop on Interval Methods in Artificial Intelligence, Lafayette, LA, March-February 1993 (program committee). 1991 University of New Brunswick 4th Artificial Intelligence Workshop, 1991, (member of the Program Committee)

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Refereeing for Journals

2000-01 ACM Transactions on Mathematical Software 1996 American Mathematical Monthly 1996-present Annals of Mathematics and Artificial Intelligence 2005 Applications of Mathematics 2008 Applied Mathematical Modelling 2008 Artificial Intelligence Journal 1999 Automatica 2003, 2007 BIT 2005 Bulletin of the Malaysian Mathematical Sciences Society 2009 Central European Journal of Physics 2005 Computational and Applied Mathematics 2005 Computational Statistics 1999 The Computer Journal 2008 Computer Methods in Applied Mechanics and Engineering 1994-96 Computers & Electrical Engineering 1999-present Computers & Mathematics with Applications 2007 Control and Cybernetics 2003 Cubo Matematica Educational 2005, 2008 Decision Support Systems 2000-01 Entropy 2003-04, 2006 European Journal of Operational Research 2003 Environmental Management 2006 Fixed Point Theory and Applications 2004 Fundamenta Informaticae 1999-present Fuzzy Sets & Systems 2005 IEEE Transactions on Automatic Control 2006 IEEE Transactions on Biomedical Engineering 1999 IEEE Transactions on Circuits and Systems 2005-06 IEEE Transactions on Computers 1992-present IEEE Transactions on Fuzzy Systems 1992-96, 2004, 2008-09 IEEE Transactions on Neural Networks 1999-present IEEE Transactions on Systems, Man, and Cybernetics 2006 Indian Journal of Mathematics 1999 Information Processing Letters 1999-present Information Sciences 2008 International Journal of Applied Mathematics and Computer Science 1990-present International Journal of Approximate Reasoning 1992-93 International Journal of Artificial Intelligence Tools 2005-06 International Journal of Computational Intelligence Research 2009 International Journal of Control, Automation, and Systems 2000-present International Journal of General Systems 2006 International Journal of Information Technology & Decision Making 1993-present International Journal of Intelligent Systems 2007 International Journal of Intelligent Technologies and Applied Statistics 2007-08 International Journal of Reliability and Safety (IJRS) 1992-97, 2005 International Journal of Software Engineering and Knowledge Engineering 2004 International Journal of Systems Science 1997-present International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems (IJUFKS) 1993-94 Interval Computations 2005 Journal of Advanced Computational Intelligence & Intelligent Informatics (JACIII) 2005 Journal of Applied Analysis 2003-04 Journal of Applied Logic 2001 Journal of Applied Mathematics 1991-92 Journal of Experimental and Theoretical Artificial Intelligence 2006, 2009 Journal of Global Optimization 1992-present Journal of Intelligent and Fuzzy Systems 2003 Journal of Logic and Algebraic Programming 1992-96 Journal of Logic and Computation 1996-98 Journal of Logic Programming 2002-03 Journal of Reliability Engineering and System Safety 1996 Journal of Symbolic Logic 1992, 2001 Journal of Systems and Software 1997 Journal of Universal Computer Science 2001 Knowledge and Information Systems 2003, 2006, 2009 Linear Algebra and Its Applications 1998, 2004 Logic Journal of the Interest Group in Pure and Applied Logic (IGPL) 2002-04, 2006 Mathematical and Computer Modelling 2009 Neural Network World 1993-96 Neural, Parallel, and Scientific Computations. Intl. Journal 2000 Publicationes Mathematicae Debrecen 1995-present Reliable Computing 2005 Reviews in Mathematical Physics 2001 SIAM Journal on Computing (SICOMP) 2005 SIAM Journal on Matrix Analysis and Applications (SIMAX) 2004-05 Siberian Journal of Computational Mathematics 1991-96 SIGART Bulletin 2002, 2007, 2009 Soft Computing 2001-04 Studia Logica 2009 Thailand Statistician 2004 Theoretical Computer Science 2000 Vietnam Journal of Mathematics 1974-89, 2003 Zapiski: Proceedings of the St. Petersburg Mathematical Institute of the Russian Academy of Sciences 1986-89 Mathematics of the USSR. Izvestiya 1986-89 Measuring Techniques, 1978-89 Siberian Mathematical Journal

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Refereeing for Review Journals

A reviewer for "Computing Reviews", "Mathematical Reviews", and "Zentralblatt fur Mathematik"; up to 1989 a reviewer of Soviet review journals "RZhMatematika" and "New Foreign Books". Total number of published reviews more than 200 (>150 in "Mathematical Reviews"; in 1986 awarded a "Reviewer Excellence" award from the Computing Reviews.

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Refereeing Books

1995 J. Yen et al (eds.), "Industrial Applications of Fuzzy Logic and Intelligent Systems", IEEE Press, 1995.

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Refereeing for Publishers

CRC Press, IEEE Press, Kluwer Academic Publishers, Springer Verlag, World Scientific

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Refereeing for Conferences

(in addition to conferences where V. Kreinovich served on the program committee) 2009 10th International Conference on Structural Safety and Reliability ICOSSAR'2009, Osaka, Japan, September 13-17, 2009 2008 13th International Conference on Fuzzy Theory and Technology FT&T'08, Shenzhen, China, December 15-20, 2008 2008 24th International Conference on Logic Programming ICLP'2008, Udine, Italy, December 9-13, 2008 2008 Sixth EUROMECH Nonlinear Dynamics Conference, St. Petersburg, Russia, June 30 - July 4, 2008 2008 Minisymposium on High Performance Computing Interval Methods Trondheim, Norway, May 13-16, 2008 2007 International Conference of Numerical Analysis and Applied Mathematics ICNAAM'2007, Corfu, Greece, September 16-20, 2007 2007 9th IFAC Workshop Adaptation and Learning in Control and Signal Processing ALCOSP'07, St. Petersburg, Russia, August 29-31, 2007 2007 International Joint Conference on Neural Networks IJCNN'2007, Orlando, Florida, August 12-17, 2007 2007 International Symposium on Computational Aesthetics in Graphics, Visualization, and Imaging CAe'07, Banff, Alberta, Canada, June 20-22, 2007 2006 36th Annual Frontiers in Education Conference
FIE'06, San Diego, California, October 28-31, 2006 2006 Special session on Uncertain/Control Systems and Reliable Numerics at the 6-th International Conference on Numerical Methods and Applications NM&A'06, Borovets, Bulgaria, August 20-24, 2006 2006 International Joint Conference on Neural Networks IJCNN'2006, Vancouver, Canada, July 16-21, 2006 2006 21st National Conference on Artificial Intelligence AAAI'06, Boston, Massachusetts, July 16–20, 2006 2006 29th Australasian Computer Science Conference ACSC'2006 Hobart, Tasmania, Australia, January 16-19, 2006 2005 Joint 4th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT) and 11th Rencontres Francophones sur la Logique Floue et ses Applications (LFA) EUSFLAT-LFA'2005, Barcelona, Spain, September 7-9, 2005 2005 28th Australasian Computer Science Conference ACSC'2005, Newcastle, New South Wales, Australia, January 31-February 3, 2005 2004 9th Ibero-American Conference on Artificial Intelligence IBERAMIA'2004, Puebla, Mexico, November 22-26, 2004. 2004 WSEAS International Conference on Signal, Speech, and Image Processing ICOSSIP, Izmir, Turkey, September 14-16, 2004. 2004 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2004, Budapest, Hungary, July 25-29, 2004. 2004 International Joint Conference on Neural Networks IJCNN'2004, Budapest, Hungary, July 25-29, 2004. 2004 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'2004, Perugia, Italy, July 4-9, 2004. 2003 28th International Symposium on Mathematical Foundations of Computer Science MFCS'2003, Bratislava, Slovakia, August 25-29, 2003 2003 International Joint Conference on Neural Networks, Portland, Oregon, July 20-24, 2003 2003 20th International Symposium on Theoretical Aspects of Computer Science STACS'2003, Berlin, February 27 - March 1, 2003. 2003 Dagstuhl Seminar 3041 on Numerical Software with Result Verification, Dagstuhl, Germany, January 19-24, 2003. 2002 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'2002, Annecy, France, July 1-5, 2002. 2002 IEEE International Conference on Fuzzy Systems FUZZ-IEEE'2002, Honolulu, Hawaii, May 12-17, 2002. 2001 31st Annual Frontiers in Education Conference FIE-2001, Reno, Nevada, October 10-13, 2001. 2001 AAAI Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, Stanford, CA, March 26-28, 2001 2000 Mexican International Conference on Artificial Intelligence MICAI'2000, Mexico City, Mexico, April 10-14, 2000. 1999 38-th IEEE Conference on Decision and Control CDC'99, Phoenix, Arizona, December 7-10, 1999. 1999 Workshop on Applications of Interval Analysis to Systems and Control with special emphasis on recent advances in Modal Interval Analysis MISC'99, Girona, Spain, February 24-26, 1999. 1998 Mexican Expert Systems Interval Conference (MEXICON'98), Workshop on Interval Computations and its Applications to Reasoning Under Uncertainty, Knowledge Representation, and Control Theory (in conjunction with the 4th World Congress on Expert Systems) Mexico City, Mexico, March 16-20, 1998. 1997 SCAN-97: GAMM/IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Lyon, France, September 10-12, 1997. 1997 International Joint Conferences in Artificial Intelligence IJCAI'97, Nagoya, Japan, August 23-29, 1997. 1997 IEEE International Conference on Fuzzy Systems, Barcelona, Spain, July 1-5, 1997. 1996 9th International Symposium on Artificial Intelligence/6th International Conference on Industrial Fuzzy Control and Intelligent Systems, ISAI/IFIS 96, Cancun, Mexico, November 12-15, 1996. 1996 JELIA'96 - Joint European Workshop on Logic in Artificial Intelligence, Evora, Portugal, September 30 - October 3, 1996. 1996 JICSLP'96 - Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 2-6, 1996. 1996 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'96), August 9-11, 1996, Sunnyvale, CA. 1995 Applications of Interval Computations. International Workshop, El Paso, TX, February 1995. 1995 Theories of Logic Programming, Non-Monotonic Reasoning, and their application to reasoning about Actions: The first Shell Oil Symposium, in honor of Michael Gelfond's 50th birthday, November 1995 (refereeing for the proceedings) 1993 IMACS-GAMM Intl. Workshop on Validated Computations, Oldenburg, Germany, August-September 1993 (refereeing for the Proceedings). 1993 5th International Conference on Tools with Artificial Intelligence, November 1993 1993 International Joint Conference on Artificial Intelligence IJCAI-93. 1992 North American Fuzzy Information Processing Society conference (NAFIPS'92), Puerto Vallarta, Mexico 1992 4th International Conference on Tools with Artificial Intelligence, November 1992 1992 Eighth Conference on Uncertainty in Artificial Intelligence, Stanford, CA, 1992 1992 International Fuzzy Systems and Intelligent Control Conference 92, Louisville, KY 1992 4th International Conference on Software Engineering and Knowledge Engineering, 1992 1991 7th Conference on Uncertainty in Artificial Intelligence, University of California at Los Angeles, 1991

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing


Refereeing for Granting Agencies

2001, 2004-05, 2009 National Science Foundation 2009 Canada Research Chairs 2003-04, 2009 Portuguese National Science Foundation (FCT) 2004-05, 2008 U.S. Civilian Research and Development Foundation (CRDF) 2005-08 Grant Agency, Academy of Sciences of the Czech Republic 2007 Vienna Science and Technology Fund, Austria 2006 National Science and Engineering Research Council of Canada 2006 Ohio Supercomputer Center 2003-04 NASA 2004 Research Committee, City University of Hong Kong 2002 South African National Research Foundation (NRF) 2000 Science Foundation Ireland 1999 Israel Science Foundation 1993 International Science Foundation 1993 American Mathematical Society, Committee on Financial Support for former Soviet mathematicians

[<--] Back to Society Membership, Society Offices, Editorships, Refereeing