Математички факултет: Recent submissions
Приказ резултата 61-80 од 145
-
Functional and imperative reactive programming based on a generalization of the continuation monad in the C++ programming language / Функционално и императивно реактивно програмирање употребом генерализације монаде наставка у програмском језику C++.
(Универзитет у Београду, Математички факултет, 28-06-2018) -
О прстену тригонометријских полинома са применом у теорији аналитичких неједнакости / On trigonometric polynomial ring with applications in the theory of analytic inequalities.
(Универзитет у Београду, Математички факултет, 21-06-2018) -
Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема / Formalization of various geometry models and applications in verification of automated theorem provers
(Универзитет у Београду, Математички факултет, 08-08-2017) -
Primena Grebnerovih baza na probleme popločavanja / Application of the Grobner bases theory to tiling problems.
(Универзитет у Београду, Математички факултет, 26-07-2017) -
Formiranje supermasivnih crnih rupa i uticaj sudara galaksija na njihovu evoluciju / Supermassive black hole formation and role of galaxy mergers in their evolution.
(Универзитет у Београду, Математички факултет, 13-07-2017) -
Асимптотска својства решења једначина Емден-Фаулера и њихових уопштења / Asymptotic properties of solutions of Emden-Fowler equations and their generalizations
(Универзитет у Београду, Математички факултет, 13-02-2018) -
Алгебарска својства спектралних инваријанти у Флоровој хомологији / Algebraic properties of spectral invariants in Floer Homology.
(Универзитет у Београду, Математички факултет, 21-09-2017) -
Numerička analiza dinamike rezonantnih asteroida pod dejstvom fekta Jarkovskog / Numerical analysis of the dynamics of resonant asteroids under the influence of the Yarkovsky effect.
(Универзитет у Београду, Математички факултет, 20-02-2018) -
Nove kombinatorne konstrukcije u vezi sa problemima iz hromatske teorije grafova, ekstremalne teorije skupova i teorije Bulovih matrica / New combinatorial constructions related to problems from the chromatic graph theory, extremal set theory and Boolean matrix theory.
(Универзитет у Београду, Математички факултет, 22-02-2018) -
Елементарни оператори и трансформације типа скаларног производа на идеалима компактних оператора генерисаним p-модификованим нормама и њиховим дуалима / Elementary operators and inner product type transformers on ideals of compact operators generated by p-modified norms and their duals.
(Универзитет у Београду, Математички факултет, 22-02-2018) -
Математички модели и методе решавања новог проблема распоређивања возила при оптимизацији транспоорта пољопривредних сировина / Mathematical models and solution methods for the novel vehicle scheduling problem for optimizing the transport of agricultural raw materials.
(Универзитет у Београду, Математички факултет, 20-12-2017) -
Остатак одређених типова Гаусових квадратурних формула са специјалним класама тежинских функција / The remainder term of certain types of Gaussian quadrature formulae with specific classes of weight functions.
(Универзитет у Београду, Математички факултет, 28-02-2017) -
Modifikacije metode promenljivih okolina i njihove primene za rešavanje problema raspoređivanja prenosa datoteka / Modifications of the variable neighborhood search method and their applications to solving the file transfer scheduling problem
(Универзитет у Београду, Математички факултет, 02-12-2014) -
Метод седиментације и његове примјене у проблемима дискретне математике / Method of sedimentation and its discrete mathematics applications
(Универзитет у Београду, Математички факултет, 20-07-2016) -
Пресликавања контрактивног типа и њихове примене у нелинеарној анализи / Mappings of contractive type and its applications in nonlinear analysis
(Универзитет у Београду, Математички факултет, 30-09-2016) -
Анализa пребројивих модела потпуних теорија линеарно уређених структура / An analysis of countable models of complete theories of linearly ordered structures
(Универзитет у Београду, Математички факултет, 25-08-2016) -
Rešavanje problema CSP tehnikama svođenja na problem SAT / Solving of constraint satisfaction problems by reduction to SAT
(Универзитет у Београду, Математички факултет, 13-10-2016) -
Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији / Probability sequent calculi and entropy based non-classical logics classification
(Универзитет у Београду, Математички факултет, 22-12-2016) -
Doprinos zračenja galaksija i galaktičkih jata pozadinskom gama zračenju / Contribution of galaxies and galaxy clusters to the diffuse gamma-ray background
(Универзитет у Београду, Математички факултет, 06-12-2016) -
Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације / Improving SMT solvers using CSP techniques and parallelization techniques
(Универзитет у Београду, Математички факултет, 08-12-2016)