Publications in 2001 and 2002

Scientific monographs and chapters in scientific monographs

  1. Slavisa Presic, Aleksandar Krapez, History of functional equations in Serbia, to appear in Special publications of Mathematical institute Belgrade.
  2. Dragan Radojevic, Logical measure - structure of logical formula Technologies for Constructing Intelligent Systems 2, Editors B. Bouchon-Meunier, J.G.-Rios, L. Magdalena, R. Yager, Physica-Verlag, 417-429, 2002.
  3. Branimir Todorovic, Miomir Stankovic, Claudio Moraga, On-line adaptation of Recurrent Radial Basis Function Networks using the Extended Kalman Filter, Accepted for publication as the chapter of the book "Quo Vadis Machine Intelligence", Euro-International Symposium on Computational Intelligence

Phd and master theses

  1. Tatjana Timotijevic, Dokazivaci teorema (Theorem provers), master these, Prirodno-matematicki fakultet, Kragujevac, 2002.

Journal papers

  1. Dragi Bankovic, Distance in post algebras, to appear in Discrete Mathematics.
  2. P.Janicic, A.Bundy, A general setting for flexibly combining and augmenting decision procedures J automated reasoning, 28 (2002) 257-305
  3. Radomir S. Stankovic, Milena Stankovic, Reiner Creutzburg, Foundations for Applications of Gibbs Derivatives in Logic Design and VLSI, VLSI Design, Special Issue Spectral Techniques and Decision Diagrams, Vol 14, No 1, 2002, 65-82
  4. B. Petrovic, D. Skataric, S. Koskie, Convergence proof for recursive solution of linear-quadratic nash games for quasi-singularly perturbed systems, Dynamics of Continious, Discrete and Impulsive Systems, vol9, No 2, 2002, 317-333
  5. Predrag Janicic, Nenad Dedic, Goran Terzic, On Different Models for Generating Random SAT Problems, Computing and Informatics (former Computers and Artificial Intelligence), volume 20, number 5, 2001, 451-469
  6. Stojan Bogdanovic, M. Ciric, Melanija Mitrovic, Semilattices of Nil-extensions of Simple Regular Semigroups, to appear in Algebra Colloquium.
  7. Zoran Ognjanovic, Jozef Kratica, Milos Milovanovic, A genetic algorithm for satisfiability problem in a probabilistic logic: A first report, Lecture notes in computer science (LNCS/LNAI), 2143, 805 -- 816, Springer-Verlag, 2001.
  8. Dragic Bankovic, All general solutions of Presic's equation, to appear in FACTA UNIVERSITATIS Ser. Mathematics and Inf. 17, 2002,
  9. N.Stevanovic, P.Protic, BAND DECOMPOSITIONS OF ABEL-GRASSMANNS GROUPOIDS, PURE MATH & APPLICAT, 12 No 4 (2003)
  10. Dragan Radojevic, Miomir Stankovic, S. Savic, "Primena visekriterijumske analize u preventnivnom inzenjerstvu", Preventivni inzenjering, 2, 2002.

