Reprezentacija logickih struktura i formalnih jezika i njihova primena u racunarstvu Br. ON174026 - PowerPoint PPT Presentation

1 / 16
About This Presentation
Title:

Reprezentacija logickih struktura i formalnih jezika i njihova primena u racunarstvu Br. ON174026

Description:

Reprezentacija logi kih struktura i formalnih jezika i njihova primena u ra unarstvu Br. ON174026 Radomir Stankovi Elektronski fakultet u Ni u – PowerPoint PPT presentation

Number of Views:59
Avg rating:3.0/5.0
Slides: 17
Provided by: Mile73
Category:

less

Transcript and Presenter's Notes

Title: Reprezentacija logickih struktura i formalnih jezika i njihova primena u racunarstvu Br. ON174026


1
Reprezentacija logickih struktura i formalnih
jezika i njihova primena u racunarstvu Br.
ON174026
  • Radomir Stankovic
  • Elektronski fakultet u Nišu
  • Novi Sad, 4.12.2012

2
Istraživaci
  • Radomir Stankovic 6
  • Milena Stankovic 4
  • Dragan Jankovic 8
  • Suzana Stojkovic 4
  • Miomir Stankovic (FZR) 4
  • Dušan Gajic (istraživac saradnik) 8
  • Velimir Ilic (istraživac saradnik) 6
  • Predrag Popovic (istraživac saradnik) 6

3
Oblasti istraživanja
  • Predstavljanje diskretnih funkcija
  • Primena GPU u digitalnoj logici
  • Graficki modeli
  • Deformacije i frakcionalni izvodi
  • Seminari

4
Predstavljanje diskretnih funkcija
  • Radovi u medunarodnim casopisima na SCI listi
    (M23)
  • Stankovic, R.S., Astola, J., Moraga, C., Design
    of Multiple-Valued Logic Networks with Regular
    Structure by Using Spectral Representations,
    Journal of Multiple-Valued Logic and Soft
    Computing, Vol. 19, No. 1-3, 2012, 251-269.
  • Moraga, C. , Astola, J., Stankovic, R.S.
    Spectral Analysis of Mosaics, Journal of
    Multiple-Valued Logic and Soft Computing, Vol.
    19, No. 4, 2012, 341-359.
  • Astola, J., Stankovic, R.S., Determination of
    Sparse Representations of Multiple-Valued Logic
    Functions by Using Covering Codes, Journal of
    Multiple-Valued Logic and Soft Computing, Vol.
    19, No. 4, 2012, 285-306.

5
Predstavljanje diskretnih funkcija
  • LNCS
  • Stankovic, R.S, Astola, J.T., Moraga, C.,
    Stankovic, S., Remarks on Efficient Computation
    of the Inverse Fourier Transforms on Finite
    Non-Abelian Groups, Computer Aided Systems
    Theory - EUROCAST 2011, Lecture Notes in Computer
    Science, Vol. 6928, 2012, 288-295.
  • Stankovic, S, Stankovic, R.S., Astola, J.T.,
    Moraga, C., Representation of Convolution
    Systems on Finite Groups by Heterogeneous
    Decision Diagrams, Computer Aided Systems Theory
    - EUROCAST 2011, Lecture Notes in Computer
    Science , Vol. 6928, 2012, 296-303.
  • M. Stankovic, S. Stojkovic, Reversible Synthesis
    in Walsh Hadamard Domain, Computer Aided Systems
    Theory EUROCAST 2011 , Lecture Notes in
    Computer Science, Vol. 6928, 2012, 311-318.
    DOI 10.1007/978-3-642-27579-1.

