Publications 2001 - 2003

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
  4. Melanija Mitrovic, Semilattices of Archimedean semigroups, Masinski fakultet, Nis, 2003.

Phd and master theses

  1. Tatjana Timotijevic, Dokazivaci teorema (Theorem provers), master these, Prirodno-matematicki fakultet, Kragujevac, 2002.
  2. Ana Kaplarevic-Malisic, Interent tehnologije i inteligentni sistemi u obrazovanju,() master these, Prirodno-matematicki fakultet, Kragujevac, 2003.

Journal papers

  1. Petar V. Protic i Nebojsa Stevanovic, Abel-Grassnann's Bands, to appear in Quasigroups and related systems.
  2. Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic, An intuitionistic logic with probabilistic operators, Publications de L'Institute Matematique, n.s. 73 (87), 31 - 38, 2003.
  3. Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic, A Probabilistic Extension of Intuitionistic Logic, Mathematical Logic Quarterly, vol. 49, 415-424, 2003.
  4. Mateja Jamnik, Predrag Janicic, Learning Strategies for Mechanised Building of Decision Procedures, Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Volume 86, number 1, 2003.
  5. Dragan Jankovic, Radomir S. Stankovic, Claudio Moraga, Arithmetic Expressions Optimization Using Dual Polarity Property, Serbian Journal of Electrical Engineering, Vol. 1, No. 1, November 2003, 71-80.
  6. Dragic Bankovic, Distance in post algebras, Discrete Mathematics, Vol. 263 (1-3), 269-274, 2003.
  7. P.Janicic, A.Bundy, A general setting for flexibly combining and augmenting decision procedures J automated reasoning, 28 (2002) 257-305
  8. 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
  9. 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
  10. 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
  11. Stojan Bogdanovic, M. Ciric, Melanija Mitrovic, Semilattices of Nil-extensions of Simple Regular Semigroups, to appear in Algebra Colloquium.
  12. 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.
  13. Dragic Bankovic, All general solutions of Presic's equation, Facta Universitatis, Ser. Mathematics and Inf. 17, 1-4, 2002,
  14. N.Stevanovic, P.Protic, BAND DECOMPOSITIONS OF ABEL-GRASSMANNS GROUPOIDS, PURE MATH & APPLICAT, 12 No 4 (2003)
  15. Dragan Radojevic, Miomir Stankovic, S. Savic, "Primena visekriterijumske analize u preventnivnom inzenjerstvu", Preventivni inzenjering, 2, 2002.

