Lokaverkefni (REI441L)

• Efni lokaverkefnis skal valið í samráði við leiðbeinanda (leiðbeinendur) úr hópi fastra kennara deildar. Lokaverkefnið er 30 eða 60 einingar. Að öllu jöfnu tekur heildar undirbúningur og vinna lokaverkefnis eitt til tvö misseri. Sérhverjum meistaranema er frá upphafi náms úthlutað umsjónarkennara sem leiðbeinir um skipulag námsins. Ef nemandi er ekki komin með leiðbeinanda fyrir lokaverkefni þá ber honum að snúa sér til umsjónarkennara til að fá aðstoð við það
• Val viðfangsefnis er fyrst og fremst á ábyrgð nemandans en í samráði við leiðbeinanda. Þess skal gætt að verkefnið tengist viðfangsefnum viðkomandi námsleiðar
• Meistaranemandi skrifar meistararitgerð skv. sniðmáti sviðsins og ver ritgerðina í meistaravörn (prófi).
• Próf lokaverkefnis skiptist í tvo hluta: Munnlegt próf og opinberan fyrirlestur
• Viðstaddir í munnlegu prófi er nemandi, leiðbeinandi, prófdómari og meðlimir meistaranámsnefndar. Nemandinn heldur stutta kynningu um verkefnið sitt.
• Nemandinn skilar meistararitgerð og veggspjaldi.
• Samkvæmt reglum meistaranám sviðsins þurfa allir nemendur sem hyggjast brautskrást frá Verkfræði- og náttúruvísindasviði að halda opinberan fyrirlestur um lokaverkefnið sitt.
• Skil þarf rafrænu eintaki af lokaverkefni í Skemmuna sem er stafrænt varðveislusafn lokaverkefna við alla háskóla á Íslandi. 
• Samkvæmt reglum Háskóla Íslands eiga allar MS ritgerðir að vera opnar eftir að þeim hefur verið skilað inn á skemmuna.

Hæfniviðmið:

Að MS-ritgerð lokinni á nemandi að geta:

• Mótað verkfræðilegt hönnunarverkefni/rannsóknarspurningu
• Greint og leyst verkfræðileg verkefni á sérhæfðu sviði.
• Framkvæmt vandaða heimildaöflun og heimildarýni.
• Sýnt frumkvæði og sjálfstæða skapandi hugsun.
• Nýtt hefðbundnar aðferðir til þess að svara tiltekinni rannsóknarspurningu
• Dregið saman þekkingu á fræðasviðinu og unnið rannsókn sem felur í sér framlag til þess
• Unnið úr niðurstöðum, greint óvissuþætti og takmarkanir og túlkað niðurstöður.
• Metið umfang rannsóknarefnis og skipulagt vinnu sína í samræmi við það
• Sett fram rannsóknaniðurstöður, rökstutt þær og tengt við stöðu þekkingarinnar á  fræðasviðinu

Valið efni í vélaverkfræði (VÉL049F)

Farið er yfir valið efni í rannsóknum og þróun í vélaverkfræði. Umfjöllunarefni er breytilegt milli ára.

Nemendur hafa samband við kennara og námsbrautarformann varðandi skráningu í námskeiðið.

Reiknigreind (IÐN102M)

Við hönnun á greind kerfi er þörf fyrir sjálfvirk kerfi sem læra að taka góðar ákvarðanir út frá eigin reynslu. Í námskeiðinu er kynnt fyrir nemendum styrkingalærdómur (e. reinforcement learning), reiknifræðileg nálgun þar sem kerfi endurbætast sjálfkrafa með gagnvirkni og umbun—án beinnar leiðsagnar. Fjallað er um Markov-ákvörðunarferli, kvik-bestun (e. dynamic programming), Monte Carlo aðferðir, bestun á stefnu (e. policy optimization), áætlanagerð, leitaraðferðir og djúp tauganet sem nálgunarlíkön. Námskeiðið sameinar fræðilega umfjöllun og verkefnavinnu þar sem nemendur fá tækifæri til að móta, greina og leysa stærðfræðileg líkön fyrir ákvörðunarverkefni. Jafnframt er lögð áhersla á ítrunarferli og gagnrýna umræðu um hvað það þýðir að reiknirit læri og hvaða áhrif sjálfstæð reiknigreind gæti haft á vísindi og samfélag.

