Наредни састанак Семинара биће одржан у уторак, 3. јуна 2014, са почетком у 14:15 часова у сали 301ф, Математичког института САНУ.
Предавач: доц. др Војкан Васковић, Факултет организационих наука, Београд
Наслов предавања: ВИРТУЕЛНЕ ВАЛУТЕ
Садржај: Виртуелне валуте су форма дигиталног новца који није издат нити гарантован од стране централних монетарних институција.
Јавља се у више различитих облика и углавном се користи за плаћања преко Интернета, али се однедавно користи и за плаћања у реалном окружењу као и за подизање новца на АТМ уређајима.
Технологија која је примењена приликом креирања и дистрибуције овако генерисаног новца омогућава да се ради са анонимним рачунима и новцем, тако да монетарне и финансијске власти нису у могућности да прате овако извршене трансакције.
Ово се појављује као велики проблем јер таква технологија омогућава прање новца.
Посебно је интересантна технологија раздвајања функције куповине валуте (мењачнице и берзе) од самог процесирања плаћања.
Предавање обухвата историјски развој виртуелних валута, анализу постојећих модела, објашњење технологије која је примењена и примере на који начин би ова технологија могла да се примени за прање новца.
Анализом су обухваћени системи плаћања у дигиталном злату и системи дигиталних валута.
детаљније
Наредни састанак ЦГТА семинара биће одржан у уторак, 3. јуна 2014, од 18-20h у сали 844 Математичког факултета.
Предавач: Ђорђе Баралић
Наслов предавања: N-обојиви политопи и карактеристичне класе
Садржај:
Класа n обојивих простих политопа P^n представља класу политопа која увек дозвољава карактеристично пресликавање тј. увек се појављује као орбита торусног дејства T^n или Z_2^n неке квазиторусне многострукости односно 'small covera' у реалном случају.
Примери таквих политопа су кубови, пермутоедри, итд. Над овом класом политопа конструишемо многострукости које имају богату кохомолошку структуру и чије карактеристичне класе имају интересантна својства.
Показано је да ова класа многострукости има јако високе дуалне Stifel-Witni-јеве класе што за последицу има да се они не могу имерзовати и уложити у просторе малих димензија, тј. достижу границу коју је доказао Cohen. Ови резултати су добијени у заједничком раду са Владимиром Грујићем.
детаљније
Наредни састанак Семинара биће одржан у четвртак, 29. маја 2014. са почетком у 18 часова у сали 718, Математичког факултета.
Програм семинара:
- приказ докторске дисертације Александра Картеља
- приказ предлога теме докторске дисертације Ане Зековић
Детаљније информације о семинару и апстракти излагања доступни су на:
http://computing.matf.bg.ac.rs.
детаљније
Наредни састанак Семинара биће одржан у среду, 28. маја 2014, са почетком у 18 часова у сали 301ф, Математичког института САНУ.
Предавач: Драган Видовић, Институт за водопривреду Јарослав Черни
Наслов предавања: НЕЛИНЕАРНЕ ШЕМЕ КОНАЧНИХ ЗАПРЕМИНА ЗА ДИСКРЕТИЗАЦИЈУ ЈЕДНАЧИНЕ ДИФУЗИЈЕ
Садржај: Класична метода коначних запремина која рачуна дифузни протицај преко коначне разлике задовољава принцип максимума, али је неконзистентна на неструктурним мрежама.
Линеарне шеме које користе више од две тачке за дискретизацију овог протицаја могу бити другог реда тачности на неструктурним мрежама, али не задовољавају принцип максимума.
Да би шема задовољила принцип максимума и истовремено била другог реда тачности она мора бити нелинеарна.
Овакве дискретизације протицаја изражавају се као конвексне комбинације две линеарне дискретизације, при чему тежински коефицијенти зависе од решења.
За конструкцију ових шема потребно је приказати протицај као коничну комбинацију коначних разлика.
Уколико је мрежа веома неправилна, налажење оваквих коничних комбинација простим претраживањем може да буде недовољно ефикасно, те је потребан софистициранији метод.
Поред тога, у близини материјалних дисконтинуитета и границе домена налажење коничних комбинација може бити отежано или немогуће.
Део по део линеарна трансформација координата се користи да се превазиђу ове тешкоће.
детаљније
Наредни састанак Семинара за биће одржан у уторак, 27. маја 2014, са почетком у 18 часова у сали 809 Математичког факултета.
Предавач: др Надежда Пејовић, редовни професор Математичког факултета
Наслов предавања: Дигитални легат "Милутин Миланковић"
детаљније
Наредни састанак Семинара биће одржан у уторак, 27. маја 2014, са почетком у 14:15 часова у сали 301ф, Математичког института САНУ.
Предавач: Младен Николић, Математички факултет, Београд
Наслов предавања: SAT РЕШАВАЧИ - СИСТЕМИ ЗА ПРОВЕРУ ЗАДОВОЉИВОСТИ ИСКАЗНИХ ФОРМУЛА
Садржај: Проблем задовољивости исказних формула (SAT проблем) је један од централних проблема теоријског рачунарства.
Поред важног места у теорији сложености израчунавања, које му припада као првом доказано NP комплетном проблему, SAT проблем има и важне практичне примене у областима попут планирања, распоређивања и верификације хардвера и софтвера.
Практични значај овог проблема је инспирисао развој SAT решавача - система за проверу задовољивости исказних формула.
У претходним деценијама ови системи су доживели огроман напредак и у могућности су да провере задовољивост исказних формула које описују практичне проблеме и садрже десетине хиљада променљивих и стотине хиљада клауза. У овом излагању биће описано функционисање модерних SAT решавача.
Посебна пажња биће посвећена најпопуларнијем систему правила - CDCL систему, који служи као основа најефикаснијих SAT решавача.
детаљније
Наредни састанак ЦГТА семинара биће одржан у уторак, 27. маја 2014, од 18-20h у сали 844 Математичког факултета.
Предавач: Раде Живаљевић
Наслов предавања: Рекапитулација тополошке К-теорије II
Садржај: Међу краћим приказима тополошке К-теорије издвајамо преглед Мадсена и Моиа (кратко ММ), http://www.math.ku.dk/~kmoi/k-theory-notes.pdf , као и знатно краће приказе Питера Меја (REU 2009), Ерика Фридландера, Макса Карубија и других (Google).
Планирамо преглед области "из птичије перспективе" са неколико слетања укључујући и "Hopf invariant one problem".
Акценат ће бити на геометријској интуицији која прати израчунавања у К-теорији.
детаљније
Наредни састанак Семинара биће одржан у среду, 21. маја 2014, са почетком у 18 часова у сали 301ф, Математичког института САНУ.
Предавач: Борислав Гајић, Математички институт САНУ
Наслов предавања: БРАХИСТОХРОНА ИЛИ КРИВА НАЈБРЖЕГ СПУСТА
Садржај: Биће речи о проблему брахистохроне: наћи криву која спаја две фиксиране тачке А и Б по којој се материјална тачка под дејством силе Земљине теже спуста од А до Б за најкраће време.
Јохан Бернули поставио је тај проблем 1696. године.
На први поглед одговор је изненађујући: решење проблема је циклоида - крива коју описује тачка на ободу точка који се креће.
Представићемо оригинално Бернулијево решење које је засновано на Фермаовом принципу преламања светлости.
Говорићемо и о Галилеју који је 60 година раније посматрао сличан проблем.
Предавање је популарно и намењено је ширем кругу слушалаца.
детаљније
Заједнички састанак Одељења за математику и Семинара за геометрију, образовање и визуелизацију са применама биће одржан у уторак, 20. маја 2014, са почетком у 16:30h у сали 301ф Математичког института САНУ.
Предавач: Louis H. Kauffman, Department of Mathematics, Statistics, and Computer Science University of Illinois at Chicago
Наслов предавања: INTRODUCTION TO VIRTUAL KNOT THEORY
Садржај: This talk is an introduction to virtual knot theory and an exposition of new ideas and constructions, including the parity bracket polynomial, the arrow polynomial, and virtual knot cobordism. Virtual knot theory is an extension of classical knot theory to stabilized embeddings of circles into thickened orientable surfaces of arbitrary genus. Classical knot theory is the case of genus zero. There is a diagrammatic theory for studying virtual knots and links, and this diagrammatic theory lends itself to the construction of numerous new invariants of virtual knots as well as extensions of known invariants. Many remarkable phenomena occur in the virtual domain.
детаљније
