Publications 2001 – 2004

Scientific monographs and chapters in scientific monographs

R13

  1. Melanija Mitrović, Semilattices of Archimedean semigroups, Mašinski fakultet, Niš, 2003.

R22

  1. Dragan Radojević, Logical measure - structure of logical formula, in Technologies for Constructing Intelligent Systems 2, Editors B. Bouchon-Meunier, J.G.-Rios, L. Magdalena, R. Yager, Physica-Verlag, 417-429, 2002.
  2. Branimir Todorović, Miomir Stanković, Claudio Moraga, On-line adaptation of Recurrent Radial Basis Function Networks using the Extended Kalman Filter, in Machine Intelligence: Quo Vadis? edts. P Sincák, J Vascák, Kauro Hirota, 73-92, World Scientific Pub Co Inc, 2004.
  3. Branimir Todorović, Miomir Stanković, Claudio Moraga, Extended Kalman Filter based adaptation of time-varying Recurrent Radial Basis Function networks structure, in Machine Intelligence: Quo Vadis? edts. P Sincák, J Vascák, Kauro Hirota, 115-124, World Scientific Pub Co Inc, 2004.

R23

  1. Zoran Ognjanović, Verovatnosne logike, in Z. Ognjanović, N. Krdžavac, Uvod u teorijsko računarstvo, Fakultet organizacionih nauka, Beograd, 2004.
  2. Milkica Nešić, Milena Stankovć, Vladan Vučković, Snežana Cekić, Vladimir Nešić,  Karakteristike govornog signala u uslovima stresa i dimenzije ličnosti, in Govor i jezik,  Institut za eksperimentalnu fonetiku i patologiju govora, 224-232, 2003.
  3. Slaviša Prešić, Aleksandar Krapež, History of functional equations in Serbia, to appear in Special publications of Mathematical institute Belgrade

Phd and master theses

R82

  1. Tatjana Timotijević, Dokazivaci teorema (Theorem provers), master theses, Prirodno-matematicki fakultet, Kragujevac, 2002.
  2. Ana Kaplarević-Mališić, Interent tehnologije i inteligentni sistemi u obrazovanju, master theses, Prirodno-matematicki fakultet, Kragujevac, 2003.

Journal papers

R51

  1. Bratislav Petrović, D. Skatarić, 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, 317-333, 2002.
  2. Slavisa Trajković, Branimir Todorović, Miomir Stanković, Forecasting of Reference Evapotranspirationn by Artificial Neural Networks, Journal of Irrigation and Drainage Engineering, ASCE, 129(6), 454-457, 2003.
  3. Radosav Djordjević, Miodrag Rašković, Zoran Ognjanović, Completeness Theorem for Propositional Probabilistic Models whose Measures have only Finite Ranges, Archive for Mathematical Logic 43, 557-563, 2004.

R52

  1. Zoran Ognjanović, Uroš Midić, Jozef Kratica, A genetic algorithm for probabilistic SAT problem, in Artificial Intelligence and Soft Computing ICAISC 2004 (Edts. L. Rutkowski, J. Siekmann, R. Tadeusiewicz, L.A. Zadeh), Zakopane, Poland, June 7 - 11, 2004, Lecture notes in artificial intelligence (LNCS/LNAI), 3070, 462 -- 467, Springer-Verlag, 2004. (ISBN 3-540-22123-9)
  2. Miodrag Rašković, Zoran Ognjanović, Zoran Marković, A Logic with Conditional Probabilities, in 9th European conference JELIA'04 Logics in Artificial Intelligence, (Edts. J. Alferes, J, Leite), Lisabon, Portugal, September 27 - 30, 2004, Lecture notes in artificial intelligence (LNCS/LNAI), 3229, 226 -- 238, Springer-Verlag, 2004.
  3. Melanija Mitrović, Regular Subsets of Semigroups Related to their  Idempotents, accepted for  printing in Semigroup Forum, 2004.
  4. Filip Marić, Predrag Janičić, ARGO-LIB: A Generic Platform for  Decision Procedures Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004) / Lecture Notes in Artificial Intelligence 3097, edt. David Basin, Michael Rusinowitch, Springer, 213--217, 2004.
  5. M. Mirić, M. Mirić, Z. Vukajlović, R. Handrock, D. Banković, V. Mitrović, Hemodynamics and neurohumoral effects after addition of an angiotensin receptor blocker to conventional treatment including an ACE inhibitor in symptomatic heart failure, Perfusion 16, 105-115, 2003.
  6. Stojan Bogdanović, M. Ćirić, Melanija Mitrović, Semilattices of Nil-extensions of Simple Regular Semigroups, Algebra Colloquium Vol. 10; No 1; (2003); 81 – 90.
  7. Zoran Marković, Zoran Ognjanović, Miodrag Rašković, A Probabilistic Extension of Intuitionistic Logic, Mathematical Logic Quarterly, vol. 49, 415-424, 2003.
  8. Radomir S. Stanković, Milena Stanković, 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. Dragić Banković, Distance in post algebras, Discrete Mathematics, Vol. 263 (1-3), 269-274, 2003.
  10. Predrag Janičić, A.Bundy, A general setting for flexibly combining and augmenting decision procedures, Journal of automated reasoning, 28 (2002) 257-305.
  11. Predrag Janičić, Nenad Dedić, Goran Terzić, On Different Models for Generating Random SAT Problems, Computing and Informatics (former Computers and Artificial Intelligence), volume 20, number 5, 2001, 451-469.
  12. Zoran Ognjanović, Jozef Kratica, Miloš Milovanović, 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.