Tímaraðagreining (IÐN113F)

Markmið: Að veita bæði hagnýta og fræðilega þekkingu í gerð líkana, mati á stikum og spám í kvikum kerfum. Námsefni: ARMAX og önnur hliðstæð ferli og helstu eiginleikar þeirra. Meðhöndlun á óstöðnuðum ferlum. Sjálffylgni- og samfylgniföll. Mismunandi aðferðir við rófgreiningar. Mat á stikum, þar á meðal aðferð minnstu kvaðrata og sennileikaaðferðin. Tölulegar aðferðir við lágmörkun markfalla. Fjallað er um ýmis vandamál sem geta komið upp við líkangerð, svo sem ef mælingar vantar eða þær eru óeðlilegar. Inngangur að ólínulegum tímaraðalíkönum. Stakræn kerfi á ástandsformi. Lögð er áhersla á að leysa hagnýt verkefni.

Greining á frammistöðu tölvukerfa (REI503M)

Kennt að jafnaði annað hvert ár.

Námskeiðið fjallar um gerð líkana af tölvu- og samskiptakerfum auk mælinga á frammistöðu. Stór dreifð tölvukerfi afgreiða þjónustubeiðnir (t.d. vefsíðufyrirspurnir) samhliða til að lágmarka svartíma og hámarka ánægju notenda. Aðrir mælikvarðar á frammistöðu eru afköst (afgreiddar beiðnir á tímaeiningu) og uppfylling samkomulags um þjónustustig. Meðal námsefnis eru stærðfræðilegar aðferðir til að meta og skilja slík kerfi, bæði veikleika þeirra og styrkleika, til dæmis varðandi hönnun, verkröðunaraðferðir og rekstrarstefnur. Umfjöllunin byggir á aðferðum aðgerðagreiningar, sér í lagi biðraðafræði og Markov-ferlum (fyrirfram þekking á þessum aðferðum er ekki krafa).

Eindregið er mælt með mætingu í tíma.

Skýjaforritun og stórgögn (REI504M)

Yfirlit yfir forritun ofurtölva og stórgögn, umhverfi ofurtölva, tölvunet og gagnalausnir og samhliða forritun. Innviðir fyrir geymslu gagna og þjónustur fyrir stórgögn, greining fyrir stórgögn, ”map-reduce” aðferðarfræðin, formuð og hálfformuð gögn. Hagnýt verkefni: (A) Nemendur nota Amazon Web Services (AWS) skýið eða sambærilega lausn til að setja upp fjöltölvuvefþjónustu og samsvarandi kerfi fyrir prófun á henni. (B) Nemendur leysa verkefni á stórgögnum með ”map-reduce” aðferðafræði á AWS skýinu.

Gervigreind (REI505M)

Fjallað er um hugtök, aðferðir og reiknirit á sviði gervigreindar, með áherslu á studdan og óstuddan lærdóm. Forvinnsla og myndræn framsetning gagna. Mat á gæðum líkana og val á líkönum. Línuleg aðhvarfsgreining, næstu nágrannar, stoðvigravélar, tauganet, ákvarðanatré og safnaðferðir. Djúpur lærdómur. Þyrpingagreining og k-means aðferðin. Nemendur útfæra einföld reiknirit í Python og læra á sérhæfða forritspakka. Námskeiðinu lýkur með hagnýtu verkefni.

Gervigreind fyrir jarðarkönnun keyrt á ofurtölvum (TÖV605M)

Í þessu námskeiði er farið yfir grundvallaratriði fjarkönnunar með gervitunglum, aðferðir á sviði tölvusjónar sem byggja á djúpum tauganetum og hagnýtingu slíkra aðferða með ofurtölvum.

Námskeiðinu er skipt í fjóra hluta sem endurspegla þau fræðilegu hugtök sem farið er yfir í námskeiðinu og í hverjum hluta vinna nemendur verkefni sem tengist viðfangsefninu hverju sinni. Verkefnin tengjast öll fjarkönnun og myndaflokkun og nemendur vinna að verkefninu í gegnum misserið.

