Publications in 2001 and 2002
Scientific monographs and chapters in scientific monographs
-
Slavisa Presic, Aleksandar Krapez,
History of functional equations in Serbia,
to appear in Special publications of Mathematical institute Belgrade.
-
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.
-
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
-
Tatjana Timotijevic,
Dokazivaci teorema (Theorem provers), master these,
Prirodno-matematicki fakultet, Kragujevac, 2002.
Journal papers
-
Dragi Bankovic,
Distance in post algebras, to appear in Discrete Mathematics.
-
P.Janicic, A.Bundy,
A general setting for flexibly combining and augmenting decision procedures
J automated reasoning, 28 (2002) 257-305
-
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
-
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
-
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
-
Stojan Bogdanovic, M. Ciric, Melanija Mitrovic, Semilattices of
Nil-extensions of Simple Regular Semigroups, to appear in
Algebra Colloquium.
-
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.
-
Dragic Bankovic, All general solutions of
Presic's equation, to appear in FACTA UNIVERSITATIS Ser. Mathematics and Inf. 17, 2002,
-
N.Stevanovic, P.Protic, BAND DECOMPOSITIONS
OF ABEL-GRASSMANNS GROUPOIDS, PURE MATH & APPLICAT, 12 No 4 (2003)
-
Dragan Radojevic, Miomir Stankovic, S. Savic,
"Primena visekriterijumske analize u preventnivnom
inzenjerstvu", Preventivni inzenjering, 2, 2002.
Conference papers
-
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
-
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
-
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.
-
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
-
Dragan Radojevic, "Fuzzy preference structures based on syntactic
structured and semantic convex logic", EUROFUSE 2002 Workshop
on Information Systems, September 2002, 231-238, 2002
-
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.
-
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.
-
Dragan Radojevic, M. Mirkovic,
"Sintactic Structured and Semantic Convex (S3C) logic and fuzzy sets",
DQM-2002 Quality Management and Dependability 2002, 396-404, 2002.
-
Dragan Radojevic, A. Holostov,
"Generalizacija preferentnih struktura", SYM-OP-IS-02, 24-27, 2002.
-
Bratislav Petrovic, Viktor Rozgic, Dragan Radojevic,
"Vizualizacija logickog integrala", SYM-OP-IS-02, 28-31, 2002.
-
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)
-
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.
-
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
-
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
-
Vladan Vuckovic, The Expert Knowledge Implementation Techniques
in Geniss Axon XP Chess Application, SAER 2002, Varna, Bugarska, 2002
-
Dragan Radojevic, "Syntactic Structured and Semantic Convex
(S3C)logic", Book of abstracts FSTA2002: Fuzzy Sets
Theory and Applications, 2002.
-
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
-
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.
-
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.
-
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
-
Zoran Ognjanovic, Miodrag Raskovic, Vladimir Petrovic,
Verlog, authomated satisfiability checker in probabilistic logic, 2002.
-
Dragan Radojevic, Miomir Stankovic, Bratislav Petrovic,
S3C-RELIABILITY, Software package for the reliability analysis, 2002.
-
Dragan Radojevic, Bratislav Petrovic,
S3C-STATISTICS, Software package for the nonstandard statisctical analysis, 2002.
-
Tatjana Timotijevic,
PL prover, automated theorem prover, 2002.