Претраживање
Приказ резултата 91-100 од 104
Functional and imperative reactive programming based on a generalization of the continuation monad in the C++ programming language
(Универзитет у Београду, Математички факултет, 28-06-2018)
Постоји велики број проблема који захтевају писање програмских
система који имају компоненте које се извршавају међусобно асинхроно једне
од других...
A study of quasi-thermal noise and shot noise in space plasmas
(Универзитет у Београду, Математички факултет, 30-11-2016)
The quasi-thermal noise spectroscopy is an accurate method of determination of
density and temperature in space plasmas. When an electric antenna is immersed
into a plasma, it is able to measure electrostatic uctuations ...
Прилог теорији апстрактних метричких простора
(Универзитет у Београду, Математички факултет, 02-09-2016)
Ова дисертација је прилог Метричкој теорији фиксне тачке, области која
се у последње време интензивно развија. Састоји се из пет поглавља.
У првом поглављу доказана је једна позната лема, која се примењује у
доказу Banach-овог ...
Extreme values in sequences of independent random variables with mixed distributions / Ekstremne vrednosti u nizovima nezavisnih slučajnih veličina sa mešavinama raspodela
(Универзитет у Београду, Математички факултет, 12-12-2013)
This thesis has been written under the supervision of my mentor Prof. Dr. Pavle Mladenović at the University of Belgrade, Faculty of Mathematics in the academic year 2012-2013. The title of this thesis is “Extreme values ...
Konačni prsteni i usmereni grafovi / An interesting relationship between finite rings and graphs.
(Универзитет у Београду, Математички факултет, 03-07-2013)
In this thesis we will give an interesting relation between finite rings and their
graphs, such relations are obtained in following way
Numerička analiza dinamike rezonantnih asteroida pod dejstvom fekta Jarkovskog
(Универзитет у Београду, Математички факултет, 20-02-2018)
Predmet ispitivanja ove disertacije je interakcija izmedju rezonanci u srednjem
kretanju i efekta Jarkovskog...
Примена правила придруживања и метода подржавајућих вектора за предвиђање Т - ћелијских епитопа
(Универзитет у Београду, Математички факултет, 15-07-2016)
Истраживање података (eng. Data mining)је интердисциплинарно поље информатике које се бави аутоматским или полу-аутоматским откривањем знања у подацима. Основни задатак истраживања података је издвајање нетривијалних, ...
Информатички модели у анализи осећања засновани на језичким ресурсима
(Универзитет у Београду, Математички факултет, 14-07-2016)
Почетак новог миленијума обележен је бурним развојем
друштвених мрежа, интернет технологијама у облаку и применом вештачке
интелигенције у веб алатима. Изузетно брз раст броја текстова на интернету
(блогова, сајтова за ...
Automatsko generisanje i proveravanje uslova ispravnosti programa
(Универзитет у Београду, Математички факултет, 17-12-2013)
LAV is a system for statically verifying program assertions and locating bugs such as buffer overflows, pointer errors and division by zero. LAV is primarily aimed at analyzing programs written in the programming language ...
Анализа компутативних прстена придруживањем симплицијалних комплекса / Analysis of commutative rings by associating simplical complexes.
(Универзитет у Београду, Математички факултет, 06-10-2015)
Predmet izuqavaa doktorske disertacije su simplicijalni kompleksi
pridrueni komutativnim prstenima sa jedinicom. Generalno, kombi-
natorni objekti mogu biti pridrueni prstenima na razliqite naqine,
i u ovoj disertaciji ...