Kennileg línuleg tölfræðilíkön (STÆ310M)

Kennileg línuleg tölfræðilíkön er 6 ECTS-eininga framhaldsnámskeið um stærðfræðilega undirstöðu línulegra líkana, byggt á einni rúmfræðilegri meginhugmynd: mat er hornrétt ofanvarp og prófanir eru samanburður ofanvarpa á hreiðruð hlutrúm. Fjallað er um ofanvarpsvirkja, fjölvíðu normaldreifinguna og ferningsform, metanleika, aðferð minnstu kvaðrata, Gauss-Markov-setninguna, sennileikamat og alhæfða aðferð minnstu kvaðrata, prófanir og öryggissvæði, og beitingu á fervikagreiningu, aðhvarfsgreiningu og spá. Námskeiðið þróar kenninguna að baki aðferðum sem nemendur kunna úr STÆ312M.

Kennslubók er Christensen, Plane Answers to Complex Questions (4. útgáfa).

Námsmat: lokapróf (50%), miðannarpróf (25%) og fimm kynningar á heimadæmalausnum (25%).

Forkröfur: STÆ203, STÆ107, STÆ312M.

Hagnýtt línuleg tölfræðilíkön (STÆ312M)

Í námskeiðinu er fjallað um einfalda og fjölvíða aðhvarfsgreiningu ásamt fervikagreiningu (ANOVA) og samvikagreiningu (ANCOVA). Að auki er farið í tvíkosta aðhvarfsgreiningu (binomial regression) og rætt um hugtök því tengt, svo sem gagnlíkindi (odds) og gagnlíkindahlutfall (odds ratio).
Námskeiðið er framhald af dæmigerðu grunnnámskeiði í tölfræði sem kennd eru á hinum ýmsu sviðum skólans. Farið verður í aðferðir til að meta stika í línulegum líkönum, hvernig smíða má öryggisbil og kanna tilgátur fyrir stikana, hverjar forsendur líkananna eru og hvað hægt sé að gera sé þeim ekki fullnægt. Verkefni eru unnin í tölfræðihugbúnaðinum R.

Grundvöllur tölfræðinnar (STÆ313M)

Sennileiki, tæmandi stærð, nægjanleikareglan, þvælistiki, skilyrðingarreglan, óbreytileikareglan, sennileikafræði. Tilgátupróf, einfaldar og samsettar tilgátur, Neyman-Pearson-setningin, styrkleiki, UMP-próf, óbreytileg próf. Umröðunarpróf, sætispróf. Bilmat, öryggisbil, öryggisstig, öryggissvæði. Punktmat, bjagi, meðalferskekkja. Skilaverkefni gilda 30% af lokaeinkunn.

Töluleg línuleg algebra (STÆ511M)

Ítrekunaraðferðir fyrir jöfnuhneppi.  Ýmsar þáttanir fylkja eins og QR, Cholesky, Jordan, Schur, rófþáttun og sérstöðupunktaþáttun (SVD) og hagnýtingar þeirra.  Strjál Fourierummyndun (DFT) og hröð algrím til framkvæmdar hennar (FFT).  Strjál Kósínusummyndun (DCT) í tvívídd og hagnýtingar í þjöppun hljóðs (MP3, AAC) og mynda (JPEG).  Rýr fylki og framsetning á þeim.

Sérstök áhersla verður lögð á hagnýtingu þeirra efnisatriða sem farið er í og tölulegar aðferðir.

Hagnýt Bayesísk tölfræði (STÆ529M)

Markmið: Að kenna nemendum að beita ýmsum aðferðum úr Bayesískri tölfræði fyrir greiningu gagna. Námsefni: Fræðileg undirstaða Bayesískrar ályktunartölfræði, fyrirframdreifingar, gagnadreifingar og eftirádreifingar. Bayesísk ályktunartölfræði fyrir stika í einvíðum og margvíðum líkindadreifingum: tvíkosta-; normal-; Possion; veldis-; margvíð normal-; fjölkostadreifing.  Mat á gæðum líkans og samanburður á líkönum: Bayesísk p-gildi; deviance information criterion (DIC). Bayesísk hermun: Markov keðju Monte Carlo (MCMC) aðferðir; Gibbs sampler; Metropolis-Hastings skref; mat á samleitni. Línuleg líkön: normal línuleg líkön; stigskipt normal línuleg líkön; almenn línuleg líkön. Áhersla á greiningu gagna með forritum eins og Matlab og R.

