Seminar on
Applied Mathematics
PROGRAM
Utorak, 13.05.2008. u 14:15, SALA 305, MI SANU:
Damjan Krstajic, Istrazivacki Centar za Hemijsku Informatiku,
Beograd, David E Leahy, University of Newcastle upon Tyne
DISCOVERY BUS - NOV SISTEM ZA AUTOMATSKO PRAVLJENJE
MODELA SA POSEBNIM OSVRTOM NA QSAR MODELE
Sadrzaj: Najveci trosak farmaceutske industrije je razvoj
novih lekova. Da bi se doslo do novog leka potrebno je vise
godina i dosta razvojnih projekata propadne u medjuvremenu.
Vreme je najvazniji faktor i radi se na tome da se skrate razvojni
ciklusi. Od 90-tih pa do danas dosta je uradjeno u primeni i
automatizaciji HTS (high throughput sceening) laboratorija.
Skracjeno je vreme koje je potrebno da se napravi hemijsko
jedinjenje, testira u laboratoriji i obrade rezultati
eksperimenata. Danas je izazov da se obradjeni rezultati sto
pre preformulisu u modele, odnosno znanja, koje bi naucnik
mogao da koristi u novim iteracijama.
Discovery Bus je nas odgovor tom izazovu. To je implementacija
nove softver arhitekture koje smo mi nazvali Competitive Workflow.
Koristi se za automatizaciju QSAR (Quantitative Structure Activity
Relationship) modela, kao i statistickih modela. Razvojni
projekti koji se rade u saradnji sa Njukasl univerzitetom
(University of Newcastle upon Tyne) su vezani za primenu
evolucionih strategija uz pomoc Discovery Bus-a, kako u
hemijskoj informatici tako i u bioinformatici.
Utorak, 20.05.2008. u 14:15, sala 305, MI BG:
Dragan Radojevic,
Institut "Mihailo Pupin", Beograd
FAZI LOGIKA U SIREM SMISLU ZASNOVANA NA
INTERPOLATIVNOJ BULOVOJ ALGEBRI (IBA)
Sadrzaj: Fazi logika u sirem smislu obuhvata: teoriju fazi
skupova, fazi logiku (u uzem smislu) i fazi relacije. Zajednicko
za sve konvencionalne realizacije fazi logike u sirem smislu
je da se ne nalaze u Bulovom okviru - Bulova algebra nije njihova
algebra. Pokazuje se zasto je to tako i sta su prakticne
posledice i/ili nedostaci konvencionalnih pristupa.
Daju se osnove interpolativne Bulove algebre (IBA) - realno
vrednosne realizacije Bulove algebre. Ujedno se pokazuje kako je
moguce primenom IBA realizovati u Bulovom okviru fazi logiku u
sirem smislu, dakle u istom okviru u kome su: klasicna
logika, klasicna teorija skupova i klasicne relacije, ali sa
znatno bogatijom interpretacijom.
Utorak, 27.05.2008. u 14:15, sala 305, MI BG:
Dusan Teodorovic, Saobracajni fakultet, Beograd MRAVLJI ALGORITMI SA PRIMENAMA
Sadrzaj: Sadrzaj ovog predavanja bice dostavljen naknadno.
RUKOVODIOCI SEMINARA
Vera Kovačević-Vujčić
Milan Dražić