Leit á vefnum
Niðurstöður leitar - 3 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...
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...
Hvenær verða tré að skógi?
Þ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...