Sólin
Rís 05:22 • sest 21:31
í Reykjavík
Tunglið
Rís 23:11 • Sest 05:11
í Reykjavík
Flóð
Árdegis: 06:38 • Síðdegis: 18:56
í Reykjavík
Fjara
Árdegis: 00:39 • Síðdegis: 12:46
í Reykjavík
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ánarLuca 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Það er ekki hægt að gefa skýrt svar við spurningunni hvenær verða tré að skógi. Ástæðan fyrir því er sú að mörkin á milli skógar og trjáa eru óljós og geta oltið á ýmsu, til dæmis stærð og umfangi trjánna. Tökum nokkur dæmi til að skýra þetta. Ímyndum okkur að við plöntum 100 litlum plöntum. Þær eru svo smávaxn...
NánarÞessi síða notar vafrakökur Nánari upplýsingar
Ég samþykkiHér getur þú sent okkur nýjar spurningar um vísindaleg efni.
Hafðu spurninguna stutta og hnitmiðaða og sendu aðeins eina í einu. Einlægar og vandaðar spurningar um mikilvæg efni eru líklegastar til að kalla fram vönduð og greið svör. Ekki er víst að tími vinnist til að svara öllum spurningum.
Persónulegar upplýsingar um spyrjendur eru eingöngu notaðar í starfsemi vefsins, til dæmis til að svör verði við hæfi spyrjenda. Spurningum er ekki sinnt ef spyrjandi villir á sér heimildir eða segir ekki nægileg deili á sér.
Spurningum sem eru ekki á verksviði vefsins er eytt.
Að öðru leyti er hægt að spyrja Vísindavefinn um allt milli himins og jarðar!
