The main results of the project are defining Algebraic Automata as an Abelian Group in the algebraic systems; and the mapping from Constraint Automata to Algebraic Automata; and showing how these theories and techniques can be used in software engineering.
Lesa meiraVerkefnið Austrænir víkingar í arabískum heimildum er rannsókn á arabískum miðaldatextum sem fjalla á einn eða annan hátt um ferðir víkinga í Austurvegi. Arabísku heimildirnar hafa hingað til ekki verið skoðaðar sem sjálfstæður flokkur heimilda, en þessi rannsókn sýnir að ærin ástæða er til þess.
Lesa meiraFréttatilkynning verkefnisstjóra
Lesa meirajan., feb., mar., apr., maí, jún., júl., ágú., sep., okt., nóv., des.
jan., feb., mar., apr., maí, jún., júl., ágú., sep., okt., nóv., des.
jan., feb., mar., apr., maí, jún., júl., ágú., sep., okt., nóv., des.
jan., feb., mar., apr., maí, jún., júl., ágú., sep., okt., nóv., des.