6
Predstavljanje diskretnih funkcija
  • Medunarodne konferencije
  • The 17th Workshop on Synthesis and System
    Integration of Mixed Information Technologies,
    (SASIMI-2012), March 8-9, 2012, Beppu, Ohita,
    Japan http//sasimi.jp/new/sasimi2012/
  • T. Sasao, M. Maeta, R.S. Stankovic, and S.
    Stankovic, "Affine transformations of logic
    functions and their application to affine
    decompositions of index generation functions,"
    The 17th Workshop on Synthesis And System
    Integration of Mixed Information technologies
    (SASIMI-2012), March 8-9, 2012, Beppu, Ohita,
    Japan.
  • IEEE 42nd International Symposium on
    Multiple-Valued Logic, ISMVL 2012, May 14-16,
    Victoria, BC, Canada, http//ismvl.cs.uvic.ca/
  • S. Stankovic, R. S. Stankovic, J. T. Astola ,
    Remarks on Shapes of Decision Diagrams and
    Classes of Multiple-Valued Functions, IEEE 42nd
    International Symposium on Multiple-Valued Logic
    (ISMVL 2012), May 14-16, Victoria, BC, Canada.
  • M. Stankovic, S. Stojkovic, R. S. Stankovic,
    Representation of Incompletely Specified Binary
    and Multiple-Valued Logic Functions by Compact
    Decision Diagrams, IEEE 42nd International
    Symposium on Multiple-Valued Logic (ISMVL 2012),
    May 14-16, Victoria, BC, Canada.

7
Predstavljanje diskretnih funkcija
  • Medunarodne konferencije
  • Workshop on Boolean Problems, September 19-21,
    Freiberg, Germany, 2012, http//www.informatik.tu-
    freiberg.de/prof2/ws_bp10/
  • S. Stankovic, J. Astola, R. S. Stankovic,
    Remarks on Beads and Shapes of Decision Diagrams
    for the Representation of Discrete Functions,
    10th International Workshop on Boolean Problems,
    September 19-21, Freiberg, Germany, 2012, 49-57.

    http//www.informatik.tu-freiberg.
    de/prof2/ws_bp10/preliminary_program.pdf
  • S. Stojkovic, M. Stankovic, R. Stankovic,
    Determining Assignments of Incompletely
    Specified Boolean Functions for Compact
    Representations by Binary Decision Diagrams,
    10th International Workshop on Boolean Problems,
    September 19-21, Freiberg, Germany, 2012,
    233-238. http//www.informatik.tu-f
    reiberg.de/prof2/ws_bp10/preliminary_program.pdf

8
Primena GPU u digitalnoj logici
  • Poglavlja u monografijama medunarodnog znacaja
    (M14)
  • Gajic, D. B., Stankovic, R. S., Computing
    spectral transforms used in digital logic on the
    GPU, in GPU Computing with Applications in
    Digital Logic, Astola, J., Kameyama, M., Lukac,
    M., Stankovic, R. S., (eds.), ISBN
    978-952-15-2920-7, ISSN 1456-2774, TICSP Series
    62, 25-62, Tampere International Center for
    Signal Processing, Tampere, Finland, 2012.
  • Stankovic, S., Gajic, D. B., Stankovic, R. S.,
    GPU architecture and the programming environment
    , in GPU Computing with Applications in Digital
    Logic, Astola, J., Kameyama, M., Lukac, M.,
    Stankovic, R. S., (eds.), ISBN 978-952-15-2920-7,
    ISSN 1456-2774, TICSP Series 62, 1-24, Tampere
    International Center for Signal Processing,
    Tampere, Finland, 2012.
  • Radovi u medunarodnim casopisima na SCI listi
    (M23)
  • Gajic, D. B., Stankovic, R. S., Computation of
    the Vilenkin-Chrestenson transform on a GPU,
    Journal of Multiple-Valued Logic and Soft
    Computing, ISSN (print) 1542-3980, ISSN (online)
    1542-3999, Old City Publishing, Philadelphia,
    USA, accepted for publication.

9
Primena GPU u digitalnoj logici
  • Saopštenja sa medunarodnih skupova štampana u
    celini (M33)
  • Gajic, D. B., Stankovic, R. S., GPU accelerated
    construction of characters of finite Abelian
    groups, in Proc. ICEST 2012,  Veliko Tarnovo,
    Bulgaria, June 28 - 30, 2012, Vol. 1, 190-193,
    ISBN 978-619-167-002-4, 2012.
    http//www.icestconf
    .org/images/stories/proceedings/icest_2012/ICEST_2
    012_VOLUME_01.pdf
  • Radmanovic, M., Gajic, D. B., Efficient
    implementation of BDD packages on the GPU
    platform, in Proc. ICEST 2012, Veliko Tarnovo,
    Bulgaria, June 28 - 30, 2012, Vol. 1, 216-219,
    ISBN 978-619-167-002-4, 2012.
    http//www.icestconf.org/i
    mages/stories/proceedings/icest_2012/ICEST_2012_VO
    LUME_01.pdf