R61

  1. Goran Petrović, Vinko Jeftić, Melanija Mitrović, Zoran Marinković, External Excitations and Disturbances with Bucket Wheel Excavators as Non-linear and Random Functions, Facta Universitatis,  Series: Mechanical Engineering, Vol 1,  No 10, 2003, 1339--1346.
  2. Miodrag Kapetanović, On two classical results in the first order logic, Publications De L'institut Math'ematique, ns 76(90), 21-24, 2004.
  3. Vladan Vučković, Realization of the Chess Mate Solver Application, YUJOR Vol 14, No 2, 2004.
  4. Zoran Marković, Zoran Ognjanović, Miodrag Rašković, An intuitionistic logic with probabilistic operators, Publications de L'Institute Matematique, n.s. 73 (87), 31 - 38, 2003.
  5. Dragić Banković, All general solutions of Prešić's equation, Facta Universitatis, Ser. Mathematics and Inf. 17, 1-4, 2002,
  6. Slavisa Trajković, Branimir Todorović, Miomir Stanković, Estimation of FAO Penman c factor by RBF networks, Facta Universitatis, Series: Architecture and Civil Engineering, 2(3), 185-192, 2004.

R62

  1. Radomir S. Stanković, Arithmetic transform ternary decision diagrams for exact minimization of fixed polarity arithmetic expressions, Multiple-Valued Logic and Soft Computing, Vol. 10, No. 3, 287-307, 2004.
  2. Radomir Stanković, Claudio Moraga, Jaakko Astola, Reed-Muller expressions in the previous decade, Multiple-Valued Logic and Soft Computing, Vol. 10, No. 1, 5-28, 2004.
  3. Z. Marinković, Melanija Mitrović, G. Petrović, V. Ilić, Analiza logističkih procesa u skladistu gotovih proizvoda pivarske industrije, Racionalizacija transporta i  manipulisanja - Logistika, br. 2-3, 13’20, 2004.
  4. Petar V. Protić, Nebojša Stevanović, Abel-Grassnann's Bands, Quasigroups and related systems, vol. 11, 95-101, 2004.
  5. N.Stevanović, P.Protić, Band Decompositions Of Abel-Grassmanns Groupoids, Pure Mathematics and Application 12, no 4, 2003.
  6. Dragan Janković, Radomir S. Stanković, Claudio Moraga, Arithmetic Expressions Optimization Using Dual Polarity Property, Serbian Journal of Electrical Engineering, Vol. 1, No. 1, November 2003, 71-80.
  7. Mateja Jamnik, Predrag Janičić, Learning Strategies for Mechanised Building of Decision Procedures, Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Volume 86, number 1, 2003.
  8. Dragan Radojević, Miomir Stanković, S. Savić, Primena višekriterijumske analize u preventnivnom inženjerstvu, Preventivni inženjering, 2, 2002.