Töluleg burðarþolsgreining (VÉL103M)

Markmið námskeiðsins er að kynna fræðilegan grunn finite element greiningar, ásamt því að þjálfa nemendur í að setja upp og sannreyna greiningar á raunverulegum hlutum/viðfangsefnum í vélaverkfræði.

Námsefni m.a. eftirfarandi: grunnjöfnur, formföll, stífnifylki (element- og  kerfisstífnifylki), ísoparametrísk framsetning, hnitaskipti, töluleg tegrun. Tekin eru fyrir mismunandi element eins og stangar- og bitaelement, skífuelement, þrívíddar element, plötu- og skeljarelement. Aðaláherslan í námskeiðinu er á spennugreiningu í burðarþolsfræði (reikna færslur og spennur) en nemendur geta valið hönnunarverkefni á öðru sviði t.d. sveiflufræði og varmaflutningsfræði.

Námskeiðið samanstendur af fyrirlestrum og vinnutímum. Námsmat byggir á heimaverkefnum, misserisprófum og hönnunarverkefni. Nemendur nýta Python (líka val um Matlab) og Ansys við lausnir á verkefnum.

Hönnun og bestun (VÉL113F)

Markmið: Að gera nemendur færa um að beita aðferðum bestunarfræðinnar við hönnun. Námsefni: Línuleg og ólínuleg bestun. Þróunaraðferðir, tauganet og óskýr rökfræði við verkfræðilega hönnun. Hönnun dreifikerfa, framleiðslukerfa, vélbúnaðar og burðarvirkja.

Lokaverkefni: verkefnastjórnun, ritfærni og kynning (VON001F)

Námskeiðið fjallar um inngang að vísindalegum aðferðum, siðfræði vísinda í háskólasamfélaginu. Einnig verður farið í hlutverk nemanda, leiðbeinanda og prófdómara. Tekin verða fyrir árangursrík og heiðarleg samskipti sem og gerð fræðilegrar umfjöllunar með notkun gagnasafna og réttri heimildanotkun. Gerð rannsóknaráætlunar og rannsóknaaðferðir verða kynntar og einnig hagnýt framsetning tölulegra gagna. Farið verður í verklag við gerð fræðiritgerða, hvernig skipta á stóru verkefni niður í smærri einingar, gerð áætlunar og tímalínu og hvernig á að fylgja þeim. Lífið eftir brautskráningu og vinnumarkaðurinn.

Lokaverkefni (REI441L)

• Efni lokaverkefnis skal valið í samráði við leiðbeinanda (leiðbeinendur) úr hópi fastra kennara deildar. Lokaverkefnið er 30 eða 60 einingar. Að öllu jöfnu tekur heildar undirbúningur og vinna lokaverkefnis eitt til tvö misseri. Sérhverjum meistaranema er frá upphafi náms úthlutað umsjónarkennara sem leiðbeinir um skipulag námsins. Ef nemandi er ekki komin með leiðbeinanda fyrir lokaverkefni þá ber honum að snúa sér til umsjónarkennara til að fá aðstoð við það
• Val viðfangsefnis er fyrst og fremst á ábyrgð nemandans en í samráði við leiðbeinanda. Þess skal gætt að verkefnið tengist viðfangsefnum viðkomandi námsleiðar
• Meistaranemandi skrifar meistararitgerð skv. sniðmáti sviðsins og ver ritgerðina í meistaravörn (prófi).
• Próf lokaverkefnis skiptist í tvo hluta: Munnlegt próf og opinberan fyrirlestur
• Viðstaddir í munnlegu prófi er nemandi, leiðbeinandi, prófdómari og meðlimir meistaranámsnefndar. Nemandinn heldur stutta kynningu um verkefnið sitt.
• Nemandinn skilar meistararitgerð og veggspjaldi.
• Samkvæmt reglum meistaranám sviðsins þurfa allir nemendur sem hyggjast brautskrást frá Verkfræði- og náttúruvísindasviði að halda opinberan fyrirlestur um lokaverkefnið sitt.
• Skil þarf rafrænu eintaki af lokaverkefni í Skemmuna sem er stafrænt varðveislusafn lokaverkefna við alla háskóla á Íslandi. 
• Samkvæmt reglum Háskóla Íslands eiga allar MS ritgerðir að vera opnar eftir að þeim hefur verið skilað inn á skemmuna.