Conference papers

  1. Vladan Vuckovic, Memory Based Recursive Alfa-Beta Searching Algorithm, Proceedings of the Workshop of the Computational Intelligence and Information Technology, Nis, 13.10.2003., 27-30.
  2. Vladan Vuckovic, The Realization of the Advanced Hash System in Geniss Axon XP Chess Application, Proceedings of the VI International Conference on Telecommunications in Modern Satellite, Cable and Broadcasting Services TELSIKS 2003, Nis, 1-3. October 2003, Volume 2, 815-818.
  3. Vladan Vuckovic, Milena Stankovic, Realizacija algoritma za prepoznavanje izolovanih govornih sekvenci koriscenjem dinamickog vremenskog podesavanja, XI Telekomunikacionii forum TELFOR 2003, CD ROM Proceedings, Beograd, 25-27. Novembra 2003,
  4. Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic, A Conditional Probability Logic, Proceedings of the Workshop on Computational Intelligence and Information Technologies, Srbija i Crna Gora, Nis, 13. X 2003.
  5. Zoran Ognjanovic, Uros Midic, Jozef Kratica, A genetic algorithm for PSAT, Zbornik radova SYM-OP-IS 2003, Herceg-Novi, 30. 9. - 3. 10. 2003,
  6. Dragan Jankovic, Radomir S. Stankovic, Decision diagram method for calculation of pruned arithmetic transform, Proc. Computational Intelligence and Information Technologies, CIIT 2003, Nis, Serbia, October 13, 2003, 161-164.
  7. Jankovic, D., Stankovic, R.S., Moraga, C., Dual Polarity in Optimization of Polynomial Representations of Switching Functions, International Workshop on Modern Functional Analysis, Operator Theory, Summability and Appliations, MFA 2003, Nis, Serbia, 25-28 September 2003, 42-45.
  8. Stojan Bogdanovic, M. Ciric i Melanija Mitrovic, Semigroups Satisfying Certain Regularity Conditions, "Advances in Algebra - Proceedings of the ICM Satelite Conference in Algebra and Related Topics", World Scientific.
  9. Aleksandar Krapez, Linear variable separating equations on almost quasigroups, Zbornik apstrakata sa konferencije LOOPS '03, Prag, Ceska, 10-17 avgust 2003. http://www.karlin.mff.cuni.cz/~loops03
  10. Dragan Radojevic, Miomir Stankovic, S. Savic, Computing with properties based on Syntactic Structured and Semantic Convex (S3C) logic, Informacione tehnologije u preventivnom inzenjerstvu - Naucni seminar MIN Instituta, 2003 (to be published)
  11. Dragan Radojevic, Miomir Stankovic, B. Petrovic, Reliability and Syntactic Structured and Semantic Convex (S3C) logic, Informacione tehnologije u preventivnom inzenjerstvu - Naucni seminar MIN Instituta, 2003 (to be published)
  12. Nebojsa Stevanovic, Petar V. Protic, Abel-Grassmann's 3-bands, Semigroup Theory and related topics, 25-28. June 2003, Braga, Portugal
  13. Melanija Mitrovic, Local Properties of Pi-regular semigroups, International Meeting on Semigroup Theory and Related Topics, University of Minho, Braga, Portugal, 25-28 juni 2003. god.
  14. Radomir S. Stankovic, Radmanovic, M., Determination of disjoint cube representations of switching functions, Proc. XLII ETRAN , Herceg Novi, Montenegro, June 8.-13., 2003, Vol III, 107-110.
  15. Mateja Jamnik, Predrag Janicic, Can Decision Procedures be Learnt Automatically? FTP'03 4th International Workshop on First-Order Theorem Proving (Valencia, 12-14, June 2003)- proceedings, 2003 (pp 35--48)
  16. Dragan Jankovic, Radomir S. Stankovic, Claudio Moraga, Optimization of GF(4) expressions using the extended dual polarity property, Proc. 33th Int. Symp. on Multiple-Valued Logic, Tokyo, Japan, May 2003, 50-56.
  17. R. Spaic, R. Ilic and Bratislav Petrovic, Referent 3D tumour model at cellular level in radionuclide therapy (Oral Presentation), 8th Congress of the World Federation of Nuclear Medicine and Biology, Santiago, Chile, Sept. 29 - Oct. 4, 2002
  18. R. Spaic, R. Ilic, Bratislav Petrovic "Izracunavanje apsorbovane doze na celijskom nivou u terapiji radio nuklidima metodom Monte Karlo", (uvodno predavanje). 14. Kongres nuklearne medicine sa medjunarodnim ucesem, Pirot 2002.
  19. Dragan Radojevic, Boolean Rational t-norm and t-conorm, 6th Balkan Conference on Operational Research, 2002. May 2002 (to be published)
  20. 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
  21. 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
  22. 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.
  23. 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
  24. Dragan Radojevic, "Fuzzy preference structures based on syntactic structured and semantic convex logic", EUROFUSE 2002 Workshop on Information Systems, September 2002, 231-238, 2002
  25. 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.
  26. 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.
  27. Dragan Radojevic, M. Mirkovic, "Sintactic Structured and Semantic Convex (S3C) logic and fuzzy sets", DQM-2002 Quality Management and Dependability 2002, 396-404, 2002.
  28. Dragan Radojevic, A. Holostov, "Generalizacija preferentnih struktura", SYM-OP-IS-02, 24-27, 2002.
  29. Bratislav Petrovic, Viktor Rozgic, Dragan Radojevic, "Vizualizacija logickog integrala", SYM-OP-IS-02, 28-31, 2002.
  30. 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)
  31. 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.
  32. 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
  33. 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
  34. Vladan Vuckovic, The Expert Knowledge Implementation Techniques in Geniss Axon XP Chess Application, SAER 2002, Varna, Bugarska, 2002
  35. Dragan Radojevic, "Syntactic Structured and Semantic Convex (S3C)logic", Book of abstracts FSTA2002: Fuzzy Sets Theory and Applications, 2002.
  36. 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
  37. 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.
  38. 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.
  39. 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, Jozef Kratica, Milos Milosavljevic, Vergen, automated satisfiability checker in probabilistic logic based on genetic algorithms 2003,
  2. Zoran Ognjanovic, Miodrag Raskovic, Vladimir Petrovic, Verlog, automated satisfiability checker in probabilistic logic, 2002.
  3. Dragan Radojevic, Miomir Stankovic, Bratislav Petrovic, S3C-RELIABILITY, Software package for the reliability analysis, 2002.
  4. Dragan Radojevic, Bratislav Petrovic, S3C-STATISTICS, Software package for the nonstandard statisctical analysis, 2002.
  5. Tatjana Timotijevic, PL prover, automated theorem prover, 2002.