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ð.

Nytsemi friðhelgis og öryggis (HBV507M)

Yfirlit nytsams friðhelgis og öryggis með áherslu á tækninýjungar. Viðfangsefnin eru m.a. auðkenning, staðsetningar- og samfélagslegt friðhelgi, hegðunartengdar auglýsingar, friðhelgi heilsuverndar, nafnleynd, rafmynt, tækniskrif og siðferðilegt framferði við rannsóknir á sviði nytsemi friðhelgis og öryggis.  

Reiknigreind (IÐN102M)

Við hönnun á greind kerfa er þörf fyrir sjálfvirk kerfi sem læra að taka góðar ákvarðanir. Í námskeiðinu er kynnt fyrir nemendum reiknirit sem endurbætast sjálfvirkt með reynslu. Þessi reiknirit þurfa enga leiðsögn aðra en umbun fyrir teknum ákvörðunum. Hugmyndafræði er kölluð styrkingalærdómur (e. reinforcement learning) og er snertiflötur ólíkra fræða; aðgerðgreiningu, gervigreind og stýritækni. Að námskeiði loknu eiga nemendur að hafa færni í að setja upp, greina og leysa stærðfræðileg líkön sem standa fyrir ákvörðunarverkefnum. Tekin eru fyrir Markov-ákvörðunarferli, kvik-bestun, Monte-Carlo aðferðir, ákvörðunarstefnur, áætlanagerð og trjáleit, ásamt djúpum tauganetum. Nemendur kynnast einnig forritunarmálinu Python.

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 (REI506M)

Í þ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)

Einföld og fjölvíð aðhvarfsgreining, fervikagreining og samvikagreining, ályktanir, dreifni og samdreifni metla, mátpróf með frávika- og áhrifagreiningu, samtíma ályktanir. Almenn líkuleg líkön sem ofanvörp, fervikagreining sem sértilvik, samtíma öryggismörk á samanburðarföll. R notað í verkefnum. Lausnum verkefna er skilað i LaTeX og PDF.

Til viðbótar  er tekið efni eftir vali, t.d. útvíkkuð línuleg líkön (GLM), ólínuleg aðhvarfsgreining og/eða slembiþáttalíkön (random/mixed effects models) og/eða skóreimaaðferðir (bootstrap) o.s.frv.

Nemendur kynna lausnir verkefna, sem áður hefur verið skilað inn í gegnum vefsíðu.

Námskeiðið er kennt þegar ártalið er slétt tala.

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ð, tæmanleikareglan, þ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. Verkefnum er skilað með notkun LaTeX og gilda 20% af lokaeinkunn.

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.

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.

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

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.

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óknað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

Prófun hugbúnaðar (HBV205M)

Kennt að jafnaði annað hvert ár (í vor þegar ártalið er oddatölu en mun breyta frá og með 2024)

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.

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.

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.

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.