Hæfniviðmið:

Að MS-ritgerð lokinni á nemandi að geta:

• Mótað verkfræðilegt hönnunarverkefni/rannsóknarspurningu
• Greint og leyst verkfræðileg verkefni á sérhæfðu sviði.
• Framkvæmt vandaða heimildaöflun og heimildarýni.
• Sýnt frumkvæði og sjálfstæða skapandi hugsun.
• Nýtt hefðbundnar aðferðir til þess að svara tiltekinni rannsóknarspurningu
• Dregið saman þekkingu á fræðasviðinu og unnið rannsókn sem felur í sér framlag til þess
• Unnið úr niðurstöðum, greint óvissuþætti og takmarkanir og túlkað niðurstöður.
• Metið umfang rannsóknarefnis og skipulagt vinnu sína í samræmi við það
• Sett fram rannsóknaniðurstöður, rökstutt þær og tengt við stöðu þekkingarinnar á  fræðasviðinu

Reiknirit í raunheimum (TÖL608M)

Kennt að jafnaði annað hvert ár.

Í námskeiðinu verður farið yfir hönnun og greiningu reiknirita, með sérstaka áherslu á reiknirit sem vinna á stórum gagnasettum og eru notuð í raunverulegum verkefnum.

Reikniritin koma úr ýmsum áttum, m.a. þjöppun gagna og texta, villuleiðréttingar með leiðréttingarkóðum, leit í stórum textasöfnum fyrir leitarvélar, samhliða vinnsla, GPU forritun, straumareiknirit, slembin reiknirit, nágrannaleit í margvíðum gögnum.

Reiknirit í lífupplýsingafræði (TÖL604M)

Efni námskeiðsins eru helstu reiknirit sem notuð eru í lífupplýsingafræði. Í upphafi er stutt yfirlit yfir erfðamengjafræði og reiknirit fyrir nemendur af öðrum sviðum. Námskeiðinu er skipt upp í nokkrar einingar og er hverri ætlað að fara yfir einstök verkefni í lífupplýsingafræði sem mótast af rannsóknarverkefnum. Hver eining samanstendur af verkefnislýsingu og aðferðum sem beitt er við úrlausn. Viðfangsefnin verða m.a. mynstraleit, strengjafjarlægð, samröðun gena og erfðamengja, þyrpingagreining, raðgreining og myndun erfðamengja og að lokum aðferðir við úrvinnslu úr háhraðaraðgreiningar gögnum.

Prófun hugbúnaðar (HBV205M)

Usually taught every second year (typically in spring of odd years, but this is subject to change in 2024).

This course covers testing of software. Besides basic foundations, this includes both dynamic testing where the software under test is executed and static approaches where software and other artefacts produced during software development are investigated without executing them. The focus of this course is, however, on dynamic testing. The different levels of testing (component test, integration test, system and acceptance test) and types of testing (functional, non-functional, structural and change-related) are covered as well as different test design techniques (black box test and white box test). Furthermore, test management and principles of test tools are discussed. In addition, selected advanced topics may be covered (for example, test languages, testing of object-oriented software, test process improvement, agile testing). The covered topics are a superset of the International Software Testing Qualifications Board's (ISTQB) certified tester foundation level syllabus.

The first part of the course is based on flipped-classroom style weekly reading, videos and assignments. In the second part, students work independently on some project related to software testing.

Note: while this is an "M" course, it is rather on MSc. level. BSc. students who take this course need to be very advanced in their BSc. studies, i.e. have experience in programming languages, software development and applying it in some software project, but should also be familiar with theoretical concepts from automata theory.