Conference papers

  1. Branimir Todorović, Miomir Stanković, Claudio Moraga, Nonlinear Bayesian Estimatin of Recurrent Neural Networks, in Proc. of IEEE 4th International Conference on Intelligent Systems Design and Applications ISDA 2004, Budapest, Hungary, August 26-28, pp. 855-860, 2004.
  2. Radomir S. Stanković, Claudio Moraga, Astola, J.T., Derivatives for multiple-valued functions induced by Galois field and Reed-Muller-Fourier expressions, Proc. 34th Int. Symp. on Multiple-Valued Logic, Toronto, Canada, May 19-22, 2004, 184-189, 2004.
  3. Stanković, R.S., Karpovsky, M.G., Astola, J.T., Reduction of the number of coefficients in arithmetic expressions by autocorrelation functions, Proc. Int. TICSP Workshop on Spectral Methods and Multirate Signal Processing, Vienna, Austria, September 11-12, 317-324, 2004.
  4. Dragan Janković, Radomir S. Stanković, Drechsler, R., Reduction of sizes of multi-valued decision diagrams by copy properties, Proc. 34th Int. Symp.on Multiple-Valued Logic, Toronto, Canada, May 19-22, 2004, 229-234.
  5. Filip Marić, Predrag Janičić, SMT-LIB in XML clothes, Proceedings of the 2nd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2004) edt. Cesare Tinelli, Silvio Ranise, Ireland, 2004.
  6. Zoran Marković, Zoran Ognjanović, Miodrag Rašković, What is the Proper Propositional Base for Probabilistic Logic?, Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference IPMU 2004 (Edts. L.A. Zadeh), Perugia, Italy, July, 4-9, 2004, 443--450, 2004.
  7. Dragan Radojević, Computing with Properties and New Theory of fuzzy Sets - Real Set Theory, Current Issues in Data and Knowledge Engineering, Proceedings of EUROFUSE 2004, Workshop on Data and Knowledge Engineering, Warszawa, Poland, 2004. pp. 423-432.
  8. Dragan Radojević, The new theory of fuzzy sets based on Syntactic Structured and Semantic Convex (S3C) Logic, IPMU 2004, Perudia, Italy, 1871-1878, 2004.
  9. Dragan Radojević, Real Relation - New approach to Fuzzy Relation, 2nd Serbian - Hungarian Joint Symposium on Intelligent Systems, Subotica,  109-120, 2004.
  10. Miodrag Rašković, Zoran Ognjanović, Zoran Marković, A Probabilistic Approach to Default Reasoning,  Proceedings of the 10th International workshop on Non-monotonic reasoning NMR 2004  (Edts. James Delgrande, Torsten Schaub), Whistler, BC, Canada, June 6--8, 2004, 335--341, 2004.
  11. Melanija Mitrović, On Semilattices of Archimedean semigroups - a survey, in Proceeding of Workshop Semigroups and Languages, Lisbon, Portugal, 27-19 November 2002, World Scientific, edts. Isabel  M.  Araujo, Mario J. J. Branko, Vitor H.Fernandes, Gracinda M. S.Gomes, 163-196, 2004.
  12. Dragan Janković, Radomir S. Stanković, 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.
  13. Dragan Janković, Radomir S. Stanković, Rolf Drechsler, Efficient calculation of fixed-polarity polynomial expressions for multiple-valued logic functions, Proc. 32nd Int. Symp. on Multiple-Valued Logic, Boston, USA, May 15-18, 2002, 76-82
  14. Miomir S. Stanković, 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.
  15. Vladan Vučković, The Expert Knowledge Implementation Techniques in Geniss Axon XP Chess Application, SAER 2002, Varna, Bugarska, 2002
  16. Branimir Todorović, Miomir Stanković, 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.
  17. Vladan Vučković, Memory Based Recursive Alfa-Beta Searching Algorithm, Proceedings of the Workshop of the Computational Intelligence and Information Technology, Nis, 13.10.2003., 27-30.
  18. Vladan Vučković, 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.
  19. Vladan Vučković, Milena Stanković, Realizacija algoritma za prepoznavanje izolovanih govornih sekvenci koriscenjem dinamickog vremenskog podesavanja, XI Telekomunikacionii forum TELFOR 2003, CD ROM Proceedings, Beograd, 25-27. Novembra 2003,
  20. Miodrag Rašković, Zoran Ognjanović, Zoran Marković, A Conditional Probability Logic, Proceedings of the Workshop on Computational Intelligence and Information Technologies, Srbija i Crna Gora, Nis, 13. X 2003.
  21. Zoran Ognjanović, Uros Midic, Jozef Kratica, A genetic algorithm for PSAT, Zbornik radova SYM-OP-IS 2003, Herceg-Novi, 30. 9. - 3. 10. 2003,
  22. Dragan Janković, Radomir S. Stanković, Decision diagram method for calculation of pruned arithmetic transform, Proc. Computational Intelligence and Information Technologies, CIIT 2003, Nis, Serbia, October 13, 2003, 161-164.
  23. Janković, D., Stanković, 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.
  24. Aleksandar Krapež, 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
  25. Dragan Radojević, Miomir Stanković, S. Savić, Computing with properties based on Syntactic Structured and Semantic Convex (S3C) logic, Informacione tehnologije u preventivnom inzenjerstvu - Naucni seminar MIN Instituta, 2003.
  26. Dragan Radojević, Miomir Stanković, B. Petrović, Reliability and Syntactic Structured and Semantic Convex (S3C) logic, Informacione tehnologije u preventivnom inzenjerstvu - Naucni seminar MIN Instituta, 2003 (to be published)
  27. Nebojša Stevanović, Petar V. Protić, Abel-Grassmann's 3-bands, Semigroup Theory and related topics, 25-28. June 2003, Braga, Portugal
  28. Melanija Mitrović, Local Properties of Pi-regular semigroups, International Meeting on Semigroup Theory and Related Topics, University of Minho, Braga, Portugal, 25-28 juni 2003. god.
  29. Radomir S. Stanković, Radmanovic, M., Determination of disjoint cube representations of switching functions, Proc. XLII ETRAN , Herceg Novi, Montenegro, June 8.-13., 2003, Vol III, 107-110.
  30. Mateja Jamnik, Predrag Janičić, 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)
  31. R. Spaic, R. Ilic and Bratislav Petrović, 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
  32. R. Spaic, R. Ilic, Bratislav Petrović, Izracunavanje apsorbovane doze na celijskom nivou u terapiji radio nuklidima metodom Monte Karlo, (uvodno predavanje). 14. Kongres nuklearne medicine sa medjunarodnim ucesem, Pirot 2002.
  33. Dragan Radojević, Boolean Rational t-norm and t-conorm, 6th Balkan Conference on Operational Research, 2002. May 2002 (to be published)
  34. M.Bradić, Some remarks on complete theory of one probability logic 37. Int sci cof of inform.commun.and energy sys.and tehni. (2002) 788-790
  35. Z.Marković, Z.Ognjanović, M.Rašković, A probabilistic logic based on propositional intuitionistic logic 37th int sci cof of inform.commun.and energy sys.and tehni. (2002) 784-787
  36. Dragan Radojević, Fuzzy preference structures based on syntactic structured and semantic convex logic, EUROFUSE 2002 Workshop on Information Systems, September 2002, 231-238, 2002
  37. Branimir Todorović, Claudio Moraga, Miomir Stanković, 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.
  38. Branimir Todorović, Claudio Moraga, Miomir Stanković, 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.
  39. Dragan Radojević, M. Mirkovic, Sintactic Structured and Semantic Convex (S3C) logic and fuzzy sets, DQM-2002 Quality Management and Dependability 2002, 396-404, 2002.
  40. Dragan Radojević, A. Holostov, Generalizacija preferentnih struktura, SYM-OP-IS-02, 24-27, 2002.
  41. Bratislav Petrović, Viktor Rozgic, Dragan Radojević, Vizualizacija logickog integrala, SYM-OP-IS-02, 28-31, 2002.
  42. S. Stojiljkovic, Melanija Mitrović, I. Stamenkovic, Primena entropije i teorije informacija na regulisanje bioloskih procesa, Zbornik radova 28. naucno-strucnog skupa sa medjunarodnim ucescem - HIPNEF 2002. - (461-466)
  43. Predrag M. Rajkovic, Miomir S. Stanković, 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.
  44. Branimir Todorović, Miomir Stanković, 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
  45. Miomir S. Stanković, Branimir T. Todorović, 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
  46. Dragan Radojević, Syntactic Structured and Semantic Convex (S3C)logic, Book of abstracts FSTA2002: Fuzzy Sets Theory and Applications, 2002.
  47. Dragan Radojević, 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
  48. Melanija Mitrović, 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.
  49. Aleksandar Krapež, Gradimir Janković, Milorad Pavlović, Vladimir Lazarević, Đjorđe Vukomanović, 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.
  50. Dragan Radojević, Computing with properties: based on Syntactic Structured and Semantic Convex (S3C) logic, 1 st Serbian - Hungarian Joint Symposium on Intelligent Systems, Subotica, 27-38, 2003.
  51. S. Stojiljković, Melanija Mitrović, I. Stamenković, Primena entropije i teorije informacija na regulisanje bioloških procesa, Zbornik radova 28. naučno-stručnog skupa sa međunarodnim učešćem - HIPNEF, 461—466, 2002.
  52.  Miodrag Kapetanović, On extensions of homomorphisms (abstract), 11. kongres matematičara SCG, Petrovac 2004.
  53. Dragan Radojević, From fuzzy to real sets, NEUREL 2004 7th Seminar on Neural Network Applications in Electrical Engineering, Beograd, 209-214, 2004.
  54. Dragan Radojević, Osnove teorija skupova zasnovanih na klasičnoj, fazi i sintaksno strukturiranoj i semantički konveksnoj logici, SYM-OP-IS 2004, 283-286, Iriški Venac, Fruška Gora, 2004.
  55. Dragan Radojević, Particija skupa u teorijama klasičnih, fazi i realnih skupova, SYM-OP-IS 2004, 287-290, Iriški Venac, Fruška Gora, 2004.
  56. Vladan Vučković, Optimalno rešenje problema ponavljanja pozicija u stablu odlučivanja metodom varijantnih nizova, Zbornik radova sa XXXI Simpozijuma o operacionim istrazivanjima SYM-OP-IS 2004, Iriski Venac, 14-16.9.2004., 209-212, 2004.