Publications 2001 – 2004
Scientific monographs and chapters in scientific monographs
R13
- Melanija
Mitrović, Semilattices of Archimedean semigroups, Mašinski fakultet, Niš, 2003.
R22
- 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.
- 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.
- 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
- Zoran
Ognjanović, Verovatnosne logike, in Z. Ognjanović, N. Krdžavac, Uvod u teorijsko
računarstvo, Fakultet organizacionih nauka, Beograd, 2004.
- 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.
- 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
- Tatjana
Timotijević, Dokazivaci teorema (Theorem provers), master theses,
Prirodno-matematicki fakultet, Kragujevac, 2002.
- Ana
Kaplarević-Mališić, Interent tehnologije i inteligentni sistemi u obrazovanju,
master theses, Prirodno-matematicki fakultet, Kragujevac, 2003.
Journal papers
R51
- 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.
- 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.
- 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
- 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)
- 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.
- Melanija
Mitrović, Regular Subsets of Semigroups Related to their Idempotents, accepted
for printing in Semigroup Forum, 2004.
- 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.
- 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.
- Stojan
Bogdanović, M. Ćirić, Melanija Mitrović, Semilattices of Nil-extensions of
Simple Regular Semigroups, Algebra Colloquium Vol. 10; No 1; (2003); 81 – 90.
- Zoran
Marković, Zoran Ognjanović, Miodrag Rašković, A Probabilistic Extension of
Intuitionistic Logic, Mathematical Logic Quarterly, vol. 49, 415-424, 2003.
- 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
- Dragić
Banković, Distance in post algebras, Discrete Mathematics, Vol. 263 (1-3),
269-274, 2003.
- Predrag
Janičić, A.Bundy, A general setting for flexibly combining and augmenting
decision procedures, Journal of automated reasoning, 28 (2002) 257-305.
- 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.
- 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
- 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.
- Miodrag
Kapetanović, On two classical results in the first order logic, Publications De
L'institut Math'ematique, ns 76(90), 21-24, 2004.
- Vladan
Vučković, Realization of the Chess Mate Solver Application, YUJOR Vol 14,
No 2, 2004.
- 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.
- Dragić
Banković, All general solutions of Prešić's equation, Facta Universitatis, Ser.
Mathematics and Inf. 17, 1-4, 2002,
- 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
- 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.
- 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.
- 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.
- Petar
V. Protić, Nebojša Stevanović, Abel-Grassnann's Bands, Quasigroups and related
systems, vol. 11, 95-101, 2004.
- N.Stevanović,
P.Protić, Band Decompositions Of Abel-Grassmanns Groupoids, Pure Mathematics
and Application 12, no 4, 2003.
- 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.
- 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.
- Dragan
Radojević, Miomir Stanković, S. Savić, Primena višekriterijumske analize
u preventnivnom inženjerstvu, Preventivni inženjering, 2, 2002.
Conference papers
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Dragan
Radojević, The new theory of fuzzy sets based on Syntactic Structured and
Semantic Convex (S3C) Logic, IPMU 2004, Perudia, Italy, 1871-1878, 2004.
- Dragan
Radojević, Real Relation - New approach to Fuzzy Relation, 2nd Serbian -
Hungarian Joint Symposium on Intelligent Systems, Subotica, 109-120, 2004.
- 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.
- 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.
- 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.
- 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
- 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.
-
Vladan
Vučković, The Expert Knowledge Implementation Techniques in Geniss Axon XP
Chess Application, SAER 2002, Varna, Bugarska, 2002
-
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.
-
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.
-
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.
-
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,
-
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.
-
Zoran
Ognjanović, Uros Midic, Jozef Kratica, A genetic algorithm for PSAT, Zbornik
radova SYM-OP-IS 2003, Herceg-Novi, 30. 9. - 3. 10. 2003,
-
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.
-
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.
-
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
-
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.
-
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)
-
Nebojša
Stevanović, Petar V. Protić, Abel-Grassmann's 3-bands, Semigroup Theory and
related topics, 25-28. June 2003, Braga,
Portugal
-
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.
-
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.
-
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)
-
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
-
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.
-
Dragan
Radojević, Boolean Rational t-norm and t-conorm, 6th Balkan Conference on
Operational Research, 2002. May 2002 (to be published)
-
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
-
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
-
Dragan
Radojević, Fuzzy preference structures based on syntactic structured and
semantic convex logic, EUROFUSE 2002 Workshop on Information Systems,
September 2002, 231-238, 2002
-
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.
-
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.
-
Dragan
Radojević, M. Mirkovic, Sintactic Structured and Semantic Convex (S3C)
logic and fuzzy sets, DQM-2002 Quality Management and Dependability 2002,
396-404, 2002.
-
Dragan
Radojević, A. Holostov, Generalizacija preferentnih struktura,
SYM-OP-IS-02, 24-27, 2002.
-
Bratislav
Petrović, Viktor Rozgic, Dragan Radojević, Vizualizacija logickog
integrala, SYM-OP-IS-02, 28-31, 2002.
-
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)
-
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.
-
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
-
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
-
Dragan
Radojević, Syntactic Structured and Semantic Convex (S3C)logic,
Book of abstracts FSTA2002: Fuzzy Sets Theory and Applications, 2002.
-
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
-
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.
-
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.
-
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.
-
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.
-
Miodrag
Kapetanović, On extensions of homomorphisms (abstract), 11. kongres matematičara
SCG, Petrovac 2004.
-
Dragan
Radojević, From fuzzy to real sets, NEUREL 2004 7th Seminar on Neural Network
Applications in Electrical Engineering, Beograd, 209-214, 2004.
-
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.
-
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.
-
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.