Leit á vefnum

Niðurstöður leitar - 103 svör fundust

Hvað hefur vísindamaðurinn Anna Ingólfsdóttir rannsakað?

Anna Ingólfsdóttir er prófessor í tölvunarfræði við Háskólann í Reykjavík og einn af forstöðumönnum rannsóknaseturs í fræðilegri tölvunarfræði við sama skóla (ICE-TCS). Sérsvið Önnu er fræðileg tövunarfræði með áherslu á merkingafræði og réttleika gagnvirkra og samsíða hugbúnaðakerfa. Í þessu felst meðal annars þr...

Nánar

Hvað hefur vísindamaðurinn Luca Aceto rannsakað?

Luca Aceto er prófessor í tölvunarfræði við Háskólann í Reykjavík og við Gran Sasso-rannsóknastofnunina á Ítalíu. Rannsóknir hans eru á sviði fræðilegrar tölvunarfræði, þar á meðal má telja athugunir á rökfræði tölvunarfræðinnar, merkingafræði forritunaraðgerða (e. structural operational semantics) og samtímavinns...

Nánar

Hvað hefur vísindamaðurinn Hrafn Loftsson rannsakað?

Hrafn Loftsson er dósent í tölvunarfræði við Háskólann í Reykjavík (HR) og meðlimur í Gervigreindarsetri og Mál- og raddtæknistofu HR. Rannsóknir Hrafns eru á sviði máltækni sem er rannsóknar- og þróunarsvið hvers markmið er að þróa búnað sem getur unnið með og skilið náttúruleg tungumál og stuðlað að notkun þeirr...

Nánar

Hvað er Turing-próf? - Myndband

Alan Turing (1912-1954) er einn þekktasti og áhrifamesti vísindamaðurinn á sviði tölvunarfræði Hann hafði mikinn áhuga á spurningunni hvort tölvur gætu hugsað. Ólíkt mörgum öðrum sem rökræddu málið fram og til baka án niðurstöðu hannaði Turing próf sem ætti að geta svarað spurningunni afdráttarlaust. Prófið felst ...

Nánar

Hvað hefur vísindamaðurinn Magnús Már Halldórsson rannsakað?

Magnús Már Halldórsson er prófessor í tölvunarfræði við Háskólann í Reykjavík. Rannsóknir hans snúa að reikniritum (e. algorithms) frá fræðilegum sjónarhóli. Síðari ár hafa rannsóknir Magnúsar beinst sérstaklega að verkröðun í þráðlausum netum. Þráðlausar sendingar trufla óhjákvæmilega önnur samskipti á sömu rá...

Nánar

Hvað hefur vísindamaðurinn Páll Melsted rannsakað?

Páll Melsted er prófessor í tölvunarfræði við Iðnaðarverkfræði-, vélaverkfræði- og tölvunarfræðideild Háskóla Íslands. Rannsóknir Páls snúast um þróun aðferða á sviði lífupplýsingafræði, sér í lagi til að vinna úr miklu magni af raðgreiningargögnum. Með nýrri raðgreiningartækni er hægt að lesa mun meira af DNA-...

Nánar

Hvað hefur vísindamaðurinn Kristinn R. Þórisson rannsakað?

Kristinn R. Þórisson er prófessor í tölvunarfræði við Háskólann í Reykjavík og stjórnandi Vitvélastofnunar Íslands. Kristinn hefur stundað rannsóknir á gervigreind í 30 ár og kennt þau fræði við Columbia-háskóla, KTH og Háskólann í Reykjavík. Hann útskrifaðist með doktorsgráðu frá MIT Media Lab 1996, þar sem hann ...

Nánar

Hver var Alan Turing og hvert var framlag hans til tölvunarfræðinnar?

Alan Turing er einn þekktasti og áhrifamesti vísindamaðurinn á sviði tölvunarfræði. Til marks um það má nefna að bandarísku tölvusamtökin ACM kenna hin árlegu verðlaun sín við hann. Turing-verðlaunin eru gjarnan nefnd Nóbelsverðlaun tölvunarfræðinganna. Turing fæddist í London 23. júní 1912. Hann lærði stærðfræ...

Nánar

Hvernig á að þýða forskeytið cyber- á íslensku?

Hér verður rakið það sem Tölvuorðasafn frá 1998 segir um orð eða orðasambönd sem byrja á "cyber-": cybercommunity, samheiti wired community, netsamfélag cyberethics, sh. Internet ethics, siðareglur á Lýðnetinu cybernaut, sh. cyber surfer, internaut, internetter, Internet surfer, Net surfer, netizen, net...

Nánar

Hvað er 'download'?

Enska orðið 'download' þýðir að flytja forrit eða gögn frá tölvu til annarrar tölvu, venjulega einmenningstölvu og nú á dögum yfirleitt á netinu. Þegar gögn eru á hinn bóginn flutt frá einkatölvu yfir á þjón eða móðurtölvu, er hins vegar oft talað um 'upload'. Í Tölvuorðasafni í Orðabanka íslenskrar málstöðvar ...

Nánar

Hvað eru ormagöng?

Ormagöng eru fræðileg fyrirbæri sem skjóta upp kollinum við útleggingar á almennu afstæðiskenningunni. Samkvæmt kenningum er hugsanlegt að þau megi nota til að flytja sig til fjarlægra staða í alheiminum á örskotstundu eða jafnvel til að fara aftur í tímann eða til annarra alheima. Þrátt fyrir að hugmyndin um orma...

Nánar

Er til fræðileg skilgreining á orðinu krummaskuð og hver er hún þá?

Okkur er ekki kunnugt um að þetta orð sé notað í fræðilegu samhengi en hér á eftir er fjallað um orðið frá almennu málfræðilegu sjónarmiði. 'Krummaskuð' er upphaflega notað um eitthvað lítið og óverulegt og gat það verið næstum hvað sem var, hagldir, sylgjur, skór og fleira. Í seinni tíð hefur notkunin einkum b...

Nánar

Staðreynda- og samfélagsvakt Vísindavefsins

Alþingiskosningar verða 29. október 2016. Af því tilefni býður Vísindavefurinn almenningi að senda inn spurningar sem gætu vaknað í tengslum við kosningabaráttu flokkanna. Í kosningabaráttu er algengt að stjórnmálamenn og talsmenn stjórnmálaflokka setji fram fullyrðingar um tölulegar staðreyndir eða um þætt...

Nánar

Fleiri niðurstöður