Conference papers

  1. Dragan Jankovic, Radomir S. Stankovic, Rolf Drechsler, Efficient calculation of fixed-polarity polynomial expressions for multiple-valued logic functions, Proc. 32nd Int. Symp. on Multiple-Valued Logic, Boston, Massachusetts, USA, May 15-18, 2002, 76-82
  2. M.Bradic, Some remarks on complete theory of one probability logic 37. Int sci cof of inform.commun.and energy sys.and tehni. (2002) 788-790
  3. Miomir S. Stankovic, Predrag M. Rajkovic, Sladjana D. Marinkovic, Solving Equations by q-iterative Methods and q-Sendov Conjecture, Proceedings of Conference "CONSTRUCTIVE FUNCTIONS THEORY", Varna 2002, B. Bojanov, Ed., DARBA, Sofia, 2002, 1-7, 2002.
  4. Z.Markovic, Z.Ognjanovic, M.Raskovic, A probabilistic logic based on propositional intuitionistic logic 37th int sci cof of inform.commun.and energy sys.and tehni. (2002) 784-787
  5. Dragan Radojevic, "Fuzzy preference structures based on syntactic structured and semantic convex logic", EUROFUSE 2002 Workshop on Information Systems, September 2002, 231-238, 2002
  6. Branimir Todorovic, Claudio Moraga, Miomir Stankovic, Branko Kovacevic, Nonlinear/non-Gaussian sequential estimation applied to neural networks: Theory, Workshop on Computational Intelligence and Information Technologies, XXXVII International Scientific Conference on Information, Communication and Energy Systems and Technologies, 770-772, 2002.
  7. Branimir Todorovic, Claudio Moraga, Miomir Stankovic, Branko Kovacevic, Nonlinear/non-Gaussian sequential estimation applied to neural networks: Algorithm, Workshop on Computational Intelligence and Information Technologies, XXXVII International Scientific Conference on Information, Communication and Energy Systems and Technologies, 773-775, 2002.
  8. Dragan Radojevic, M. Mirkovic, "Sintactic Structured and Semantic Convex (S3C) logic and fuzzy sets", DQM-2002 Quality Management and Dependability 2002, 396-404, 2002.
  9. Dragan Radojevic, A. Holostov, "Generalizacija preferentnih struktura", SYM-OP-IS-02, 24-27, 2002.
  10. Bratislav Petrovic, Viktor Rozgic, Dragan Radojevic, "Vizualizacija logickog integrala", SYM-OP-IS-02, 28-31, 2002.
  11. S. Stojiljkovic, Melanija Mitrovic, I. Stamenkovic, Primena entropije i teorije informacija na regulisanje bioloskih procesa, Zbornik radova 28. naucno-strucnog skupa sa medjunarodnim ucescem - HIPNEF 2002. - (461-466)
  12. Predrag M. Rajkovic, Miomir S. Stankovic, Sladjana D. Marinkovic, On Q-Iterative Methods for Equation Solving, Proceedings of the Conference of Applied Mathematics PRIM 2002, May 2002, Zlatibor, Serbia, Yugoslavia, 11-22, 2002.
  13. Branimir Todorovic, Miomir Stankovic, Claudio Moraga, Modeling non-stationary dynamic systems using recurrent radial basis function networks 6th Seminar on Neural Network Applications in Electrical Engineeering, NEUREL-2002, Faculty of Electrical Engineering, University of Belgrade, September 26-28, 2002
  14. Miomir S. Stankovic, Branimir T. Todorovic, Bojana M. Vidojkovic, Reconstruction of chaotic dynamics using structurally adaptive radial basis function networks, 6th Seminar on Neural Network Applications in Electrical Engineeering, NEUREL-2002, Faculty of Electrical Engineering, University of Belgrade, September 26-28, 2002
  15. Vladan Vuckovic, The Expert Knowledge Implementation Techniques in Geniss Axon XP Chess Application, SAER 2002, Varna, Bugarska, 2002
  16. Dragan Radojevic, "Syntactic Structured and Semantic Convex (S3C)logic", Book of abstracts FSTA2002: Fuzzy Sets Theory and Applications, 2002.
  17. Dragan Radojevic, S. Guberinic, "Application of Syntactic Structured and Semantic Convex logic in traffic management", Fuzzy Sets in Traffic and Transport Systems, Program&Abstracts, Bari, Italy, 2002
  18. Melanija Mitrovic, Classes of Semigroups Defined via Properties of Regular Parts of Their Subsemigroups, Workshop on Semigroups and Languages, November 27-29, 2002, Lisabon, Potrugal - book of abstracts.
  19. Branimir Todorovic, Miomir Stankovic, Claudio Moraga, Extended Kalman Filter trained Recurrent Radial Basis Function Network in Nonlinear System Identification, INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS, ICANN 2002 Universidad Autónoma de Madrid (UAM), August 27-30, 2002.
  20. Aleksandar Krapez, Gradimir Jankovic, Milorad Pavlovic, Vladimir Lazarevic, Djorde Vukomanovic, Rates of nucleotide substitution, mutation at locus and the 'beanbag' gene number in man, XV Conference on Applied Mathematics, PRIM 2002, Abstracts, (Mathematics in medicine and pharmacy, satelite conference), University of Novi Sad, Novi Sad, str. 33, 2002.

Software

  1. Zoran Ognjanovic, Miodrag Raskovic, Vladimir Petrovic, Verlog, authomated satisfiability checker in probabilistic logic, 2002.
  2. Dragan Radojevic, Miomir Stankovic, Bratislav Petrovic, S3C-RELIABILITY, Software package for the reliability analysis, 2002.
  3. Dragan Radojevic, Bratislav Petrovic, S3C-STATISTICS, Software package for the nonstandard statisctical analysis, 2002.
  4. Tatjana Timotijevic, PL prover, automated theorem prover, 2002.