10
Graficki modeli
  • Radovi u medunarodnim casopisima na SCI listi
    (M23)
  • Ilic Velimir M, Stankovic Miomir S, Todorovic
    Branimir T, Computation of Cross-Moments Using
    Message Passing Over Factor Graphs, Advances in
    Mathematics of Communications, vol. 6, no. 3, pp.
    363-384, 2012, ISSN 1930-5346, IF 0.462.
    http//aimsciences.org/journals/displayArticles.js
    p?paperID7549, Ilic
  • Velimir M, Mancev Dejan I, Todorovic Branimir T,
    Stankovic Miomir S, Gradient computation in
    linear-chain conditional random fields using the
    entropy message passing algorithm, Pattern
    Recognition Letters, vol. 33, no. 13, pp.
    1776-1784, 2012, ISSN0167-8655, IF 1.034.
    http//www.sciencedirect.com/science/article/pii/S
    0167865512001857,

11
Graficki modeli
  • Glavni pravac istraživanja su algoritami
    dinamickog programiranja zaprobabilisticke
    modele. Posebno, razmatrano je izracunavanje
    entropije skrivenog Markovljevog modela uz pomoc
    forward backward algoritma nad entropijski
    poluprstenom.
  • Razvijeni algoritam ima znatno manju memorijsku
    kompleksnost nego predhodno razvijeni alogritmi.
    Takodje, razmatrano je izracunavanje gradijenta
    uslovnih slucajnih polja, koje je na slican nacin
    kao i kod izracunavanja entropije, izvršeno
    primenom  forward-backward algoritma nad
    entropijski poluprstenom .
  • Na polju teroije informacija, radjena su
    istraživanja na polju aksiomatskog zasnivanja
    informacionih mera. 
  • Sprovedena  istraživanja, izmedju ostalog,  mogu
    biti korišcena za razvoj  algoritama za efikasno
    zakljucivanje koji bi bili primenjeni u sistemima
    za adaptivno ucenje.

12
Deformacije i frakcionalni izvodi
  • Radovi u medunarodnim casopisima na SCI listi
    (M23)
  • Protic Milan Z, Stankovic Miomir S, Mitic Dragan,
    Todorovic Branimir T, Vlado Delic, Application
    of Fractional Calculus in Ground Heat Flux
    Estimation, Thermal Science, vol. 16, no. 2, pp.
    373-384, 2012, ISSN 0354-9836,
    http//www.doiserbia.nb.rs/Article.aspx?id0354-98
    361100075P, IF 0.779,
  • Marinkovic Sladjana D, Stankovic Miomir S,
    Rajkovic Predrag M, Functions Induced by
    Iterated Deformed Laguerre Derivative Analytical
    and Operational Approach, Abstract and Applied
    Analysis, Article ID 190726, doi10.1155/2012/1907
    26, 2012, ISSN 1085-3375, http//www.hindawi.com/
    journals/aaa/2012/190726/, IF 1.318.

13
Seminari
  • 12-13 juni, 2012
  • Ushangi Goginava, Department on Metchanics and
    Mathematics, Tbilisi State University, Tbilisi
    Georgia.
  • Introduction to Dyadic Analysis, (3
    predavanja)
  • A note on the Dyadic Derivative
  • 9. oktobar, 2012
  • Claudio Moraga, European Center for Soft
    Computing, Asturias, Spain, Dortmund University
    of Technologies, Dortmund, Germany,
  • Reverzible Logic
  • 25-26 oktobar, 2012.
  • Mari Jose Duran Richard, Universite Pariis 8 and
    SPHERE-Rehseis Paris, France
  • Mathematical Machines from Babbages
    Analytical Engine to Modern Computing
    Technologies, (4 predavanja)
  • Radni seminari održavani redovno svakog petka

14
(No Transcript)
15
(No Transcript)
16
Rezultati
  • Radovi u medunarodnim casopisima na SCI listi
    (M23) 8
  • Radovi na medunarodnim skupovima (M33) 7
  • Poglavlja u monografijama medunarodnog znacaja
    (M14) 2
  • LNCS 3
  • Seminari 3
Write a Comment
User Comments (0)
About PowerShow.com