У оквиру посете Групи за аутоматско резоновање, проф. Марк Безем са Универзитета у Бергену, Норвешка, одржаће неколико предавања на тему тренутно веровантно "најврелије" теме логике и рачунарства - хомотопске теорије типова.
Предвиђени термини су уторак 22. и четвртак 24. јула од 16h (на Студентском тргу, вероватно у сали 718), а могући су и додатни часови у среду пре подне и петак пре подне.
Наслов предавања: Homotopy Type Theory
Садржај: Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way.
It is based on a recently discovered connection between homotopy theory and type theory. Homotopy theory is an outgrowth of algebraic topology and homological algebra, with relationships to higher category theory; while type theory is a branch of mathematical logic and theoretical computer science.
Homotopy type theory also brings new ideas into the very foundation of mathematics. For example, there is Voevodsky's subtle and beautiful Univalence Axiom. The univalence axiom implies, in particular, that isomorphic structures can be identified, a principle that mathematicians have been happily using on workdays, despite its incompatibility with the "official" doctrines of conventional foundations.
In the seminar we will focus on type theory for formalizing mathematics and work through (parts of) the HoTT book, freely available from:
http://uf-ias-2012.wikispaces.com/The+book
детаљније
Ректорски колегијум Универзитета у Београду препоручује наставницима, истраживачима, сарадницима и студентима да, приликом припреме за објављивање резултата свог научноистраживачког рада, провере стручни интегритет часописа у којем планирају да публикују написани рад.
Посебно треба упозорити на онај облик злоупотребе „златног“ начина отвореног приступа објављеним садржајима (што подразумева општу и бесплатну доступност читавих публикације, где трошкове припреме за објављивање сносе аутори или установе), који практикују издавачи сумњивог квалитета, чији је превасходни интерес стицање материјалне користи. Издавачи „предаторских“ часописа не примењују адекватно рецензентски поступак, тако да остварују велики профит, будући да немају значајне трошкове публиковања.
Издавачи „предаторских“ часописа обично увлаче ауторе у превару тиме што им обећавају брзо објављивање рада и дају лажне податке о импакт фактору часописа и вредностима других библиометријских индикатора. Информације о могућности објављивања најчешће се добијају рекламним порукама неселективно послатим на већи број адреса електронске поште.
Текст препоруке у целини може се прочитати на страни
http://www.bg.ac.rs/sr/nauka/predatorski.php
детаљније
Универзитету у Београду одобрен је бесплатан приступ светској бази е-извора InfoSci-Books до 16. јула 2014. године.
InfoSci-Books нуди колекцију од преко 2.400 стручних књига и 55.000 пуних, претраживих текстова.
Колекција обухвата више од 200 области међу којима су бизнис, комуникације, медији, библиотекарство, информационе технологије, медицина, образовање, друштвене и хуманистичке науке, и бројне друге.
Сви текстови су доступни у PDF и HTML формату.
Бази InfoSci-Books у овом периоду се бесплатно може приступити из Универзитетске библиотеке 'Светозар Марковић', свих факултета Универзитета у Београду и 10 института, и то путем линка: http://www.igi-global.com/gateway.
детаљније
Наредни састанак Семинара биће одржан у уторак, 8. јула 2014, са почетком у 18 часова у сали 809 Математичког факултета.
Предавач: др Петар Глишовић, постдокторант, Université du Québec Montréal, Канада
Наслов предавања:
Linking mantle convection with variations in orbital parameters over geological time scales
детаљније
Наредни састанак семинара биће одржан у среду, 2. јула 2014, са почетком у 18 часова у сали 301ф, Математичког института САНУ.
Предавач: Professor Pol D. Spanos, Ph.D., P.E., L. B. Ryon Endowed Chair in Engineering, Rice University, Houston, USA
Наслов предавања: EMERGING JOINT TIME-FREQUENCY ANALYSIS TECHNIQUES FOR STRUCTURAL DYNAMICS APPLICATIONS
детаљније
Наредни састанак семинара за Геометрију, образовање и визуелизацију са применама биће одржан у четвртак, 26. јуна 2014, са почетком у 17:15h у сали 301ф Математичког института САНУ.
Предавач: Ивко Димитрић, Pennsylvania State University
Наслов предавања: CR-подмногуструкости ниског типа и неки отворени проблеми
Садржај: Сумираће се неки резултати о подмногострукостима пројективних простора који су ниског типа (1, 2, или 3) преко стандардног утапања ових простора помоћу пројективних оператора. Посебна пажња је посвећена CR подмногострукостима неуклидских комплексних просторних форми и проблемима класификације истих које су типа два у (псеудо) еуклидском простору хермитских матрица. Биће наведени и неки отворени проблеми у оквиру ове тематике који би могли бити од користи младим истраживачима у области диференцијалне геометрије подмногострукости.
детаљније
Наредни састанак семинара биће одржан у уторак, 24. јуна 2014, са почетком у 14:15 часова у сали 301ф, Математичког института САНУ.
Предавач: Константин Симић, Факултет организационих наука
Наслов предавања: МОДЕЛ ИНФРАСТРУКТУРЕ Е-ОБРАЗОВАЊА БАЗИРАН НА ИНТЕРНЕТУ ИНТЕЛИГЕНТНИХ УРЕЂАЈА
Садржај: Поред традиционалног учења, велики број универзитета и других образовних институција широм света користи системе за електронско образовање. Наведени системи се могу проширити и интегрисати са тзв. "паметним окружењима" која применом концепта Интернета интелигентних уређаја (Internet of Things) олакшавају и прилагођавају процес учења. Интернет интелигентних уређаја подразумева повезивање различитих и разнородних уређаја на Интернет, најчесце сензора и актуатора. Паметни уређаји се могу повезати у безичне сензорске мреже које прикупљају сирове податке и прослеђују их серверима на обраду. У оквиру овог излагања биће приказан предлог модела за унапређење образовног процеса у оквиру високошколске образовне установе применом Интернета интелигентних уређаја.
детаљније
Наредни састанак ЦГТА семинара биће одржан у уторак, 24. јуна 2014, од 18-20h у сали 844 Математичког факултета.
Предавач: Марко Радовановић
Наслов предавања: Гребнерове базе за неке многострукости застава и примене
Садржај: По Бореловом опису $Z_2$-кохомологија реалне многострукости застава изоморфна је полиномијалној алгебри посеченој по извесном идеалу. На овом предавању представићемо Гребнерове базе за ове идеале у случају реалних многострукости застава типа $F(1,...,1,2,...,2,n)$. Применом овог резултата одговарајућа Стифел-Витнијева класа биће срачуната и тиме добијена одређена неутапања и неимерзије неких многострукости овог типа. Као другу примену показаћемо како Гребнерове базе могу бити од користи за одређивање "cup-lenght"-а неких многострукости овог типа.
детаљније
Наредни састанак Семинара биће одржан у четвртак, 26. јуна 2014. са почетком у 18 часова у сали 718, Математичког факултета.
Програм семинара:
- приказ предлога теме докторске дисертације Небојше Бачанин Џакуле "Унапређење хибридизацијом метахеуристика интелигенције ројева за решавање проблема глобалне оптимизације"
- приказ предлога теме докторске дисертације Ивоне Брајевић "Побољшање баланса експлоатације и експлорације код оптимизационих алгоритама базираних на популацијама за решавање проблема непрекидне оптимизације са ограничењима"
Детаљније информације о Семинару и апстракти излагања доступни су на http://computing.matf.bg.ac.rs.
детаљније
Фотографије са доделе диплома можете погледати овде.
детаљније