Also, BSc. students should not take this course, if they know that they are going to continue with MSc. studies, because they might then experience a lack of suitable courses in their MSc. studies.

Etnógrafískar leiðir að net- og tölvuöryggi (HBV604M)

Eftir því sem tæknilegt flækjustig eykst, er net- og tölvuöryggi mikilvægara en nokkru sinni áður. Hins vegar eru ekki allir öryggisveikleikar tæknilegir. Í þessu námskeiði munum við kanna hvernig hlutir eins og mannleg hegðun, menning og ferli geta haft veruleg áhrif á tæknilegt umhverfi. Fyrri hluti misserisins munum við byggja upp undirstöður fyrir þessar hugmyndir og eftir því sem við byggjum upp færni munum við fá gestafyrirlesara sem vinna við etnógrafíu og öryggi í tækniiðnaði á heimsvísu. Í seinni helmingi námskeiðsins munum við greina og kanna öryggisveiklega sem eru ekki af tæknilegum toga í heiminum í kringum okkur og byggja upp átakanlegar sögur í kringum afleiðingar þessara veikleika.

Námskeiðið er sérstaklega áhugavert fyrir nemendur í tölvunarfræði og hugbúnaðarverkfræði sem hafa áhuga á net- og tölvuöryggi, samskiptum manns og tölvu (HCI), kerfisarkitektúr og hönnunarhugsun. Til viðbótar gæti það líka verið áhugavert fyrir viðskiptafræðinema með áherslu á tækni, nemendur í alþjóðasamskiptum með áherslu á öryggi, nemendur í félagsmannfræði eða þjóðfræðinemendur og þá sem eru áhugasamir um nám í einstaka svæðum (t.d. Norðurlöndin, Norður-heimskautið)

Valin efni í tímaraðagreiningu og stýritækni (IÐN213F)

Markmið: Að kynna nemendum helstu aðferðir sem nota má til þess að finna stika í tímaháðum kerfum og lýsa og stýra kerfum, sem eru undir slembiálagi. Námsefni: Námskeiðið byggir að talsverðu leyti á því að nemendur velja sér efni til að halda fyrirlestur um í samráði við kennara. Auk mögulegra fyrirlestraefna frá kennurum kemur vel til greina að taka fyrir efni samkvæmt ósk nemenda. Sem dæmi um efnisflokka má nefna mismunandi endurkvæmar matsaðferðir, val á innmerkjum fyrir líkanauðkenningu, ýmis ólínuleg tímaraðagreiningarlíkön, notkun slembidiffurjafna í líkangerð, slembistýringar, þar á meðal LQG (Linear Quadratic Gaussian), MV (Minimum Variance), GPC (Generalized Predictive Controller), aðlögunarhæfar stýringar (Adaptive control) og loðnar stýringar (Fuzzy control). Við úrlausn verkefna er einkum stuðst við forritið MATLAB.

Inngangur að kerfislíffræði (LVF601M)

Kerfislíffræði er þverfaglegt svið sem rannsakar líffræðileg fyrirbæri byggt á samverkandi líffræðilegum þáttum. Í kerfislíffræði er sérstök áhersla lögð á það hvernig líffræðileg kerfi breytast yfir tíma. Í þessu námskeiði munum við fjalla sérstaklega um þá þætti kerfislíffræðinnar sem snúa að heilsu og sjúkdómum manna.

Þetta námskeið mun kynna 1) notkun líkana fyrir líffræðileg ferli (bæði genastjórnunarlíkön og efnaskiptalíkön); 2) frumulíffræðileg fyrirbæri sem stuðla að samvægi (e. homeostasis), t.d. þroskun vefja og seiglu örvera og 3) greiningu á sameindamynstri sem finnast í stórum erfðagreiningargögnum, sem tengjast sjúkdómum í mönnum og geta nýst í flokkun sjúklinga og uppgötvun lífmerkja. Þannig mun námskeiðið fjalla um notkun kerfislíffræðilegra aðferða á þremur helstu stigum líffræðinnar, þ.e. á sameindum, frumum og lífverum.

Námskeiðið felur í sér lestur og túlkun vísindagreina, útfærslu reiknirita, vinnslu á rannsóknarverkefni og kynningu á vísindalegum niðurstöðum.

Fyrirlestrar munu samanstanda af bæði (1) kynningu á grunnhugtökum kerfislíffræðinnar og (2) tölvukennslu þar sem Python forritunarmálið er notað. Námskeiðið verður kennt á ensku.

Forritun ofurtölva (REI204M)

Hönnun samhliða tölva og ýmis líkön af forritun þeirra. Högun tölva út frá samnota minni og út frá dreifðu minni með skeytaflutningi. Samhliða forritun tölvuklasa með MPI og samhliða forritun fjölkjarna tölva með OpenMP. Samhliða reiknirit við röðun, leit og ýmis verkefni í línulegri algebru og netafræði.

For a longer description refer to the English page.

Course topics will be very similar like HPC in Fall 2019:

http://www.morrisriedel.de/hpc-course-fall-2019

Línuleg líkön með slembiþáttum (STÆ004F)

Áherslan í þessu námskeiði er á Bayesísk latent Gaussísk módel (BLGM) sem eru flokkur Bayesískra stigskiptra líkana og beitingu þessarra líkana. Helstu viðfangsefnin eru þrjár gerðir af BLGM: (i) Bayesísk Gaussísk-Gaussísk líkön, (ii) BLGM með einvíðu tengifalli og (iii) BLGM með fjölvíðu tengifalli, sem og fyrirframdreifingar fyrir BLM og útreikningar fyrir eftirádreifingar BLGM. Í fyrri hluta námskeiðsins er farið yfir grunnatriði þessara líkana og gefin heimaverkefni um þetta efni. Í seinni hluta námskeiðsins er sjónum beint að verkefni þar sem gögn eru greind með BLGM. Hver nemandi getur lagt fram gögn sem hún eða hann vill greina. Efni áfangans byggir á fræðilegum grunni. Hins vegar er áherslan á gagnagreiningu sterk og útreikningar og forritun spila stórt hlutverk í námskeiðinu. Þannig mun námskeiðið nýtast nemendum í framtíðarverkefnum þeirra sem snúa að gagnagreiningu.

Línuleg líkön, margvíða normal dreifingin, stigskipt líkön, línuleg líkön með slembiþáttum, skilyrt sennileikamat, óbjagaðir línulegir metlar, bayesísk ályktunartölfræði, tölfræðileg ákvörðunarfræði, Markov keðjur, Monte Carlo heildun, vigtuð hermun, Markov keðju Monte Carlo hermun, Gibbs hermun, Metropolis-Hastings hermun.

Slembiferli (STÆ415M)

Inngangsatriði slembiferla með megináherslu á Markovkeðjur.

Viðfangsefni: Hittitími, stöðuþáttun, óþáttanleiki, lota, endurkvæmni (jákvæð og núll-), hverfulleiki, tenging, endurnýjun, jafnvægi, tíma-viðsnúningur, tenging úr fortíðinni, greinaferli, biðraðir, martingalar, Brownhreyfing.

Grundvöllur líkindafræðinnar (STÆ418M)

Líkindi á grundvelli mál- og tegurfræði.

Viðfangsefni: Líkindi, útvíkkunarsetningar, óhæði, væntigildi. Borel-Cantelli-setningin og 0-1 lögmál Kolmogorovs.  Ójöfnur og hin veiku og sterku lögmál mikils fjölda. Samleitni í hverjum punkti, í líkindum, með líkunum einn, í dreifingu og í heildarviki. Tengiaðferðir. Höfuðmarkgildissetningin. Skilyrt líkindi og væntigildi.

Töluleg straumfræði (VÉL215F)

Markmið námskeiðsins er að kenna nemendum að nota tölvur við lausn flókinna varma- og straumfræðiverkefna. Farið verður yfir grundvallarjöfnur varma- og straumfræði og tekið fyrir jaðarlag og iðustreymi og líkangerð þeirra. Fjallað um grundvallaratriði endanlegs rúmmáls-aðferðarinnar og aðferð endanlegra mismuna. Lausnaraðferðir ólínulegra jöfnuhneppa og stöðugleikalausna.

Námskeiðið er kennt annað hvert ár þegar ártal endar á oddatölu.